Futhark.IR.Decorations

The core Futhark AST is parameterised by a lore type parameter, which is then used to invoke the type families defined here.

Documentation

class (Show (LetDec l), Show (ExpDec l), Show (BodyDec l), Show (FParamInfo l), Show (LParamInfo l), Show (RetType l), Show (BranchType l), Show (Op l), Eq (LetDec l), Eq (ExpDec l), Eq (BodyDec l), Eq (FParamInfo l), Eq (LParamInfo l), Eq (RetType l), Eq (BranchType l), Eq (Op l), Ord (LetDec l), Ord (ExpDec l), Ord (BodyDec l), Ord (FParamInfo l), Ord (LParamInfo l), Ord (RetType l), Ord (BranchType l), Ord (Op l), IsRetType (RetType l), IsBodyType (BranchType l), Typed (FParamInfo l), Typed (LParamInfo l), Typed (LetDec l), DeclTyped (FParamInfo l)) => Decorations l

A collection of type families, along with constraints specifying that the types they map to should satisfy some minimal requirements.

Associated Types

type LetDec l :: Type

Decoration for every let-pattern element.

type LetDec l = Type

type ExpDec l :: Type

Decoration for every expression.

type ExpDec l = ()

type BodyDec l :: Type

Decoration for every body.

type BodyDec l = ()

type FParamInfo l :: Type

Decoration for every (non-lambda) function parameter.

type FParamInfo l = DeclType

type LParamInfo l :: Type

Decoration for every lambda function parameter.

type LParamInfo l = Type

type RetType l :: Type

The return type decoration of function calls.

type RetType l = DeclExtType

type BranchType l :: Type

The return type decoration of branches.

type BranchType l = ExtType

type Op l :: Type

Extensible operation.

type Op l = ()

Instances

Decorations Seq

Defined in Futhark.IR.Seq

Associated Types

type LetDec Seq

type ExpDec Seq

type BodyDec Seq

type FParamInfo Seq

type LParamInfo Seq

type RetType Seq

type BranchType Seq

type Op Seq

Decorations SOACS

Defined in Futhark.IR.SOACS

Associated Types

type LetDec SOACS

type ExpDec SOACS

type BodyDec SOACS

type FParamInfo SOACS

type LParamInfo SOACS

type RetType SOACS

type BranchType SOACS

type Op SOACS

Decorations MCMem

Defined in Futhark.IR.MCMem

Associated Types

type LetDec MCMem

type ExpDec MCMem

type BodyDec MCMem

type FParamInfo MCMem

type LParamInfo MCMem

type RetType MCMem

type BranchType MCMem

type Op MCMem

Decorations MC

Defined in Futhark.IR.MC

Associated Types

type LetDec MC

type ExpDec MC

type BodyDec MC

type FParamInfo MC

type LParamInfo MC

type RetType MC

type BranchType MC

type Op MC

Decorations SeqMem

Defined in Futhark.IR.SeqMem

Associated Types

type LetDec SeqMem

type ExpDec SeqMem

type BodyDec SeqMem

type FParamInfo SeqMem

type LParamInfo SeqMem

type RetType SeqMem

type BranchType SeqMem

type Op SeqMem

Decorations Kernels

Defined in Futhark.IR.Kernels

Associated Types

type LetDec Kernels

type ExpDec Kernels

type BodyDec Kernels

type FParamInfo Kernels

type LParamInfo Kernels

type RetType Kernels

type BranchType Kernels

type Op Kernels

Decorations KernelsMem

Defined in Futhark.IR.KernelsMem

Associated Types

type LetDec KernelsMem

type ExpDec KernelsMem

type BodyDec KernelsMem

type FParamInfo KernelsMem

type LParamInfo KernelsMem

type RetType KernelsMem

type BranchType KernelsMem

type Op KernelsMem

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

Defined in Futhark.IR.Aliases

Associated Types

type LetDec (Aliases lore)

type ExpDec (Aliases lore)

type BodyDec (Aliases lore)

type FParamInfo (Aliases lore)

type LParamInfo (Aliases lore)

type RetType (Aliases lore)

type BranchType (Aliases lore)

type Op (Aliases lore)

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

Defined in Futhark.Optimise.Simplify.Lore

Associated Types

type LetDec (Wise lore)

type ExpDec (Wise lore)

type BodyDec (Wise lore)

type FParamInfo (Wise lore)

type LParamInfo (Wise lore)

type RetType (Wise lore)

type BranchType (Wise lore)

type Op (Wise lore)

module Futhark.IR.RetType