Control.Carrier.Logging.Ref

simple logging to a mutable cell for testing purposes

Documentation

newtype RefLoggingC m a

Constructors

RefLoggingC

Fields

• runRefLoggingC :: IORef (Seq LogMsg) -> m a

Instances

MonadFail m => MonadFail (RefLoggingC m)

Defined in Control.Carrier.Logging.Ref

Methods

fail :: String -> RefLoggingC m a

MonadIO m => MonadIO (RefLoggingC m)

Defined in Control.Carrier.Logging.Ref

Methods

liftIO :: IO a -> RefLoggingC m a

Applicative m => Applicative (RefLoggingC m)

Defined in Control.Carrier.Logging.Ref

Methods

pure :: a -> RefLoggingC m a

(<*>) :: RefLoggingC m (a -> b) -> RefLoggingC m a -> RefLoggingC m b

liftA2 :: (a -> b -> c) -> RefLoggingC m a -> RefLoggingC m b -> RefLoggingC m c

(*>) :: RefLoggingC m a -> RefLoggingC m b -> RefLoggingC m b

(<*) :: RefLoggingC m a -> RefLoggingC m b -> RefLoggingC m a

Functor m => Functor (RefLoggingC m)

Defined in Control.Carrier.Logging.Ref

Methods

fmap :: (a -> b) -> RefLoggingC m a -> RefLoggingC m b

(<$) :: a -> RefLoggingC m b -> RefLoggingC m a

Monad m => Monad (RefLoggingC m)

Defined in Control.Carrier.Logging.Ref

Methods

(>>=) :: RefLoggingC m a -> (a -> RefLoggingC m b) -> RefLoggingC m b

(>>) :: RefLoggingC m a -> RefLoggingC m b -> RefLoggingC m b

return :: a -> RefLoggingC m a

MonadUnliftIO m => MonadUnliftIO (RefLoggingC m)

Defined in Control.Carrier.Logging.Ref

Methods

withRunInIO :: ((forall a. RefLoggingC m a -> IO a) -> IO b) -> RefLoggingC m b

(Algebra sig m, MonadIO m) => Algebra (Logging :+: sig) (RefLoggingC m)

Defined in Control.Carrier.Logging.Ref

Methods

alg :: forall ctx (n :: Type -> Type) a. Functor ctx => Handler ctx n (RefLoggingC m) -> (Logging :+: sig) n a -> ctx () -> RefLoggingC m (ctx a)

runRefLogging :: IORef (Seq LogMsg) -> RefLoggingC m a -> m a

pass a cell that is supposed to be logged to