# Packages tagged types

22 packages have this tag.

[Merge tag] (trustees only)Related tags: library (22), mit (14), data (11), bsd3 (5), mpl (2), th (2), algebra (1), apache (1), bytestring (1), cast (1), composite (1), data-structures (1), ...

Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
---|---|---|---|---|---|---|---|---|

compound-types | 27 | 2.0 | 1 | Sum and Product types and such | (data, library, mit, type-system, types) | 2020-04-27 | 0.1.4.1 | NikitaVolkov |

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

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

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

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

generic-type-functions | 2 | 0.0 | 2 | Familiar functions lifted to type-level functions on generic types | (data, generics, library, mit, types) | 2024-04-10 | 0.1.0 | raehik |

kind-integer | 7 | 0.0 | 2 | Type-level integers. Like KnownNat, but for integers. | (bsd3, library, types) | 2023-08-09 | 0.6.0 | RenzoCarbonara |

kind-rational | 3 | 0.0 | 1 | Type-level rationals. Like KnownNat, but for rationals. | (bsd3, library, types) | 2023-08-09 | 0.5.0 | RenzoCarbonara |

rerefined | 26 | 0.0 | 1 | Refinement types, again | (data, library, mit, types) | 2024-10-01 | 0.6.0 | raehik |

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

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

singleraeh | 28 | 0.0 | 2 | raehik's singletons | (data, library, mit, types) | 2024-06-01 | 0.4.0 | raehik |

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

symbol-parser (deprecated in favor of symparsec) | 8 | 0.0 | 0 | Type level string parser combinators | (data, deprecated, library, mit, types) | 2024-04-20 | 0.3.0 | raehik |

symparsec | 16 | 0.0 | 0 | Type level string parser combinators | (data, library, mit, types) | 2024-06-15 | 1.1.1 | raehik |

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

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

type-level-bytestrings | 4 | 0.0 | 2 | Tools for manipulating type-level bytes and bytestrings | (bytestring, data, library, mit, types) | 2024-05-07 | 0.2.0 | raehik |

type-level-show | 16 | 0.0 | 2 | Utilities for writing Show-like type families | (data, library, mit, types) | 2024-06-01 | 0.3.0 | raehik |

typeably | 3 | 0.0 | 1 | DerivingVia Typeable counterpart to Generically | (data, library, mit, types) | 2024-04-22 | 0.1.0 | raehik |

typerep-map | 49 | 2.5 | 5 | Efficient implementation of a dependent map with types as keys | (data, data-structures, library, mpl, types) | 2022-11-02 | 0.6.0.0 | vrom911 |

x-sum-type-boilerplate | 3 | 0.0 | 0 | (Forked) Library for reducing the boilerplate involved with sum types | (library, mit, th, types) | 2024-08-23 | 0.1.4 | xieyuschen |