@hackage / eliminators

Dependently typed elimination functions using singletons

Latest0.9.7

Dependencies

library:eliminators (8 dependencies)

@hackage / text An efficient packed Unicode text type.
- Version: >=2.0.1 && <2.2
- License: BSD-2-Clause
@hackage / th-desugar Functions to desugar Template Haskell
- Version: >=1.19 && <1.20
- License: BSD-3-Clause
@hackage / singletons-base A promoted and singled version of the base library
- Version: >=3.5.1 && <3.6
- License: BSD-3-Clause
@hackage / singleton-nats Unary natural numbers relying on the singletons infrastructure.
- Version: >=0.4.2 && <0.5
- License: BSD-3-Clause
@hackage / extra Extra functions I use.
- Version: >=1.4.2 && <1.9
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.22 && <4.23
- License: BSD-3-Clause
@hackage / th-abstraction Nicer interface for reified information about data types
- Version: >=0.4 && <0.8
- License: ISC
@hackage / template-haskell Support library for Template Haskell
- Version: >=2.24 && <2.25
- License: BSD-3-Clause

test:spec (5 dependencies)