fused-effects-logging-0.1.0.0: fused-effects-logging - a logging library for fused-effects
Safe HaskellSafe-Inferred
LanguageGHC2021

Control.Carrier.Logging.Silent

Description

silent logging (output nothing)

Synopsis

Documentation

newtype SilentLoggingC m a Source #

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

Constructors

MkSilentLoggingC 

Fields

Instances

Instances details
MonadFail m => MonadFail (SilentLoggingC m) Source # 
Instance details

Defined in Control.Carrier.Logging.Silent

Methods

fail :: String -> SilentLoggingC m a #

MonadIO m => MonadIO (SilentLoggingC m) Source # 
Instance details

Defined in Control.Carrier.Logging.Silent

Methods

liftIO :: IO a -> SilentLoggingC m a #

Applicative m => Applicative (SilentLoggingC m) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) Source # 
Instance details

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) #