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
cmptype120.01Compare types of any kinds (bsd3, library, type)2019-08-110.2.0.0isovector
generic-type-asserts110.00Structural assertions on generic type representations. (data, generics, library, mit, type)2024-04-100.3.0raehik
haskus-utils-types620.05Haskus types utility modules (bsd3, library, type)2021-02-041.5.1SylvainHenry
membership230.07Indices for type level lists (bsd3, library, type)2021-02-200.0.1FumiakiKinoshita
type-compare80.03Type-level Ord compatibility layer (apache, library, type)2021-11-050.1.1AndrewPritchard
type-errors712.06Tools for writing better type errors (bsd3, library, type)2023-04-080.2.0.2isovector
type-int180.01Type Level 2s- and 16s- Complement Integers (bsd3, library, type)2012-05-110.5.0.2EdwardKmett
type-sets80.00Type-level sets (bsd3, library, type)2019-08-110.1.1.0isovector