subleq-toolchain-0.1.8.4: Toolchain of subleq computer.

Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Subleq.Model.Memory

Documentation

class Address a where Source

Methods

advance :: Integral b => b -> a -> a Source

Instances

Num a => Address a 

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

Minimal complete definition

read, write, empty

Methods

read :: a -> m -> w Source

write :: a -> w -> m -> m Source

empty :: m Source

fromAssocList :: [(a, w)] -> m Source

Instances

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