Safe Haskell	Safe-Inferred
Language	GHC2021

Control.Carrier.Logging.Silent

Description

silent logging (output nothing)

Synopsis

newtype SilentLoggingC m a = MkSilentLoggingC {
- runSilentLogging :: m a
}

Documentation

newtype SilentLoggingC m a Source #

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

Constructors

MkSilentLoggingC
Fields runSilentLogging :: m a

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