HERMIT.Monad

The HERMIT Monad

data HermitM a

runHM

embedHermitM

data HermitMEnv

data HermitMResult a

class LiftCoreM m

runTcM

runDsM

Lemmas

class HasLemmas m

addLemma

findLemma

insertLemma

deleteLemma

Reader Information

class HasHermitMEnv m

mkEnv

getModGuts

class HasHscEnv m

Messages

class HasDebugChan m

data DebugMessage

sendDebugMessage