Type System

Enhancing the Haskell type system

67 results

@hackage / type-level-natural-number-operations Basic operations on type-level natural numbers.
- Version: 1.0
- Last uploaded: 15 years ago
- License: BSD-3-Clause
@hackage / ghc-typelits-knownnat Derive KnownNat constraints from other KnownNat constraints
- Version: 0.8.3
- Last uploaded: 3 months ago
- License: BSD-2-Clause
@hackage / type-level-sets Type-level sets and finite maps (with value-level counterparts)
- Version: 0.8.9.0
- Last uploaded: 3 years ago
- License: BSD-3-Clause
@hackage / kind-integer Type-level integers. Like KnownNat, but for integers.
- Version: 0.6.0
- Last uploaded: 2 years ago
- License: BSD-3-Clause
@hackage / ghc-typelits-extra Additional type-level operations on GHC.TypeLits.Nat
- Version: 0.5.3
- Last uploaded: 3 months ago
- License: BSD-2-Clause
@hackage / eq Leibnizian equality
- Version: 4.3
- Last uploaded: 3 years ago
- License: BSD-3-Clause
@hackage / typerep-map Efficient implementation of a dependent map with types as keys
- Version: 0.7.0.0
- Last uploaded: 5 months ago
- License: MPL-2.0
@hackage / singleraeh raehik's singletons
- Version: 0.4.0
- Last uploaded: 2 years ago
- License: MIT
@hackage / static-text Lists, Texts, ByteStrings and Vectors of statically known length
- Version: 0.2.0.7
- Last uploaded: 5 years ago
- License: BSD-3-Clause
@hackage / tfp Type-level integers, booleans, lists using type families
- Version: 1.0.2
- Last uploaded: 5 years ago
- License: BSD-3-Clause
@hackage / type-machine Type-level functions for record types
- Version: 0.1.0.2
- Last uploaded: 9 months ago
- License: BSD-3-Clause
@hackage / tfp-th Template-Haskell code for tfp
- Version: 0.8
- Last uploaded: 13 years ago
- License: BSD-3-Clause
@hackage / type-spine A spine-view on types
- Version: 0.2.20120924
- Last uploaded: 13 years ago
- License: BSD-3-Clause
@hackage / if-instance Branch on whether a constraint is satisfied
- Version: 0.6.0.0
- Last uploaded: 10 months ago
- License: BSD-3-Clause
@hackage / type-booleans Type-level booleans via type-families
- Version: 0.1
- Last uploaded: 14 years ago
- License: BSD-3-Clause
@hackage / type-eq Type equality evidence you can carry around
- Version: 0.5
- Last uploaded: 10 years ago
- License: BSD-3-Clause
@hackage / closed-classes Closed type class declarations
- Version: 0.1
- Last uploaded: 4 years ago
- License: BSD-3-Clause
@hackage / type-digits Arbitrary-base type-level digits
- Version: 0.3
- Last uploaded: 13 years ago
- License: BSD-3-Clause
@hackage / known-lists Easy type-level lists with term-level membership proofs.
- Version: 0.1.0.0
- Last uploaded: 4 months ago
- License: BSD-3-Clause
@hackage / ghc-corroborate An flatter API for GHC typechecker plugins
- Version: 1.0.0
- Last uploaded: 4 years ago
- License: MPL-2.0
@hackage / kinds Emulation of subkinds and subkind polymorphism
- Version: 0.0.1.5
- Last uploaded: 14 years ago
- License: BSD-3-Clause
@hackage / hout Non-interactive proof assistant monad for first-order logic.
- Version: 0.1.0.0
- Last uploaded: 6 years ago
- License: BSD-3-Clause
@hackage / fcf-graphs Type-level version of algebraic-graphs.
- Version: 0.0.1.0
- Last uploaded: 4 years ago
- License: MIT
@hackage / nullary A package for working with nullary type classes.
- Version: 0.1.0.0
- Last uploaded: 10 years ago
- License: BSD-2-Clause
@hackage / say-my-name Require explicit type application for some type variables.
- Version: 0.1.0.0
- Last uploaded: 5 years ago
- License: BSD-3-Clause
@hackage / type-errors-pretty Combinators for writing pretty type errors easily
- Version: 0.0.1.2
- Last uploaded: 4 years ago
- License: MPL-2.0
@hackage / type-ord-spine-cereal Generic type-level comparison of types
- Version: 0.2
- Last uploaded: 13 years ago
- License: BSD-3-Clause
@hackage / type-level-natural-number Simple type level natural numbers
- Version: 2.0
- Last uploaded: 12 years ago
- License: BSD-3-Clause
@hackage / ghc-typelits-natnormalise GHC typechecker plugin for types of kind GHC.TypeLits.Nat
- Version: 0.9.5
- Last uploaded: 3 months ago
- License: BSD-2-Clause
@hackage / compound-types Sum and Product types and such
- Version: 0.1.4.1
- Last uploaded: 6 years ago
- License: MIT
@hackage / kind-rational Type-level rationals. Like KnownNat, but for rationals.
- Version: 0.5.0
- Last uploaded: 2 years ago
- License: BSD-3-Clause
@hackage / sum-type-boilerplate Library for reducing the boilerplate involved with sum types
- Version: 0.1.1
- Last uploaded: 9 years ago
- License: MIT
@hackage / supermonad Plugin and base library to support supermonads in Haskell
- Version: 0.2.1.1
- Last uploaded: 8 years ago
- License: BSD-3-Clause
@hackage / type-iso Typeclasses for injective relations and isomorphisms between types.
- Version: 1.0.1.0
- Last uploaded: 7 years ago
- License: Apache-2.0
@hackage / type-level-prng Type level pseudorandom number generators
- Version: 0.1.0
- Last uploaded: 6 months ago
- License: MIT
@hackage / natural-number Natural numbers tagged with a type-level representation of the number.
- Version: 1.0
- Last uploaded: 15 years ago
- License: BSD-3-Clause
@hackage / ghc-tcplugins-extra Utilities for writing GHC type-checker plugins
- Version: 0.5
- Last uploaded: about 1 year ago
- License: BSD-2-Clause
@hackage / typeably DerivingVia Typeable counterpart to Generically
- Version: 0.1.0
- Last uploaded: 2 years ago
- License: MIT
@hackage / symparsec Type level string parser combinators
- Version: 2.0.0
- Last uploaded: 8 months ago
- License: MIT
@hackage / fcf-composite Type-level computation for composite using first-class-families.
- Version: 0.1.1.0
- Last uploaded: 4 years ago
- License: MIT
@hackage / sext Lists, Texts, ByteStrings and Vectors with type-encoded length
- Version: 0.1.3.1
- Last uploaded: 8 years ago
- License: BSD-3-Clause
@hackage / rg A dynamic/unbounded alternative to Bounded Enum
- Version: 1.4.0.0
- Last uploaded: 7 years ago
- License: BSD-3-Clause
@hackage / x-sum-type-boilerplate (Forked) Library for reducing the boilerplate involved with sum types
- Version: 0.1.4
- Last uploaded: about 1 year ago
- License: MIT
@hackage / type-level-numbers Type level numbers implemented using type families.
- Version: 0.1.1.2
- Last uploaded: 4 years ago
- License: BSD-3-Clause
@hackage / ghc-typelits-presburger Presburger Arithmetic Solver for GHC Type-level natural numbers.
- Version: 0.7.4.2
- Last uploaded: 11 months ago
- License: BSD-3-Clause
@hackage / typelevel-rewrite-rules Solve type equalities using custom type-level rewrite rules
- Version: 1.0.0.1
- Last uploaded: 3 years ago
- License: LicenseRef-PublicDomain
@hackage / ghc-magic-dict-compat A compatibility layer and GHC plugin for `withDict` from "GHC.Magic.Dict".
- Version: 0.0.0.0
- Last uploaded: 2 years ago
- License: BSD-3-Clause
@hackage / type-functions Emulation of type-level functions
- Version: 0.2.0.4
- Last uploaded: 10 years ago
- License: BSD-3-Clause
@hackage / generic-type-functions Familiar functions lifted to type-level functions on generic types
- Version: 0.1.0
- Last uploaded: 2 years ago
- License: MIT
@hackage / typelevel-tools-yj type level tools
- Version: 0.1.0.9
- Last uploaded: about 1 year ago
- License: BSD-3-Clause
@hackage / type-ord Type-level comparison operator
- Version: 0.3
- Last uploaded: 13 years ago
- License: BSD-3-Clause
@hackage / type-level-show Utilities for writing Show-like type families
- Version: 0.3.0
- Last uploaded: 2 years ago
- License: MIT
@hackage / data-type Basic type wrangling types and classes
- Version: 0.1.0
- Last uploaded: 14 years ago
- License: BSD-3-Clause
@hackage / symbol-parser Type level string parser combinators
- Version: 0.3.0
- Last uploaded: 2 years ago
- License: MIT
@hackage / funspection Type-level function utilities
- Version: 1.0.0.1
- Last uploaded: 5 years ago
- License: BSD-3-Clause
@hackage / fcf-vinyl Vinyl compatibility with first-class-families
- Version: 0.0.1.0
- Last uploaded: 4 years ago
- License: BSD-3-Clause
@hackage / singletons-presburger Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.
- Version: 0.7.4.1
- Last uploaded: 11 months ago
- License: BSD-3-Clause
@hackage / type-level-bytestrings Tools for manipulating type-level bytes and bytestrings
- Version: 0.2.0
- Last uploaded: 2 years ago
- License: MIT
@hackage / rerefined Refinement types, again
- Version: 0.8.0
- Last uploaded: about 1 year ago
- License: MIT
@hackage / finite Finite ranges via types
- Version: 1.5.0.0
- Last uploaded: about 1 year ago
- License: MIT
@hackage / uom-plugin Units of measure as a GHC type-checker plugin
- Version: 0.4.0.0
- Last uploaded: 3 years ago
- License: BSD-3-Clause
@hackage / type-cereal Type-level serialization of type constructors
- Version: 0.3
- Last uploaded: 13 years ago
- License: BSD-3-Clause
@hackage / type-level-natural-number-induction High-level combinators for performing inductive operations.
- Version: 1.0.0.1
- Last uploaded: 14 years ago
- License: BSD-3-Clause
@hackage / ghc-tcplugin-api An API for type-checker plugins.
- Version: 0.18.2.1
- Last uploaded: 1 month ago
- License: BSD-3-Clause
@hackage / reorderable Define compound types that do not depend on member order.
- Version: 0.3.1
- Last uploaded: 12 years ago
- License: LicenseRef-OtherLicense
@hackage / type-settheory Sets and functions-as-relations in the type system
- Version: 0.1.3.1
- Last uploaded: 15 years ago
- License: BSD-3-Clause
@hackage / names Type level names.
- Version: 0.3.1
- Last uploaded: 13 years ago
- License: MIT