Packages tagged type

7 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (7), bsd3 (6), apache (1)

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
cmptype80.01Compare types of any kinds (bsd3, library, type)2019-08-110.2.0.0isovector
haskus-utils-types690.05Haskus types utility modules (bsd3, library, type)2021-02-041.5.1SylvainHenry
membership390.06Indices for type level lists (bsd3, library, type)2021-02-200.0.1FumiakiKinoshita
type-compare70.03Type-level Ord compatibility layer (apache, library, type)2021-11-050.1.1AndrewPritchard
type-errors1020.05Tools for writing better type errors (bsd3, library, type)2022-11-240.2.0.1isovector
type-int130.01Type Level 2s- and 16s- Complement Integers (bsd3, library, type)2012-05-110.5.0.2EdwardKmett
type-sets40.00Type-level sets (bsd3, library, type)2019-08-110.1.1.0isovector