@hackage i dependencies

13 results

Core data structures and operations

Type-level rationals. Like KnownNat, but for rationals.

Type-level integers. Like KnownNat, but for integers.

Constraint manipulation

Core data structures and operations

HUnit support for the Tasty test framework.

Integration for tasty and hedgehog.

Modern and extensible testing framework

Type-level rationals. Like KnownNat, but for rationals.

Type-level integers. Like KnownNat, but for integers.

Haskell interval types. Bounds checking.

Release with confidence.

Constraint manipulation