GHC.Debugger.Stopped.Variables
tyThingToVarInfo :: TyThing -> Debugger VarInfo Source #
TyThing to VarInfo. The Bool argument indicates whether to force the value of the thing (as in True = :force, False = :print)
TyThing
VarInfo
Bool
True = :force
False = :print
termVarFields :: TermKey -> Term -> Debugger VarFields Source #
Construct the VarInfos of the fields (VarFields) of the given TermKey/Term
VarFields
TermKey
Term
termToVarInfo :: TermKey -> Term -> Debugger VarInfo Source #
Construct a VarInfo from the given Name of the variable and the Term it binds
Name
forceTerm :: TermKey -> Term -> Debugger Term Source #
Forces a term to WHNF in the general case, or to NF in the case of isBoringTy. The term is updated at the given key.
isBoringTy