@hackage dependent-literals dependencies
8 results
@hackage/numeric-kinds
Type-level numeric types and classes
@hackage/sint
Nat singletons represented by Int
@hackage/base
Core data structures and operations
@hackage/wrapped
Newtypes to carry DerivingVia instances
@hackage/fin-int
Finite sets of static size
@hackage/type-compare
Type-level Ord compatibility layer
@hackage/tagged
Haskell 98 phantom types to avoid unsafely passing dummy arguments
@hackage/snumber
Integer singletons with flexible representation