Documentation

execDSL :: DSL Instruction -> InstructionList #

reducePushS :: MonadWriter InstructionList m => SString -> m () #

pushLiteralS :: SString -> InstructionList #

pushLiteralC :: Char -> Instruction #

push :: MonadASM m => Integer -> m () #

pop :: MonadASM0 m #

dup :: MonadASM0 m #

swap :: MonadASM0 m #

reduceTest :: MonadASM m => Integer -> m () #

reduceAddOpt :: MonadASM m => Maybe Integer -> m () #

reduceAdd :: MonadASM m => Integer -> m () #

add :: MonadASM0 m #

reduceSubOpt :: MonadASM m => Maybe Integer -> m () #

reduceSub :: MonadASM m => Integer -> m () #

sub :: MonadASM0 m #

reduceMulOpt :: MonadASM m => Maybe Integer -> m () #

reduceMul :: MonadASM m => Integer -> m () #

mul :: MonadASM0 m #

reduceDivOpt :: MonadASM m => Maybe Integer -> m () #

reduceDiv :: MonadASM m => Integer -> m () #

div :: MonadASM0 m #

reduceModOpt :: MonadASM m => Maybe Integer -> m () #

reduceMod :: MonadASM m => Integer -> m () #

mod :: MonadASM0 m #

reduceLoadOpt :: MonadASM m => Maybe Integer -> m () #

reduceLoad :: MonadASM m => Integer -> m () #

load :: MonadASM0 m #

reduceStoreOpt :: MonadASM m => Maybe Integer -> m () #

reduceStore :: MonadASM m => Integer -> m () #

storeVA :: MonadASM m => Integer -> Integer -> m () #

reduceStoreA :: MonadASM m => Integer -> m () #

store :: MonadASM0 m #

mark :: MonadASM1I m #

branch :: MonadASM1I m #

branchZ :: MonadASM1I m #

branchM :: MonadASM1I m #

branchNZ :: MonadASM1I m #

branchNM :: MonadASM1I m #

branchP :: MonadASM1I m #

branchNP :: MonadASM1I m #

return :: MonadASM0 m #

end :: MonadASM0 m #

type MonadASM1VO (m :: Type -> Type) = MonadASM m => Maybe IntegerValue -> m () #

type MonadASM1V (m :: Type -> Type) = MonadASM m => IntegerValue -> m () #

type MonadASM1IO (m :: Type -> Type) = MonadASM m => Maybe Identifier -> m () #

type MonadASM1I (m :: Type -> Type) = MonadASM m => Identifier -> m () #

type MonadASM0 (m :: Type -> Type) = MonadASM m => m () #

type MonadASM (m :: Type -> Type) = MonadDSL Instruction m #

type Instructions = [Instruction] #