Futhark.Internalise.Monad

Documentation

data InternaliseM a

Instances

Applicative InternaliseM

Defined in Futhark.Internalise.Monad

Methods

pure :: a -> InternaliseM a

(<*>) :: InternaliseM (a -> b) -> InternaliseM a -> InternaliseM b

liftA2 :: (a -> b -> c) -> InternaliseM a -> InternaliseM b -> InternaliseM c

(*>) :: InternaliseM a -> InternaliseM b -> InternaliseM b

(<*) :: InternaliseM a -> InternaliseM b -> InternaliseM a

Functor InternaliseM

Defined in Futhark.Internalise.Monad

Methods

fmap :: (a -> b) -> InternaliseM a -> InternaliseM b

(<$) :: a -> InternaliseM b -> InternaliseM a

Monad InternaliseM

Defined in Futhark.Internalise.Monad

Methods

(>>=) :: InternaliseM a -> (a -> InternaliseM b) -> InternaliseM b

(>>) :: InternaliseM a -> InternaliseM b -> InternaliseM b

return :: a -> InternaliseM a

MonadBuilder InternaliseM

Defined in Futhark.Internalise.Monad

Associated Types

type Rep InternaliseM

Methods

mkExpDecM :: Pat (LetDec (Rep InternaliseM)) -> Exp (Rep InternaliseM) -> InternaliseM (ExpDec (Rep InternaliseM))

mkBodyM :: Stms (Rep InternaliseM) -> Result -> InternaliseM (Body (Rep InternaliseM))

mkLetNamesM :: [VName] -> Exp (Rep InternaliseM) -> InternaliseM (Stm (Rep InternaliseM))

addStm :: Stm (Rep InternaliseM) -> InternaliseM ()

addStms :: Stms (Rep InternaliseM) -> InternaliseM ()

collectStms :: InternaliseM a -> InternaliseM (a, Stms (Rep InternaliseM))

certifying :: Certs -> InternaliseM a -> InternaliseM a

MonadFreshNames InternaliseM

Defined in Futhark.Internalise.Monad

Methods

getNameSource :: InternaliseM VNameSource

putNameSource :: VNameSource -> InternaliseM ()

HasScope SOACS InternaliseM

Defined in Futhark.Internalise.Monad

Methods

lookupType :: VName -> InternaliseM Type

lookupInfo :: VName -> InternaliseM (NameInfo SOACS)

askScope :: InternaliseM (Scope SOACS)

asksScope :: (Scope SOACS -> a) -> InternaliseM a

LocalScope SOACS InternaliseM

Defined in Futhark.Internalise.Monad

Methods

localScope :: Scope SOACS -> InternaliseM a -> InternaliseM a

MonadReader InternaliseEnv InternaliseM

Defined in Futhark.Internalise.Monad

Methods

ask :: InternaliseM InternaliseEnv

local :: (InternaliseEnv -> InternaliseEnv) -> InternaliseM a -> InternaliseM a

reader :: (InternaliseEnv -> a) -> InternaliseM a

type Rep InternaliseM

Defined in Futhark.Internalise.Monad

type Rep InternaliseM = SOACS

runInternaliseM :: MonadFreshNames m => Bool -> InternaliseM () -> m (OpaqueTypes, Stms SOACS, [FunDef SOACS])

throwError :: MonadError e m => e -> m a

Is used within a monadic computation to begin exception processing.

type VarSubsts = Map VName [SubExp]

A mapping from external variable names to the corresponding internalised subexpressions.

data InternaliseEnv

Constructors

InternaliseEnv

Fields

• envSubsts :: VarSubsts
• envDoBoundsChecks :: Bool
• envSafe :: Bool
• envAttrs :: Attrs

Instances

MonadReader InternaliseEnv InternaliseM

Defined in Futhark.Internalise.Monad

Methods

ask :: InternaliseM InternaliseEnv

local :: (InternaliseEnv -> InternaliseEnv) -> InternaliseM a -> InternaliseM a

reader :: (InternaliseEnv -> a) -> InternaliseM a

type FunInfo = ([VName], [DeclType], [FParam SOACS], [(SubExp, Type)] -> Maybe [(DeclExtType, RetAls)])

substitutingVars :: VarSubsts -> InternaliseM a -> InternaliseM a

lookupSubst :: VName -> InternaliseM (Maybe [SubExp])

addOpaques :: OpaqueTypes -> InternaliseM ()

Add opaque types. If the types are already known, they will not be added.

addFunDef :: FunDef SOACS -> InternaliseM ()

Add a function definition to the program being constructed.

lookupFunction :: VName -> InternaliseM FunInfo

lookupConst :: VName -> InternaliseM (Maybe [SubExp])

bindFunction :: VName -> FunDef SOACS -> FunInfo -> InternaliseM ()

bindConstant :: VName -> FunDef SOACS -> InternaliseM ()

assert :: String -> SubExp -> ErrorMsg SubExp -> SrcLoc -> InternaliseM Certs

Construct an Assert statement, but taking attributes into account. Always use this function, and never construct Assert directly in the internaliser!

Convenient reexports

module Futhark.Tools