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
cluss80.02simple alternative to type classes (bsd3, constraints, library, type-system)2014-10-140.3Kinokkory
compound-types282.01Sum and Product types and such (data, library, mit, type-system, types)2020-04-270.1.4.1NikitaVolkov
data-type40.04Basic type wrangling types and classes (bsd3, data, library, type-system)2011-09-230.1.0IainAlexander
defargs70.01default arguments in haskell (bsd3, library, type-system)2014-10-140.3Kinokkory
eq830.03Leibnizian equality (bsd3, library, type-system)2021-10-314.3EdwardKmett, EricMertens, ryanglscott
funspection60.01Type-level function utilities (bsd3, library, type-system)2020-09-111.0.0.1ThomasEding
ghc-corroborate50.00An flatter API for GHC typechecker plugins (ghc, library, mpl, plugin, type-system)2022-06-091.0.0philderbeast
ghc-magic-dict-compat30.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-api672.04An API for type-checker plugins. (bsd3, ghc, library, plugin, type-system)2024-11-280.14.0.0sheaf
ghc-tcplugins-extra650.016Utilities for writing GHC type-checker plugins (bsd2, library, type-system)2024-05-220.4.6ChristiaanBaaij, QBayLogic
ghc-typelits-extra1040.010Additional type-level operations on GHC.TypeLits.Nat (bsd2, library, type-system)2024-05-220.4.7ChristiaanBaaij, QBayLogic
ghc-typelits-knownnat1050.033Derive KnownNat constraints from other KnownNat constraints (bsd2, library, type-system)2024-05-220.7.12ChristiaanBaaij, QBayLogic
ghc-typelits-natnormalise1232.533GHC typechecker plugin for types of kind GHC.TypeLits.Nat (bsd2, library, type-system)2024-05-220.7.10ChristiaanBaaij, QBayLogic
ghc-typelits-presburger711.754Presburger Arithmetic Solver for GHC Type-level natural numbers. (bsd3, library, math, type-system)2024-06-090.7.4.0HiromiIshii
hout50.00Non-interactive proof assistant monad for first-order logic. (bsd3, library, logic, type-system)2020-04-110.1.0.0ivanbakel
if-instance390.00Branch on whether a constraint is satisfied (bsd3, library, plugin, type-system)2024-11-290.5.2.0sheaf
kinds210.05Emulation of subkinds and subkind polymorphism (bsd3, library, type-system)2012-01-150.0.1.5WolfgangJeltsch
names140.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
nullary20.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-presburger280.02Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. (bsd3, library, math, type-system)2024-06-090.7.4.0HiromiIshii
static-text272.01Lists, Texts, ByteStrings and Vectors of statically known length (bsd3, data, library, text, type-system)2021-07-100.2.0.7DmitryDzhus
supermonad90.01Plugin and base library to support supermonads in Haskell (bsd3, library, monad, plugin, type-system)2018-05-070.2.1.1JanBracker
tfp500.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-booleans50.03Type-level booleans via type-families (bsd3, library, type-system)2011-11-270.1NicolasFrisby
type-cereal60.03Type-level serialization of type constructors (bsd3, library, type-system)2013-07-310.3NicolasFrisby
type-digits60.04Arbitrary-base type-level digits (bsd3, library, type-system)2013-07-310.3NicolasFrisby
type-eq220.04Type equality evidence you can carry around (bsd3, library, type-system)2015-02-100.5AdamBergmark, GaborLehel
type-functions150.04Emulation of type-level functions (bsd3, library, type-system)2016-07-210.2.0.4WolfgangJeltsch
type-level-natural-number190.08Simple type level natural numbers (bsd3, data, library, type-system)2014-03-302.0GregoryCrosswhite
type-level-natural-number-induction50.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-numbers260.03Type level numbers implemented using type families. (bsd3, library, type-system)2022-06-150.1.1.2AlexeyKhudyakov
type-level-sets242.05Type-level sets and finite maps (with value-level counterparts) (bsd3, data-structures, library, type-system)2018-11-290.8.9.0DominicOrchard
type-ord40.03Type-level comparison operator (bsd3, library, type-system)2013-07-310.3NicolasFrisby
type-ord-spine-cereal50.02Generic type-level comparison of types (bsd3, library, type-system)2012-09-120.2NicolasFrisby
type-settheory50.01Sets and functions-as-relations in the type system (bsd3, language, library, math, type-system)2010-11-030.1.3.1DanielSchuessler
type-spine60.07A spine-view on types (bsd3, library, type-system)2012-09-260.2.20120924NicolasFrisby
typelevel-rewrite-rules60.00Solve type equalities using custom type-level rewrite rules (library, type-system)2023-03-161.0.0.1gelisam
uom-plugin170.02Units of measure as a GHC type-checker plugin (bsd3, library, type-system)2022-10-090.4.0.0AdamGundry