ten: Typeclasses like Functor, etc. over arity-1 type constructors.

[ apache, data, library ] [ Propose Tags ]

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.

Downloads

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'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 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 && <0.2), portray-diff (>=0.1 && <0.2), some (>=1.0 && <1.1), text (>=0.1 && <1.3), transformers (>=0.0.1 && <0.6), wrapped (>=0.1 && <0.2) [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 1 made by AndrewPritchard at 2021-11-03T07:37:32Z
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-14T21:01:55Z
Distributions
Reverse Dependencies 2 direct, 0 indirect [details]
Downloads 462 total (16 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]