Packages tagged types

6 packages have this tag.

[Merge tag] (trustees only)

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

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