About

Metadata

  • Last updated , by DavidFox
  • License BSD-3-Clause
  • Categories Template Haskell
  • Maintained by: David Fox <dsf@seereason.com>

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 7.10.3

Readme

Use these functions to decide an a not-quite naive fashion whether an instance already exists that satisfies a given context. This can be used to decide whether an instance needs to be generated, as in th-reify-many. Known limitation: the instances inserted into the InstMap are not fully recognized when computing the context.