Safe Haskell	None
Language	Haskell2010

Futhark.IR.SeqMem

Contents

Simplification
Module re-exports

Synopsis

data SeqMem
simplifyProg :: Prog SeqMem -> PassM (Prog SeqMem)
simpleSeqMem :: SimpleOps SeqMem
module Futhark.IR.Mem
module Futhark.IR.Kernels.Kernel

Documentation

data SeqMem Source #

Instances

Instances details

Decorations SeqMem Source #
Instance details Defined in Futhark.IR.SeqMem Associated Types type LetDec SeqMem Source # type ExpDec SeqMem Source # type BodyDec SeqMem Source # type FParamInfo SeqMem Source # type LParamInfo SeqMem Source # type RetType SeqMem Source # type BranchType SeqMem Source # type Op SeqMem Source #
PrettyLore SeqMem Source #
Instance details Defined in Futhark.IR.SeqMem Methods ppExpLore :: ExpDec SeqMem -> Exp SeqMem -> Maybe Doc Source #
ASTLore SeqMem Source #
Instance details Defined in Futhark.IR.SeqMem Methods expTypesFromPattern :: (HasScope SeqMem m, Monad m) => Pattern SeqMem -> m [BranchType SeqMem] Source #
BinderOps SeqMem Source #
Instance details Defined in Futhark.IR.SeqMem Methods mkExpDecB :: (MonadBinder m, Lore m ~ SeqMem) => Pattern SeqMem -> Exp SeqMem -> m (ExpDec SeqMem) Source # mkBodyB :: (MonadBinder m, Lore m ~ SeqMem) => Stms SeqMem -> Result -> m (Body SeqMem) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ SeqMem) => [VName] -> Exp SeqMem -> m (Stm SeqMem) Source #
Checkable SeqMem Source #
Instance details Defined in Futhark.IR.SeqMem Methods checkExpLore :: ExpDec SeqMem -> TypeM SeqMem () Source # checkBodyLore :: BodyDec SeqMem -> TypeM SeqMem () Source # checkFParamLore :: VName -> FParamInfo SeqMem -> TypeM SeqMem () Source # checkLParamLore :: VName -> LParamInfo SeqMem -> TypeM SeqMem () Source # checkLetBoundLore :: VName -> LetDec SeqMem -> TypeM SeqMem () Source # checkRetType :: [RetType SeqMem] -> TypeM SeqMem () Source # matchPattern :: Pattern (Aliases SeqMem) -> Exp (Aliases SeqMem) -> TypeM SeqMem () Source # primFParam :: VName -> PrimType -> TypeM SeqMem (FParam (Aliases SeqMem)) Source # matchReturnType :: [RetType SeqMem] -> Result -> TypeM SeqMem () Source # matchBranchType :: [BranchType SeqMem] -> Body (Aliases SeqMem) -> TypeM SeqMem () Source # matchLoopResult :: [FParam (Aliases SeqMem)] -> [FParam (Aliases SeqMem)] -> [SubExp] -> TypeM SeqMem () Source #
CheckableOp SeqMem Source #
Instance details Defined in Futhark.IR.SeqMem Methods checkOp :: OpWithAliases (Op SeqMem) -> TypeM SeqMem () Source #
OpReturns SeqMem Source #
Instance details Defined in Futhark.IR.SeqMem Methods opReturns :: (Monad m, HasScope SeqMem m) => Op SeqMem -> m [ExpReturns] Source #
BinderOps (Wise SeqMem) Source #
Instance details Defined in Futhark.IR.SeqMem Methods mkExpDecB :: (MonadBinder m, Lore m ~ Wise SeqMem) => Pattern (Wise SeqMem) -> Exp (Wise SeqMem) -> m (ExpDec (Wise SeqMem)) Source # mkBodyB :: (MonadBinder m, Lore m ~ Wise SeqMem) => Stms (Wise SeqMem) -> Result -> m (Body (Wise SeqMem)) Source # mkLetNamesB :: (MonadBinder m, Lore m ~ Wise SeqMem) => [VName] -> Exp (Wise SeqMem) -> m (Stm (Wise SeqMem)) Source #
type LetDec SeqMem Source #
Instance details Defined in Futhark.IR.SeqMem type LetDec SeqMem = LetDecMem
type ExpDec SeqMem Source #
Instance details Defined in Futhark.IR.SeqMem type ExpDec SeqMem = ()
type BodyDec SeqMem Source #
Instance details Defined in Futhark.IR.SeqMem type BodyDec SeqMem = ()
type FParamInfo SeqMem Source #
Instance details Defined in Futhark.IR.SeqMem type FParamInfo SeqMem = FParamMem
type LParamInfo SeqMem Source #
Instance details Defined in Futhark.IR.SeqMem type LParamInfo SeqMem = LParamMem
type RetType SeqMem Source #
Instance details Defined in Futhark.IR.SeqMem type RetType SeqMem = RetTypeMem
type BranchType SeqMem Source #
Instance details Defined in Futhark.IR.SeqMem type BranchType SeqMem = BranchTypeMem
type Op SeqMem Source #
Instance details Defined in Futhark.IR.SeqMem type Op SeqMem = MemOp ()

Simplification

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

simpleSeqMem :: SimpleOps SeqMem Source #

Module re-exports

module Futhark.IR.Mem

module Futhark.IR.Kernels.Kernel