Type packages

Showing projects tagged as Type

  • type-of-html

    9.0 4.3 Haskell
    High performance type driven html generation.
  • type-level-sets

    8.8 0.0 Haskell
    Type-level sets and finite maps (with value-level counterparts)
  • type-sets

    8.6 6.3 Haskell
    Type-level sets
  • type-errors

    8.5 2.6 Haskell
    Tools for writing better type errors
  • type-natural

    8.2 5.1 Haskell
    Type-level natural and proofs of their properties.
  • type-combinators

    7.6 0.0 Haskell
    A collection of data types for type-level programming
  • type-spec

    7.6 0.9 Haskell
    Type Level Specification by Example
  • type-aligned

    7.1 0.0 Haskell
    Various type-aligned sequence data structures.
  • type-equality

    6.5 3.6 Haskell
    Type equality, coercion/cast and other operations.
  • type-level

    5.4 0.0 Haskell
    Type-level programming library
  • type-fun

    4.6 0.0 Haskell
    Collection of widely reimplemented type families
  • type-level-bst

    4.3 0.0 Haskell
    type-level binary search trees in haskell
  • type-indexed-queues

    4.3 0.0 Haskell
    Queues with verified and unverified versions.
  • type-level-tf

    4.0 0.0 Haskell
    Type-level programming library (type families)
  • type-map

    4.0 0.0 Haskell
    Type-indexed maps
  • type-eq

    4.0 0.0 Haskell
    Type equality evidence you can carry around
  • type-int

    3.5 0.0 Haskell
    Type Level 2s- and 16s- Complement Integers
  • type-unary

    3.5 0.0 Haskell
    Type-level and typed unary natural numbers, inequality proofs, vectors
  • type-combinators-quote

    3.1 0.0 Haskell
    Quasiquoters for the 'type-combinators' package.
  • membership

    3.1 0.7 Haskell
    Indices for type level lists
  • type-level-numbers

    2.9 0.0 Haskell
    Type level numbers implemented using type families.
  • type-level-integers

    2.8 0.0 Haskell
    Provides integers lifted to the type level
  • type-of-html-static

    2.4 0.0 Haskell
    Optimize static parts of type-of-html.
  • type-assertions

    1.8 0.0 Haskell
    Runtime type assertions for testing
  • type-combinators-singletons

    1.8 0.0 Haskell
    Interop between /type-combinators/ and /singletons/.
  • type-tree

    1.4 0.0 Haskell
    Tree representations of datatypes
  • cmptype

    - -
    Compare types of any kinds