# 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-types | 52 | 2.0 | Sum and Product types and such | (data, library, mit, type-system, types) | 2020-04-27 | NikitaVolkov |

fcf-composite | 8 | 0.0 | Type-level computation for composite using first-class-families. | (composite, library, mit, types) | 2021-08-26 | locallycompact |

fcf-graphs | 6 | 0.0 | Type-level version of algebraic-graphs. | (algebra, graphs, library, mit, types) | 2021-09-07 | locallycompact |

fcf-vinyl | 7 | 0.0 | Vinyl compatibility with first-class-families | (bsd3, library, types, vinyl, web) | 2021-09-08 | locallycompact |

finite | 9 | 0.0 | Finite ranges via types | (library, mit, types) | 2021-01-25 | kleinreact |

rg | 4 | 0.0 | A dynamic/unbounded alternative to Bounded Enum | (bsd3, library, types) | 2019-06-08 | ChrisDornan |

say-my-name | 11 | 0.0 | Require explicit type application for some type variables. | (bsd3, library, types) | 2020-11-18 | mnoonan |

sum-type-boilerplate | 23 | 0.0 | Library for reducing the boilerplate involved with sum types | (library, mit, th, types) | 2017-07-31 | jdreaver |

type-errors-pretty | 160 | 2.0 | Combinators for writing pretty type errors easily | (library, mpl, type-errors, types) | 2021-08-02 | shersh, vrom911 |

type-iso | 18 | 0.0 | Typeclasses for injective relations and isomorphisms between types. | (apache, cast, data, library, types) | 2019-06-25 | jtapolczai, jtapolczai2 |

typerep-map | 820 | 2.5 | Efficient implementation of a dependent map with types as keys | (data, data-structures, library, mpl, types) | 2021-08-03 | shersh, vrom911 |