@hackage bins dependencies

10 results

Assorted concrete container types

Basic libraries

Size tagged vectors

Haskell 98 phantom types to avoid unsafely passing dummy arguments

Reifies arbitrary terms into types that can be reflected back into terms

Profunctors

Collection of tools for numeric computations

GHC typechecker plugin for types of kind GHC.TypeLits.Nat

Derive KnownNat constraints from other KnownNat constraints

A type inhabited by finitely many values, indexed by type-level naturals