Haskell Type System packages

• « All Tags

Selected Tags

• Type System

More Tags

• Development
  3
• GHC
  3
• Type
  3
• Data
  2
• Data Structures
  2

Type System packages

Showing projects tagged as Type System

• type-level-sets

  8.8 0.0 Haskell

  Type-level sets for Haskell (with value-level counterparts and various operations)

• ghc-typelits-natnormalise

  8.7 3.7 Haskell

  Normalise GHC.TypeLits.Nat equations
  

• typelevel-rewrite-rules

  8.4 3.0 Haskell

  rewrite rules for type-level equalities

• ghc-typelits-extra

  8.0 3.6 Haskell

  Extra type-level operations on GHC.TypeLits.Nat and a custom solver
  

• ghc-typelits-knownnat

  8.0 4.4 Haskell

  Derive KnownNat constraints from other KnownNat constraints
  

• uom-plugin

  7.7 0.0 Haskell

  Units of measure as a GHC typechecker plugin

• hout

  7.3 0.0 Haskell

  A non-interactive proof assistant using the Haskell type system

• compound-types

  7.2 0.0 Haskell

  Sum and Product types and such

• supermonad

  6.6 0.0 Haskell

  A plugin for GHC to support super monads.

• singletons-presburger

  6.3 7.6 Haskell

  Presburger arithmetic solver for built-in type-level naturals

• static-text

  5.6 0.0 Haskell

  Lists, Texts, ByteStrings and Vectors with type-encoded length

• type-level-numbers

  5.0 0.0 Haskell

  Implementation of type level natural and signed integer numbers in haskell using type families.

• type-eq

  4.1 0.0 Haskell

  Type equality evidence you can carry around

• cluss

  3.4 0.0 Haskell

  simple alternative to type classes

• funspection

  0.6 0.0 Haskell

  Type-level function utilities