@hackage posable dependencies

12 results

Support library for Template Haskell

Basic libraries

Derive KnownNat constraints from other KnownNat constraints

Generic Programming using True Sums of Products

A type inhabited by finitely many values, indexed by type-level naturals

Support library for Template Haskell

Basic libraries

QuickCheck support for the Tasty test framework.

HUnit support for the Tasty test framework.

Modern and extensible testing framework

A product-of-sums generics library

Derive KnownNat constraints from other KnownNat constraints