Di.Df1.Monad

This module exports an API compatible with Di.Monad.

Documentation

type Df1T = DiT Level Path Message

Convenience type-synonym for a DiT restricted to all the df1 monomorphic types.

Df1T == DiT Level Path Message
   :: (* -> *) -> * -> *

Df1T m == DiT Level Path Message m
   :: * -> *

Df1T m a == DiT Level Path Message m a
   :: *

This type-synonym is not used within the di-df1 library itself because all functions exposed in the library have more general types. However, users are encouraged to use MonadDf1 if they find it useful to reduce boilerplate and improve type inferrence.

type MonadDf1 = MonadDi Level Path Message

Convenience type-synonym for a MonadDi restricted to all the df1 monomorphic types.

MonadDf1 == MonadDi Level Path Message
   :: (* -> *) -> Constraint

MonadDf1 m == MonadDi Level Path Message m
   :: Constraint

This type-synonym is not used within the di-df1 library itself because all functions exposed in the library have more general types. However, users are encouraged to use MonadDf1 if they find it useful to reduce boilerplate and improve type inferrence.

Hierarchy

push

Arguments

:: MonadDi level Path msg m

=> Segment

-> m a

-> m a

Push a new Segment to the MonadDi.

Metadata

attr

Arguments

:: (MonadDi level Path msg m, ToValue value)

=> Key

-> value

-> m a

-> m a

Push a new attribute Key and Value to the MonadDi.

Logging

debug :: (MonadDi Level path Message m, ToMessage msg) => msg -> m ()

Log a message intended to be useful only when deliberately debugging a program.

info :: (MonadDi Level path Message m, ToMessage msg) => msg -> m ()

Log an informational message.

notice :: (MonadDi Level path Message m, ToMessage msg) => msg -> m ()

Log a condition that is not an error, but should possibly be handled specially.

warning :: (MonadDi Level path Message m, ToMessage msg) => msg -> m ()

Log a warning condition, such as an exception being gracefully handled or some missing configuration setting being assigned a default value.

error :: (MonadDi Level path Message m, ToMessage msg) => msg -> m ()

Log an error condition, such as an unhandled exception.

alert :: (MonadDi Level path Message m, ToMessage msg) => msg -> m ()

Log a condition that should be corrected immediately, such as a corrupted database.

critical :: (MonadDi Level path Message m, ToMessage msg) => msg -> m ()

Log a critical condition that could result in system failure, such as a disk running out of space.

emergency :: (MonadDi Level path Message m, ToMessage msg) => msg -> m ()

Log a message stating that the system is unusable.

Type-inference helpers

debug' :: MonadDi Level path Message m => Message -> m ()

Like debug, but takes a Message rather than any ToMessage.

This helps with type inference in case you are trying to log a literal string and have the OverloadedStrings GHC extension enabled.

info' :: MonadDi Level path Message m => Message -> m ()

Like info, but takes a Message rather than any ToMessage.

This helps with type inference in case you are trying to log a literal string and have the OverloadedStrings GHC extension enabled.

notice' :: MonadDi Level path Message m => Message -> m ()

Like notice, but takes a Message rather than any ToMessage.

This helps with type inference in case you are trying to log a literal string and have the OverloadedStrings GHC extension enabled.

warning' :: MonadDi Level path Message m => Message -> m ()

Like warning, but takes a Message rather than any ToMessage.

This helps with type inference in case you are trying to log a literal string and have the OverloadedStrings GHC extension enabled.

error' :: MonadDi Level path Message m => Message -> m ()

Like error, but takes a Message rather than any ToMessage.

This helps with type inference in case you are trying to log a literal string and have the OverloadedStrings GHC extension enabled.

alert' :: MonadDi Level path Message m => Message -> m ()

Like alert, but takes a Message rather than any ToMessage.

This helps with type inference in case you are trying to log a literal string and have the OverloadedStrings GHC extension enabled.

critical' :: MonadDi Level path Message m => Message -> m ()

Like critical, but takes a Message rather than any ToMessage.

This helps with type inference in case you are trying to log a literal string and have the OverloadedStrings GHC extension enabled.

emergency' :: MonadDi Level path Message m => Message -> m ()

Like emergency, but takes a Message rather than any ToMessage.

This helps with type inference in case you are trying to log a literal string and have the OverloadedStrings GHC extension enabled.