Packages tagged types

6 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (6), data (3), mit (2), mpl (2), apache (1), bsd3 (1), cast (1), data-structures (1), th (1), type-errors (1), type-system (1)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
compound-types272.0Sum and Product types and such (data, library, mit, type-system, types)2020-04-27NikitaVolkov
rg90.0A dynamic/unbounded alternative to Bounded Enum (bsd3, library, types)2019-06-08ChrisDornan
sum-type-boilerplate50.0Library for reducing the boilerplate involved with sum types (library, mit, th, types)2017-07-31jdreaver
type-errors-pretty1552.0Combinators for writing pretty type errors easily (library, mpl, type-errors, types)2020-04-18shersh, vrom911
type-iso60.0Typeclasses for injective relations and isomorphisms between types. (apache, cast, data, library, types)2019-06-25jtapolczai, jtapolczai2
typerep-map3512.5Efficient implementation of a dependent map with types as keys (data, data-structures, library, mpl, types)2020-04-18shersh, vrom911