Safe Haskell	None
Language	Haskell2010

Polysemy.Log.Data.DataLog

Description

Synopsis

data DataLog a :: Effect where
- DataLog :: a -> DataLog a m ()
- Local :: (a -> a) -> m b -> DataLog a m b

Documentation

data DataLog a :: Effect where Source #

Adapter for a logging backend.

Usually this is reinterpreted into an effect like those from co-log or di, but it can be used purely for testing.

Constructors

DataLog :: a -> DataLog a m ()	Schedule an arbitrary value for logging.
Local :: (a -> a) -> m b -> DataLog a m b	Stores the provided function in the interpreter and applies it to all log messages emitted within the higher-order thunk that's the second argument.

Instances details

type DefiningModule DataLog Source #
Instance details Defined in Polysemy.Log.Data.DataLog type DefiningModule DataLog = "Polysemy.Log.Data.DataLog"