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
cluss10.0simple alternative to type classes (bsd3, constraints, library, type-system)2014-10-14Kinokkory
compound-types392.0Sum and Product types and such (data, library, mit, type-system, types)2020-04-27NikitaVolkov
data-type80.0Basic type wrangling types and classes (bsd3, data, library, type-system)2011-09-23IainAlexander
defargs50.0default arguments in haskell (bsd3, library, type-system)2014-10-14Kinokkory
eq50.0Leibnizian equality (bsd3, library, type-system)2021-10-31EdwardKmett, EricMertens, ryanglscott
funspection80.0Type-level function utilities (bsd3, library, type-system)2020-09-11ThomasEding
ghc-corroborate20.0An flatter API for GHC typechecker plugins (ghc, library, mpl, plugin, type-system)2022-03-11philderbeast
ghc-tcplugin-api192.0An API for type-checker plugins. (bsd3, ghc, library, plugin, type-system)2022-01-12sheaf
ghc-tcplugins-extra2090.0Utilities for writing GHC type-checker plugins (bsd2, library, type-system)2021-06-17ChristiaanBaaij, QBayLogic
ghc-typelits-extra1970.0Additional type-level operations on GHC.TypeLits.Nat (bsd2, library, type-system)2021-06-18ChristiaanBaaij, QBayLogic
ghc-typelits-knownnat2600.0Derive KnownNat constraints from other KnownNat constraints (bsd2, library, type-system)2021-06-18ChristiaanBaaij, QBayLogic
ghc-typelits-natnormalise2032.25GHC typechecker plugin for types of kind GHC.TypeLits.Nat (bsd2, library, type-system)2021-06-20ChristiaanBaaij, QBayLogic
ghc-typelits-presburger81.75Presburger Arithmetic Solver for GHC Type-level natural numbers. (bsd3, library, math, type-system)2021-12-11HiromiIshii
hout40.0Non-interactive proof assistant monad for first-order logic. (bsd3, library, logic, type-system)2020-04-11ivanbakel
if-instance20.0Branch on whether a constraint is satisfied (bsd3, library, plugin, type-system)2021-09-01sheaf
kinds90.0Emulation of subkinds and subkind polymorphism (bsd3, library, type-system)2012-01-15WolfgangJeltsch
names160.0Type level names. (data, library, mit, type-system)2013-04-02JulianFleischer
natural-number80.0Natural numbers tagged with a type-level representation of the number. (bsd3, data, library, type-system)2010-10-14GregoryCrosswhite
nullary50.0A package for working with nullary type classes. (bsd2, library, type-system)2015-11-04DerekElkins
reorderable60.0Define compound types that do not depend on member order. (data, library, type-system)2013-11-15AlexCole
sext (deprecated in favor of static-text)80.0Lists, Texts, ByteStrings and Vectors with type-encoded length (bsd3, data, deprecated, library, text, type-system)2017-10-29DmitryDzhus
singletons-presburger50.0Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. (bsd3, library, math, type-system)2021-11-07HiromiIshii
static-text232.0Lists, Texts, ByteStrings and Vectors of statically known length (bsd3, data, library, text, type-system)2021-07-10DmitryDzhus
supermonad150.0Plugin and base library to support supermonads in Haskell (bsd3, library, monad, plugin, type-system)2018-05-07JanBracker
tfp160.0Type-level integers, booleans, lists using type families (bsd3, library, type-system)2021-03-14HenningThielemann, PeterGavin
tfp-th10.0Template-Haskell code for tfp (bsd3, library, type-system)2013-05-20HenningThielemann
type-booleans50.0Type-level booleans via type-families (bsd3, library, type-system)2011-11-27NicolasFrisby
type-cereal170.0Type-level serialization of type constructors (bsd3, library, type-system)2013-07-31NicolasFrisby
type-digits170.0Arbitrary-base type-level digits (bsd3, library, type-system)2013-07-31NicolasFrisby
type-eq260.0Type equality evidence you can carry around (bsd3, library, type-system)2015-02-10AdamBergmark, GaborLehel
type-functions250.0Emulation of type-level functions (bsd3, library, type-system)2016-07-21WolfgangJeltsch
type-level-natural-number170.0Simple type level natural numbers (bsd3, data, library, type-system)2014-03-30GregoryCrosswhite
type-level-natural-number-induction50.0High-level combinators for performing inductive operations. (bsd3, data, library, type-system)2012-07-23GregoryCrosswhite
type-level-natural-number-operations60.0Basic operations on type-level natural numbers. (bsd3, data, library, type-system)2010-10-14GregoryCrosswhite
type-level-numbers210.0Type level numbers implemented using type families. (bsd3, library, type-system)2013-10-17AlexeyKhudyakov
type-level-sets402.0Type-level sets and finite maps (with value-level counterparts) (bsd3, data-structures, library, type-system)2018-11-29DominicOrchard
type-ord50.0Type-level comparison operator (bsd3, library, type-system)2013-07-31NicolasFrisby
type-ord-spine-cereal120.0Generic type-level comparison of types (bsd3, library, type-system)2012-09-12NicolasFrisby
type-settheory190.0Sets and functions-as-relations in the type system (bsd3, language, library, math, type-system)2010-11-03DanielSchuessler
type-spine170.0A spine-view on types (bsd3, library, type-system)2012-09-26NicolasFrisby
typelevel-rewrite-rules60.0Solve type equalities using custom type-level rewrite rules (library, type-system)2021-02-21gelisam
uom-plugin140.0Units of measure as a GHC typechecker plugin (bsd3, library, type-system)2018-06-13AdamGundry