Control.Effect.Trace

Documentation

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

Constructors

Trace

Fields

• traceMessage :: String
• traceCont :: k

Instances

Effect Trace

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))

HFunctor Trace

Defined in Control.Effect.Trace

Methods

fmap' :: (a -> b) -> Trace m a -> Trace m b

hmap :: (forall x. m x -> n x) -> Trace m a -> Trace n a

Functor (Trace m)

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)

Defined in Control.Effect.Trace

Methods

ret :: a -> TraceByReturningC m a

eff :: (Trace :+: sig) (TraceByReturningC m) (TraceByReturningC m a) -> TraceByReturningC m a

Carrier sig m => Carrier (Trace :+: sig) (TraceByIgnoringC m)

Defined in Control.Effect.Trace

Methods

ret :: a -> TraceByIgnoringC m a

eff :: (Trace :+: sig) (TraceByIgnoringC m) (TraceByIgnoringC m a) -> TraceByIgnoringC m a

(MonadIO m, Carrier sig m) => Carrier (Trace :+: sig) (TraceByPrintingC m)

Defined in Control.Effect.Trace

Methods

ret :: a -> TraceByPrintingC m a

eff :: (Trace :+: sig) (TraceByPrintingC m) (TraceByPrintingC m a) -> TraceByPrintingC m a

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

Append a message to the trace log.

runTraceByPrinting :: (MonadIO m, Carrier sig m) => Eff (TraceByPrintingC m) a -> m a

Run a Trace effect, printing traces to stderr.

newtype TraceByPrintingC m a

Constructors

TraceByPrintingC

Fields

• runTraceByPrintingC :: m a

Instances

(MonadIO m, Carrier sig m) => Carrier (Trace :+: sig) (TraceByPrintingC m)

Defined in Control.Effect.Trace

Methods

ret :: a -> TraceByPrintingC m a

eff :: (Trace :+: sig) (TraceByPrintingC m) (TraceByPrintingC m a) -> TraceByPrintingC m a

runTraceByIgnoring :: Carrier sig m => Eff (TraceByIgnoringC m) a -> m a

Run a Trace effect, ignoring all traces.

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

newtype TraceByIgnoringC m a

Constructors

TraceByIgnoringC

Fields

• runTraceByIgnoringC :: m a

Instances

Carrier sig m => Carrier (Trace :+: sig) (TraceByIgnoringC m)

Defined in Control.Effect.Trace

Methods

ret :: a -> TraceByIgnoringC m a

eff :: (Trace :+: sig) (TraceByIgnoringC m) (TraceByIgnoringC m a) -> TraceByIgnoringC m a

runTraceByReturning :: (Carrier sig m, Effect sig, Functor m) => Eff (TraceByReturningC m) a -> m ([String], a)

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

Constructors

TraceByReturningC

Fields

• runTraceByReturningC :: [String] -> m ([String], a)

Instances

(Carrier sig m, Effect sig) => Carrier (Trace :+: sig) (TraceByReturningC m)

Defined in Control.Effect.Trace

Methods

ret :: a -> TraceByReturningC m a

eff :: (Trace :+: sig) (TraceByReturningC m) (TraceByReturningC m a) -> TraceByReturningC m a