ten: Functors et al. 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.

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 218 total (7 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2021-09-17 [all 1 reports]

Modules

[Index] [Quick Jump]

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

For package maintainers and hackage trustees

Candidates