Safe Haskell	None
Language	Haskell2010

NCGMonad

Documentation

Constructors

NatM_State
Fields natm_us :: UniqSupply natm_delta :: Int natm_imports :: [CLabel] natm_pic :: Maybe Reg natm_dflags :: DynFlags natm_this_module :: Module natm_modloc :: ModLocation natm_fileid :: DwarfFiles natm_debug_map :: LabelMap DebugBlock

data NatM result Source #

Instances

Monad NatM Source #
Instance details Defined in NCGMonad Methods (>>=) :: NatM a -> (a -> NatM b) -> NatM b # (>>) :: NatM a -> NatM b -> NatM b # return :: a -> NatM a # fail :: String -> NatM a #
Functor NatM Source #
Instance details Defined in NCGMonad Methods fmap :: (a -> b) -> NatM a -> NatM b # (<$) :: a -> NatM b -> NatM a #
Applicative NatM Source #
Instance details Defined in NCGMonad Methods pure :: a -> NatM a # (<>) :: NatM (a -> b) -> NatM a -> NatM b # liftA2 :: (a -> b -> c) -> NatM a -> NatM b -> NatM c # (>) :: NatM a -> NatM b -> NatM b # (<*) :: NatM a -> NatM b -> NatM a #
MonadUnique NatM Source #
Instance details Defined in NCGMonad Methods getUniqueSupplyM :: NatM UniqSupply Source # getUniqueM :: NatM Unique Source # getUniquesM :: NatM [Unique] Source #
HasDynFlags NatM Source #
Instance details Defined in NCGMonad Methods getDynFlags :: NatM DynFlags Source #
CmmMakeDynamicReferenceM NatM Source #
Instance details Defined in PIC Methods addImport :: CLabel -> NatM () Source # getThisModule :: NatM Module Source #

mapAccumLNat :: (acc -> x -> NatM (acc, y)) -> acc -> [x] -> NatM (acc, [y]) Source #