ten
Version 0.1.0.0 revision 0 uploaded by AndrewPritchard.
Package meta
- Synopsis
- Typeclasses like Functor, etc. over arity-1 type constructors.
- Description
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 fromktoType, 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.
- Author
- Andrew Pritchard <awpr@google.com>, Reiner Pope <reinerp@google.com>
- Bug reports
- https://github.com/google/hs-ten/issues
- Category
- Data
- Copyright
- 2018-2021 Google LLC
- Homepage
- https://github.com/google/hs-ten#readme
- Maintainer
- Andrew Pritchard <awpr@google.com>
- Package URL
- n/a
- Stability
- n/a