subleq-toolchain-0.1.8.4: Toolchain of subleq computer.

Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Subleq.Model.InstructionSet.SubleqR

Documentation

step :: (Memory a a m, Num a, Ord a, Integral a, BitReversable a) => Machine a a m Bool Source

initialMachine :: (Memory a a m, Num a, Ord a, Enum a) => SubleqState a w m Source

class BitReversable a where Source

Methods

reversal :: Int -> a -> a Source

reversalSub :: a -> a -> a Source

Instances