constrained: Generalization of standard Functor, Foldable, and Traversable classes
This package generalizes familiar Functor
, Foldable
and Traversable
for the case when a functorial type of kind Type -> Type imposes certain constraints
on what can be put in. E.g. Set
can only deal with types that are an instance of Ord
and therefore cannot be made an instance of Functor
. But it can be made
an instance of a constrained functor with a similar interface that this
package provides.
Downloads
- constrained-0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.1 |
---|---|
Dependencies | base (>=4.8 && <5) [details] |
Tested with | ghc ==8.2.2, ghc ==8.4.4, ghc ==8.6.5, ghc ==8.8.1 |
License | BSD-2-Clause |
Author | Sergey Vinokurov |
Maintainer | Sergey Vinokurov <serg.foo@gmail.com> |
Category | Data |
Uploaded | by SergeyVinokurov at 2019-10-27T14:50:38Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Downloads | 525 total (4 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2019-10-27 [all 1 reports] |