Futhark.IR.MCMem

Documentation

data MCMem

Instances

RepTypes MCMem

Defined in Futhark.IR.MCMem

Associated Types

type LetDec MCMem

type ExpDec MCMem

type BodyDec MCMem

type FParamInfo MCMem

type LParamInfo MCMem

type RetType MCMem

type BranchType MCMem

type Op MCMem

PrettyRep MCMem

Defined in Futhark.IR.MCMem

Methods

ppExpDec :: ExpDec MCMem -> Exp MCMem -> Maybe Doc

ASTRep MCMem

Defined in Futhark.IR.MCMem

Methods

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

BuilderOps MCMem

Defined in Futhark.IR.MCMem

Methods

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

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

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

Checkable MCMem

Defined in Futhark.IR.MCMem

Methods

checkExpDec :: ExpDec MCMem -> TypeM MCMem ()

checkBodyDec :: BodyDec MCMem -> TypeM MCMem ()

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

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

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

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

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

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

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

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

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

CheckableOp MCMem

Defined in Futhark.IR.MCMem

Methods

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

TraverseOpStms (Wise MCMem)

Defined in Futhark.IR.MCMem

Methods

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

BuilderOps (Wise MCMem)

Defined in Futhark.IR.MCMem

Methods

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

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

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

OpReturns (MCOp (Wise MCMem) ())

Defined in Futhark.IR.MCMem

Methods

opReturns :: (Mem rep inner, Monad m, HasScope rep m) => MCOp (Wise MCMem) () -> m [ExpReturns]

OpReturns (MCOp MCMem ())

Defined in Futhark.IR.MCMem

Methods

opReturns :: (Mem rep inner, Monad m, HasScope rep m) => MCOp MCMem () -> m [ExpReturns]

type LetDec MCMem

Defined in Futhark.IR.MCMem

type LetDec MCMem = LetDecMem

type ExpDec MCMem

Defined in Futhark.IR.MCMem

type ExpDec MCMem = ()

type BodyDec MCMem

Defined in Futhark.IR.MCMem

type BodyDec MCMem = ()

type FParamInfo MCMem

Defined in Futhark.IR.MCMem

type FParamInfo MCMem = FParamMem

type LParamInfo MCMem

Defined in Futhark.IR.MCMem

type LParamInfo MCMem = LParamMem

type RetType MCMem

Defined in Futhark.IR.MCMem

type RetType MCMem = RetTypeMem

type BranchType MCMem

Defined in Futhark.IR.MCMem

type BranchType MCMem = BranchTypeMem

type Op MCMem

Defined in Futhark.IR.MCMem

type Op MCMem = MemOp (MCOp MCMem ())

Simplification

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

Module re-exports

module Futhark.IR.Mem

module Futhark.IR.SegOp

module Futhark.IR.MC.Op