Futhark.IR.SeqMem

Documentation

data SeqMem

Instances

BuilderOps SeqMem

Defined in Futhark.IR.SeqMem

Methods

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

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

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

PrettyRep SeqMem

Defined in Futhark.IR.SeqMem

Methods

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

ASTRep SeqMem

Defined in Futhark.IR.SeqMem

Methods

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

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

TraverseOpStms SeqMem

Defined in Futhark.IR.SeqMem

Methods

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

Checkable SeqMem

Defined in Futhark.IR.SeqMem

Methods

checkExpDec :: ExpDec SeqMem -> TypeM SeqMem ()

checkBodyDec :: BodyDec SeqMem -> TypeM SeqMem ()

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

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

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

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

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

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

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

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

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

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

HasMemBlock (Aliases SeqMem)

Defined in Futhark.Optimise.ArrayShortCircuiting.DataStructs

Methods

getScopeMemInfo :: VName -> Scope (Aliases SeqMem) -> Maybe ArrayMemBound

BuilderOps (Wise SeqMem)

Defined in Futhark.IR.SeqMem

Methods

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

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

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

TraverseOpStms (Wise SeqMem)

Defined in Futhark.IR.SeqMem

Methods

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

type BodyDec SeqMem

Defined in Futhark.IR.SeqMem

type BodyDec SeqMem = ()

type BranchType SeqMem

Defined in Futhark.IR.SeqMem

type BranchType SeqMem = BranchTypeMem

type ExpDec SeqMem

Defined in Futhark.IR.SeqMem

type ExpDec SeqMem = ()

type FParamInfo SeqMem

Defined in Futhark.IR.SeqMem

type FParamInfo SeqMem = FParamMem

type LParamInfo SeqMem

Defined in Futhark.IR.SeqMem

type LParamInfo SeqMem = LParamMem

type LetDec SeqMem

Defined in Futhark.IR.SeqMem

type LetDec SeqMem = LetDecMem

type OpC SeqMem

Defined in Futhark.IR.SeqMem

type OpC SeqMem = MemOp (NoOp :: Type -> Type)

type RetType SeqMem

Defined in Futhark.IR.SeqMem

type RetType SeqMem = RetTypeMem

Simplification

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

simpleSeqMem :: SimpleOps SeqMem

Module re-exports

module Futhark.IR.Mem