mtl flavoured typeful hierarchical structured logging for di-core.


LTS Haskell 21.13:1.3.2
Stackage Nightly 2023-09-24:1.3.2
Latest on Hackage:1.3.2

See all snapshots di-monad appears in

BSD-3-Clause licensed by Renzo Carbonara
Maintained by renλren.zone
This version can be pinned in stack with:di-monad-1.3.2@sha256:2e1a347d06540e944e7011412d1a051399243f038581a5774d33fc7cbeece7fb,810

Module documentation for 1.3.2

Used by 2 packages in nightly-2023-09-24(full list with versions):


Monadic API to di-core providing an mtl experience.

Build Status

See the BSD3 LICENSE file to learn about the legal terms and conditions for this library.


Version 1.3.2

  • Add MonadUnliftIO instance for DiT.

  • Add MonadDi instance for streaming’s Stream.

Version 1.3.1

  • Add MonadError instance for DiT.

Version 1.3

  • The MonadThrow instance for DiT doesn’t log exceptions automatically any more. This is because otherwise catching and re-throwing exceptions in downstream code, by default, ends up logging the same exception more than once.

  • A throw function behaving as the previous MonadThrow instance for DiT was introduced.

  • Documentation improvements.

Version 1.2

  • The MonadMask constraint added in Version 1.1 is gone, effecively undoing the breaking change introduced in Version 1.1.

Version 1.1

  • BREAKING CHANGE: The MonadThrow instance for DiT level path msg m instance now relies on Di.Core.throw, potentially logging exceptions at the throw site. This introduces a new MonadMask m instance constraint which can’t be satisfied by STM. There is a DiT level path msg STM instance that skips logging exceptions (which is the only sensible behavior, anyway). However, if your m is not exactly STM but some wrapper around it, you will need to provide a MonadThrow instance manually or use Di.Core.throw' directly. On the other hand, satisfying this MonadMask constraint should be easy for monads that can run IO.

  • Added onException.

Version 1.0.2

  • Backwards compatibility with mtl < 2.2.2.

Version 1.0.1

  • Backwards compatibility with transformers < 0.5.3.

Version 1.0

  • This is a new library part of the di-core ecosystem. Consider this first release of the new ecosystem a preview release: The API is likely to stay stable, but extensive testing, formalization and tooling is due.