Safe Haskell | Safe-Infered |
---|
Documentation
data NatM_State Source
NatM_State | |
|
mkNatM_State :: UniqSupply -> Int -> DynFlags -> NatM_StateSource
initNat :: NatM_State -> NatM a -> (a, NatM_State)Source
addImportNat :: CLabel -> NatM ()Source
mapAccumLNat :: (acc -> x -> NatM (acc, y)) -> acc -> [x] -> NatM (acc, [y])Source
setDeltaNat :: Int -> NatM ()Source
getNewRegNat :: Size -> NatM RegSource
getPicBaseNat :: Size -> NatM RegSource