Documentation

runALI :: ALU m ll element => SMInstruction -> ll -> m ll #

runSAL :: SafeStack m ll element => SPureInstruction -> ll -> m ll #

doOutputChar2 :: ALU m ll element => ll -> m ll #

doInputChar2 :: ALU m ll element => ll -> m ll #

doInputDec2 :: ALU m ll element => ll -> m ll #

divMod :: SafeStack m ll element => ll -> m ll #

sub :: SafeStack m ll element => ll -> m ll #

binaryInstruction :: SafeStack m ll element => BinaryOperation -> ll -> m ll #

binaryInstructions :: SafeStack m ll element => [BinaryOperation] -> ll -> m ll #

halibut :: SafeStack m ll element => ll -> m ll #

move :: SafeStack m ll element => Index -> ll -> m ll #

discard :: (MonadSafe m, ListLike full item) => full -> m full #

slide :: SafeStack m ll element => Index -> ll -> m ll #

copy :: SafeStack m ll element => Index -> ll -> m ll #

flipPush1 :: Stack ll element => ll -> element -> ll #

charPush1 :: (Num element, Stack ll element) => Char -> ll -> ll #

genericPush1 :: (Integral v, Num element, Stack ll element) => v -> ll -> ll #

pop1 :: SafeStack m ll element => ll -> m (element, ll) #

pop2 :: SafeStack m ll element => ll -> m (element, element, ll) #

push1 :: Stack ll element => element -> ll -> ll #

push2 :: Stack ll element => element -> element -> ll -> ll #

splitAt :: ListLike full item => Int -> full -> (full, full) #

drop :: ListLike full item => Int -> full -> full #

type ALU m ll element = (BIO m, SafeStack m ll element) #

type SafeStack m ll element = (MonadSafe m, IntegralStack ll element) #

type Stack ll element = (Show ll, ListLike ll element, IndexSafe ll element) #