| Safe Haskell | None |
|---|
HERMIT.Monad
- data HermitM a
- runHM :: HermitMEnv -> DefStash -> (DefStash -> a -> CoreM b) -> (String -> CoreM b) -> HermitM a -> CoreM b
- liftCoreM :: CoreM a -> HermitM a
- newGlobalIdH :: String -> Type -> HermitM Id
- newIdH :: String -> Type -> HermitM Id
- newTyVarH :: String -> Kind -> HermitM TyVar
- newCoVarH :: String -> Type -> HermitM TyVar
- cloneVarH :: (String -> String) -> Var -> HermitM Var
- type Label = String
- type DefStash = Map Label CoreDef
- saveDef :: Label -> CoreDef -> HermitM ()
- lookupDef :: Label -> HermitM CoreDef
- getStash :: HermitM DefStash
- newtype HermitMEnv = HermitMEnv {
- hs_debugChan :: DebugMessage -> HermitM ()
- data DebugMessage
- mkHermitMEnv :: (DebugMessage -> HermitM ()) -> HermitMEnv
- sendDebugMessage :: DebugMessage -> HermitM ()
The HERMIT Monad
The HERMIT monad is kept abstract.
Instances
runHM :: HermitMEnv -> DefStash -> (DefStash -> a -> CoreM b) -> (String -> CoreM b) -> HermitM a -> CoreM bSource
Eliminator for HermitM.
newGlobalIdH :: String -> Type -> HermitM IdSource
Make a unique global identifier for a specified type, using a provided name.
newIdH :: String -> Type -> HermitM IdSource
Make a unique identifier for a specified type, using a provided name.
newTyVarH :: String -> Kind -> HermitM TyVarSource
Make a unique type variable for a specified kind, using a provided name.
newCoVarH :: String -> Type -> HermitM TyVarSource
Make a unique coercion variable for a specified type, using a provided name.
cloneVarH :: (String -> String) -> Var -> HermitM VarSource
Make a new variable of the same type, with a modified textual name.
Saving Definitions
Messages
newtype HermitMEnv Source
A way of sending messages to top level
Constructors
| HermitMEnv | |
Fields
| |
data DebugMessage Source
A message packet.
mkHermitMEnv :: (DebugMessage -> HermitM ()) -> HermitMEnvSource
sendDebugMessage :: DebugMessage -> HermitM ()Source