futhark-0.11.0: An optimising compiler for a functional, array-oriented language.

Safe HaskellNone
LanguageHaskell2010

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 Source #

Associated Types

type LetAttr l :: * Source #

Annotation for every let-pattern element.

type ExpAttr l :: * Source #

Annotation for every expression.

type BodyAttr l :: * Source #

Annotation for every body.

type FParamAttr l :: * Source #

Annotation for every (non-lambda) function parameter.

type LParamAttr l :: * Source #

Annotation for every lambda function parameter.

type RetType l :: * Source #

The return type annotation of function calls.

type BranchType l :: * Source #

The return type annotation of branches.

type Op l :: * Source #

Extensible operation.

Instances
Annotations SOACS Source # 
Instance details

Defined in Futhark.Representation.SOACS

Annotations InKernel Source # 
Instance details

Defined in Futhark.Representation.Kernels

Annotations Kernels Source # 
Instance details

Defined in Futhark.Representation.Kernels

Annotations InKernel Source # 
Instance details

Defined in Futhark.Representation.ExplicitMemory

Annotations ExplicitMemory Source # 
Instance details

Defined in Futhark.Representation.ExplicitMemory

(Annotations lore, CanBeRanged (Op lore)) => Annotations (Ranges lore) Source # 
Instance details

Defined in Futhark.Representation.Ranges

Associated Types

type LetAttr (Ranges lore) :: Type Source #

type ExpAttr (Ranges lore) :: Type Source #

type BodyAttr (Ranges lore) :: Type Source #

type FParamAttr (Ranges lore) :: Type Source #

type LParamAttr (Ranges lore) :: Type Source #

type RetType (Ranges lore) :: Type Source #

type BranchType (Ranges lore) :: Type Source #

type Op (Ranges lore) :: Type Source #

(Annotations lore, CanBeAliased (Op lore)) => Annotations (Aliases lore) Source # 
Instance details

Defined in Futhark.Representation.Aliases

Associated Types

type LetAttr (Aliases lore) :: Type Source #

type ExpAttr (Aliases lore) :: Type Source #

type BodyAttr (Aliases lore) :: Type Source #

type FParamAttr (Aliases lore) :: Type Source #

type LParamAttr (Aliases lore) :: Type Source #

type RetType (Aliases lore) :: Type Source #

type BranchType (Aliases lore) :: Type Source #

type Op (Aliases lore) :: Type Source #

(Annotations lore, CanBeWise (Op lore)) => Annotations (Wise lore) Source # 
Instance details

Defined in Futhark.Optimise.Simplify.Lore

Associated Types

type LetAttr (Wise lore) :: Type Source #

type ExpAttr (Wise lore) :: Type Source #

type BodyAttr (Wise lore) :: Type Source #

type FParamAttr (Wise lore) :: Type Source #

type LParamAttr (Wise lore) :: Type Source #

type RetType (Wise lore) :: Type Source #

type BranchType (Wise lore) :: Type Source #

type Op (Wise lore) :: Type Source #