Type System
Enhancing the Haskell type system
64 results
@hackage/closed-classes
Closed type class declarations
@hackage/compound-types
Sum and Product types and such
@hackage/data-type
Basic type wrangling types and classes
@hackage/eq
Leibnizian equality
@hackage/fcf-composite
Type-level computation for composite using first-class-families.
@hackage/fcf-graphs
Type-level version of algebraic-graphs.
@hackage/fcf-vinyl
Vinyl compatibility with first-class-families
@hackage/finite
Finite ranges via types
@hackage/funspection
Type-level function utilities
@hackage/generic-type-functions
Familiar functions lifted to type-level functions on generic types
@hackage/ghc-corroborate
An flatter API for GHC typechecker plugins
@hackage/ghc-magic-dict-compat
A compatibility layer and GHC plugin for `withDict` from "GHC.Magic.Dict".
@hackage/ghc-tcplugin-api
An API for type-checker plugins.
@hackage/ghc-tcplugins-extra
Utilities for writing GHC type-checker plugins
@hackage/ghc-typelits-extra
Additional type-level operations on GHC.TypeLits.Nat
@hackage/ghc-typelits-knownnat
Derive KnownNat constraints from other KnownNat constraints
@hackage/ghc-typelits-natnormalise
GHC typechecker plugin for types of kind GHC.TypeLits.Nat
@hackage/ghc-typelits-presburger
Presburger Arithmetic Solver for GHC Type-level natural numbers.
@hackage/hout
Non-interactive proof assistant monad for first-order logic.
@hackage/if-instance
Branch on whether a constraint is satisfied
@hackage/kind-integer
Type-level integers. Like KnownNat, but for integers.
@hackage/kind-rational
Type-level rationals. Like KnownNat, but for rationals.
@hackage/kinds
Emulation of subkinds and subkind polymorphism
@hackage/names
Type level names.
@hackage/natural-number
Natural numbers tagged with a type-level representation of the number.
@hackage/nullary
A package for working with nullary type classes.
@hackage/reorderable
Define compound types that do not depend on member order.
@hackage/rerefined
Refinement types, again
@hackage/rg
A dynamic/unbounded alternative to Bounded Enum
@hackage/say-my-name
Require explicit type application for some type variables.
@hackage/sext
Lists, Texts, ByteStrings and Vectors with type-encoded length
@hackage/singleraeh
raehik's singletons
@hackage/singletons-presburger
Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.
@hackage/static-text
Lists, Texts, ByteStrings and Vectors of statically known length
@hackage/sum-type-boilerplate
Library for reducing the boilerplate involved with sum types
@hackage/supermonad
Plugin and base library to support supermonads in Haskell
@hackage/symbol-parser
Type level string parser combinators
@hackage/symparsec
Type level string parser combinators
@hackage/tfp
Type-level integers, booleans, lists using type families
@hackage/tfp-th
Template-Haskell code for tfp
@hackage/type-booleans
Type-level booleans via type-families
@hackage/type-cereal
Type-level serialization of type constructors
@hackage/type-digits
Arbitrary-base type-level digits
@hackage/type-eq
Type equality evidence you can carry around
@hackage/type-errors-pretty
Combinators for writing pretty type errors easily
@hackage/type-functions
Emulation of type-level functions
@hackage/type-iso
Typeclasses for injective relations and isomorphisms between types.
@hackage/type-level-bytestrings
Tools for manipulating type-level bytes and bytestrings
@hackage/type-level-natural-number
Simple type level natural numbers
@hackage/type-level-natural-number-induction
High-level combinators for performing inductive operations.
@hackage/type-level-natural-number-operations
Basic operations on type-level natural numbers.
@hackage/type-level-numbers
Type level numbers implemented using type families.
@hackage/type-level-sets
Type-level sets and finite maps (with value-level counterparts)
@hackage/type-level-show
Utilities for writing Show-like type families
@hackage/type-ord
Type-level comparison operator
@hackage/type-ord-spine-cereal
Generic type-level comparison of types
@hackage/type-settheory
Sets and functions-as-relations in the type system
@hackage/type-spine
A spine-view on types
@hackage/typeably
DerivingVia Typeable counterpart to Generically
@hackage/typelevel-rewrite-rules
Solve type equalities using custom type-level rewrite rules
@hackage/typelevel-tools-yj
type level tools
@hackage/typerep-map
Efficient implementation of a dependent map with types as keys
@hackage/uom-plugin
Units of measure as a GHC type-checker plugin
@hackage/x-sum-type-boilerplate
(Forked) Library for reducing the boilerplate involved with sum types