Language.ArrayForth.State

Documentation

type Memory = Vector Int

The chip's RAM and ROM

emptyMem :: Memory

data State

A state representing the registers, stacks and memory of a core.

Constructors

State

Fields

a :: !F18Word

b :: !F18Word

i :: !F18Word

p :: !F18Word

r :: !F18Word

s :: !F18Word

t :: !F18Word

dataStack :: !Stack

returnStack :: !Stack

memory :: !Memory

Instances

Show State

startState :: State

The state corresponding to a core with no programs loaded and no instructions executed.

next :: State -> Instrs

The next word of instructions to execute in the given state.

dpop :: State -> (State, F18Word)

Pops the data stack of the given state, updating s and t.

dpush :: State -> F18Word -> State

Push a word onto the data stack, updating s and t.

rpop :: State -> (State, F18Word)

Pops the return stack of the given state, updating r.

rpush :: State -> F18Word -> State

Push a word onto the return stack, updating r.

toMem :: (Integral a, Integral b) => a -> b

Force an address to be in range of memory: [0,64).

(!) :: Memory -> F18Word -> F18Word

Read the memory at a location given by a Forth word.

set :: Memory -> F18Word -> F18Word -> Memory

Set the memory using Forth words.

setProgram :: F18Word -> NativeProgram -> State -> State

Loads the given program into memory at the given starting position.

loadMemory :: F18Word -> [F18Word] -> State -> State

Load the given memory words into the state starting at the given address.