Packages tagged types

11 packages have this tag.

[Merge tag] (trustees only)

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

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
compound-types522.0Sum and Product types and such (data, library, mit, type-system, types)2020-04-27NikitaVolkov
fcf-composite80.0Type-level computation for composite using first-class-families. (composite, library, mit, types)2021-08-26locallycompact
fcf-graphs60.0Type-level version of algebraic-graphs. (algebra, graphs, library, mit, types)2021-09-07locallycompact
fcf-vinyl70.0Vinyl compatibility with first-class-families (bsd3, library, types, vinyl, web)2021-09-08locallycompact
finite90.0Finite ranges via types (library, mit, types)2021-01-25kleinreact
rg40.0A dynamic/unbounded alternative to Bounded Enum (bsd3, library, types)2019-06-08ChrisDornan
say-my-name110.0Require explicit type application for some type variables. (bsd3, library, types)2020-11-18mnoonan
sum-type-boilerplate230.0Library for reducing the boilerplate involved with sum types (library, mit, th, types)2017-07-31jdreaver
type-errors-pretty1602.0Combinators for writing pretty type errors easily (library, mpl, type-errors, types)2021-08-02shersh, vrom911
type-iso180.0Typeclasses for injective relations and isomorphisms between types. (apache, cast, data, library, types)2019-06-25jtapolczai, jtapolczai2
typerep-map8202.5Efficient implementation of a dependent map with types as keys (data, data-structures, library, mpl, types)2021-08-03shersh, vrom911