Language.ArrayForth.Interpreter

Documentation

type Trace = [State]

A trace of a progam is the state after every word is executed.

wordAll :: Instrs -> State -> [State]

Runs a single word's worth of instructions starting from the given state, returning the intermediate states for each executed opcode.

word :: Instrs -> State -> State

Runs a single word's worth of instructions, returning only the final state.

stepAll :: State -> [State]

Executes a single word in the given state, incrementing the program counter and returning all the intermediate states.

step :: State -> State

Executes a single word in the given state, returning the last resulting state.q

traceAll :: State -> Trace

Trace the given program, including all the intermediate states.

traceProgram :: State -> Trace

Returns a trace of the program's execution. The trace is a list of the state of the chip after each step.

stepProgram :: State -> Trace

Trace a program until it either hits four nops or all 0s.

eval :: State -> State

Runs the program unil it hits a terminal state, returning only the resulting state.

runNativeProgram :: State -> NativeProgram -> State

Executes the specified program on the given state until it hits a terminal word--a word made up of four nops or all 0s.

countTime :: Trace -> Double

Estimates the execution time of a program trace.

throttle :: Int -> Trace -> Either Trace Trace

Checks that the program trace terminated in at most n steps, returning Nothing otherwise.

endWord :: Opcode -> Bool

Does the given opcode cause the current word to stop executing?

run :: Opcode -> [State] -> [State]

Extends the given trace by a single execution step. The trace cannot be empty.

execute :: Opcode -> State -> State

Executes an opcode on the given state.

jump :: Opcode -> F18Word -> State -> State

Execute a jump instruction to the given address.