@hackage reflection1.1.5

Reifies arbitrary terms into types that can be reflected back into terms

Categories
License
BSD-3-Clause
Maintainer
Edward A. Kmett <ekmett@gmail.com>
Links
Versions
- 2.1.9 Mon, 3 Mar 2025
- 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

Installation
In your cabal file:
Dependencies (2)
- base >=2 && <5
- tagged >=0.2.3 && <0.5
Dependents (112)
@hackage/reflection-extras, @cardano/ouroboros-consensus-diffusion, @hackage/algebra, @hackage/quickspec, @hackage/grenade, @hackage/downhill, 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.