Cryptol.Eval.Monad

Evaluation monad

data Eval a

runEval

io

delay

delayFill

ready

blackhole

Error reporting

data EvalError

evalPanic

typeCannotBeDemoted

divideByZero

wordTooWide

cryUserError

cryLoopError

invalidIndex