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 | 28 | 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 | 7 | 0.0 | 1 | default arguments in haskell | (bsd3, library, type-system) | 2014-10-14 | 0.3 | Kinokkory |
eq | 83 | 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 | 5 | 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 | 3 | 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 | 67 | 2.0 | 4 | An API for type-checker plugins. | (bsd3, ghc, library, plugin, type-system) | 2024-11-28 | 0.14.0.0 | sheaf |
ghc-tcplugins-extra | 65 | 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 | 104 | 0.0 | 10 | Additional type-level operations on GHC.TypeLits.Nat | (bsd2, library, type-system) | 2024-05-22 | 0.4.7 | ChristiaanBaaij, QBayLogic |
ghc-typelits-knownnat | 105 | 0.0 | 33 | Derive KnownNat constraints from other KnownNat constraints | (bsd2, library, type-system) | 2024-05-22 | 0.7.12 | ChristiaanBaaij, QBayLogic |
ghc-typelits-natnormalise | 123 | 2.5 | 33 | 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 | 71 | 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 | 39 | 0.0 | 0 | Branch on whether a constraint is satisfied | (bsd3, library, plugin, type-system) | 2024-11-29 | 0.5.2.0 | sheaf |
kinds | 21 | 0.0 | 5 | Emulation of subkinds and subkind polymorphism | (bsd3, library, type-system) | 2012-01-15 | 0.0.1.5 | WolfgangJeltsch |
names | 14 | 0.0 | 2 | Type level names. | (data, library, mit, type-system) | 2013-04-02 | 0.3.1 | JulianFleischer |
natural-number | 2 | 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 | 2 | 0.0 | 1 | A package for working with nullary type classes. | (bsd2, library, type-system) | 2015-11-04 | 0.1.0.0 | DerekElkins |
reorderable | 4 | 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) | 12 | 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 | 28 | 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 | 27 | 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 | 9 | 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 | 50 | 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 | 5 | 0.0 | 3 | Type-level booleans via type-families | (bsd3, library, type-system) | 2011-11-27 | 0.1 | NicolasFrisby |
type-cereal | 6 | 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 | 22 | 0.0 | 4 | Type equality evidence you can carry around | (bsd3, library, type-system) | 2015-02-10 | 0.5 | AdamBergmark, GaborLehel |
type-functions | 15 | 0.0 | 4 | Emulation of type-level functions | (bsd3, library, type-system) | 2016-07-21 | 0.2.0.4 | WolfgangJeltsch |
type-level-natural-number | 19 | 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 | 24 | 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 | 4 | 0.0 | 3 | Type-level comparison operator | (bsd3, library, type-system) | 2013-07-31 | 0.3 | NicolasFrisby |
type-ord-spine-cereal | 5 | 0.0 | 2 | Generic type-level comparison of types | (bsd3, library, type-system) | 2012-09-12 | 0.2 | NicolasFrisby |
type-settheory | 5 | 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 | 6 | 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 | 17 | 0.0 | 2 | Units of measure as a GHC type-checker plugin | (bsd3, library, type-system) | 2022-10-09 | 0.4.0.0 | AdamGundry |