@hackage dimensional dependencies

12 results

Efficient Arrays

Deep evaluation of data structures

Basic libraries

Type-level integers, using TypeNats, Data Kinds, and Closed Type Families.

Exact rational multiples of pi (and integer powers of pi)

Basic libraries

Statically checked physical dimensions

A unit testing framework for Haskell

Deep evaluation of data structures

Basic libraries

Statically checked physical dimensions

Robust, reliable performance measurement and analysis