@hackage sized-vector dependencies

15 results

Deep evaluation of data structures

Core data structures and operations

Type-level natural and proofs of their properties.

Basic singleton types and definitions

Library to convert polymorphic datatypes to/from its monomorphic represetation

A class for types that can be converted to a hash value

Proof assistant for Haskell using DataKinds & PolyKinds

Constraint manipulation

Parallel programming library

Deep evaluation of data structures

Core data structures and operations

Type-level natural and proofs of their properties.

Size-parameterized vector types and functions.

Automates the recording and graphing of criterion benchmarks

Robust, reliable performance measurement and analysis