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.

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.16), 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.*), 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>
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 NixOS:0.1.0.0
Downloads 124 total (124 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates