HERMIT.Monad

The HERMIT Monad

data HermitM a

runHM

embedHermitM

data HermitMEnv

data HermitMResult a

class LiftCoreM m

getHscEnv

runTcM

runDsM

Lemmas

class HasLemmas m

addLemma

findLemma

insertLemma

deleteLemma

Reader Information

class HasHermitMEnv m

mkEnv

getModGuts

Messages

getDebugChan

data KEnvMessage

sendKEnvMessage