The polydata-core package
This package, with assistance of the package polydata, 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.
This package is separate from polydata to reduce dependencies, however if you want to do anything non-trivial you'll probably want to use the constraint manipulation tools in [polydata](https:/hackage.haskell.orgpackage/polydata). However, if you have your own way of manipulating constraints, you could just use this package directly and only.
[Skip to Readme]
|Dependencies||base (==4.9.*) [details]|
|Copyright||Copyright: (c) 2017 Clinton Mead|
|Source repository||head: git clone https://github.com/clintonmead/polydata-core|
|Uploaded||Fri Oct 13 11:33:59 UTC 2017 by clinton|
|Downloads||165 total (77 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
|Status||Docs available [build log]
Last success reported on 2017-10-13 [all 1 reports]
Hackage Matrix CI
For package maintainers and hackage trustees