instance-control: Controls how the compiler searches for instances using type families.
GHC has no capability to perform graph searches on instance definition. Because of that, transitive rules for type classes cannot be defined. This package solves the issue with type functions performing a search on the graph where nodes are types and edges are rules from a given rule database. After constructing the type-level representation of the wanted path, the system constructs the needed functions from the value-level representation of the database.
Downloads
- instance-control-0.1.1.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1.0.0, 0.1.1.0, 0.1.1.1, 0.1.2.0 |
---|---|
Dependencies | base (>=4.9 && <5.0), mtl (>=2.2 && <2.3), transformers (>=0.4 && <0.6) [details] |
License | BSD-3-Clause |
Author | Boldizsar Nemeth |
Maintainer | nboldi@caesar.elte.hu |
Category | Control |
Home page | https://github.com/lazac/instance-control |
Source repo | head: git clone http://github.com/nboldi/instance-control |
Uploaded | by lazac at 2016-06-30T10:16:12Z |
Distributions | |
Reverse Dependencies | 1 direct, 15 indirect [details] |
Downloads | 3520 total (8 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2016-06-30 [all 1 reports] |