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
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
cluss110.02simple alternative to type classes (bsd3, constraints, library, type-system)2014-10-140.3Kinokkory
compound-types302.01Sum and Product types and such (data, library, mit, type-system, types)2020-04-270.1.4.1NikitaVolkov
data-type120.04Basic type wrangling types and classes (bsd3, data, library, type-system)2011-09-230.1.0IainAlexander
defargs80.01default arguments in haskell (bsd3, library, type-system)2014-10-140.3Kinokkory
eq540.03Leibnizian equality (bsd3, library, type-system)2021-10-314.3EdwardKmett, EricMertens, ryanglscott
funspection50.01Type-level function utilities (bsd3, library, type-system)2020-09-111.0.0.1ThomasEding
ghc-corroborate80.00An flatter API for GHC typechecker plugins (ghc, library, mpl, plugin, type-system)2022-06-091.0.0philderbeast
ghc-tcplugin-api642.04An API for type-checker plugins. (bsd3, ghc, library, plugin, type-system)2023-01-240.8.3.0sheaf
ghc-tcplugins-extra1050.015Utilities for writing GHC type-checker plugins (bsd2, library, type-system)2022-09-020.4.3ChristiaanBaaij, QBayLogic
ghc-typelits-extra850.09Additional type-level operations on GHC.TypeLits.Nat (bsd2, library, type-system)2022-10-210.4.4ChristiaanBaaij, QBayLogic
ghc-typelits-knownnat1210.030Derive KnownNat constraints from other KnownNat constraints (bsd2, library, type-system)2022-10-100.7.7ChristiaanBaaij, QBayLogic
ghc-typelits-natnormalise1262.2531GHC typechecker plugin for types of kind GHC.TypeLits.Nat (bsd2, library, type-system)2022-10-100.7.7ChristiaanBaaij, QBayLogic
ghc-typelits-presburger661.754Presburger Arithmetic Solver for GHC Type-level natural numbers. (bsd3, library, math, type-system)2022-11-250.7.1.0HiromiIshii
hout70.00Non-interactive proof assistant monad for first-order logic. (bsd3, library, logic, type-system)2020-04-110.1.0.0ivanbakel
if-instance280.00Branch on whether a constraint is satisfied (bsd3, library, plugin, type-system)2023-01-240.3.0.0sheaf
kinds160.05Emulation of subkinds and subkind polymorphism (bsd3, library, type-system)2012-01-150.0.1.5WolfgangJeltsch
names230.02Type level names. (data, library, mit, type-system)2013-04-020.3.1JulianFleischer
natural-number90.02Natural numbers tagged with a type-level representation of the number. (bsd3, data, library, type-system)2010-10-141.0GregoryCrosswhite
nullary80.01A package for working with nullary type classes. (bsd2, library, type-system)2015-11-040.1.0.0DerekElkins
reorderable50.01Define compound types that do not depend on member order. (data, library, type-system)2013-11-150.3.1AlexCole
sext (deprecated in favor of static-text)100.01Lists, Texts, ByteStrings and Vectors with type-encoded length (bsd3, data, deprecated, library, text, type-system)2017-10-290.1.3.1DmitryDzhus
singletons-presburger330.02Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. (bsd3, library, math, type-system)2022-11-250.7.1.0HiromiIshii
static-text312.01Lists, Texts, ByteStrings and Vectors of statically known length (bsd3, data, library, text, type-system)2021-07-100.2.0.7DmitryDzhus
supermonad80.01Plugin and base library to support supermonads in Haskell (bsd3, library, monad, plugin, type-system)2018-05-070.2.1.1JanBracker
tfp340.017Type-level integers, booleans, lists using type families (bsd3, library, type-system)2021-03-141.0.2HenningThielemann, PeterGavin
tfp-th30.01Template-Haskell code for tfp (bsd3, library, type-system)2013-05-200.8HenningThielemann
type-booleans50.03Type-level booleans via type-families (bsd3, library, type-system)2011-11-270.1NicolasFrisby
type-cereal50.03Type-level serialization of type constructors (bsd3, library, type-system)2013-07-310.3NicolasFrisby
type-digits70.04Arbitrary-base type-level digits (bsd3, library, type-system)2013-07-310.3NicolasFrisby
type-eq100.04Type equality evidence you can carry around (bsd3, library, type-system)2015-02-100.5AdamBergmark, GaborLehel
type-functions130.04Emulation of type-level functions (bsd3, library, type-system)2016-07-210.2.0.4WolfgangJeltsch
type-level-natural-number300.08Simple type level natural numbers (bsd3, data, library, type-system)2014-03-302.0GregoryCrosswhite
type-level-natural-number-induction110.03High-level combinators for performing inductive operations. (bsd3, data, library, type-system)2012-07-231.0.0.1GregoryCrosswhite
type-level-natural-number-operations80.03Basic operations on type-level natural numbers. (bsd3, data, library, type-system)2010-10-141.0GregoryCrosswhite
type-level-numbers340.03Type level numbers implemented using type families. (bsd3, library, type-system)2022-06-150.1.1.2AlexeyKhudyakov
type-level-sets252.05Type-level sets and finite maps (with value-level counterparts) (bsd3, data-structures, library, type-system)2018-11-290.8.9.0DominicOrchard
type-ord50.03Type-level comparison operator (bsd3, library, type-system)2013-07-310.3NicolasFrisby
type-ord-spine-cereal40.02Generic type-level comparison of types (bsd3, library, type-system)2012-09-120.2NicolasFrisby
type-settheory80.01Sets and functions-as-relations in the type system (bsd3, language, library, math, type-system)2010-11-030.1.3.1DanielSchuessler
type-spine110.07A spine-view on types (bsd3, library, type-system)2012-09-260.2.20120924NicolasFrisby
typelevel-rewrite-rules100.00Solve type equalities using custom type-level rewrite rules (library, type-system)2021-02-211.0gelisam
uom-plugin90.02Units of measure as a GHC type-checker plugin (bsd3, library, type-system)2022-10-090.4.0.0AdamGundry