Packages tagged type-system
43 packages have this tag.
[Merge tag] (trustees only)Related tags: library (43), bsd3 (33), data (10), bsd2 (5), plugin (4), math (3), ghc (2), mit (2), text (2), compatibility (1), constraints (1), data-structures (1), ...
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| cluss | 8 | 0.0 | 2 | simple alternative to type classes | (bsd3, constraints, library, type-system) | 2014-10-14 | 0.3 | Kinokkory |
| compound-types | 29 | 2.0 | 1 | Sum and Product types and such | (data, library, mit, type-system, types) | 2020-04-27 | 0.1.4.1 | NikitaVolkov |
| data-type | 4 | 0.0 | 4 | Basic type wrangling types and classes | (bsd3, data, library, type-system) | 2011-09-23 | 0.1.0 | IainAlexander |
| defargs | 3 | 0.0 | 1 | default arguments in haskell | (bsd3, library, type-system) | 2014-10-14 | 0.3 | Kinokkory |
| eq | 43 | 0.0 | 3 | Leibnizian equality | (bsd3, library, type-system) | 2021-10-31 | 4.3 | EdwardKmett, EricMertens, ryanglscott |
| funspection | 6 | 0.0 | 1 | Type-level function utilities | (bsd3, library, type-system) | 2020-09-11 | 1.0.0.1 | ThomasEding |
| ghc-corroborate | 6 | 0.0 | 0 | An flatter API for GHC typechecker plugins | (ghc, library, mpl, plugin, type-system) | 2022-06-09 | 1.0.0 | philderbeast |
| ghc-magic-dict-compat | 1 | 0.0 | 0 | A compatibility layer and GHC plugin for `withDict` from "GHC.Magic.Dict". | (bsd3, compatibility, library, type-system) | 2023-12-31 | 0.0.0.0 | HiromiIshii |
| ghc-tcplugin-api | 32 | 2.0 | 4 | An API for type-checker plugins. | (bsd3, ghc, library, plugin, type-system) | 2023-08-29 | 0.11.0.0 | sheaf |
| ghc-tcplugins-extra | 126 | 0.0 | 16 | Utilities for writing GHC type-checker plugins | (bsd2, library, type-system) | 2024-05-22 | 0.4.6 | ChristiaanBaaij, QBayLogic |
| ghc-typelits-extra | 99 | 0.0 | 9 | Additional type-level operations on GHC.TypeLits.Nat | (bsd2, library, type-system) | 2024-05-22 | 0.4.7 | ChristiaanBaaij, QBayLogic |
| ghc-typelits-knownnat | 133 | 0.0 | 32 | Derive KnownNat constraints from other KnownNat constraints | (bsd2, library, type-system) | 2024-05-22 | 0.7.12 | ChristiaanBaaij, QBayLogic |
| ghc-typelits-natnormalise | 125 | 2.5 | 32 | GHC typechecker plugin for types of kind GHC.TypeLits.Nat | (bsd2, library, type-system) | 2024-05-22 | 0.7.10 | ChristiaanBaaij, QBayLogic |
| ghc-typelits-presburger | 68 | 1.75 | 4 | Presburger Arithmetic Solver for GHC Type-level natural numbers. | (bsd3, library, math, type-system) | 2024-06-09 | 0.7.4.0 | HiromiIshii |
| hout | 5 | 0.0 | 0 | Non-interactive proof assistant monad for first-order logic. | (bsd3, library, logic, type-system) | 2020-04-11 | 0.1.0.0 | ivanbakel |
| if-instance | 14 | 0.0 | 0 | Branch on whether a constraint is satisfied | (bsd3, library, plugin, type-system) | 2023-08-30 | 0.5.1.0 | sheaf |
| kinds | 19 | 0.0 | 5 | Emulation of subkinds and subkind polymorphism | (bsd3, library, type-system) | 2012-01-15 | 0.0.1.5 | WolfgangJeltsch |
| names | 23 | 0.0 | 2 | Type level names. | (data, library, mit, type-system) | 2013-04-02 | 0.3.1 | JulianFleischer |
| natural-number | 1 | 0.0 | 2 | Natural numbers tagged with a type-level representation of the number. | (bsd3, data, library, type-system) | 2010-10-14 | 1.0 | GregoryCrosswhite |
| nullary | 3 | 0.0 | 1 | A package for working with nullary type classes. | (bsd2, library, type-system) | 2015-11-04 | 0.1.0.0 | DerekElkins |
| reorderable | 3 | 0.0 | 1 | Define compound types that do not depend on member order. | (data, library, type-system) | 2013-11-15 | 0.3.1 | AlexCole |
| sext (deprecated in favor of static-text) | 8 | 0.0 | 1 | Lists, Texts, ByteStrings and Vectors with type-encoded length | (bsd3, data, deprecated, library, text, type-system) | 2017-10-29 | 0.1.3.1 | DmitryDzhus |
| singletons-presburger | 20 | 0.0 | 2 | Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. | (bsd3, library, math, type-system) | 2024-06-09 | 0.7.4.0 | HiromiIshii |
| static-text | 18 | 2.0 | 1 | Lists, Texts, ByteStrings and Vectors of statically known length | (bsd3, data, library, text, type-system) | 2021-07-10 | 0.2.0.7 | DmitryDzhus |
| supermonad | 7 | 0.0 | 1 | Plugin and base library to support supermonads in Haskell | (bsd3, library, monad, plugin, type-system) | 2018-05-07 | 0.2.1.1 | JanBracker |
| tfp | 47 | 0.0 | 17 | Type-level integers, booleans, lists using type families | (bsd3, library, type-system) | 2021-03-14 | 1.0.2 | HenningThielemann, PeterGavin |
| tfp-th | 2 | 0.0 | 1 | Template-Haskell code for tfp | (bsd3, library, type-system) | 2013-05-20 | 0.8 | HenningThielemann |
| type-booleans | 10 | 0.0 | 3 | Type-level booleans via type-families | (bsd3, library, type-system) | 2011-11-27 | 0.1 | NicolasFrisby |
| type-cereal | 10 | 0.0 | 3 | Type-level serialization of type constructors | (bsd3, library, type-system) | 2013-07-31 | 0.3 | NicolasFrisby |
| type-digits | 6 | 0.0 | 4 | Arbitrary-base type-level digits | (bsd3, library, type-system) | 2013-07-31 | 0.3 | NicolasFrisby |
| type-eq | 25 | 0.0 | 4 | Type equality evidence you can carry around | (bsd3, library, type-system) | 2015-02-10 | 0.5 | AdamBergmark, GaborLehel |
| type-functions | 19 | 0.0 | 4 | Emulation of type-level functions | (bsd3, library, type-system) | 2016-07-21 | 0.2.0.4 | WolfgangJeltsch |
| type-level-natural-number | 20 | 0.0 | 8 | Simple type level natural numbers | (bsd3, data, library, type-system) | 2014-03-30 | 2.0 | GregoryCrosswhite |
| type-level-natural-number-induction | 5 | 0.0 | 3 | High-level combinators for performing inductive operations. | (bsd3, data, library, type-system) | 2012-07-23 | 1.0.0.1 | GregoryCrosswhite |
| type-level-natural-number-operations | 2 | 0.0 | 3 | Basic operations on type-level natural numbers. | (bsd3, data, library, type-system) | 2010-10-14 | 1.0 | GregoryCrosswhite |
| type-level-numbers | 26 | 0.0 | 3 | Type level numbers implemented using type families. | (bsd3, library, type-system) | 2022-06-15 | 0.1.1.2 | AlexeyKhudyakov |
| type-level-sets | 16 | 2.0 | 5 | Type-level sets and finite maps (with value-level counterparts) | (bsd3, data-structures, library, type-system) | 2018-11-29 | 0.8.9.0 | DominicOrchard |
| type-ord | 8 | 0.0 | 3 | Type-level comparison operator | (bsd3, library, type-system) | 2013-07-31 | 0.3 | NicolasFrisby |
| type-ord-spine-cereal | 2 | 0.0 | 2 | Generic type-level comparison of types | (bsd3, library, type-system) | 2012-09-12 | 0.2 | NicolasFrisby |
| type-settheory | 11 | 0.0 | 1 | Sets and functions-as-relations in the type system | (bsd3, language, library, math, type-system) | 2010-11-03 | 0.1.3.1 | DanielSchuessler |
| type-spine | 15 | 0.0 | 7 | A spine-view on types | (bsd3, library, type-system) | 2012-09-26 | 0.2.20120924 | NicolasFrisby |
| typelevel-rewrite-rules | 6 | 0.0 | 0 | Solve type equalities using custom type-level rewrite rules | (library, type-system) | 2023-03-16 | 1.0.0.1 | gelisam |
| uom-plugin | 8 | 0.0 | 2 | Units of measure as a GHC type-checker plugin | (bsd3, library, type-system) | 2022-10-09 | 0.4.0.0 | AdamGundry |