- traceCall :: MonadTCM tcm => (Maybe r -> Call) -> tcm r -> tcm r
- traceCall_ :: MonadTCM tcm => (Maybe () -> Call) -> tcm r -> tcm r
- traceCallCPS :: MonadTCM tcm => (Maybe r -> Call) -> (r -> tcm a) -> ((r -> tcm a) -> tcm b) -> tcm b
- traceCallCPS_ :: MonadTCM tcm => (Maybe () -> Call) -> tcm a -> (tcm a -> tcm b) -> tcm b
- getTrace :: MonadTCM tcm => tcm CallTrace
- setTrace :: MonadTCM tcm => CallTrace -> tcm ()
- getCurrentRange :: MonadTCM tcm => tcm Range
- setCurrentRange :: MonadTCM tcm => Range -> tcm a -> tcm a
- onTrace :: MonadTCM tcm => (CallTrace -> CallTrace) -> tcm ()
- withTrace :: MonadTCM tcm => CallTrace -> tcm a -> tcm a
Trace
traceCall :: MonadTCM tcm => (Maybe r -> Call) -> tcm r -> tcm rSource
Record a function call in the trace.
traceCallCPS :: MonadTCM tcm => (Maybe r -> Call) -> (r -> tcm a) -> ((r -> tcm a) -> tcm b) -> tcm bSource
getCurrentRange :: MonadTCM tcm => tcm RangeSource
setCurrentRange :: MonadTCM tcm => Range -> tcm a -> tcm aSource