Packages tagged type
8 packages have this tag.
[Merge tag] (trustees only)Related tags: library (8), bsd3 (6), apache (1), data (1), generics (1), mit (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|
cmptype | 4 | 0.0 | 1 | Compare types of any kinds | (bsd3, library, type) | 2019-08-11 | 0.2.0.0 | isovector |
generic-type-asserts | 4 | 0.0 | 1 | Structural assertions on generic type representations. | (data, generics, library, mit, type) | 2024-04-10 | 0.3.0 | raehik |
haskus-utils-types | 38 | 0.0 | 5 | Haskus types utility modules | (bsd3, library, type) | 2024-07-29 | 1.6 | SylvainHenry |
membership | 21 | 0.0 | 7 | Indices for type level lists | (bsd3, library, type) | 2021-02-20 | 0.0.1 | FumiakiKinoshita |
type-compare | 0 | 0.0 | 3 | Type-level Ord compatibility layer | (apache, library, type) | 2021-11-05 | 0.1.1 | AndrewPritchard |
type-errors | 54 | 2.25 | 6 | Tools for writing better type errors | (bsd3, library, type) | 2023-04-08 | 0.2.0.2 | isovector |
type-int | 4 | 0.0 | 1 | Type Level 2s- and 16s- Complement Integers | (bsd3, library, type) | 2012-05-11 | 0.5.0.2 | EdwardKmett |
type-sets | 2 | 0.0 | 0 | Type-level sets | (bsd3, library, type) | 2019-08-11 | 0.1.1.0 | isovector |