ghc-lib-8.8.1.20191204: The GHC API, decoupled from GHC versions

Safe HaskellNone
LanguageHaskell2010

NCGMonad

Synopsis

Documentation

data NcgImpl statics instr jumpDest Source #

Constructors

NcgImpl 

Fields

data NatM_State Source #

Constructors

NatM_State 

Fields

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 #

HasDynFlags NatM Source # 
Instance details

Defined in NCGMonad

MonadUnique NatM Source # 
Instance details

Defined in NCGMonad

CmmMakeDynamicReferenceM NatM Source # 
Instance details

Defined in PIC

addNodeBetweenNat :: BlockId -> BlockId -> BlockId -> NatM () Source #

Record that we added a block between from and old.

addImmediateSuccessorNat :: BlockId -> BlockId -> NatM () Source #

Place succ after block and change any edges block -> X to succ -> X

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