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

Member CaptureLogWriter e => HandleLogWriter CaptureLogs e

A LogWriter monad for pure logging.

The HandleLogWriter instance for this type assumes a Writer effect.

Defined in Control.Eff.LogWriter.Capture

Methods

handleLogWriterEffect :: CaptureLogs () -> Eff e ()

liftWriteLogMessage :: LogMessage -> Eff e ()

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