Agda-2.2.10: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.TypeChecking.Monad.Trace
Contents
Trace
Synopsis
interestingCall :: Closure Call -> Bool
traceCall :: MonadTCM tcm => (Maybe r -> Call) -> tcm a -> tcm a
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
getCurrentRange :: MonadTCM tcm => tcm Range
setCurrentRange :: MonadTCM tcm => Range -> tcm a -> tcm a
Trace
interestingCall :: Closure Call -> BoolSource
traceCall :: MonadTCM tcm => (Maybe r -> Call) -> tcm a -> tcm aSource
Record a function call in the trace.
traceCall_ :: MonadTCM tcm => (Maybe () -> Call) -> tcm r -> tcm rSource
traceCallCPS :: MonadTCM tcm => (Maybe r -> Call) -> (r -> tcm a) -> ((r -> tcm a) -> tcm b) -> tcm bSource
traceCallCPS_ :: MonadTCM tcm => (Maybe () -> Call) -> tcm a -> (tcm a -> tcm b) -> tcm bSource
getCurrentRange :: MonadTCM tcm => tcm RangeSource
setCurrentRange :: MonadTCM tcm => Range -> tcm a -> tcm aSource
Produced by Haddock version 2.6.1