ghc-7.0.4: The GHC API

RtClosureInspect

Synopsis

- cvObtainTerm :: HscEnv -> Int -> Bool -> RttiType -> HValue -> IO Term
- cvReconstructType :: HscEnv -> Int -> GhciType -> HValue -> IO (Maybe Type)
- improveRTTIType :: HscEnv -> RttiType -> RttiType -> Maybe TvSubst
- data Term
  - = Term {
    - ty :: RttiType
    - dc :: Either String DataCon
    - val :: HValue
    - subTerms :: [Term]
    }
  - | Prim {
    - ty :: RttiType
    - value :: [Word]
    }
  - | Suspension {
    - ctype :: ClosureType
    - ty :: RttiType
    - val :: HValue
    - bound_to :: Maybe Name
    }
  - | NewtypeWrap {
    - ty :: RttiType
    - dc :: Either String DataCon
    - wrapped_term :: Term
    }
  - | RefWrap {
    - ty :: RttiType
    - wrapped_term :: Term
    }
- isTerm :: Term -> Bool
- isSuspension :: Term -> Bool
- isPrim :: Term -> Bool
- isFun :: Term -> Bool
- isFunLike :: Term -> Bool
- isNewtypeWrap :: Term -> Bool
- isFullyEvaluated :: a -> IO Bool
- isFullyEvaluatedTerm :: Term -> Bool
- termType :: Term -> RttiType
- mapTermType :: (RttiType -> Type) -> Term -> Term
- termTyVars :: Term -> TyVarSet
- foldTerm :: TermFold a -> Term -> a
- data TermFold a = TermFold {
  - 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 a
- data TermFoldM m a = TermFoldM {
  - 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
  }
- idTermFold :: TermFold Term
- pprTerm :: TermPrinter -> TermPrinter
- cPprTerm :: Monad m => CustomTermPrinter m -> Term -> m SDoc
- cPprTermBase :: Monad m => CustomTermPrinter m
- type CustomTermPrinter m = TermPrinterM m -> [Precedence -> Term -> m (Maybe SDoc)]
- data Closure = Closure {
  - tipe :: ClosureType
  - infoPtr :: Ptr ()
  - infoTable :: StgInfoTable
  - ptrs :: Array Int HValue
  - nonPtrs :: [Word]
  }
- getClosureData :: a -> IO Closure
- data ClosureType
  - = Constr
  - | Fun
  - | Thunk Int
  - | ThunkSelector
  - | Blackhole
  - | AP
  - | PAP
  - | Indirection Int
  - | MutVar Int
  - | MVar Int
  - | Other Int
- isConstr :: ClosureType -> Bool
- isIndirection :: ClosureType -> Bool

# Documentation

cvObtainTerm :: HscEnv -> Int -> Bool -> RttiType -> HValue -> IO Term Source

cvReconstructType :: HscEnv -> Int -> GhciType -> HValue -> IO (Maybe Type)Source

improveRTTIType :: HscEnv -> RttiType -> RttiType -> Maybe TvSubst Source

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

Outputable Term |

isTerm :: Term -> Bool Source

isSuspension :: Term -> Bool Source

isPrim :: Term -> Bool Source

isFun :: Term -> Bool Source

isFunLike :: Term -> Bool Source

isNewtypeWrap :: Term -> Bool Source

isFullyEvaluated :: a -> IO Bool Source

isFullyEvaluatedTerm :: Term -> Bool Source

termType :: Term -> RttiTypeSource

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

termTyVars :: Term -> TyVarSet Source

foldTerm :: TermFold a -> Term -> aSource

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

idTermFold :: TermFold Term Source

pprTerm :: TermPrinter -> TermPrinterSource

cPprTerm :: Monad m => CustomTermPrinter m -> Term -> m SDoc Source

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

cPprTermBase :: Monad m => CustomTermPrinter mSource

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

data Closure Source

Constructors

Closure |

Fields

tipe :: ClosureType
infoPtr :: Ptr ()
infoTable :: StgInfoTable
ptrs :: Array Int HValue
nonPtrs :: [Word]

getClosureData :: a -> IO Closure Source

data ClosureType Source

Constructors

Constr |
Fun |
Thunk Int |
ThunkSelector |
Blackhole |
AP |
PAP |
Indirection Int |
MutVar Int |
MVar Int |
Other Int |

Instances

Eq ClosureType |
Show ClosureType |
Outputable ClosureType |

isConstr :: ClosureType -> Bool Source

isIndirection :: ClosureType -> Bool Source