| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Graph.Trace.Internal.Instrument
Synopsis
- modifyValBinds :: DebugNames -> Map Name (Maybe FastString, Propagation) -> NHsValBindsLR GhcRn -> WriterT (Set Name) (StateT (Set Name) TcM) (NHsValBindsLR GhcRn)
- modifyTyClDecl :: DebugNames -> Map Name (Maybe FastString, Propagation) -> TyClDecl GhcRn -> WriterT (Set Name) (StateT (Set Name) TcM) (TyClDecl GhcRn)
- modifyClsInstDecl :: DebugNames -> Map Name (Maybe FastString, Propagation) -> ClsInstDecl GhcRn -> WriterT (Set Name) (StateT (Set Name) TcM) (ClsInstDecl GhcRn)
Documentation
modifyValBinds :: DebugNames -> Map Name (Maybe FastString, Propagation) -> NHsValBindsLR GhcRn -> WriterT (Set Name) (StateT (Set Name) TcM) (NHsValBindsLR GhcRn) Source #
Instrument value bindings that have a signature with a debug pred. This gets applied to both top level bindings as well as arbitrarily nested value bindings.
modifyTyClDecl :: DebugNames -> Map Name (Maybe FastString, Propagation) -> TyClDecl GhcRn -> WriterT (Set Name) (StateT (Set Name) TcM) (TyClDecl GhcRn) Source #
Instrument default method implementations in a type class declaration if they contain a Debug pred.
modifyClsInstDecl :: DebugNames -> Map Name (Maybe FastString, Propagation) -> ClsInstDecl GhcRn -> WriterT (Set Name) (StateT (Set Name) TcM) (ClsInstDecl GhcRn) Source #
Instrument the method implementations in an type class instance if it has a signature containing a debug pred.