@hackage / polydata

Wrap together data and it's constraints.

Latest0.3.0.0

About

Metadata

  • Last updated , by clinton
  • License MIT

  • Maintained by: clintonmead@gmail.com

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 8.0.2

Readme

This package, together with its dependency polydata-core, allows one to pass data, particularly functions, together with a constraint which describes how polymorphic that data is. This constraint can then be used in a generic way to produce quite polymorphic functions, for example, a "map" function that works on a pair of two different types.

See Data.Poly for a basic tutorial.