Eq VName Source # | |
Instance detailsDefined in Language.Futhark.Core |
Ord VName Source # | |
Instance detailsDefined in Language.Futhark.Core |
Show VName Source # | |
Instance detailsDefined in Language.Futhark.Core |
ToIdent VName Source # | |
Instance detailsDefined in Futhark.CodeGen.Backends.GenericC |
ToExp VName Source # | |
Instance detailsDefined in Futhark.CodeGen.Backends.GenericC |
Pretty VName Source # | |
Instance detailsDefined in Futhark.Representation.AST.Pretty |
FreeIn VName Source # | |
Instance detailsDefined in Futhark.Representation.AST.Attributes.Names |
FreeIn Names Source # | |
Instance detailsDefined in Futhark.Representation.AST.Attributes.Names |
Substitute VName Source # | |
Instance detailsDefined in Futhark.Transform.Substitute |
Substitute Names Source # | |
Instance detailsDefined in Futhark.Transform.Substitute |
Rename VName Source # | |
Instance detailsDefined in Futhark.Transform.Rename |
Rename Names Source # | |
Instance detailsDefined in Futhark.Transform.Rename |
AliasesOf Names Source # | |
Instance detailsDefined in Futhark.Representation.AST.Attributes.Aliases |
ToExp VName Source # | |
Instance detailsDefined in Futhark.Construct |
Simplifiable VName Source # | |
Instance detailsDefined in Futhark.Optimise.Simplify.Engine |
IsName VName Source # | Depending on the environment variable FUTHARK_COMPILER_DEBUGGING,
VNames are printed as either the name with an internal tag, or just
the base name. |
Instance detailsDefined in Language.Futhark.Pretty |
ASTMappable Names Source # | |
Instance detailsDefined in Language.Futhark.Traversals |
ASTMappable StructType Source # | |
Instance detailsDefined in Language.Futhark.Traversals |
ASTMappable PatternType Source # | |
Instance detailsDefined in Language.Futhark.Traversals |
ASTMappable CompType Source # | |
Instance detailsDefined in Language.Futhark.Traversals |
MonadState Names (TypeM lore) Source # | |
Instance detailsDefined in Futhark.TypeCheck |
Scoped lore (VName, NameInfo lore) Source # | |
Instance detailsDefined in Futhark.Representation.AST.Attributes.Scope |
(Applicative m, Monad m, Annotations lore) => LocalScope lore (ReaderT (Scope lore) m) Source # | |
Instance detailsDefined in Futhark.Representation.AST.Attributes.Scope |
(Applicative m, Monad m, Annotations lore) => HasScope lore (ReaderT (Scope lore) m) Source # | |
Instance detailsDefined in Futhark.Representation.AST.Attributes.Scope |
(Applicative m, Monad m, Monoid w, Annotations lore) => LocalScope lore (RWST (Scope lore) w s m) Source # | |
Instance detailsDefined in Futhark.Representation.AST.Attributes.Scope |
(Applicative m, Monad m, Monoid w, Annotations lore) => LocalScope lore (RWST (Scope lore) w s m) Source # | |
Instance detailsDefined in Futhark.Representation.AST.Attributes.Scope |
(Applicative m, Monad m, Monoid w, Annotations lore) => HasScope lore (RWST (Scope lore) w s m) Source # | |
Instance detailsDefined in Futhark.Representation.AST.Attributes.Scope |
(Applicative m, Monad m, Monoid w, Annotations lore) => HasScope lore (RWST (Scope lore) w s m) Source # | |
Instance detailsDefined in Futhark.Representation.AST.Attributes.Scope |
ASTMappable (TypeParamBase VName) Source # | |
Instance detailsDefined in Language.Futhark.Traversals |
ASTMappable (TypeArgExp VName) Source # | |
Instance detailsDefined in Language.Futhark.Traversals |
ASTMappable (TypeExp VName) Source # | |
Instance detailsDefined in Language.Futhark.Traversals |
ASTMappable (DimDecl VName) Source # | |
Instance detailsDefined in Language.Futhark.Traversals |
Monad m => MonadReader (Scope lore) (ExtendedScope lore m) Source # | |
Instance detailsDefined in Futhark.Representation.AST.Attributes.Scope |
ASTMappable (PatternBase Info VName) Source # | |
Instance detailsDefined in Language.Futhark.Traversals |
ASTMappable (LoopFormBase Info VName) Source # | |
Instance detailsDefined in Language.Futhark.Traversals |
ASTMappable (FieldBase Info VName) Source # | |
Instance detailsDefined in Language.Futhark.Traversals |
ASTMappable (ExpBase Info VName) Source # | |
Instance detailsDefined in Language.Futhark.Traversals |
ASTMappable (DimIndexBase Info VName) Source # | |
Instance detailsDefined in Language.Futhark.Traversals |
ASTMappable (IdentBase Info VName) Source # | |
Instance detailsDefined in Language.Futhark.Traversals |
ASTMappable (TypeDeclBase Info VName) Source # | |
Instance detailsDefined in Language.Futhark.Traversals |
Substitutable (TypeBase () Names) Source # | |
Instance detailsDefined in Language.Futhark.TypeChecker.Types |
Substitutable (TypeBase (DimDecl VName) ()) Source # | |
Instance detailsDefined in Language.Futhark.TypeChecker.Types |
Substitutable (TypeBase (DimDecl VName) Names) Source # | |
Instance detailsDefined in Language.Futhark.TypeChecker.Types |