semigroupoids

Contact Information

Please feel free to contact me through github or on the #haskell IRC channel on irc.freenode.net.

-Edward Kmett

Changes

5.2.1

Add the toNonEmpty method to Foldable1. Add foldrM1 and foldlM1
functions to Data.Semigroup.Foldable that are defined in terms of toNonEmpty.

Add Apply, Bind, Foldable1, and Traversable1 instances for Complex

Add Apply and Bind instances for HashMap from the unordered-containers package
(on which semigroupoids now depends)

Add Semigroupoid instances for Tagged and Const

5.2

Revamp Setup.hs to use cabal-doctest. This makes it build
with Cabal-1.25, and makes the doctests work with cabal new-build and
sandboxes.

Added instances to Alt, Plus, Apply, Bind and Extend for GHC.Generics, Tagged and Proxy where appropriate.

5.1

The remaining orphan instances in Data.Traversable.Instances have been replaced in favor of the orphan instances from transformers-compat-0.5.

The documentation now states laws that instances of Apply are expected to uphold.

doctest-0.11 support

Fixed compilation of tests with stack

5.0.1

transformers-compat 0.5 support

Removed some redundant constraints.

GHC 8 support

5.0.0.4

doctest 0.10 support

5.0.0.2

Bugfix for GHC 7.4. PolyKinds on 7.4 cause all sorts of haskell interface file errors. One of the #if guards that turned it off on 7.4 was missing and has been fixed.

5.0.0.1

Added the CHANGELOG to the distribution so that hackage can link to it in the haddocks.

5
-
Absorbed Data.Bifunctor.Apply, Data.Semigroup.Bifoldable and Data.Semigroup.Traversable from bifunctors.
This caused us to pick up a dependency on tagged.
Exiled Data.Semifunctor.*, Data.Semigroupoid.Product and Data.Semigroupoid.Coproduct to semigroupoid-extras.
This let us open up to older versions of GHC again.
* Set an explicit fixity for -<- and ->-.

4.5

Major changes to the API to support PolyKinds and DataKinds. This necessarily shuts off GHC <= 7.4.

Orphan instances have moved upstream into a common base-orphans package.

4.3.1

Added asum1 to Data.Semigroup.Foldable.

4.3.0.1

Support for 'ConstrainedClassMethods' is currently required for GHC HEAD.

4.3

Added missing instances for ExceptT. Obtain it via transformers-compat if need be for old transformers versions.

Several Bind and Apply instances now require somewhat more minimal contexts.