@hackage ten0.1.0.2
Functors et al. over arity-1 type constructors
Categories
License
Apache-2.0
Maintainer
Andrew Pritchard <awpritchard@gmail.com>
Links
Versions
Installation
Dependencies (12)
- 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 Show all…
Dependents (2)
@hackage/ten-unordered-containers, @hackage/ten-lens
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.