mmorph

Monad morphisms

Version on this page:1.1.5@rev:1
LTS Haskell 21.23:1.2.0@rev:3
Stackage Nightly 2023-12-08:1.2.0@rev:3
Latest on Hackage:1.2.0@rev:3

See all snapshots mmorph appears in

BSD-3-Clause licensed by Gabriel Gonzalez
Maintained by Gabriel439@gmail.com
This version can be pinned in stack with:mmorph-1.1.5@sha256:9487ce601cbc3403c844c23a6fddb48f6b69a0097b77493670a45fc7a442fb20,1036

Module documentation for 1.1.5

This library provides monad morphism utilities, most commonly used for manipulating monad transformer stacks.

Changes

1.1.5

  • Fix build failures on GHC 8.4 and 8.6
  • Add support for safe Haskell
    • Specifically, this marks the Control.Monad.Trans.Compose module as Trustworthy
    • The change in 1.1.4 to use GeneralizedNewtypeDeriving meant that the Control.Monad.Trans.Compose module was no longer inferred as safe
  • Restore Traversable instance removed by mistake in 1.1.4

1.1.4 (Blacklisted)

  • Unintentional removal of Traversable instance for ComposeT
    • This missing instance is restored in 1.1.5
    • This is the reason why the 1.1.4 release is blacklisted
  • Fix MonadFail-related code to work for GHCJS
  • The MonadRWS instance for ComposeT has a more flexible constraint
    • The constraint is now MonadReader r (f (g m)), MonadWriter w (f (g m)), MonadState s (f (g m)) instead of MonadRWS r w s (f g m)
    • This loosening of the constraint is backwards-compatible

1.1.3

  • Add an MFunctor instance for ComposeT for GHC >= 8.6
  • Add GHC 8.8 support

1.1.2

  • Conditionally disable Polykinds to support older versions of GHC

1.1.1

  • Increase upper bound on transformers-compat

1.1.0

  • BREAKING CHANGE: Enable PolyKinds
    • This should in theory be a non-breaking change, but due to a bug in GHC 8.0.1 and kind inference ambiguities I’m marking this as a breaking change
A service provided by FP Complete