@hackage dimensional dependencies

14 results

Efficient Arrays

Deep evaluation of data structures

Binary serialisation for Haskell values using lazy ByteStrings

Core data structures and operations

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

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

Core data structures and operations

A Testing Framework for Haskell

Statically checked physical dimensions

Automatic testing of Haskell programs

Deep evaluation of data structures

Core data structures and operations

Statically checked physical dimensions

Robust, reliable performance measurement and analysis