@hackage reflection0.4.1

Functional Pearl: Implicit Configurations

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 >=4 && <5
- tagged >=0.2.2.3 && <0.3
Dependents (112)
@hackage/reflection-extras, @cardano/ouroboros-consensus-diffusion, @hackage/algebra, @hackage/quickspec, @hackage/grenade, @hackage/downhill, Show all…

Implementation of the ideas presented in the paper "Functional Pearl: Implicit Configurations" by Oleg Kiselyov and Chung-chieh Shan. Modified to avoid the use of scoped type variables, and to use a phantom type wrapper rather than dummy arguments.

@hackage reflection0.4.1

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (2)

Dependents (112)