Language.ArrayForth.Interpreter

Documentation

word :: Instrs -> State -> State

Runs a single word's worth of instructions starting from the given state.

step :: State -> State

Executes a single instruction in the given state, incrementing the program counter.

traceProgram :: State -> [State]

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

stepProgram :: State -> [State]

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 :: [State] -> Double

Estimates the execution time of a program trace.

throttle :: Int -> [State] -> Either [State] [State]

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?

execute :: Opcode -> State -> State

Executes an opcode on the given state.

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

Execute a jump instruction to the given address.