instance-control: Controls how the compiler searches for instances using type families.

[ bsd3, control, library ] [ Propose Tags ]

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.

Versions [faq] 0.1.0.0, 0.1.1.0, 0.1.1.1, 0.1.2.0
Dependencies base (>=4.7 && <4.9), mtl (==2.2.*), transformers (==0.4.*) [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 Wed May 11 08:01:31 UTC 2016
Distributions LTSHaskell:0.1.2.0, NixOS:0.1.2.0, Stackage:0.1.2.0
Downloads 1411 total (33 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2016-11-25 [all 2 reports]

Modules

  • Control
    • Instances
      • Control.Instances.Morph

Downloads

Maintainer's Corner

For package maintainers and hackage trustees