Futhark.IR.SeqMem

Documentation

data SeqMem

Instances

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

PrettyLore SeqMem

Defined in Futhark.IR.SeqMem

Methods

ppExpLore :: ExpDec SeqMem -> Exp SeqMem -> Maybe Doc

ASTLore SeqMem

Defined in Futhark.IR.SeqMem

Methods

expTypesFromPattern :: (HasScope SeqMem m, Monad m) => Pattern SeqMem -> m [BranchType SeqMem]

BinderOps SeqMem

Defined in Futhark.IR.SeqMem

Methods

mkExpDecB :: (MonadBinder m, Lore m ~ SeqMem) => Pattern SeqMem -> Exp SeqMem -> m (ExpDec SeqMem)

mkBodyB :: (MonadBinder m, Lore m ~ SeqMem) => Stms SeqMem -> Result -> m (Body SeqMem)

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

Checkable SeqMem

Defined in Futhark.IR.SeqMem

Methods

checkExpLore :: ExpDec SeqMem -> TypeM SeqMem ()

checkBodyLore :: BodyDec SeqMem -> TypeM SeqMem ()

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

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

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

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

matchPattern :: Pattern (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)] -> [FParam (Aliases SeqMem)] -> [SubExp] -> TypeM SeqMem ()

CheckableOp SeqMem

Defined in Futhark.IR.SeqMem

Methods

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

OpReturns SeqMem

Defined in Futhark.IR.SeqMem

Methods

opReturns :: (Monad m, HasScope SeqMem m) => Op SeqMem -> m [ExpReturns]

BinderOps (Wise SeqMem)

Defined in Futhark.IR.SeqMem

Methods

mkExpDecB :: (MonadBinder m, Lore m ~ Wise SeqMem) => Pattern (Wise SeqMem) -> Exp (Wise SeqMem) -> m (ExpDec (Wise SeqMem))

mkBodyB :: (MonadBinder m, Lore m ~ Wise SeqMem) => Stms (Wise SeqMem) -> Result -> m (Body (Wise SeqMem))

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

type LetDec SeqMem

Defined in Futhark.IR.SeqMem

type LetDec SeqMem = LetDecMem

type ExpDec SeqMem

Defined in Futhark.IR.SeqMem

type ExpDec SeqMem = ()

type BodyDec SeqMem

Defined in Futhark.IR.SeqMem

type BodyDec 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 RetType SeqMem

Defined in Futhark.IR.SeqMem

type RetType SeqMem = RetTypeMem

type BranchType SeqMem

Defined in Futhark.IR.SeqMem

type BranchType SeqMem = BranchTypeMem

type Op SeqMem

Defined in Futhark.IR.SeqMem

type Op SeqMem = MemOp ()

Simplification

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

simpleSeqMem :: SimpleOps SeqMem

Module re-exports

module Futhark.IR.Mem

module Futhark.IR.Kernels.Kernel