Futhark.Representation.AST.Annotations

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

Associated Types

type LetAttr l :: Type

Annotation for every let-pattern element.

type LetAttr l = Type

type ExpAttr l :: Type

Annotation for every expression.

type ExpAttr l = ()

type BodyAttr l :: Type

Annotation for every body.

type BodyAttr l = ()

type FParamAttr l :: Type

Annotation for every (non-lambda) function parameter.

type FParamAttr l = DeclType

type LParamAttr l :: Type

Annotation for every lambda function parameter.

type LParamAttr l = Type

type RetType l :: Type

The return type annotation of function calls.

type RetType l = DeclExtType

type BranchType l :: Type

The return type annotation of branches.

type BranchType l = ExtType

type Op l :: Type

Extensible operation.

type Op l = ()

Instances

Annotations SOACS

Defined in Futhark.Representation.SOACS

Associated Types

type LetAttr SOACS

type ExpAttr SOACS

type BodyAttr SOACS

type FParamAttr SOACS

type LParamAttr SOACS

type RetType SOACS

type BranchType SOACS

type Op SOACS

Annotations Kernels

Defined in Futhark.Representation.Kernels

Associated Types

type LetAttr Kernels

type ExpAttr Kernels

type BodyAttr Kernels

type FParamAttr Kernels

type LParamAttr Kernels

type RetType Kernels

type BranchType Kernels

type Op Kernels

Annotations ExplicitMemory

Defined in Futhark.Representation.ExplicitMemory

Associated Types

type LetAttr ExplicitMemory

type ExpAttr ExplicitMemory

type BodyAttr ExplicitMemory

type FParamAttr ExplicitMemory

type LParamAttr ExplicitMemory

type RetType ExplicitMemory

type BranchType ExplicitMemory

type Op ExplicitMemory

(Annotations lore, CanBeRanged (Op lore)) => Annotations (Ranges lore)

Defined in Futhark.Representation.Ranges

Associated Types

type LetAttr (Ranges lore)

type ExpAttr (Ranges lore)

type BodyAttr (Ranges lore)

type FParamAttr (Ranges lore)

type LParamAttr (Ranges lore)

type RetType (Ranges lore)

type BranchType (Ranges lore)

type Op (Ranges lore)

(Annotations lore, CanBeAliased (Op lore)) => Annotations (Aliases lore)

Defined in Futhark.Representation.Aliases

Associated Types

type LetAttr (Aliases lore)

type ExpAttr (Aliases lore)

type BodyAttr (Aliases lore)

type FParamAttr (Aliases lore)

type LParamAttr (Aliases lore)

type RetType (Aliases lore)

type BranchType (Aliases lore)

type Op (Aliases lore)

(Annotations lore, CanBeWise (Op lore)) => Annotations (Wise lore)

Defined in Futhark.Optimise.Simplify.Lore

Associated Types

type LetAttr (Wise lore)

type ExpAttr (Wise lore)

type BodyAttr (Wise lore)

type FParamAttr (Wise lore)

type LParamAttr (Wise lore)

type RetType (Wise lore)

type BranchType (Wise lore)

type Op (Wise lore)

module Futhark.Representation.AST.RetType