@hackage sized-vector dependencies
15 results
@hackage/singletons
Basic singleton types and definitions
@hackage/deepseq
Deep evaluation of data structures
@hackage/base
Core data structures and operations
@hackage/constraints
Constraint manipulation
@hackage/equational-reasoning
Proof assistant for Haskell using DataKinds & PolyKinds
@hackage/hashable
A class for types that can be converted to a hash value
@hackage/type-natural
Type-level natural and proofs of their properties.
@hackage/monomorphic
Library to convert polymorphic datatypes to/from its monomorphic represetation
@hackage/progression
Automates the recording and graphing of criterion benchmarks
@hackage/deepseq
Deep evaluation of data structures
@hackage/criterion
Robust, reliable performance measurement and analysis
@hackage/parallel
Parallel programming library
@hackage/base
Core data structures and operations
@hackage/type-natural
Type-level natural and proofs of their properties.
@hackage/sized-vector
Size-parameterized vector types and functions.