@hackage eliminators0.9.4

Dependently typed elimination functions using singletons

Categories
License
BSD-3-Clause
Maintainer
Ryan Scott <ryan.gl.scott@gmail.com>
Links
Versions
- 0.9.4 Fri, 13 Oct 2023
- 0.9.3 Thu, 12 Oct 2023
- 0.9.2 Mon, 27 Feb 2023
- 0.9.1 Tue, 23 Aug 2022
- 0.9 Sun, 31 Oct 2021
- 0.8 Fri, 12 Mar 2021

`eliminators`

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

Installation
In your cabal file:
Tested Compilers
- 9.8.1
Dependencies (8)
- base >=4.19 && <4.20
- template-haskell >=2.21 && <2.22
- text >=2.0.1 && <2.2
- extra >=1.4.2 && <1.8
- singleton-nats >=0.4.2 && <0.5
- singletons-base >=3.3 && <3.4
Dependents (1)
@hackage/acme-everything