constrained-normal 1.0.1 → 1.0.2

raw patch · 2 files changed

+8/−1 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Control/Monad/ConstrainedNormal.hs +7/−0
• constrained-normal.cabal +1/−1

@@ -149,6 +149,13 @@   (<*>) :: NMP c t (a -> b) -> NMP c t a -> NMP c t b   (<*>) = ap +instance Alternative (NMP c t) where+  empty :: NMP c t a+  empty = mzero++  (<|>) :: NMP c t a -> NMP c t a -> NMP c t a+  (<|>) = mplus+ toNMP :: NMP' c t a -> NMP c t a toNMP n = MPlus n MZero -- right-unit law 

@@ -1,5 +1,5 @@ Name:                constrained-normal-Version:             1.0.1+Version:             1.0.2 Synopsis:            Normalised Deep Embeddings for Constrained Type-Class Instances Description:	     The package provides normal forms for monads and related structures, similarly to the Operational package.                      The difference is that we parameterise the normal forms on a constraint, and apply that constraint to all