Documentation

newtype Register #

calculateLabel :: MonadDSL a m => m Identifier #

calculateLocalLabel :: MonadDSL a m => Identifier -> m Identifier #

acc :: Register #

acc1 :: Register #

newtype Immediate #

unRegister :: Register -> Text #

unImmediate :: Immediate -> Integer #

type ImmediateORRegister = Either Immediate Register #

dsl :: MonadDSL a m => a -> m () #

type Config = Natural #

type Environment = Natural #

type MonadDSL a m = MonadRWS Config [a] Environment m #

type DSL a = RWS Config [a] Environment () #