Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Type packages

Showing projects tagged as Type

  • type-of-html

    9.1 0.0 Haskell
    High performance type safe html generation

  • type-level-sets

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

  • type-sets

    8.6 0.0 Haskell
    type level sets

  • type-errors

    8.6 0.0 Haskell
    :warning: tools for writing better type errors

  • type-natural

    8.2 0.0 Haskell
    Type-level well-kinded natural numbers.

  • type-spec

    7.8 0.0 Haskell
    A tiny EDSL to write type-level-unit tests

  • type-aligned

    7.3 0.0 Haskell
    Various type-aligned sequence data structures.

  • type-combinators

    7.3 0.0 Haskell
    Type level lists, pairs, sums, their operations, and their properties.

  • type-equality

    6.6 0.0 Haskell
    Haskell definition of type equality, coercion/cast and other operations.

  • type-fun

    6.3 0.0 Haskell
    Fun with types

  • type-level

    5.7 0.0 Haskell
    Type-level programming library

  • type-unary

    5.2 0.0 Haskell
    Type-level and typed unary natural numbers, vectors, inequality proofs

  • type-level-numbers

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

  • type-map

    4.7 0.0 Haskell
    Type-indexed maps, or a lightweight record library

  • type-int

    4.6 0.0 Haskell
    Type level 2's and 16's complement arithmetic (old)

  • type-indexed-queues

    4.4 0.0 Haskell
    Queues with verified and unverified versions

  • type-level-bst

    4.2 0.0 Haskell
    Type-Level Binary Search Tree in Haskell

  • type-eq

    3.9 0.0 Haskell
    Type equality evidence you can carry around

  • membership

    3.6 0.0 Haskell
    Type level membership

  • type-combinators-singletons

    3.4 0.0 Haskell
    Interop between type-combinators and singletons library

  • type-level-tf

    3.1 0.0 Haskell
    Type level numerics for Haskell using type families. Based on type-level.

  • type-of-html-static

    2.5 0.0 Haskell
    TH Optimizations for type-of-html

  • type-assertions

    2.5 0.0 Haskell
    Runtime type assertions for testing

  • type-combinators-quote

    2.1 0.0 Haskell
    Quasiquoters for the 'type-combinators' library.

  • type-level-integers

    1.8 0.0 Haskell
    Provides integers lifted to the type level.

  • type-tree

    1.5 0.0 Haskell
    Tree representations of datatypes

  • cmptype

    - -
    Compare types of any kinds