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
cluss50.02simple alternative to type classes (bsd3, constraints, library, type-system)2014-10-140.3Kinokkory
compound-types392.01Sum and Product types and such (data, library, mit, type-system, types)2020-04-270.1.4.1NikitaVolkov
data-type20.04Basic type wrangling types and classes (bsd3, data, library, type-system)2011-09-230.1.0IainAlexander
defargs40.01default arguments in haskell (bsd3, library, type-system)2014-10-140.3Kinokkory
eq520.03Leibnizian equality (bsd3, library, type-system)2021-10-314.3EdwardKmett, EricMertens, ryanglscott
funspection40.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-magic-dict-compat40.00A compatibility layer and GHC plugin for `withDict` from "GHC.Magic.Dict". (bsd3, compatibility, library, type-system)2023-12-310.0.0.0HiromiIshii
ghc-tcplugin-api602.04An API for type-checker plugins. (bsd3, ghc, library, plugin, type-system)2023-08-290.11.0.0sheaf
ghc-tcplugins-extra1700.015Utilities for writing GHC type-checker plugins (bsd2, library, type-system)2023-10-100.4.5ChristiaanBaaij, QBayLogic
ghc-typelits-extra1360.09Additional type-level operations on GHC.TypeLits.Nat (bsd2, library, type-system)2023-10-100.4.6ChristiaanBaaij, QBayLogic
ghc-typelits-knownnat2060.031Derive KnownNat constraints from other KnownNat constraints (bsd2, library, type-system)2023-11-140.7.10ChristiaanBaaij, QBayLogic
ghc-typelits-natnormalise2112.532GHC typechecker plugin for types of kind GHC.TypeLits.Nat (bsd2, library, type-system)2023-10-100.7.9ChristiaanBaaij, QBayLogic
ghc-typelits-presburger921.754Presburger Arithmetic Solver for GHC Type-level natural numbers. (bsd3, library, math, type-system)2023-12-260.7.3.0HiromiIshii
hout100.00Non-interactive proof assistant monad for first-order logic. (bsd3, library, logic, type-system)2020-04-110.1.0.0ivanbakel
if-instance160.00Branch on whether a constraint is satisfied (bsd3, library, plugin, type-system)2023-08-300.5.1.0sheaf
kinds250.05Emulation of subkinds and subkind polymorphism (bsd3, library, type-system)2012-01-150.0.1.5WolfgangJeltsch
names180.02Type level names. (data, library, mit, type-system)2013-04-020.3.1JulianFleischer
natural-number20.02Natural numbers tagged with a type-level representation of the number. (bsd3, data, library, type-system)2010-10-141.0GregoryCrosswhite
nullary40.01A package for working with nullary type classes. (bsd2, library, type-system)2015-11-040.1.0.0DerekElkins
reorderable40.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)120.01Lists, Texts, ByteStrings and Vectors with type-encoded length (bsd3, data, deprecated, library, text, type-system)2017-10-290.1.3.1DmitryDzhus
singletons-presburger430.02Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. (bsd3, library, math, type-system)2023-12-260.7.3.0HiromiIshii
static-text192.01Lists, Texts, ByteStrings and Vectors of statically known length (bsd3, data, library, text, type-system)2021-07-100.2.0.7DmitryDzhus
supermonad70.01Plugin and base library to support supermonads in Haskell (bsd3, library, monad, plugin, type-system)2018-05-070.2.1.1JanBracker
tfp470.017Type-level integers, booleans, lists using type families (bsd3, library, type-system)2021-03-141.0.2HenningThielemann, PeterGavin
tfp-th20.01Template-Haskell code for tfp (bsd3, library, type-system)2013-05-200.8HenningThielemann
type-booleans180.03Type-level booleans via type-families (bsd3, library, type-system)2011-11-270.1NicolasFrisby
type-cereal90.03Type-level serialization of type constructors (bsd3, library, type-system)2013-07-310.3NicolasFrisby
type-digits110.04Arbitrary-base type-level digits (bsd3, library, type-system)2013-07-310.3NicolasFrisby
type-eq110.04Type equality evidence you can carry around (bsd3, library, type-system)2015-02-100.5AdamBergmark, GaborLehel
type-functions190.04Emulation of type-level functions (bsd3, library, type-system)2016-07-210.2.0.4WolfgangJeltsch
type-level-natural-number550.08Simple type level natural numbers (bsd3, data, library, type-system)2014-03-302.0GregoryCrosswhite
type-level-natural-number-induction30.03High-level combinators for performing inductive operations. (bsd3, data, library, type-system)2012-07-231.0.0.1GregoryCrosswhite
type-level-natural-number-operations20.03Basic operations on type-level natural numbers. (bsd3, data, library, type-system)2010-10-141.0GregoryCrosswhite
type-level-numbers360.03Type level numbers implemented using type families. (bsd3, library, type-system)2022-06-150.1.1.2AlexeyKhudyakov
type-level-sets382.05Type-level sets and finite maps (with value-level counterparts) (bsd3, data-structures, library, type-system)2018-11-290.8.9.0DominicOrchard
type-ord70.03Type-level comparison operator (bsd3, library, type-system)2013-07-310.3NicolasFrisby
type-ord-spine-cereal30.02Generic type-level comparison of types (bsd3, library, type-system)2012-09-120.2NicolasFrisby
type-settheory70.01Sets and functions-as-relations in the type system (bsd3, language, library, math, type-system)2010-11-030.1.3.1DanielSchuessler
type-spine90.07A spine-view on types (bsd3, library, type-system)2012-09-260.2.20120924NicolasFrisby
typelevel-rewrite-rules70.00Solve type equalities using custom type-level rewrite rules (library, type-system)2023-03-161.0.0.1gelisam
uom-plugin110.02Units of measure as a GHC type-checker plugin (bsd3, library, type-system)2022-10-090.4.0.0AdamGundry