The instance-control package

[Tags:bsd3, library]

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.

Properties

Versions 0.1.0.0, 0.1.1.0, 0.1.1.1
Dependencies base (>=4.9 && <5.0), mtl (==2.2.*), transformers (>=0.4 && <0.6) [details]
License BSD3
Author Boldizsar Nemeth
Maintainer nboldi@caesar.elte.hu
Category Control
Home page https://github.com/lazac/instance-control
Source repository head: git clone http://github.com/nboldi/instance-control
Uploaded Thu Jun 30 10:16:12 UTC 2016 by lazac
Distributions LTSHaskell:0.1.1.1, NixOS:0.1.1.1, Stackage:0.1.1.1, Tumbleweed:0.1.1.1
Downloads 215 total (20 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2016-06-30 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees