Documentation

runInstruction :: SRAutomatonIO Symbol s r m => Instruction -> SF s r m #

pop2ForStack :: SRAutomatonIO Symbol s r m => Memory s r -> m (Symbol, Symbol, Memory s r) #

push1ForStack :: Stack s Symbol => Symbol -> Memory s r -> Memory s r #

end :: SRAutomatonIO Symbol s r m => SF s r m #

flippedNewMemory :: (s, r) -> InstructionList -> Memory s r #

newMemory :: InstructionList -> s -> r -> Memory s r #

incrementIC :: Memory s r -> Memory s r #

updateStack :: Memory s r -> s -> Memory s r #

updateFromCPM :: Memory s r -> CentralProcessingMemory s -> Memory s r #

updateFromLSM :: Memory s r -> LoadStoreMemory s r -> Memory s r #

memoryProgram :: Memory s r -> InstructionVector #

memoryProgramCounter :: Memory s r -> InstructionCounter #

toCPM :: Memory s r -> CentralProcessingMemory s #

toLSM :: Memory s r -> LoadStoreMemory s r #

type SF s r m = Memory s r -> m $ MemorySame s r #

type F s r m = Memory s r -> m $ Memory s r #

type MemorySame s r = Same (Memory s r) #

data Memory s r #