@hackage reflection1.0

Functional Pearl: Implicit Configurations

Categories
License
BSD-3-Clause
Maintainer
Edward A. Kmett <ekmett@gmail.com>
Links
Versions
- 2.1.8 Sat, 4 May 2024
- 2.1.7 Sat, 30 Sep 2023
- 2.1.6 Tue, 16 Nov 2021
- 2.1.5 Tue, 27 Aug 2019
- 2.1.4 Fri, 10 May 2019
- 2.1.3 Mon, 24 Sep 2018

Installation
In your cabal file:
Dependencies (0)
Dependents (59)
@hackage/downhill, @hackage/yam, @hackage/tagged-transformer, @hackage/hcobs, @hackage/aern2-mp, @hackage/auto-lift-classes, Show all…

Package Flags

slow

(off by default)

reflection

This package provides an implementation of the ideas presented in the paper

Oleg Kiselyov and Chung-Chieh Shan, "Functional Pearl: Implicit Configurations" http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf

However, the API has been modified to use Rank2Types and TypeFamilies and the implementation has been streamlined to improve performance.