eliminators

Dependently typed elimination functions using singletons

https://github.com/RyanGlScott/eliminators

Version on this page:0.2
LTS Haskell 24.25:0.9.5@rev:1
Stackage Nightly 2025-12-25:0.9.6
Latest on Hackage:0.9.6

See all snapshots eliminators appears in

BSD-3-Clause licensed by Ryan Scott
Maintained by Ryan Scott
This version can be pinned in stack with:eliminators-0.2@sha256:21b1882c4b8f60793703f96f400b6acb83e5fe633cb19f0b6225df2d0d333e76,2215

Module documentation for 0.2

eliminators

Hackage Hackage Dependencies Haskell Programming Language BSD3 License Build

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

Changes

0.2 [2017-07-22]

  • Introduce the Data.Eliminator.TH module, which provides functionality for generating eliminator functions using Template Haskell. Currently, only simple algebraic data types that do not use polymorphic recursion are supported.
  • All eliminators now use predicates with (~>).

0.1 [2017-07-02]

  • Initial release.