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.

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.

Push a new Segment to the MonadDi.

Push a new attribute Key and Value to the MonadDi.

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

Log an informational message.

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

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

Log an error condition, such as an unhandled exception.

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

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

Log a message stating that the system is unusable.