Safe Haskell	Trustworthy
Language	Haskell2010

Futhark.Internalise.Monad

Contents

Convenient reexports

Synopsis

data InternaliseM a
runInternaliseM :: MonadFreshNames m => Bool -> InternaliseM () -> m (Stms SOACS, [FunDef SOACS])
throwError :: MonadError e m => e -> m a
type VarSubstitutions = Map VName [SubExp]
data InternaliseEnv = InternaliseEnv {
- envSubsts :: VarSubstitutions
- envDoBoundsChecks :: Bool
- envSafe :: Bool
- envAttrs :: Attrs
}
type FunInfo = ([VName], [DeclType], [FParam], [(SubExp, Type)] -> Maybe [DeclExtType])
substitutingVars :: VarSubstitutions -> InternaliseM a -> InternaliseM a
lookupSubst :: VName -> InternaliseM (Maybe [SubExp])
addFunDef :: FunDef SOACS -> InternaliseM ()
lookupFunction :: VName -> InternaliseM FunInfo
lookupFunction' :: VName -> InternaliseM (Maybe FunInfo)
lookupConst :: VName -> InternaliseM (Maybe [SubExp])
bindFunction :: VName -> FunDef SOACS -> FunInfo -> InternaliseM ()
bindConstant :: VName -> FunDef SOACS -> InternaliseM ()
localConstsScope :: InternaliseM a -> InternaliseM a
assert :: String -> SubExp -> ErrorMsg SubExp -> SrcLoc -> InternaliseM Certificates
module Futhark.Tools

Documentation

data InternaliseM a Source #

Instances

Instances details

Monad InternaliseM Source #
Instance details 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 Source #
Instance details Defined in Futhark.Internalise.Monad Methods fmap :: (a -> b) -> InternaliseM a -> InternaliseM b # (<$) :: a -> InternaliseM b -> InternaliseM a #
Applicative InternaliseM Source #
Instance details 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 Source #
Instance details Defined in Futhark.Internalise.Monad Methods getNameSource :: InternaliseM VNameSource Source # putNameSource :: VNameSource -> InternaliseM () Source #
MonadBinder InternaliseM Source #
Instance details Defined in Futhark.Internalise.Monad Associated Types type Lore InternaliseM Source # Methods mkExpDecM :: Pattern (Lore InternaliseM) -> Exp (Lore InternaliseM) -> InternaliseM (ExpDec (Lore InternaliseM)) Source # mkBodyM :: Stms (Lore InternaliseM) -> Result -> InternaliseM (Body (Lore InternaliseM)) Source # mkLetNamesM :: [VName] -> Exp (Lore InternaliseM) -> InternaliseM (Stm (Lore InternaliseM)) Source # addStm :: Stm (Lore InternaliseM) -> InternaliseM () Source # addStms :: Stms (Lore InternaliseM) -> InternaliseM () Source # collectStms :: InternaliseM a -> InternaliseM (a, Stms (Lore InternaliseM)) Source # certifying :: Certificates -> InternaliseM a -> InternaliseM a Source #
MonadReader InternaliseEnv InternaliseM Source #
Instance details Defined in Futhark.Internalise.Monad Methods ask :: InternaliseM InternaliseEnv # local :: (InternaliseEnv -> InternaliseEnv) -> InternaliseM a -> InternaliseM a # reader :: (InternaliseEnv -> a) -> InternaliseM a #
LocalScope SOACS InternaliseM Source #
Instance details Defined in Futhark.Internalise.Monad Methods localScope :: Scope SOACS -> InternaliseM a -> InternaliseM a Source #
HasScope SOACS InternaliseM Source #
Instance details Defined in Futhark.Internalise.Monad Methods lookupType :: VName -> InternaliseM Type Source # lookupInfo :: VName -> InternaliseM (NameInfo SOACS) Source # askScope :: InternaliseM (Scope SOACS) Source # asksScope :: (Scope SOACS -> a) -> InternaliseM a Source #
type Lore InternaliseM Source #
Instance details Defined in Futhark.Internalise.Monad type Lore InternaliseM = SOACS

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

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

Is used within a monadic computation to begin exception processing.

type VarSubstitutions = Map VName [SubExp] Source #

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

data InternaliseEnv Source #

Constructors

InternaliseEnv
Fields envSubsts :: VarSubstitutions envDoBoundsChecks :: Bool envSafe :: Bool envAttrs :: Attrs

Instances

Instances details

MonadReader InternaliseEnv InternaliseM Source #
Instance details 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], [(SubExp, Type)] -> Maybe [DeclExtType]) Source #

substitutingVars :: VarSubstitutions -> InternaliseM a -> InternaliseM a Source #

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

addFunDef :: FunDef SOACS -> InternaliseM () Source #

Add a function definition to the program being constructed.

lookupFunction :: VName -> InternaliseM FunInfo Source #

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

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

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

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

localConstsScope :: InternaliseM a -> InternaliseM a Source #

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

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