category-theory

This library provides basic category theory functionality such as the Monad class and instances.

Licence

The package is licensed under the BSD-2-Clause license; for details, see the LICENSE file.

Some modules were ported from Haskell and they are provided under the compatible Haskell’s 3-clause BSD license (see LICENSE.BSD3).

• Control.Arrow
• Control.Category
• Data.Foldable
• Data.Traversable

Changelog

1.2.0

• Feature: Add Compose functor.

1.1.1

• Chore: support base 3.0.

1.1.0

• Add MonadPlus and MonadFail instances for maybe and list types.
• Add instances for the Either type.

1.0.0

• Initial version, import modules from clean platform v0.3.34 and destill all category theory modules and add all instances for the builtin types.
• Remove return (as discussed in https://gitlab.com/clean-and-itasks/clean-platform/-/issues/118).
• Move MaybeT from Data.Maybe to Control.Monad.Maybe.