instance-control

Controls how the compiler searches for instances using type families.

https://github.com/lazac/instance-control

Version on this page:0.1.1.1
LTS Haskell 21.25:0.1.2.0
Stackage Nightly 2023-06-21:0.1.2.0
Latest on Hackage:0.1.2.0

See all snapshots instance-control appears in

BSD-3-Clause licensed by Boldizsar Nemeth
Maintained by [email protected]
This version can be pinned in stack with:instance-control-0.1.1.1@sha256:c4cb2a32edb6576aef889498289f5d0ff32c92b99eded90e6d40955c8a20ca26,1740

Module documentation for 0.1.1.1

Depends on 3 packages(full list with versions):
base, mtl, transformers
Used by 1 package in lts-9.4(full list with versions):
references

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.