category-theory
Package info
-
Homepage
gitlab.com/clean-and-itasks/libraries/category-theory -
Latest version
1.2.0, a month 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.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`.
Versions
-
1.2.0 latest a month ago
Dependencies: base ^2.0.0 || ^3.0.0.
Targets: any-any.
-
1.1.1 latest 1.1 6 months ago
Dependencies: base ^2.0.0 || ^3.0.0.
Targets: any-any.
-
1.1.0 1 year, 5 months ago
Dependencies: base ^2.0.0.
Targets: any-any.
-
1.0.0 latest 1.0 1 year, 6 months ago
Dependencies: base ^2.0.0.
Targets: any-any.