@hackage reflection0.3.3

Functional Pearl: Implicit Configurations

Categories
License
BSD-3-Clause
Maintainer
Edward A. Kmett <ekmett@gmail.com>
Links
- Homepage
- Documentation
- No source repository
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…

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.3.3

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (59)