Safe Haskell | None |
---|
- type Memory = Vector Int
- emptyMem :: Memory
- data State = State {}
- startState :: State
- next :: State -> Instrs
- dpop :: State -> (State, F18Word)
- dpush :: State -> F18Word -> State
- rpop :: State -> (State, F18Word)
- rpush :: State -> F18Word -> State
- toMem :: (Integral a, Integral b) => a -> b
- (!) :: Memory -> F18Word -> F18Word
- set :: Memory -> F18Word -> F18Word -> Memory
- setProgram :: F18Word -> NativeProgram -> State -> State
Documentation
A state representing the registers, stacks and memory of a core.
The state corresponding to a core with no programs loaded and no instructions executed.
setProgram :: F18Word -> NativeProgram -> State -> StateSource
Loads the given program into memory at the given starting position.