The latest version of ten is 0.1.0.2-4.

ten

Version 0.1.0.2 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 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.

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

Components