Type System

Enhancing the Haskell type system

62 results

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

Type System

@hackage/closed-classes

@hackage/compound-types

@hackage/data-type

@hackage/eq

@hackage/fcf-composite

@hackage/fcf-graphs

@hackage/fcf-vinyl

@hackage/finite

@hackage/funspection

@hackage/generic-type-functions

@hackage/ghc-corroborate

@hackage/ghc-magic-dict-compat

@hackage/ghc-tcplugin-api

@hackage/ghc-tcplugins-extra

@hackage/ghc-typelits-extra

@hackage/ghc-typelits-knownnat

@hackage/ghc-typelits-natnormalise

@hackage/ghc-typelits-presburger

@hackage/hout

@hackage/if-instance

@hackage/kind-integer

@hackage/kind-rational

@hackage/kinds

@hackage/names

@hackage/natural-number

@hackage/nullary

@hackage/reorderable

@hackage/rerefined

@hackage/rg

@hackage/say-my-name

@hackage/sext

@hackage/singleraeh

@hackage/singletons-presburger

@hackage/static-text

@hackage/sum-type-boilerplate

@hackage/supermonad

@hackage/symbol-parser

@hackage/symparsec

@hackage/tfp

@hackage/tfp-th

@hackage/type-booleans

@hackage/type-cereal

@hackage/type-digits

@hackage/type-eq

@hackage/type-errors-pretty

@hackage/type-functions

@hackage/type-iso

@hackage/type-level-bytestrings

@hackage/type-level-natural-number

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

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

@hackage/type-level-numbers

@hackage/type-level-sets

@hackage/type-level-show

@hackage/type-ord

@hackage/type-ord-spine-cereal

@hackage/type-settheory

@hackage/type-spine

@hackage/typeably

@hackage/typelevel-rewrite-rules

@hackage/typerep-map

@hackage/uom-plugin