Cryptol.REPL.Monad

REPL Monad

data REPL a

runREPL

io

raise

stop

catch

rPutStrLn

rPutStr

rPrint

Errors

data REPLException

rethrowEvalError

Environment

getFocusedEnv

getModuleEnv

setModuleEnv

getDynEnv

setDynEnv

uniqify

freshName

getTSyns

getNewtypes

getVars

whenDebug

getExprNames

getTypeNames

getPropertyNames

data LoadedModule

getLoadedMod

setLoadedMod

setSearchPath

prependSearchPath

getPrompt

shouldContinue

unlessBatch

asBatch

disableLet

enableLet

getLetEnabled

updateREPLTitle

setUpdateREPLTitle

Config Options

data EnvVal

data OptionDescr

setUser

getUser

tryGetUser

userOptions

getUserSatNum

Configurable Output

getPutStr

setPutStr

Smoke Test

smokeTest

data Smoke