futhark-0.25.12: An optimising compiler for a functional, array-oriented language.
Safe HaskellSafe-Inferred
LanguageGHC2021

Futhark.IR.MCMem

Synopsis

Documentation

data MCMem Source #

Instances

Instances details
BuilderOps MCMem Source # 
Instance details

Defined in Futhark.IR.MCMem

PrettyRep MCMem Source # 
Instance details

Defined in Futhark.IR.MCMem

Methods

ppExpDec :: ExpDec MCMem -> Exp MCMem -> Maybe (Doc a) Source #

ASTRep MCMem Source # 
Instance details

Defined in Futhark.IR.MCMem

RepTypes MCMem Source # 
Instance details

Defined in Futhark.IR.MCMem

Checkable MCMem Source # 
Instance details

Defined in Futhark.IR.MCMem

HasMemBlock (Aliases MCMem) Source # 
Instance details

Defined in Futhark.Optimise.ArrayShortCircuiting.DataStructs

BuilderOps (Wise MCMem) Source # 
Instance details

Defined in Futhark.IR.MCMem

OpReturns (MCOp (NoOp :: Type -> Type) (Aliases MCMem)) Source # 
Instance details

Defined in Futhark.IR.MCMem

Methods

opReturns :: forall rep (inner :: Type -> Type) m. (Mem rep inner, Monad m, HasScope rep m) => MCOp NoOp (Aliases MCMem) -> m [ExpReturns] Source #

OpReturns (MCOp (NoOp :: Type -> Type) MCMem) Source # 
Instance details

Defined in Futhark.IR.MCMem

Methods

opReturns :: forall rep (inner :: Type -> Type) m. (Mem rep inner, Monad m, HasScope rep m) => MCOp NoOp MCMem -> m [ExpReturns] Source #

OpReturns (MCOp (NoOp :: Type -> Type) (Wise MCMem)) Source # 
Instance details

Defined in Futhark.IR.MCMem

Methods

opReturns :: forall rep (inner :: Type -> Type) m. (Mem rep inner, Monad m, HasScope rep m) => MCOp NoOp (Wise MCMem) -> m [ExpReturns] Source #

TraverseOpStms (Wise MCMem) Source # 
Instance details

Defined in Futhark.IR.MCMem

TopDownHelper (inner (Aliases MCMem)) => TopDownHelper (MCOp inner (Aliases MCMem)) Source # 
Instance details

Defined in Futhark.Optimise.ArrayShortCircuiting.TopdownAnalysis

type BodyDec MCMem Source # 
Instance details

Defined in Futhark.IR.MCMem

type BodyDec MCMem = ()
type BranchType MCMem Source # 
Instance details

Defined in Futhark.IR.MCMem

type ExpDec MCMem Source # 
Instance details

Defined in Futhark.IR.MCMem

type ExpDec MCMem = ()
type FParamInfo MCMem Source # 
Instance details

Defined in Futhark.IR.MCMem

type LParamInfo MCMem Source # 
Instance details

Defined in Futhark.IR.MCMem

type LetDec MCMem Source # 
Instance details

Defined in Futhark.IR.MCMem

type OpC MCMem Source # 
Instance details

Defined in Futhark.IR.MCMem

type OpC MCMem = MemOp (MCOp (NoOp :: Type -> Type))
type RetType MCMem Source # 
Instance details

Defined in Futhark.IR.MCMem

Simplification

Module re-exports