@hackage eliminators0.1

Dependently typed elimination functions using singletons

Categories
License
BSD-3-Clause
Maintainer
Ryan Scott <ryan.gl.scott@gmail.com>
Links
Versions
- 0.9.6 Mon, 30 Dec 2024
- 0.9.5 Sun, 20 Oct 2024
- 0.9.4 Sun, 17 Mar 2024
- 0.9.3 Thu, 12 Oct 2023
- 0.9.2 Mon, 27 Feb 2023
- 0.9.1 Tue, 23 Aug 2022

Installation
In your cabal file:
Dependencies (2)
- base >=4.10 && <4.11
- singletons >=2.3 && <2.4
Dependents (1)
@hackage/acme-everything

This library provides eliminators for inductive data types, leveraging the power of the singletons library to allow dependently typed elimination.