Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class (Show (LetAttr l), Show (ExpAttr l), Show (BodyAttr l), Show (FParamAttr l), Show (LParamAttr l), Show (RetType l), Show (BranchType l), Show (Op l), Eq (LetAttr l), Eq (ExpAttr l), Eq (BodyAttr l), Eq (FParamAttr l), Eq (LParamAttr l), Eq (RetType l), Eq (BranchType l), Eq (Op l), Ord (LetAttr l), Ord (ExpAttr l), Ord (BodyAttr l), Ord (FParamAttr l), Ord (LParamAttr l), Ord (RetType l), Ord (BranchType l), Ord (Op l), IsRetType (RetType l), IsBodyType (BranchType l), Typed (FParamAttr l), Typed (LParamAttr l), Typed (LetAttr l), DeclTyped (FParamAttr l)) => Annotations l Source #
type LetAttr l :: Type Source #
Annotation for every let-pattern element.
type ExpAttr l :: Type Source #
Annotation for every expression.
type ExpAttr l = ()
type BodyAttr l :: Type Source #
Annotation for every body.
type BodyAttr l = ()
type FParamAttr l :: Type Source #
Annotation for every (non-lambda) function parameter.
type FParamAttr l = DeclType
type LParamAttr l :: Type Source #
Annotation for every lambda function parameter.
type LParamAttr l = Type
type RetType l :: Type Source #
The return type annotation of function calls.
type RetType l = DeclExtType
type BranchType l :: Type Source #
The return type annotation of branches.
type BranchType l = ExtType
Extensible operation.
type Op l = ()
Instances
Annotations SOACS Source # | |
Annotations Kernels Source # | |
Annotations Seq Source # | |
Annotations SeqMem Source # | |
Annotations KernelsMem Source # | |
Defined in Futhark.Representation.KernelsMem type LetAttr KernelsMem Source # type ExpAttr KernelsMem Source # type BodyAttr KernelsMem Source # type FParamAttr KernelsMem Source # type LParamAttr KernelsMem Source # type RetType KernelsMem Source # type BranchType KernelsMem Source # type Op KernelsMem Source # | |
(Annotations lore, CanBeRanged (Op lore)) => Annotations (Ranges lore) Source # | |
Defined in Futhark.Representation.Ranges | |
(Annotations lore, CanBeAliased (Op lore)) => Annotations (Aliases lore) Source # | |
Defined in Futhark.Representation.Aliases | |
(Annotations lore, CanBeWise (Op lore)) => Annotations (Wise lore) Source # | |
Defined in Futhark.Optimise.Simplify.Lore |