Packages tagged types

4 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (4), data (3), mit (3), apache (1), cast (1), data-structures (1), th (1), type-system (1)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
compound-types132.0Sum and Product types and such (data, library, mit, type-system, types)2017-09-29NikitaVolkov
sum-type-boilerplate110.0Library for reducing the boilerplate involved with sum types (library, mit, th, types)2017-07-31jdreaver
type-iso80.0Typeclasses for injective relations and isomorphisms between types. (apache, cast, data, library, types)2018-02-05jtapolczai, jtapolczai2
typerep-map192.25Efficient implementation of a dependent map with types as keys (data, data-structures, library, mit, types)2018-07-11shersh, vrom911