ten: Functors et al. over arity-1 type constructors
This provides a mirror of the traditional typeclass hierarchy for types of
kind (k -> Type) -> Type, or functors from the category Hask{k} to
Hask, where Hask{k} denotes the category whose objects are mappings
from k to Type, and whose morphisms are the parametric functions between
them. In general, these functors look like variations on the theme of
"polymorphic records", also frequently described as "higher-kinded data".
We currently provide the following classes, which correspond directly to
their equivalents in "base" or "adjunctions": Functor10, Foldable10,
Traversable10, Applicative10, and Representable10. Additionally, a
class Constrained10 provides instances for the argument of each occurrence
of the type parameter in a value.
| Versions [RSS] [faq] | 0.1.0.0, 0.1.0.1, 0.1.0.2 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | adjunctions (>=4.0 && <4.5), base (>=4.12 && <4.17), data-default-class (>=0.0 && <0.2), deepseq (>=1.1 && <1.5), distributive (>=0.1 && <0.7), hashable (>=1.0 && <1.4), portray (>=0.1.1 && <0.3), portray-diff (==0.1.*), some (==1.0.*), text (>=0.1 && <1.3), transformers (>=0.0.1 && <0.6), wrapped (==0.1.*) [details] |
| License | Apache-2.0 |
| Copyright | 2018-2021 Google LLC |
| Author | Andrew Pritchard <awpr@google.com>, Reiner Pope <reinerp@google.com> |
| Maintainer | Andrew Pritchard <awpr@google.com> |
| Revised | Revision 2 made by AndrewPritchard at 2021-11-03T07:37:49Z |
| Category | Data |
| Home page | https://github.com/google/hs-ten#readme |
| Bug tracker | https://github.com/google/hs-ten/issues |
| Source repo | head: git clone https://github.com/google/hs-ten(ten) |
| Uploaded | by AndrewPritchard at 2021-09-17T06:58:50Z |
| Distributions | NixOS:0.1.0.2 |
| Downloads | 226 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 2021-09-17 [all 1 reports] |
Downloads
- ten-0.1.0.2.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.