impl

Version 0.2.0.0 revision 0 uploaded by dailectic.

Package meta

Synopsis
Framework for defaulting superclasses
Description

This small but extensible framework facilitates defining complex defaulting rules that are not handled by DefaultSignatures, and reducing the overhead of giving instances to new datatypes by generating superclasses. One reason we might want this is when a superclass wants to be given a default by two different subclasses (ex: Bifunctor and Profunctor both could generate Functor instances). See the example internal library for how to implement instances of Impl. Impl is most valuable when instantiating deep (or even undecidably recursive) typeclass hierarchies for multiple new datatypes, which is most common in client code.

Author
Dai
Bug reports
https://github.com/exordium/impl/issues
Category
Development, Template Haskell
Copyright
2018 Sodality
Homepage
https://github.com/exordium/impl#readme
Maintainer
daig@sodality.cc
Package URL
n/a
Stability
cursed

Components