ghc-8.2.1: The GHC API

Safe HaskellNone
LanguageHaskell2010

StgCmmMonad

Synopsis

Documentation

data FCode a Source #

Instances

Monad FCode Source # 

Methods

(>>=) :: FCode a -> (a -> FCode b) -> FCode b #

(>>) :: FCode a -> FCode b -> FCode b #

return :: a -> FCode a #

fail :: String -> FCode a #

Functor FCode Source # 

Methods

fmap :: (a -> b) -> FCode a -> FCode b #

(<$) :: a -> FCode b -> FCode a #

Applicative FCode Source # 

Methods

pure :: a -> FCode a #

(<*>) :: FCode (a -> b) -> FCode a -> FCode b #

liftA2 :: (a -> b -> c) -> FCode a -> FCode b -> FCode c #

(*>) :: FCode a -> FCode b -> FCode b #

(<*) :: FCode a -> FCode b -> FCode a #

MonadUnique FCode Source # 
HasDynFlags FCode Source # 

thenC :: FCode () -> FCode a -> FCode a infixr 9 Source #

thenFC :: FCode a -> (a -> FCode c) -> FCode c infixr 9 Source #

listCs :: [FCode ()] -> FCode () Source #

fixC :: (a -> FCode a) -> FCode a Source #

getCodeScoped :: FCode a -> FCode (a, CmmAGraphScoped) Source #

Generate code into a fresh tick (sub-)scope and gather generated code

forkAlts :: [FCode a] -> FCode [a] Source #

type ConTagZ = Int Source #

A *zero-indexed* constructor tag

tickScope :: FCode a -> FCode a Source #

Places blocks generated by the given code into a fresh (sub-)scope. This will make sure that Cmm annotations in our scope will apply to the Cmm blocks generated therein - but not the other way around.

getTickScope :: FCode CmmTickScope Source #

The current tick scope. We will assign this to generated blocks.

getBinds :: FCode CgBindings Source #

setBinds :: CgBindings -> FCode () Source #