category-theory
Package info
-
Homepage
gitlab.com/clean-and-itasks/libraries/category-theory -
Latest version
1.2.1, 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
The views and conclusions contained in the software and documentation are those of the
authors and should not be interpreted as representing official policies, either expressed
or implied, of Radboud University Nijmegen.
Changelog
# Changelog
#### 1.2.1
- Chore: accept base v4.
### 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.1 latest a month ago
Dependencies: base ^2.0.0 || ^3.0.0 || ^4.0.0.
Targets: any-any.
-
1.2.0 1 year, 8 months ago
Dependencies: base ^2.0.0 || ^3.0.0.
Targets: any-any.
-
1.1.1 latest 1.1 2 years ago
Dependencies: base ^2.0.0 || ^3.0.0.
Targets: any-any.
-
1.1.0 3 years ago
Dependencies: base ^2.0.0.
Targets: any-any.
-
1.0.0 latest 1.0 3 years ago
Dependencies: base ^2.0.0.
Targets: any-any.