Packages tagged types

13 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (13), bsd3 (5), mit (5), data (3), mpl (2), algebra (1), apache (1), cast (1), composite (1), data-structures (1), graphs (1), th (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
compound-types282.01Sum and Product types and such (data, library, mit, type-system, types)2020-04-270.1.4.1NikitaVolkov
fcf-composite110.00Type-level computation for composite using first-class-families. (composite, library, mit, types)2021-08-260.1.1.0locallycompact
fcf-graphs80.01Type-level version of algebraic-graphs. (algebra, graphs, library, mit, types)2021-09-070.0.1.0locallycompact
fcf-vinyl120.01Vinyl compatibility with first-class-families (bsd3, library, types, vinyl)2021-09-080.0.1.0locallycompact
finite180.00Finite ranges via types (library, mit, types)2021-01-251.4.1.2kleinreact
kind-integer150.02Type-level integers. Like KnownNat, but for integers. (bsd3, library, types)2023-08-090.6.0RenzoCarbonara
kind-rational120.01Type-level rationals. Like KnownNat, but for rationals. (bsd3, library, types)2023-08-090.5.0RenzoCarbonara
rg190.00A dynamic/unbounded alternative to Bounded Enum (bsd3, library, types)2019-06-081.4.0.0ChrisDornan
say-my-name90.00Require explicit type application for some type variables. (bsd3, library, types)2020-11-180.1.0.0mnoonan
sum-type-boilerplate110.01Library for reducing the boilerplate involved with sum types (library, mit, th, types)2017-07-310.1.1jdreaver
type-errors-pretty252.05Combinators for writing pretty type errors easily (library, mpl, type-errors, types)2021-08-020.0.1.2vrom911
type-iso140.02Typeclasses for injective relations and isomorphisms between types. (apache, cast, data, library, types)2019-06-251.0.1.0jtapolczai, jtapolczai2
typerep-map842.55Efficient implementation of a dependent map with types as keys (data, data-structures, library, mpl, types)2022-11-020.6.0.0vrom911