Generate default function implementations for complex type classes.


LTS Haskell 22.29:0.0.3
Stackage Nightly 2024-07-16:0.0.3
Latest on Hackage:0.0.3

See all snapshots flexible-defaults appears in

LicenseRef-PublicDomain licensed by James Cook
Maintained by Peter Simons
This version can be pinned in stack with:flexible-defaults-0.0.3@sha256:6a7ab000561e1075003cb1053dfbbb4020ae2b02916776d1479c9c3fc82f5d0d,2508

Module documentation for 0.0.3

Template Haskell code to implement default implementations for type-class functions based on which functions are already implemented. Currently extremely crude but still fairly effective.

When defining a type class with many functions, each of which can be implemented based on arbitrary subsets of the others, the standard default-implementation concept breaks down quite badly. This library provides a system by which more complex rules can be described for choosing default implementations based on which ones the user supplies. These implementations can additionally be given "suitability scores", so that when multiple possible choices could be made, the library can choose the "best" one.