@hackage/lens
Lenses, Folds and Traversals
@hackage/singletons
Basic singleton types and definitions
@hackage/deepseq
Deep evaluation of data structures
@hackage/base
Core data structures and operations
@hackage/ghc-typelits-presburger
Presburger Arithmetic Solver for GHC Type-level natural numbers.
@hackage/mono-traversable
Type classes for mapping, folding, and traversing monomorphic containers
@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/ListLike
Generalized support for list-like structures
@hackage/vector
Efficient Arrays
@hackage/containers
Assorted concrete container types