@hackage / mtl-extras

Higher order versions of MTL classes

Version Deprecated package0.1

About

Metadata

  • Last updated , by int_index
  • License BSD-3-Clause
  • Maintained by: Index Int <vlad.z.4096@gmail.com>

  • Lottery factor: 0

Links

Installation

This package has been deprecated in favour of

Readme

Higher order versions of MTL 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.