Type System

Enhancing the Haskell type system

6 results

Check out Package Feeds

@hackage/ghc-tcplugins-extra
Utilities for writing GHC type-checker plugins
BSD-2-Clausev0.5Tue, 4 Mar 2025
@hackage/ghc-typelits-extra
Additional type-level operations on GHC.TypeLits.Nat
BSD-2-Clausev0.4.8Tue, 4 Mar 2025
@hackage/ghc-typelits-knownnat
Derive KnownNat constraints from other KnownNat constraints
BSD-2-Clausev0.7.13Tue, 4 Mar 2025
@hackage/ghc-typelits-natnormalise
GHC typechecker plugin for types of kind GHC.TypeLits.Nat
BSD-2-Clausev0.7.11Tue, 4 Mar 2025
@hackage/if-instance
Branch on whether a constraint is satisfied
BSD-3-Clausev0.6.0.0Sat, 29 Mar 2025
@hackage/typelevel-tools-yj
type level tools
BSD-3-Clausev0.1.0.9Thu, 15 May 2025