Futhark.Internalise.Monad

Documentation

data InternaliseM a

Instances

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

Functor InternaliseM

Defined in Futhark.Internalise.Monad

Methods

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

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

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

MonadFreshNames InternaliseM

Defined in Futhark.Internalise.Monad

Methods

getNameSource :: InternaliseM VNameSource

putNameSource :: VNameSource -> InternaliseM ()

MonadBinder InternaliseM

Defined in Futhark.Internalise.Monad

Associated Types

type Lore InternaliseM

Methods

mkExpDecM :: Pattern (Lore InternaliseM) -> Exp (Lore InternaliseM) -> InternaliseM (ExpDec (Lore InternaliseM))

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

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

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

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

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

certifying :: Certificates -> 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

LocalScope SOACS InternaliseM

Defined in Futhark.Internalise.Monad

Methods

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

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

type Lore InternaliseM

Defined in Futhark.Internalise.Monad

type Lore InternaliseM = SOACS

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

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

Is used within a monadic computation to begin exception processing.

type VarSubstitutions = Map VName [SubExp]

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

data InternaliseEnv

Constructors

InternaliseEnv

Fields

• envSubsts :: VarSubstitutions
• 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 Closure = [VName]

Extra parameters to pass when calling this function. This corresponds to the closure of a locally defined function.

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

substitutingVars :: VarSubstitutions -> InternaliseM a -> InternaliseM a

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

addFunDef :: FunDef SOACS -> InternaliseM ()

Add a function definition to the program being constructed.

lookupFunction :: VName -> InternaliseM FunInfo

lookupFunction' :: VName -> InternaliseM (Maybe FunInfo)

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

allConsts :: InternaliseM Names

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

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

localConstsScope :: InternaliseM a -> InternaliseM a

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

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