Safe Haskell	None
Language	Haskell2010

Control.Effect.Trace

Synopsis

data Trace (m :: * -> *) k = Trace {
- traceMessage :: String
- traceCont :: k
}
trace :: (Member Trace sig, Carrier sig m) => String -> m ()
runTraceByPrinting :: TraceByPrintingC m a -> m a
newtype TraceByPrintingC m a = TraceByPrintingC {
- runTraceByPrintingC :: m a
}
runTraceByIgnoring :: TraceByIgnoringC m a -> m a
newtype TraceByIgnoringC m a = TraceByIgnoringC {
- runTraceByIgnoringC :: m a
}
runTraceByReturning :: Functor m => TraceByReturningC m a -> m ([String], a)
newtype TraceByReturningC m a = TraceByReturningC {
- runTraceByReturningC :: StateC [String] m a
}

Documentation

data Trace (m :: * -> *) k Source #

Constructors

Trace
Fields traceMessage :: String traceCont :: k

Instances

Effect Trace Source #
Instance details Defined in Control.Effect.Trace Methods handle :: Functor f => f () -> (forall x. f (m x) -> n (f x)) -> Trace m (m a) -> Trace n (n (f a)) Source #
HFunctor Trace Source #
Instance details Defined in Control.Effect.Trace Methods fmap' :: (a -> b) -> Trace m a -> Trace m b Source # hmap :: (forall x. m x -> n x) -> Trace m a -> Trace n a Source #
Functor (Trace m) Source #
Instance details Defined in Control.Effect.Trace Methods fmap :: (a -> b) -> Trace m a -> Trace m b # (<$) :: a -> Trace m b -> Trace m a #
(Carrier sig m, Effect sig) => Carrier (Trace :+: sig) (TraceByReturningC m) Source #
Instance details Defined in Control.Effect.Trace Methods eff :: (Trace :+: sig) (TraceByReturningC m) (TraceByReturningC m a) -> TraceByReturningC m a Source # ret :: a -> TraceByReturningC m a Source #
Carrier sig m => Carrier (Trace :+: sig) (TraceByIgnoringC m) Source #
Instance details Defined in Control.Effect.Trace Methods eff :: (Trace :+: sig) (TraceByIgnoringC m) (TraceByIgnoringC m a) -> TraceByIgnoringC m a Source # ret :: a -> TraceByIgnoringC m a Source #
(MonadIO m, Carrier sig m) => Carrier (Trace :+: sig) (TraceByPrintingC m) Source #
Instance details Defined in Control.Effect.Trace Methods eff :: (Trace :+: sig) (TraceByPrintingC m) (TraceByPrintingC m a) -> TraceByPrintingC m a Source # ret :: a -> TraceByPrintingC m a Source #

trace :: (Member Trace sig, Carrier sig m) => String -> m () Source #

Append a message to the trace log.

runTraceByPrinting :: TraceByPrintingC m a -> m a Source #

Run a Trace effect, printing traces to stderr.

newtype TraceByPrintingC m a Source #

Constructors

TraceByPrintingC
Fields runTraceByPrintingC :: m a

Instances

MonadTrans TraceByPrintingC Source #
Instance details Defined in Control.Effect.Trace Methods lift :: Monad m => m a -> TraceByPrintingC m a #
Monad m => Monad (TraceByPrintingC m) Source #
Instance details Defined in Control.Effect.Trace Methods (>>=) :: TraceByPrintingC m a -> (a -> TraceByPrintingC m b) -> TraceByPrintingC m b # (>>) :: TraceByPrintingC m a -> TraceByPrintingC m b -> TraceByPrintingC m b # return :: a -> TraceByPrintingC m a # fail :: String -> TraceByPrintingC m a #
Functor m => Functor (TraceByPrintingC m) Source #
Instance details Defined in Control.Effect.Trace Methods fmap :: (a -> b) -> TraceByPrintingC m a -> TraceByPrintingC m b # (<$) :: a -> TraceByPrintingC m b -> TraceByPrintingC m a #
MonadFail m => MonadFail (TraceByPrintingC m) Source #
Instance details Defined in Control.Effect.Trace Methods fail :: String -> TraceByPrintingC m a #
Applicative m => Applicative (TraceByPrintingC m) Source #
Instance details Defined in Control.Effect.Trace Methods pure :: a -> TraceByPrintingC m a # (<>) :: TraceByPrintingC m (a -> b) -> TraceByPrintingC m a -> TraceByPrintingC m b # liftA2 :: (a -> b -> c) -> TraceByPrintingC m a -> TraceByPrintingC m b -> TraceByPrintingC m c # (>) :: TraceByPrintingC m a -> TraceByPrintingC m b -> TraceByPrintingC m b # (<*) :: TraceByPrintingC m a -> TraceByPrintingC m b -> TraceByPrintingC m a #
MonadIO m => MonadIO (TraceByPrintingC m) Source #
Instance details Defined in Control.Effect.Trace Methods liftIO :: IO a -> TraceByPrintingC m a #
Alternative m => Alternative (TraceByPrintingC m) Source #
Instance details Defined in Control.Effect.Trace Methods empty :: TraceByPrintingC m a # (<\|>) :: TraceByPrintingC m a -> TraceByPrintingC m a -> TraceByPrintingC m a # some :: TraceByPrintingC m a -> TraceByPrintingC m [a] # many :: TraceByPrintingC m a -> TraceByPrintingC m [a] #
MonadPlus m => MonadPlus (TraceByPrintingC m) Source #
Instance details Defined in Control.Effect.Trace Methods mzero :: TraceByPrintingC m a # mplus :: TraceByPrintingC m a -> TraceByPrintingC m a -> TraceByPrintingC m a #
(MonadIO m, Carrier sig m) => Carrier (Trace :+: sig) (TraceByPrintingC m) Source #
Instance details Defined in Control.Effect.Trace Methods eff :: (Trace :+: sig) (TraceByPrintingC m) (TraceByPrintingC m a) -> TraceByPrintingC m a Source # ret :: a -> TraceByPrintingC m a Source #

runTraceByIgnoring :: TraceByIgnoringC m a -> m a Source #

Run a Trace effect, ignoring all traces.

run (runTraceByIgnoring (trace a *> pure b)) == b

newtype TraceByIgnoringC m a Source #

Constructors

TraceByIgnoringC
Fields runTraceByIgnoringC :: m a

Instances

MonadTrans TraceByIgnoringC Source #
Instance details Defined in Control.Effect.Trace Methods lift :: Monad m => m a -> TraceByIgnoringC m a #
Monad m => Monad (TraceByIgnoringC m) Source #
Instance details Defined in Control.Effect.Trace Methods (>>=) :: TraceByIgnoringC m a -> (a -> TraceByIgnoringC m b) -> TraceByIgnoringC m b # (>>) :: TraceByIgnoringC m a -> TraceByIgnoringC m b -> TraceByIgnoringC m b # return :: a -> TraceByIgnoringC m a # fail :: String -> TraceByIgnoringC m a #
Functor m => Functor (TraceByIgnoringC m) Source #
Instance details Defined in Control.Effect.Trace Methods fmap :: (a -> b) -> TraceByIgnoringC m a -> TraceByIgnoringC m b # (<$) :: a -> TraceByIgnoringC m b -> TraceByIgnoringC m a #
MonadFail m => MonadFail (TraceByIgnoringC m) Source #
Instance details Defined in Control.Effect.Trace Methods fail :: String -> TraceByIgnoringC m a #
Applicative m => Applicative (TraceByIgnoringC m) Source #
Instance details Defined in Control.Effect.Trace Methods pure :: a -> TraceByIgnoringC m a # (<>) :: TraceByIgnoringC m (a -> b) -> TraceByIgnoringC m a -> TraceByIgnoringC m b # liftA2 :: (a -> b -> c) -> TraceByIgnoringC m a -> TraceByIgnoringC m b -> TraceByIgnoringC m c # (>) :: TraceByIgnoringC m a -> TraceByIgnoringC m b -> TraceByIgnoringC m b # (<*) :: TraceByIgnoringC m a -> TraceByIgnoringC m b -> TraceByIgnoringC m a #
MonadIO m => MonadIO (TraceByIgnoringC m) Source #
Instance details Defined in Control.Effect.Trace Methods liftIO :: IO a -> TraceByIgnoringC m a #
Alternative m => Alternative (TraceByIgnoringC m) Source #
Instance details Defined in Control.Effect.Trace Methods empty :: TraceByIgnoringC m a # (<\|>) :: TraceByIgnoringC m a -> TraceByIgnoringC m a -> TraceByIgnoringC m a # some :: TraceByIgnoringC m a -> TraceByIgnoringC m [a] # many :: TraceByIgnoringC m a -> TraceByIgnoringC m [a] #
MonadPlus m => MonadPlus (TraceByIgnoringC m) Source #
Instance details Defined in Control.Effect.Trace Methods mzero :: TraceByIgnoringC m a # mplus :: TraceByIgnoringC m a -> TraceByIgnoringC m a -> TraceByIgnoringC m a #
Carrier sig m => Carrier (Trace :+: sig) (TraceByIgnoringC m) Source #
Instance details Defined in Control.Effect.Trace Methods eff :: (Trace :+: sig) (TraceByIgnoringC m) (TraceByIgnoringC m a) -> TraceByIgnoringC m a Source # ret :: a -> TraceByIgnoringC m a Source #

runTraceByReturning :: Functor m => TraceByReturningC m a -> m ([String], a) Source #

Run a Trace effect, returning all traces as a list.

run (runTraceByReturning (trace a *> trace b *> pure c)) == ([a, b], c)

newtype TraceByReturningC m a Source #

Constructors

TraceByReturningC
Fields runTraceByReturningC :: StateC [String] m a

Instances

MonadTrans TraceByReturningC Source #
Instance details Defined in Control.Effect.Trace Methods lift :: Monad m => m a -> TraceByReturningC m a #
Monad m => Monad (TraceByReturningC m) Source #
Instance details Defined in Control.Effect.Trace Methods (>>=) :: TraceByReturningC m a -> (a -> TraceByReturningC m b) -> TraceByReturningC m b # (>>) :: TraceByReturningC m a -> TraceByReturningC m b -> TraceByReturningC m b # return :: a -> TraceByReturningC m a # fail :: String -> TraceByReturningC m a #
Functor m => Functor (TraceByReturningC m) Source #
Instance details Defined in Control.Effect.Trace Methods fmap :: (a -> b) -> TraceByReturningC m a -> TraceByReturningC m b # (<$) :: a -> TraceByReturningC m b -> TraceByReturningC m a #
MonadFail m => MonadFail (TraceByReturningC m) Source #
Instance details Defined in Control.Effect.Trace Methods fail :: String -> TraceByReturningC m a #
Monad m => Applicative (TraceByReturningC m) Source #
Instance details Defined in Control.Effect.Trace Methods pure :: a -> TraceByReturningC m a # (<>) :: TraceByReturningC m (a -> b) -> TraceByReturningC m a -> TraceByReturningC m b # liftA2 :: (a -> b -> c) -> TraceByReturningC m a -> TraceByReturningC m b -> TraceByReturningC m c # (>) :: TraceByReturningC m a -> TraceByReturningC m b -> TraceByReturningC m b # (<*) :: TraceByReturningC m a -> TraceByReturningC m b -> TraceByReturningC m a #
MonadIO m => MonadIO (TraceByReturningC m) Source #
Instance details Defined in Control.Effect.Trace Methods liftIO :: IO a -> TraceByReturningC m a #
(Alternative m, Monad m) => Alternative (TraceByReturningC m) Source #
Instance details Defined in Control.Effect.Trace Methods empty :: TraceByReturningC m a # (<\|>) :: TraceByReturningC m a -> TraceByReturningC m a -> TraceByReturningC m a # some :: TraceByReturningC m a -> TraceByReturningC m [a] # many :: TraceByReturningC m a -> TraceByReturningC m [a] #
(Alternative m, Monad m) => MonadPlus (TraceByReturningC m) Source #
Instance details Defined in Control.Effect.Trace Methods mzero :: TraceByReturningC m a # mplus :: TraceByReturningC m a -> TraceByReturningC m a -> TraceByReturningC m a #
(Carrier sig m, Effect sig) => Carrier (Trace :+: sig) (TraceByReturningC m) Source #
Instance details Defined in Control.Effect.Trace Methods eff :: (Trace :+: sig) (TraceByReturningC m) (TraceByReturningC m a) -> TraceByReturningC m a Source # ret :: a -> TraceByReturningC m a Source #