Copyright | disco team and contributors |
---|---|
License | BSD-3-Clause |
Maintainer | byorgey@gmail.com |
Safe Haskell | None |
Language | Haskell2010 |
CESK machine interpreter for Disco.
Synopsis
- data CESK
- runCESK :: Members '[Fresh, Random, State Mem] r => CESK -> Sem r (Either EvalError Value)
- step :: Members '[Fresh, Random, State Mem] r => CESK -> Sem r CESK
- eval :: Members '[Random, Error EvalError, Input Env, State Mem] r => Core -> Sem r Value
- runTest :: Members '[Random, Error EvalError, Input Env, State Mem] r => Int -> AProperty -> Sem r TestResult
Documentation
The CESK machine has two basic kinds of states.
runCESK :: Members '[Fresh, Random, State Mem] r => CESK -> Sem r (Either EvalError Value) Source #
Run a CESK machine to completion.