ghc-7.2.1: The GHC API

RtClosureInspect

Synopsis

Documentation

cvObtainTerm :: HscEnv -> Int -> Bool -> RttiType -> HValue -> IO TermSource

improveRTTIType :: HscEnv -> RttiType -> RttiType -> Maybe TvSubstSource

data Term Source

Constructors

Term 

Fields

ty :: RttiType
 
dc :: Either String DataCon
 
val :: HValue
 
subTerms :: [Term]
 
Prim 

Fields

ty :: RttiType
 
value :: [Word]
 
Suspension 

Fields

ctype :: ClosureType
 
ty :: RttiType
 
val :: HValue
 
bound_to :: Maybe Name
 
NewtypeWrap 

Fields

ty :: RttiType
 
dc :: Either String DataCon
 
wrapped_term :: Term
 
RefWrap 

Fields

ty :: RttiType
 
wrapped_term :: Term
 

Instances

termType :: Term -> RttiTypeSource

mapTermType :: (RttiType -> Type) -> Term -> TermSource

data TermFold a Source

Constructors

TermFold 

Fields

fTerm :: TermProcessor a a
 
fPrim :: RttiType -> [Word] -> a
 
fSuspension :: ClosureType -> RttiType -> HValue -> Maybe Name -> a
 
fNewtypeWrap :: RttiType -> Either String DataCon -> a -> a
 
fRefWrap :: RttiType -> a -> a
 

foldTermM :: Monad m => TermFoldM m a -> Term -> m aSource

data TermFoldM m a Source

Constructors

TermFoldM 

Fields

fTermM :: TermProcessor a (m a)
 
fPrimM :: RttiType -> [Word] -> m a
 
fSuspensionM :: ClosureType -> RttiType -> HValue -> Maybe Name -> m a
 
fNewtypeWrapM :: RttiType -> Either String DataCon -> a -> m a
 
fRefWrapM :: RttiType -> a -> m a
 

pprTerm :: TermPrinter -> TermPrinterSource

cPprTerm :: Monad m => CustomTermPrinter m -> Term -> m SDocSource

Takes a list of custom printers with a explicit recursion knot and a term, and returns the output of the first succesful printer, or the default printer

type CustomTermPrinter m = TermPrinterM m -> [Precedence -> Term -> m (Maybe SDoc)]Source