subleq-toolchain-0.1.8.4: Toolchain of subleq computer.

Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Subleq.Model.Prim

Documentation

class Address a Source

Minimal complete definition

advance

Instances

Num a => Address a 

class Memory a w m | m -> w, m -> a Source

Minimal complete definition

read, write, empty

Instances

(Address a, Num b, Ord a) => Memory a b (Map a b) 

type SubleqState a w m = (a, m) Source

type Machine a w m = State (SubleqState a w m) Source

getPC :: Machine a w m a Source

putPC :: a -> Machine a w m () Source

readMem :: Memory a w m => a -> Machine a w m w Source

writeMem :: Memory a w m => a -> w -> Machine a w m () Source

advancePC :: (Integral a, Memory a w m) => a -> Machine a w m () Source