Categories Type System

Enhancing the Haskell type system

65 results

Check out Package Feeds

@hackage/type-level-natural-number-operations
Basic operations on type-level natural numbers.
BSD-3-Clausev1.0Thu, 14 Oct 2010
@hackage/ghc-typelits-knownnat
Derive KnownNat constraints from other KnownNat constraints
BSD-2-Clausev0.8.0Mon, 8 Sep 2025
@hackage/type-level-sets
Type-level sets and finite maps (with value-level counterparts)
BSD-3-Clausev0.8.9.0Fri, 14 Oct 2022
@hackage/kind-integer
Type-level integers. Like KnownNat, but for integers.
BSD-3-Clausev0.6.0Wed, 9 Aug 2023
@hackage/ghc-typelits-extra
Additional type-level operations on GHC.TypeLits.Nat
BSD-2-Clausev0.4.8Tue, 4 Mar 2025
@hackage/eq
Leibnizian equality
BSD-3-Clausev4.3Sun, 12 Mar 2023
@hackage/typerep-map
Efficient implementation of a dependent map with types as keys
MPL-2.0v0.6.0.0Wed, 2 Nov 2022
@hackage/singleraeh
raehik's singletons
MITv0.4.0Sat, 1 Jun 2024
@hackage/static-text
Lists, Texts, ByteStrings and Vectors of statically known length
BSD-3-Clausev0.2.0.7Sat, 10 Jul 2021
@hackage/tfp
Type-level integers, booleans, lists using type families
BSD-3-Clausev1.0.2Sun, 14 Mar 2021
@hackage/type-machine
Type-level functions for record types
BSD-3-Clausev0.1.0.2Tue, 2 Sep 2025
@hackage/tfp-th
Template-Haskell code for tfp
BSD-3-Clausev0.8Mon, 20 May 2013
@hackage/type-spine
A spine-view on types
BSD-3-Clausev0.2.20120924Wed, 26 Sep 2012
@hackage/if-instance
Branch on whether a constraint is satisfied
BSD-3-Clausev0.6.0.0Sat, 29 Mar 2025
@hackage/type-booleans
Type-level booleans via type-families
BSD-3-Clausev0.1Sun, 27 Nov 2011
@hackage/type-eq
Type equality evidence you can carry around
BSD-3-Clausev0.5Tue, 21 Jun 2016
@hackage/closed-classes
Closed type class declarations
BSD-3-Clausev0.1Wed, 8 Sep 2021
@hackage/type-digits
Arbitrary-base type-level digits
BSD-3-Clausev0.3Wed, 31 Jul 2013
@hackage/ghc-corroborate
An flatter API for GHC typechecker plugins
MPL-2.0v1.0.0Thu, 9 Jun 2022
@hackage/kinds
Emulation of subkinds and subkind polymorphism
BSD-3-Clausev0.0.1.5Sun, 15 Jan 2012
@hackage/hout
Non-interactive proof assistant monad for first-order logic.
BSD-3-Clausev0.1.0.0Sat, 11 Apr 2020
@hackage/fcf-graphs
Type-level version of algebraic-graphs.
MITv0.0.1.0Tue, 7 Sep 2021
@hackage/nullary
A package for working with nullary type classes.
BSD-2-Clausev0.1.0.0Wed, 4 Nov 2015
@hackage/say-my-name
Require explicit type application for some type variables.
BSD-3-Clausev0.1.0.0Wed, 18 Nov 2020
@hackage/type-errors-pretty
Combinators for writing pretty type errors easily
MPL-2.0v0.0.1.2Mon, 2 Aug 2021
@hackage/type-ord-spine-cereal
Generic type-level comparison of types
BSD-3-Clausev0.2Wed, 12 Sep 2012
@hackage/type-level-natural-number
Simple type level natural numbers
BSD-3-Clausev2.0Sun, 30 Mar 2014
@hackage/ghc-typelits-natnormalise
GHC typechecker plugin for types of kind GHC.TypeLits.Nat
BSD-2-Clausev0.8.0Mon, 8 Sep 2025
@hackage/compound-types
Sum and Product types and such
MITv0.1.4.1Mon, 27 Apr 2020
@hackage/kind-rational
Type-level rationals. Like KnownNat, but for rationals.
BSD-3-Clausev0.5.0Wed, 9 Aug 2023
@hackage/sum-type-boilerplate
Library for reducing the boilerplate involved with sum types
MITv0.1.1Mon, 31 Jul 2017
@hackage/supermonad
Plugin and base library to support supermonads in Haskell
BSD-3-Clausev0.2.1.1Mon, 7 May 2018
@hackage/type-iso
Typeclasses for injective relations and isomorphisms between types.
Apache-2.0v1.0.1.0Tue, 25 Jun 2019
@hackage/natural-number
Natural numbers tagged with a type-level representation of the number.
BSD-3-Clausev1.0Thu, 14 Oct 2010
@hackage/ghc-tcplugins-extra
Utilities for writing GHC type-checker plugins
BSD-2-Clausev0.5Tue, 4 Mar 2025
@hackage/typeably
DerivingVia Typeable counterpart to Generically
MITv0.1.0Mon, 22 Apr 2024
@hackage/symparsec
Type level string parser combinators
MITv1.1.1Sat, 15 Jun 2024
@hackage/fcf-composite
Type-level computation for composite using first-class-families.
MITv0.1.1.0Fri, 27 Aug 2021
@hackage/sext
Lists, Texts, ByteStrings and Vectors with type-encoded length
BSD-3-Clausev0.1.3.1Sun, 29 Oct 2017
@hackage/rg
A dynamic/unbounded alternative to Bounded Enum
BSD-3-Clausev1.4.0.0Sat, 8 Jun 2019
@hackage/x-sum-type-boilerplate
(Forked) Library for reducing the boilerplate involved with sum types
MITv0.1.4Fri, 23 Aug 2024
@hackage/type-level-numbers
Type level numbers implemented using type families.
BSD-3-Clausev0.1.1.2Wed, 15 Jun 2022
@hackage/ghc-typelits-presburger
Presburger Arithmetic Solver for GHC Type-level natural numbers.
BSD-3-Clausev0.7.4.2Sun, 20 Jul 2025
@hackage/typelevel-rewrite-rules
Solve type equalities using custom type-level rewrite rules
LicenseRef-PublicDomainv1.0.0.1Thu, 16 Mar 2023
@hackage/ghc-magic-dict-compat
A compatibility layer and GHC plugin for `withDict` from "GHC.Magic.Dict".
BSD-3-Clausev0.0.0.0Sun, 31 Dec 2023
@hackage/type-functions
Emulation of type-level functions
BSD-3-Clausev0.2.0.4Thu, 21 Jul 2016
@hackage/generic-type-functions
Familiar functions lifted to type-level functions on generic types
MITv0.1.0Wed, 10 Apr 2024
@hackage/typelevel-tools-yj
type level tools
BSD-3-Clausev0.1.0.9Thu, 15 May 2025
@hackage/type-ord
Type-level comparison operator
BSD-3-Clausev0.3Wed, 31 Jul 2013
@hackage/type-level-show
Utilities for writing Show-like type families
MITv0.3.0Sat, 1 Jun 2024
@hackage/data-type
Basic type wrangling types and classes
BSD-3-Clausev0.1.0Fri, 23 Sep 2011
@hackage/symbol-parser
Type level string parser combinators
MITv0.3.0Sat, 20 Apr 2024
@hackage/funspection
Type-level function utilities
BSD-3-Clausev1.0.0.1Fri, 11 Sep 2020
@hackage/fcf-vinyl
Vinyl compatibility with first-class-families
BSD-3-Clausev0.0.1.0Wed, 8 Sep 2021
@hackage/singletons-presburger
Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.
BSD-3-Clausev0.7.4.1Sun, 20 Jul 2025
@hackage/type-level-bytestrings
Tools for manipulating type-level bytes and bytestrings
MITv0.2.0Tue, 7 May 2024
@hackage/rerefined
Refinement types, again
MITv0.8.0Sat, 12 Oct 2024
@hackage/finite
Finite ranges via types
MITv1.5.0.0Tue, 10 Jun 2025
@hackage/uom-plugin
Units of measure as a GHC type-checker plugin
BSD-3-Clausev0.4.0.0Sun, 9 Oct 2022
@hackage/type-cereal
Type-level serialization of type constructors
BSD-3-Clausev0.3Wed, 31 Jul 2013
@hackage/type-level-natural-number-induction
High-level combinators for performing inductive operations.
BSD-3-Clausev1.0.0.1Mon, 23 Jul 2012
@hackage/ghc-tcplugin-api
An API for type-checker plugins.
BSD-3-Clausev0.17.2.0Mon, 8 Sep 2025
@hackage/reorderable
Define compound types that do not depend on member order.
LicenseRef-OtherLicensev0.3.1Fri, 15 Nov 2013
@hackage/type-settheory
Sets and functions-as-relations in the type system
BSD-3-Clausev0.1.3.1Wed, 3 Nov 2010
@hackage/names
Type level names.
MITv0.3.1Tue, 2 Apr 2013

Categories Type System

@hackage/type-level-natural-number-operations

@hackage/ghc-typelits-knownnat

@hackage/type-level-sets

@hackage/kind-integer

@hackage/ghc-typelits-extra

@hackage/eq

@hackage/typerep-map

@hackage/singleraeh

@hackage/static-text

@hackage/tfp

@hackage/type-machine

@hackage/tfp-th

@hackage/type-spine

@hackage/if-instance

@hackage/type-booleans

@hackage/type-eq

@hackage/closed-classes

@hackage/type-digits

@hackage/ghc-corroborate

@hackage/kinds

@hackage/hout

@hackage/fcf-graphs

@hackage/nullary

@hackage/say-my-name

@hackage/type-errors-pretty

@hackage/type-ord-spine-cereal

@hackage/type-level-natural-number

@hackage/ghc-typelits-natnormalise

@hackage/compound-types

@hackage/kind-rational

@hackage/sum-type-boilerplate

@hackage/supermonad

@hackage/type-iso

@hackage/natural-number

@hackage/ghc-tcplugins-extra

@hackage/typeably

@hackage/symparsec

@hackage/fcf-composite

@hackage/sext

@hackage/rg

@hackage/x-sum-type-boilerplate

@hackage/type-level-numbers

@hackage/ghc-typelits-presburger

@hackage/typelevel-rewrite-rules

@hackage/ghc-magic-dict-compat

@hackage/type-functions

@hackage/generic-type-functions

@hackage/typelevel-tools-yj

@hackage/type-ord

@hackage/type-level-show

@hackage/data-type

@hackage/symbol-parser

@hackage/funspection

@hackage/fcf-vinyl

@hackage/singletons-presburger

@hackage/type-level-bytestrings

@hackage/rerefined

@hackage/finite

@hackage/uom-plugin

@hackage/type-cereal

@hackage/type-level-natural-number-induction

@hackage/ghc-tcplugin-api

@hackage/reorderable

@hackage/type-settheory

@hackage/names