category-theory
Package info
-
Homepage
gitlab.com/clean-and-itasks/libraries/category-theory -
Latest version
1.1.0, 9 months ago -
Maintainer
TOP Software Technology -
License
BSD-2-Clause
Description
This library provides basic category theory functionality.
Readme
# 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](/LICENSE) file.
Some modules were ported from Haskell and they are provided under the
compatible Haskell's 3-clause BSD license (see [LICENSE.BSD3](LICENSE.BSD3)).
- Control.Arrow
- Control.Category
- Data.Foldable
- Data.Traversable
Changelog
# Changelog
### 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`.