Control.Eff.LogWriter.Capture

Capture LogMessages to a Writer.

See exampleLogCapture

Documentation

captureLogWriter :: LogWriter CaptureLogs

A LogWriter monad that provides pure logging by capturing via the Writer effect.

See exampleLogCapture

newtype CaptureLogs a

A LogWriter monad that provides pure logging by capturing via the Writer effect.

Constructors

MkCaptureLogs

Fields

• unCaptureLogs :: Eff '[CaptureLogWriter] a

Instances

Monad CaptureLogs

Defined in Control.Eff.LogWriter.Capture

Methods

(>>=) :: CaptureLogs a -> (a -> CaptureLogs b) -> CaptureLogs b

(>>) :: CaptureLogs a -> CaptureLogs b -> CaptureLogs b

return :: a -> CaptureLogs a

fail :: String -> CaptureLogs a

Functor CaptureLogs

Defined in Control.Eff.LogWriter.Capture

Methods

fmap :: (a -> b) -> CaptureLogs a -> CaptureLogs b

(<$) :: a -> CaptureLogs b -> CaptureLogs a

Applicative CaptureLogs

Defined in Control.Eff.LogWriter.Capture

Methods

pure :: a -> CaptureLogs a

(<*>) :: CaptureLogs (a -> b) -> CaptureLogs a -> CaptureLogs b

liftA2 :: (a -> b -> c) -> CaptureLogs a -> CaptureLogs b -> CaptureLogs c

(*>) :: CaptureLogs a -> CaptureLogs b -> CaptureLogs b

(<*) :: CaptureLogs a -> CaptureLogs b -> CaptureLogs a

HandleLogWriter CaptureLogs

A LogWriter monad for pure logging.

The HandleLogWriter instance for this type assumes a Writer effect.

Defined in Control.Eff.LogWriter.Capture

Associated Types

type LogWriterEffects CaptureLogs :: [Type -> Type]

Methods

handleLogWriterEffect :: LogWriterEffects CaptureLogs <:: e => CaptureLogs () -> Eff e ()

liftWriteLogMessage :: (SetMember LogWriterReader (LogWriterReader CaptureLogs) e, LogWriterEffects CaptureLogs <:: e) => LogMessage -> Eff e ()

type LogWriterEffects CaptureLogs

Defined in Control.Eff.LogWriter.Capture

type LogWriterEffects CaptureLogs = CaptureLogWriter ': ([] :: [Type -> Type])

type CaptureLogWriter = Writer LogMessage

Alias for the Writer that contains the captured LogMessages from CaptureLogs.

runCaptureLogWriter :: Eff (CaptureLogWriter ': e) a -> Eff e (a, [LogMessage])

Run a Writer for LogMessages.

Such a Writer is needed to handle CaptureLogWriter