eliminators
Dependently typed elimination functions using singletons
https://github.com/RyanGlScott/eliminators
Version on this page: | 0.5 |
LTS Haskell 22.21: | 0.9.3@rev:2 |
Stackage Nightly 2024-05-11: | 0.9.4@rev:1 |
Latest on Hackage: | 0.9.5 |
Maintained by Ryan Scott
This version can be pinned in stack with:
eliminators-0.5@sha256:2e0bf27209903cd18ad8b08dc8fc1ff5cad0cb61394f2946828699d3f931b77c,2517
Module documentation for 0.5
- Data
- Data.Eliminator
- Data.Eliminator.TH
- Data.Eliminator.TypeNats
- Data.Eliminator
Depends on 7 packages(full list with versions):