@hackage eliminators dependencies

13 results

An efficient packed Unicode text type.

Support library for Template Haskell

Core data structures and operations

Functions to desugar Template Haskell

Nicer interface for reified information about data types

A promoted and singled version of the base library

Unary natural numbers relying on the singletons infrastructure.

Extra functions I use.

Core data structures and operations

A promoted and singled version of the base library

Unary natural numbers relying on the singletons infrastructure.

A Testing Framework for Haskell

Dependently typed elimination functions using singletons