Language.Subleq.Model.Prim

Documentation

class Address a

Minimal complete definition

advance

Instances

Num a => Address a

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

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)

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

getPC :: Machine a w m a

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

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

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

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

runMachineStep :: Machine a w m Bool -> SubleqState a w m -> SubleqState a w m

runMachine :: Machine a w m Bool -> SubleqState a w m -> SubleqState a w m

runMachineWithHistory :: Machine a w m Bool -> SubleqState a w m -> (SubleqState a w m, [SubleqState a w m])