Futhark.IR.Rep

The core Futhark AST is parameterised by a rep 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)) => RepTypes l

A collection of type families giving various common types for a representation, 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

RepTypes 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

RepTypes 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

RepTypes 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

RepTypes 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

RepTypes 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

RepTypes GPU

Defined in Futhark.IR.GPU

Associated Types

type LetDec GPU

type ExpDec GPU

type BodyDec GPU

type FParamInfo GPU

type LParamInfo GPU

type RetType GPU

type BranchType GPU

type Op GPU

RepTypes GPUMem

Defined in Futhark.IR.GPUMem

Associated Types

type LetDec GPUMem

type ExpDec GPUMem

type BodyDec GPUMem

type FParamInfo GPUMem

type LParamInfo GPUMem

type RetType GPUMem

type BranchType GPUMem

type Op GPUMem

(RepTypes rep, CanBeAliased (Op rep)) => RepTypes (Aliases rep)

Defined in Futhark.IR.Aliases

Associated Types

type LetDec (Aliases rep)

type ExpDec (Aliases rep)

type BodyDec (Aliases rep)

type FParamInfo (Aliases rep)

type LParamInfo (Aliases rep)

type RetType (Aliases rep)

type BranchType (Aliases rep)

type Op (Aliases rep)

(RepTypes rep, CanBeWise (Op rep)) => RepTypes (Wise rep)

Defined in Futhark.Optimise.Simplify.Rep

Associated Types

type LetDec (Wise rep)

type ExpDec (Wise rep)

type BodyDec (Wise rep)

type FParamInfo (Wise rep)

type LParamInfo (Wise rep)

type RetType (Wise rep)

type BranchType (Wise rep)

type Op (Wise rep)

module Futhark.IR.RetType