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 #
Instance details Defined in NCGMonad Methods (>>=) :: NatM a -> (a -> NatM b) -> NatM b Source # (>>) :: NatM a -> NatM b -> NatM b Source # return :: a -> NatM a Source # fail :: String -> NatM a Source #
Functor NatM #
Instance details Defined in NCGMonad Methods fmap :: (a -> b) -> NatM a -> NatM b Source # (<$) :: a -> NatM b -> NatM a Source #
Applicative NatM #
Instance details Defined in NCGMonad Methods pure :: a -> NatM a Source # (<>) :: NatM (a -> b) -> NatM a -> NatM b Source # liftA2 :: (a -> b -> c) -> NatM a -> NatM b -> NatM c Source # (>) :: NatM a -> NatM b -> NatM b Source # (<*) :: NatM a -> NatM b -> NatM a Source #
MonadUnique NatM #
Instance details Defined in NCGMonad Methods getUniqueSupplyM :: NatM UniqSupply Source # getUniqueM :: NatM Unique Source # getUniquesM :: NatM [Unique] Source #
HasDynFlags NatM #
Instance details Defined in NCGMonad Methods getDynFlags :: NatM DynFlags Source #
CmmMakeDynamicReferenceM NatM #
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 #