Packages tagged type-system
42 packages have this tag.
[Merge tag] (trustees only)Related tags: library (42), bsd3 (32), data (10), bsd2 (5), plugin (4), math (3), ghc (2), mit (2), text (2), constraints (1), data-structures (1), deprecated (1), ...
Name |
DLs |
Rating |
Description |
Tags |
Last U/L |
Maintainer |
|---|---|---|---|---|---|---|
| cluss | 7 | 0.0 | simple alternative to type classes | (bsd3, constraints, library, type-system) | 2014-10-14 | Kinokkory |
| compound-types | 29 | 2.0 | Sum and Product types and such | (data, library, mit, type-system, types) | 2020-04-27 | NikitaVolkov |
| data-type | 8 | 0.0 | Basic type wrangling types and classes | (bsd3, data, library, type-system) | 2011-09-23 | IainAlexander |
| defargs | 5 | 0.0 | default arguments in haskell | (bsd3, library, type-system) | 2014-10-14 | Kinokkory |
| eq | 70 | 0.0 | Leibnizian equality | (bsd3, library, type-system) | 2021-10-31 | EdwardKmett, EricMertens, ryanglscott |
| funspection | 4 | 0.0 | Type-level function utilities | (bsd3, library, type-system) | 2020-09-11 | ThomasEding |
| ghc-corroborate | 5 | 0.0 | An flatter API for GHC typechecker plugins | (ghc, library, mpl, plugin, type-system) | 2022-06-09 | philderbeast |
| ghc-tcplugin-api | 37 | 2.0 | An API for type-checker plugins. | (bsd3, ghc, library, plugin, type-system) | 2022-10-05 | sheaf |
| ghc-tcplugins-extra | 139 | 0.0 | Utilities for writing GHC type-checker plugins | (bsd2, library, type-system) | 2022-09-02 | ChristiaanBaaij, QBayLogic |
| ghc-typelits-extra | 117 | 0.0 | Additional type-level operations on GHC.TypeLits.Nat | (bsd2, library, type-system) | 2022-10-21 | ChristiaanBaaij, QBayLogic |
| ghc-typelits-knownnat | 146 | 0.0 | Derive KnownNat constraints from other KnownNat constraints | (bsd2, library, type-system) | 2022-10-10 | ChristiaanBaaij, QBayLogic |
| ghc-typelits-natnormalise | 170 | 2.25 | GHC typechecker plugin for types of kind GHC.TypeLits.Nat | (bsd2, library, type-system) | 2022-10-10 | ChristiaanBaaij, QBayLogic |
| ghc-typelits-presburger | 88 | 1.75 | Presburger Arithmetic Solver for GHC Type-level natural numbers. | (bsd3, library, math, type-system) | 2022-11-25 | HiromiIshii |
| hout | 4 | 0.0 | Non-interactive proof assistant monad for first-order logic. | (bsd3, library, logic, type-system) | 2020-04-11 | ivanbakel |
| if-instance | 8 | 0.0 | Branch on whether a constraint is satisfied | (bsd3, library, plugin, type-system) | 2021-09-01 | sheaf |
| kinds | 11 | 0.0 | Emulation of subkinds and subkind polymorphism | (bsd3, library, type-system) | 2012-01-15 | WolfgangJeltsch |
| names | 9 | 0.0 | Type level names. | (data, library, mit, type-system) | 2013-04-02 | JulianFleischer |
| natural-number | 4 | 0.0 | Natural numbers tagged with a type-level representation of the number. | (bsd3, data, library, type-system) | 2010-10-14 | GregoryCrosswhite |
| nullary | 4 | 0.0 | A package for working with nullary type classes. | (bsd2, library, type-system) | 2015-11-04 | DerekElkins |
| reorderable | 3 | 0.0 | Define compound types that do not depend on member order. | (data, library, type-system) | 2013-11-15 | AlexCole |
| sext (deprecated in favor of static-text) | 7 | 0.0 | Lists, Texts, ByteStrings and Vectors with type-encoded length | (bsd3, data, deprecated, library, text, type-system) | 2017-10-29 | DmitryDzhus |
| singletons-presburger | 46 | 0.0 | Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. | (bsd3, library, math, type-system) | 2022-11-25 | HiromiIshii |
| static-text | 24 | 2.0 | Lists, Texts, ByteStrings and Vectors of statically known length | (bsd3, data, library, text, type-system) | 2021-07-10 | DmitryDzhus |
| supermonad | 5 | 0.0 | Plugin and base library to support supermonads in Haskell | (bsd3, library, monad, plugin, type-system) | 2018-05-07 | JanBracker |
| tfp | 31 | 0.0 | Type-level integers, booleans, lists using type families | (bsd3, library, type-system) | 2021-03-14 | HenningThielemann, PeterGavin |
| tfp-th | 3 | 0.0 | Template-Haskell code for tfp | (bsd3, library, type-system) | 2013-05-20 | HenningThielemann |
| type-booleans | 4 | 0.0 | Type-level booleans via type-families | (bsd3, library, type-system) | 2011-11-27 | NicolasFrisby |
| type-cereal | 7 | 0.0 | Type-level serialization of type constructors | (bsd3, library, type-system) | 2013-07-31 | NicolasFrisby |
| type-digits | 11 | 0.0 | Arbitrary-base type-level digits | (bsd3, library, type-system) | 2013-07-31 | NicolasFrisby |
| type-eq | 14 | 0.0 | Type equality evidence you can carry around | (bsd3, library, type-system) | 2015-02-10 | AdamBergmark, GaborLehel |
| type-functions | 11 | 0.0 | Emulation of type-level functions | (bsd3, library, type-system) | 2016-07-21 | WolfgangJeltsch |
| type-level-natural-number | 21 | 0.0 | Simple type level natural numbers | (bsd3, data, library, type-system) | 2014-03-30 | GregoryCrosswhite |
| type-level-natural-number-induction | 6 | 0.0 | High-level combinators for performing inductive operations. | (bsd3, data, library, type-system) | 2012-07-23 | GregoryCrosswhite |
| type-level-natural-number-operations | 7 | 0.0 | Basic operations on type-level natural numbers. | (bsd3, data, library, type-system) | 2010-10-14 | GregoryCrosswhite |
| type-level-numbers | 30 | 0.0 | Type level numbers implemented using type families. | (bsd3, library, type-system) | 2022-06-15 | AlexeyKhudyakov |
| type-level-sets | 22 | 2.0 | Type-level sets and finite maps (with value-level counterparts) | (bsd3, data-structures, library, type-system) | 2018-11-29 | DominicOrchard |
| type-ord | 7 | 0.0 | Type-level comparison operator | (bsd3, library, type-system) | 2013-07-31 | NicolasFrisby |
| type-ord-spine-cereal | 6 | 0.0 | Generic type-level comparison of types | (bsd3, library, type-system) | 2012-09-12 | NicolasFrisby |
| type-settheory | 8 | 0.0 | Sets and functions-as-relations in the type system | (bsd3, language, library, math, type-system) | 2010-11-03 | DanielSchuessler |
| type-spine | 7 | 0.0 | A spine-view on types | (bsd3, library, type-system) | 2012-09-26 | NicolasFrisby |
| typelevel-rewrite-rules | 7 | 0.0 | Solve type equalities using custom type-level rewrite rules | (library, type-system) | 2021-02-21 | gelisam |
| uom-plugin | 10 | 0.0 | Units of measure as a GHC type-checker plugin | (bsd3, library, type-system) | 2022-10-09 | AdamGundry |