Control.Carrier.Logging.Silent

silent logging (output nothing)

Documentation

newtype SilentLoggingC m a

a sileng logging carrier, that doesn't print any logs

Constructors

MkSilentLoggingC

Fields

• runSilentLogging :: m a

Instances

MonadFail m => MonadFail (SilentLoggingC m)

Defined in Control.Carrier.Logging.Silent

Methods

fail :: String -> SilentLoggingC m a

MonadIO m => MonadIO (SilentLoggingC m)

Defined in Control.Carrier.Logging.Silent

Methods

liftIO :: IO a -> SilentLoggingC m a

Applicative m => Applicative (SilentLoggingC m)

Defined in Control.Carrier.Logging.Silent

Methods

pure :: a -> SilentLoggingC m a

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

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

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

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

Functor m => Functor (SilentLoggingC m)

Defined in Control.Carrier.Logging.Silent

Methods

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

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

Monad m => Monad (SilentLoggingC m)

Defined in Control.Carrier.Logging.Silent

Methods

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

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

return :: a -> SilentLoggingC m a

MonadUnliftIO m => MonadUnliftIO (SilentLoggingC m)

Defined in Control.Carrier.Logging.Silent

Methods

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

Algebra sig m => Algebra (Logging :+: sig) (SilentLoggingC m)

Defined in Control.Carrier.Logging.Silent

Methods

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