Packages tagged types

3 packages have this tag.

[Merge tag] (trustees only)

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

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
compound-types162.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-iso130.0Typeclasses for injective relations and isomorphisms between types. (apache, cast, data, library, types)2018-02-05jtapolczai, jtapolczai2