Safe Haskell	Safe-Inferred
Language	Haskell2010

CodeGen.RiscV.Lib.Monad

Documentation

newtype AsmBuilderT m a Source #

Constructors

AsmBuilderT
Fields unAsmBuilderT :: StateT BuilderState m a

Instances

Instances details

MonadTrans AsmBuilderT Source #
Instance details Defined in CodeGen.RiscV.Lib.Monad Methods lift :: Monad m => m a -> AsmBuilderT m a #
MonadState s m => MonadState s (AsmBuilderT m) Source #
Instance details Defined in CodeGen.RiscV.Lib.Monad Methods get :: AsmBuilderT m s # put :: s -> AsmBuilderT m () # state :: (s -> (a, s)) -> AsmBuilderT m a #
MonadFix m => MonadFix (AsmBuilderT m) Source #
Instance details Defined in CodeGen.RiscV.Lib.Monad Methods mfix :: (a -> AsmBuilderT m a) -> AsmBuilderT m a #
Monad m => Applicative (AsmBuilderT m) Source #
Instance details Defined in CodeGen.RiscV.Lib.Monad Methods pure :: a -> AsmBuilderT m a # (<>) :: AsmBuilderT m (a -> b) -> AsmBuilderT m a -> AsmBuilderT m b # liftA2 :: (a -> b -> c) -> AsmBuilderT m a -> AsmBuilderT m b -> AsmBuilderT m c # (>) :: AsmBuilderT m a -> AsmBuilderT m b -> AsmBuilderT m b # (<*) :: AsmBuilderT m a -> AsmBuilderT m b -> AsmBuilderT m a #
Functor m => Functor (AsmBuilderT m) Source #
Instance details Defined in CodeGen.RiscV.Lib.Monad Methods fmap :: (a -> b) -> AsmBuilderT m a -> AsmBuilderT m b # (<$) :: a -> AsmBuilderT m b -> AsmBuilderT m a #
Monad m => Monad (AsmBuilderT m) Source #
Instance details Defined in CodeGen.RiscV.Lib.Monad Methods (>>=) :: AsmBuilderT m a -> (a -> AsmBuilderT m b) -> AsmBuilderT m b # (>>) :: AsmBuilderT m a -> AsmBuilderT m b -> AsmBuilderT m b # return :: a -> AsmBuilderT m a #
Monad m => MonadAsmBuilder (AsmBuilderT m) Source #
Instance details Defined in CodeGen.RiscV.Lib.Monad Methods getAsmBuilderState :: AsmBuilderT m BuilderState Source # modifyAsmBuilderState :: (BuilderState -> BuilderState) -> AsmBuilderT m () Source #

data BuilderState Source #

Constructors

BS
Fields programBS :: ProgramBuilderState functionBS :: FunctionBuilderState idCnt :: Integer

data ProgramBuilderState Source #

Constructors

PBS
Fields sectionText :: [[CodeLine]] sectionData :: [CodeLine]

data FunctionBuilderState Source #

Constructors

FBS
Fields functionCodeLines :: [[CodeLine]] stackPointerOffset :: Int64

emptyBS :: BuilderState Source #

emptyPBS :: ProgramBuilderState Source #

emptyFBS :: FunctionBuilderState Source #

type AsmBuilder = AsmBuilderT Identity Source #

class Monad m => MonadAsmBuilder m where Source #

Minimal complete definition

Nothing

Methods

getAsmBuilderState :: m BuilderState Source #

default getAsmBuilderState :: (MonadTrans t, MonadAsmBuilder m1, m ~ t m1) => m BuilderState Source #

modifyAsmBuilderState :: (BuilderState -> BuilderState) -> m () Source #

default modifyAsmBuilderState :: (MonadTrans t, MonadAsmBuilder m1, m ~ t m1) => (BuilderState -> BuilderState) -> m () Source #

Instances

Instances details

Monad m => MonadAsmBuilder (AsmBuilderT m) Source #
Instance details Defined in CodeGen.RiscV.Lib.Monad Methods getAsmBuilderState :: AsmBuilderT m BuilderState Source # modifyAsmBuilderState :: (BuilderState -> BuilderState) -> AsmBuilderT m () Source #
MonadAsmBuilder m => MonadAsmBuilder (StateT s m) Source #
Instance details Defined in CodeGen.RiscV.Lib.Monad Methods getAsmBuilderState :: StateT s m BuilderState Source # modifyAsmBuilderState :: (BuilderState -> BuilderState) -> StateT s m () Source #