Safe Haskell	None
Language	Haskell2010

Futhark.Representation.SeqMem

Contents

Simplification
Module re-exports

Synopsis

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

Documentation

data SeqMem Source #

Instances

Instances details

Annotations SeqMem Source #
Instance details Defined in Futhark.Representation.SeqMem Associated Types type LetAttr SeqMem Source # type ExpAttr SeqMem Source # type BodyAttr SeqMem Source # type FParamAttr SeqMem Source # type LParamAttr SeqMem Source # type RetType SeqMem Source # type BranchType SeqMem Source # type Op SeqMem Source #
PrettyLore SeqMem Source #
Instance details Defined in Futhark.Representation.SeqMem Methods ppExpLore :: ExpAttr SeqMem -> Exp SeqMem -> Maybe Doc Source #
Attributes SeqMem Source #
Instance details Defined in Futhark.Representation.SeqMem Methods expTypesFromPattern :: (HasScope SeqMem m, Monad m) => Pattern SeqMem -> m [BranchType SeqMem] Source #
BinderOps SeqMem Source #
Instance details Defined in Futhark.Representation.SeqMem Methods mkExpAttrB :: (MonadBinder m, Lore m ~ SeqMem) => Pattern SeqMem -> Exp SeqMem -> m (ExpAttr 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.Representation.SeqMem Methods checkExpLore :: ExpAttr SeqMem -> TypeM SeqMem () Source # checkBodyLore :: BodyAttr SeqMem -> TypeM SeqMem () Source # checkFParamLore :: VName -> FParamAttr SeqMem -> TypeM SeqMem () Source # checkLParamLore :: VName -> LParamAttr SeqMem -> TypeM SeqMem () Source # checkLetBoundLore :: VName -> LetAttr 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 #
CheckableOp SeqMem Source #
Instance details Defined in Futhark.Representation.SeqMem Methods checkOp :: OpWithAliases (Op SeqMem) -> TypeM SeqMem () Source #
OpReturns SeqMem Source #
Instance details Defined in Futhark.Representation.SeqMem Methods opReturns :: (Monad m, HasScope SeqMem m) => Op SeqMem -> m [ExpReturns] Source #
BinderOps (Wise SeqMem) Source #
Instance details Defined in Futhark.Representation.SeqMem Methods mkExpAttrB :: (MonadBinder m, Lore m ~ Wise SeqMem) => Pattern (Wise SeqMem) -> Exp (Wise SeqMem) -> m (ExpAttr (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 LetAttr SeqMem Source #
Instance details Defined in Futhark.Representation.SeqMem type LetAttr SeqMem = LetAttrMem
type ExpAttr SeqMem Source #
Instance details Defined in Futhark.Representation.SeqMem type ExpAttr SeqMem = ()
type BodyAttr SeqMem Source #
Instance details Defined in Futhark.Representation.SeqMem type BodyAttr SeqMem = ()
type FParamAttr SeqMem Source #
Instance details Defined in Futhark.Representation.SeqMem type FParamAttr SeqMem = FParamMem
type LParamAttr SeqMem Source #
Instance details Defined in Futhark.Representation.SeqMem type LParamAttr SeqMem = LParamMem
type RetType SeqMem Source #
Instance details Defined in Futhark.Representation.SeqMem type RetType SeqMem = RetTypeMem
type BranchType SeqMem Source #
Instance details Defined in Futhark.Representation.SeqMem type BranchType SeqMem = BranchTypeMem
type Op SeqMem Source #
Instance details Defined in Futhark.Representation.SeqMem type Op SeqMem = MemOp ()

Simplification

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

simpleSeqMem :: SimpleOps SeqMem Source #

Module re-exports

module Futhark.Representation.Mem

module Futhark.Representation.Kernels.Kernel