BSD-3-Clause licensed by Edward A. Kmett
Maintained by Edward A. Kmett

Module documentation for 0.4.0.3

This version can be pinned in stack with:[email protected]:1c10b0123ea13a6423d74a8fcbaeb2d5249b472588abde418a36b47b7c4f48c8,1163

Higher order versions of Prelude classes to ease programming with polymorphic recursion and reduce UndecidableInstances

See http://flint.cs.yale.edu/trifonov/papers/sqcc.pdf for further discussion of the approach taken here.

Changes

0.4.0.3

  • Add instances for Const
  • Add instances for tuples up to 9

0.4.0.2

  • Mark Prelude.Extras as Trustworthy

0.4.0.1

  • Added instances for the types in base where possible

0.4

  • Derived Functor, Foldable, and Traversable for Lift1 and Lift2

0.3.1

  • Fixed a broken #ifdef

0.3

  • Restructured so users can take advantage of default signatures
Depends on 1 package(full list with versions):
Used by 2 packages in lts-9.21(full list with versions):