3fdf081c59
5.3.7 [2022.01.09]
* Relax the Bind constraints in the following instances to Functor:
-instance (Bind f, Monad f) => Alt (MaybeT f)
-instance (Bind f, Monad f) => Plus (MaybeT f)
+instance (Functor f, Monad f) => Alt (MaybeT f)
+instance (Functor f, Monad f) => Plus (MaybeT f)
-instance (Bind f, Monad f, Semigroup e) => Alt (ExceptT e f)
-instance (Bind f, Monad f, Semigroup e, Monoid e) => Plus (ExceptT e f)
+instance (Functor f, Monad f, Semigroup e) => Alt (ExceptT e f)
+instance (Functor f, Monad f, Semigroup e, Monoid e) => Plus (ExceptT e f)
-- If building with transformers-0.5.* or older
-instance (Bind f, Monad f) => Alt (ErrorT e f)
-instance (Bind f, Monad f, Error e) => Plus (ErrorT e f
+instance (Functor f, Monad f) => Alt (ErrorT e f)
+instance (Functor f, Monad f, Error e) => Plus (ErrorT e f)
5.3.6 [2021.10.07]
* Allow building with GHC 9.2.
* Allow building with transformers-0.6.*.
* Add Alt instance for Identity.
* Add Conclude, Decide and Divise type classes and instances.
* Add (<.*>), (<*.>), and traverseMaybe functions, which make it easier to
defined Traversable1 instances for data types that have fields with a
combination of Traversable and Traversable1 instances.
* Add Semigroupoids.Do module with overloads for use with QualifiedDo.
* Add Apply, Alt, Plus, Bind and BindTrans instances for the CPS versions
of WriterT and RWST.
* Add psum function to Data.Functor.Plus.
* Add Categorical data type.
5 lines
374 B
Text
5 lines
374 B
Text
$NetBSD: distinfo,v 1.5 2022/02/12 05:26:25 pho Exp $
|
|
|
|
BLAKE2s (semigroupoids-5.3.7.tar.gz) = 5661145ae996f49abf1b105fb87498cd4a681e8ea698940027ecb360206355a7
|
|
SHA512 (semigroupoids-5.3.7.tar.gz) = 5e908f3b1618cfeb45e03335284e8811ff443f3d7cd8013813337729da62570c052e854bde64c56535809340d0ba281e246d7d0cc8f14627deeb7b1047623849
|
|
Size (semigroupoids-5.3.7.tar.gz) = 35349 bytes
|