polydata-core: Core data definitions for the "polydata" 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. However, if you have your own way of manipulating constraints, you could just use this package directly and only.
[Skip to Readme]
- polydata-core-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
For package maintainers and hackage trustees
- No Candidates
|Dependencies||base (>=4.9 && <4.10) [details]|
|Copyright||Copyright: (c) 2017 Clinton Mead|
|Source repo||head: git clone https://github.com/clintonmead/polydata-core|
|Uploaded||by clinton at 2017-10-13T11:33:59Z|
|Reverse Dependencies||1 direct, 2 indirect [details]|
|Downloads||856 total (5 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs available [build log]
Last success reported on 2017-10-13 [all 1 reports]