@hackage sized dependencies

13 results

Efficient Arrays

Deep evaluation of data structures

Assorted concrete container types

Core data structures and operations

Type-level natural and proofs of their properties.

Basic singleton types and definitions

Type classes for mapping, folding, and traversing monomorphic containers

Lenses, Folds and Traversals

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

Presburger Arithmetic Solver for GHC Type-level natural numbers.

Proof assistant for Haskell using DataKinds & PolyKinds

Constraint manipulation

Generalized support for list-like structures