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 | 1 | 0.0 | simple alternative to type classes | (bsd3, constraints, library, type-system) | 2014-10-14 | Kinokkory |
compound-types | 39 | 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 | 5 | 0.0 | Leibnizian equality | (bsd3, library, type-system) | 2021-10-31 | EdwardKmett, EricMertens, ryanglscott |
funspection | 8 | 0.0 | Type-level function utilities | (bsd3, library, type-system) | 2020-09-11 | ThomasEding |
ghc-corroborate | 2 | 0.0 | An flatter API for GHC typechecker plugins | (ghc, library, mpl, plugin, type-system) | 2022-03-11 | philderbeast |
ghc-tcplugin-api | 19 | 2.0 | An API for type-checker plugins. | (bsd3, ghc, library, plugin, type-system) | 2022-01-12 | sheaf |
ghc-tcplugins-extra | 209 | 0.0 | Utilities for writing GHC type-checker plugins | (bsd2, library, type-system) | 2021-06-17 | ChristiaanBaaij, QBayLogic |
ghc-typelits-extra | 197 | 0.0 | Additional type-level operations on GHC.TypeLits.Nat | (bsd2, library, type-system) | 2021-06-18 | ChristiaanBaaij, QBayLogic |
ghc-typelits-knownnat | 260 | 0.0 | Derive KnownNat constraints from other KnownNat constraints | (bsd2, library, type-system) | 2021-06-18 | ChristiaanBaaij, QBayLogic |
ghc-typelits-natnormalise | 203 | 2.25 | GHC typechecker plugin for types of kind GHC.TypeLits.Nat | (bsd2, library, type-system) | 2021-06-20 | ChristiaanBaaij, QBayLogic |
ghc-typelits-presburger | 8 | 1.75 | Presburger Arithmetic Solver for GHC Type-level natural numbers. | (bsd3, library, math, type-system) | 2021-12-11 | 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 | 2 | 0.0 | Branch on whether a constraint is satisfied | (bsd3, library, plugin, type-system) | 2021-09-01 | sheaf |
kinds | 9 | 0.0 | Emulation of subkinds and subkind polymorphism | (bsd3, library, type-system) | 2012-01-15 | WolfgangJeltsch |
names | 16 | 0.0 | Type level names. | (data, library, mit, type-system) | 2013-04-02 | JulianFleischer |
natural-number | 8 | 0.0 | Natural numbers tagged with a type-level representation of the number. | (bsd3, data, library, type-system) | 2010-10-14 | GregoryCrosswhite |
nullary | 5 | 0.0 | A package for working with nullary type classes. | (bsd2, library, type-system) | 2015-11-04 | DerekElkins |
reorderable | 6 | 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) | 8 | 0.0 | Lists, Texts, ByteStrings and Vectors with type-encoded length | (bsd3, data, deprecated, library, text, type-system) | 2017-10-29 | DmitryDzhus |
singletons-presburger | 5 | 0.0 | Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. | (bsd3, library, math, type-system) | 2021-11-07 | HiromiIshii |
static-text | 23 | 2.0 | Lists, Texts, ByteStrings and Vectors of statically known length | (bsd3, data, library, text, type-system) | 2021-07-10 | DmitryDzhus |
supermonad | 15 | 0.0 | Plugin and base library to support supermonads in Haskell | (bsd3, library, monad, plugin, type-system) | 2018-05-07 | JanBracker |
tfp | 16 | 0.0 | Type-level integers, booleans, lists using type families | (bsd3, library, type-system) | 2021-03-14 | HenningThielemann, PeterGavin |
tfp-th | 1 | 0.0 | Template-Haskell code for tfp | (bsd3, library, type-system) | 2013-05-20 | HenningThielemann |
type-booleans | 5 | 0.0 | Type-level booleans via type-families | (bsd3, library, type-system) | 2011-11-27 | NicolasFrisby |
type-cereal | 17 | 0.0 | Type-level serialization of type constructors | (bsd3, library, type-system) | 2013-07-31 | NicolasFrisby |
type-digits | 17 | 0.0 | Arbitrary-base type-level digits | (bsd3, library, type-system) | 2013-07-31 | NicolasFrisby |
type-eq | 26 | 0.0 | Type equality evidence you can carry around | (bsd3, library, type-system) | 2015-02-10 | AdamBergmark, GaborLehel |
type-functions | 25 | 0.0 | Emulation of type-level functions | (bsd3, library, type-system) | 2016-07-21 | WolfgangJeltsch |
type-level-natural-number | 17 | 0.0 | Simple type level natural numbers | (bsd3, data, library, type-system) | 2014-03-30 | GregoryCrosswhite |
type-level-natural-number-induction | 5 | 0.0 | High-level combinators for performing inductive operations. | (bsd3, data, library, type-system) | 2012-07-23 | GregoryCrosswhite |
type-level-natural-number-operations | 6 | 0.0 | Basic operations on type-level natural numbers. | (bsd3, data, library, type-system) | 2010-10-14 | GregoryCrosswhite |
type-level-numbers | 21 | 0.0 | Type level numbers implemented using type families. | (bsd3, library, type-system) | 2013-10-17 | AlexeyKhudyakov |
type-level-sets | 40 | 2.0 | Type-level sets and finite maps (with value-level counterparts) | (bsd3, data-structures, library, type-system) | 2018-11-29 | DominicOrchard |
type-ord | 5 | 0.0 | Type-level comparison operator | (bsd3, library, type-system) | 2013-07-31 | NicolasFrisby |
type-ord-spine-cereal | 12 | 0.0 | Generic type-level comparison of types | (bsd3, library, type-system) | 2012-09-12 | NicolasFrisby |
type-settheory | 19 | 0.0 | Sets and functions-as-relations in the type system | (bsd3, language, library, math, type-system) | 2010-11-03 | DanielSchuessler |
type-spine | 17 | 0.0 | A spine-view on types | (bsd3, library, type-system) | 2012-09-26 | NicolasFrisby |
typelevel-rewrite-rules | 6 | 0.0 | Solve type equalities using custom type-level rewrite rules | (library, type-system) | 2021-02-21 | gelisam |
uom-plugin | 14 | 0.0 | Units of measure as a GHC typechecker plugin | (bsd3, library, type-system) | 2018-06-13 | AdamGundry |