disco-0.1.5: Functional programming language for teaching discrete math.

Copyright	disco team and contributors
License	BSD-3-Clause
Maintainer	byorgey@gmail.com
Safe Haskell	None
Language	Haskell2010

Disco.Interpret.CESK

Description

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

data CESK Source #

The CESK machine has two basic kinds of states.

Instances

Instances details

Show CESK Source #
Instance details Defined in Disco.Interpret.CESK Methods showsPrec :: Int -> CESK -> ShowS # show :: CESK -> String # showList :: [CESK] -> ShowS #

runCESK :: Members '[Fresh, Random, State Mem] r => CESK -> Sem r (Either EvalError Value) Source #

Run a CESK machine to completion.

step :: Members '[Fresh, Random, State Mem] r => CESK -> Sem r CESK Source #

Advance the CESK machine by one step.

eval :: Members '[Random, Error EvalError, Input Env, State Mem] r => Core -> Sem r Value Source #

runTest :: Members '[Random, Error EvalError, Input Env, State Mem] r => Int -> AProperty -> Sem r TestResult Source #