Safe Haskell	None
Language	Haskell2010

RtClosureInspect

Synopsis

cvObtainTerm :: HscEnv -> Int -> Bool -> RttiType -> HValue -> IO Term
cvReconstructType :: HscEnv -> Int -> GhciType -> HValue -> IO (Maybe Type)
improveRTTIType :: HscEnv -> RttiType -> RttiType -> Maybe TCvSubst
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 :: DynFlags -> a -> IO Bool
isFullyEvaluatedTerm :: Term -> Bool
termType :: Term -> RttiType
mapTermType :: (RttiType -> Type) -> Term -> Term
termTyCoVars :: Term -> TyCoVarSet
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 :: forall m. 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 :: ClosureNonPtrs
}
getClosureData :: DynFlags -> 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 TCvSubst 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 #
Instance details Defined in RtClosureInspect Methods ppr :: Term -> SDoc Source # pprPrec :: Rational -> Term -> SDoc Source #

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 :: DynFlags -> a -> IO Bool Source #

isFullyEvaluatedTerm :: Term -> Bool Source #

termType :: Term -> RttiType Source #

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

termTyCoVars :: Term -> TyCoVarSet Source #

foldTerm :: TermFold a -> Term -> a Source #

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 a Source #

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 -> TermPrinter Source #

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 successful printer, or the default printer

cPprTermBase :: forall m. Monad m => CustomTermPrinter m Source #

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 :: ClosureNonPtrs

getClosureData :: DynFlags -> 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 #
Instance details Defined in RtClosureInspect Methods (==) :: ClosureType -> ClosureType -> Bool # (/=) :: ClosureType -> ClosureType -> Bool #
Show ClosureType #
Instance details Defined in RtClosureInspect Methods showsPrec :: Int -> ClosureType -> ShowS Source # show :: ClosureType -> String Source # showList :: [ClosureType] -> ShowS Source #
Outputable ClosureType #
Instance details Defined in RtClosureInspect Methods ppr :: ClosureType -> SDoc Source # pprPrec :: Rational -> ClosureType -> SDoc Source #

isConstr :: ClosureType -> Bool Source #

isIndirection :: ClosureType -> Bool Source #