Cryptol.REPL.Monad
data REPL a
runREPL
io
raise
stop
catch
rPutStrLn
rPutStr
rPrint
data REPLException
rethrowEvalError
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
data EnvVal
data OptionDescr
setUser
getUser
tryGetUser
userOptions
getUserSatNum
getPutStr
setPutStr
smokeTest
data Smoke