HERMIT.Monad

The HERMIT Monad

data HermitM a

runHM

liftCoreM

newGlobalIdH

newIdH

newTyVarH

newCoVarH

newVarH

cloneVarH

Saving Definitions

type Label

type DefStash

saveDef

lookupDef

getStash

Reader Information

class HasHermitMEnv m

class HasModGuts m

class HasHscEnv m

Messages

data HermitMEnv

data DebugMessage

mkHermitMEnv

sendDebugMessage