Futhark.IR.Seq

A sequential representation.

Documentation

data Seq

The phantom type for the Seq representation.

Instances

BuilderOps Seq

Defined in Futhark.IR.Seq

Methods

mkExpDecB :: (MonadBuilder m, Rep m ~ Seq) => Pat (LetDec Seq) -> Exp Seq -> m (ExpDec Seq)

mkBodyB :: (MonadBuilder m, Rep m ~ Seq) => Stms Seq -> Result -> m (Body Seq)

mkLetNamesB :: (MonadBuilder m, Rep m ~ Seq) => [VName] -> Exp Seq -> m (Stm Seq)

Buildable Seq

Defined in Futhark.IR.Seq

Methods

mkExpPat :: [Ident] -> Exp Seq -> Pat (LetDec Seq)

mkExpDec :: Pat (LetDec Seq) -> Exp Seq -> ExpDec Seq

mkBody :: Stms Seq -> Result -> Body Seq

mkLetNames :: (MonadFreshNames m, HasScope Seq m) => [VName] -> Exp Seq -> m (Stm Seq)

PrettyRep Seq

Defined in Futhark.IR.Seq

Methods

ppExpDec :: ExpDec Seq -> Exp Seq -> Maybe (Doc a)

ASTRep Seq

Defined in Futhark.IR.Seq

Methods

expTypesFromPat :: (HasScope Seq m, Monad m) => Pat (LetDec Seq) -> m [BranchType Seq]

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 OpC Seq :: Type -> Type

TraverseOpStms Seq

Defined in Futhark.IR.Seq

Methods

traverseOpStms :: Monad m => OpStmsTraverser m (Op Seq) Seq

Checkable Seq

Defined in Futhark.IR.Seq

Methods

checkExpDec :: ExpDec Seq -> TypeM Seq ()

checkBodyDec :: BodyDec Seq -> TypeM Seq ()

checkFParamDec :: VName -> FParamInfo Seq -> TypeM Seq ()

checkLParamDec :: VName -> LParamInfo Seq -> TypeM Seq ()

checkLetBoundDec :: VName -> LetDec Seq -> TypeM Seq ()

checkRetType :: [RetType Seq] -> TypeM Seq ()

matchPat :: Pat (LetDec (Aliases Seq)) -> Exp (Aliases Seq) -> TypeM Seq ()

primFParam :: VName -> PrimType -> TypeM Seq (FParam (Aliases Seq))

matchReturnType :: [RetType Seq] -> Result -> TypeM Seq ()

matchBranchType :: [BranchType Seq] -> Body (Aliases Seq) -> TypeM Seq ()

matchLoopResult :: [FParam (Aliases Seq)] -> Result -> TypeM Seq ()

checkOp :: Op (Aliases Seq) -> TypeM Seq ()

BuilderOps (Wise Seq)

Defined in Futhark.IR.Seq

Methods

mkExpDecB :: (MonadBuilder m, Rep m ~ Wise Seq) => Pat (LetDec (Wise Seq)) -> Exp (Wise Seq) -> m (ExpDec (Wise Seq))

mkBodyB :: (MonadBuilder m, Rep m ~ Wise Seq) => Stms (Wise Seq) -> Result -> m (Body (Wise Seq))

mkLetNamesB :: (MonadBuilder m, Rep m ~ Wise Seq) => [VName] -> Exp (Wise Seq) -> m (Stm (Wise Seq))

TraverseOpStms (Wise Seq)

Defined in Futhark.IR.Seq

Methods

traverseOpStms :: Monad m => OpStmsTraverser m (Op (Wise Seq)) (Wise Seq)

type BodyDec Seq

Defined in Futhark.IR.Seq

type BodyDec Seq = ()

type BranchType Seq

Defined in Futhark.IR.Seq

type BranchType Seq = ExtType

type ExpDec Seq

Defined in Futhark.IR.Seq

type ExpDec Seq = ()

type FParamInfo Seq

Defined in Futhark.IR.Seq

type FParamInfo Seq = DeclType

type LParamInfo Seq

Defined in Futhark.IR.Seq

type LParamInfo Seq = Type

type LetDec Seq

Defined in Futhark.IR.Seq

type LetDec Seq = Type

type OpC Seq

Defined in Futhark.IR.Seq

type OpC Seq = NoOp :: Type -> Type

type RetType Seq

Defined in Futhark.IR.Seq

type RetType Seq = DeclExtType

Simplification

simplifyProg :: Prog Seq -> PassM (Prog Seq)

Simplify a sequential program.

Module re-exports

module Futhark.IR.Prop

module Futhark.IR.Traversals

module Futhark.IR.Pretty

module Futhark.IR.Syntax