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

fail :: String -> InternaliseM a

Functor InternaliseM

Defined in Futhark.Internalise.Monad

Methods

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

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

MonadFail InternaliseM

Defined in Futhark.Internalise.Monad

Methods

fail :: String -> 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 :: Type

Methods

mkExpAttrM :: Pattern (Lore InternaliseM) -> Exp (Lore InternaliseM) -> InternaliseM (ExpAttr (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

MonadError String InternaliseM

Defined in Futhark.Internalise.Monad

Methods

throwError :: String -> InternaliseM a

catchError :: InternaliseM a -> (String -> InternaliseM 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 (Either String [FunDef])

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

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 ConstParams = [(Name, VName)]

type Closure = [VName]

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

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

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

addFunction :: FunDef -> InternaliseM ()

Add a function definition to the program being constructed.

lookupFunction :: VName -> InternaliseM FunInfo

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

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

asserting :: InternaliseM Certificates -> InternaliseM Certificates

Execute the given action if envDoBoundsChecks is true, otherwise just return an empty list.

assertingOne :: InternaliseM VName -> InternaliseM Certificates

Execute the given action if envDoBoundsChecks is true, otherwise just return an empty list.

Type Handling

data InternaliseTypeM a

Instances

Monad InternaliseTypeM

Defined in Futhark.Internalise.Monad

Methods

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

(>>) :: InternaliseTypeM a -> InternaliseTypeM b -> InternaliseTypeM b

return :: a -> InternaliseTypeM a

fail :: String -> InternaliseTypeM a

Functor InternaliseTypeM

Defined in Futhark.Internalise.Monad

Methods

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

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

Applicative InternaliseTypeM

Defined in Futhark.Internalise.Monad

Methods

pure :: a -> InternaliseTypeM a

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

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

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

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

MonadError String InternaliseTypeM

Defined in Futhark.Internalise.Monad

Methods

throwError :: String -> InternaliseTypeM a

catchError :: InternaliseTypeM a -> (String -> InternaliseTypeM a) -> InternaliseTypeM a

liftInternaliseM :: InternaliseM a -> InternaliseTypeM a

runInternaliseTypeM :: InternaliseTypeM a -> InternaliseM (a, ConstParams)

lookupDim :: VName -> InternaliseTypeM (Maybe ExtSize)

withDims :: DimTable -> InternaliseTypeM a -> InternaliseTypeM a

type DimTable = Map VName ExtSize

Convenient reexports

module Futhark.Tools