Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Dependent Types packages

Showing projects tagged as Data and Dependent Types

  • dependent-map

    9.3 0.0 Haskell
    Dependently-typed finite maps (partial dependent products)

  • dependent-sum

    9.3 4.3 Haskell
    Dependent sums and supporting typeclasses for comparing and displaying them

  • reflection

    9.3 4.8 Haskell
    Reifies arbitrary Haskell terms into types that can be reflected back into terms

  • some

    8.1 3.4 Haskell
    Existential type.

  • typeparams

    7.8 0.0 Haskell
    Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation

  • fin

    7.4 2.9 Haskell
    Nat, Fin, Vec

  • type-equality

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

  • prim-uniq

    6.2 0.0 Haskell
    Opaque unique identifiers in primitive state monads

  • type-fun

    5.9 0.0 Haskell
    Fun with types

  • singleton-nats

    5.3 3.4 Haskell
    Unary natural numbers relying on the singletons infrastructure

  • singleton-dict

    0.7 0.0 Haskell
    Singleton version of (ancient versions of) Data.Map

  • vec-optics

    - -
    DISCONTINUED. Vec

  • ral-optics

    - -
    DISCONTINUED. Length-indexed random access lists

  • dec

    - -
    DISCONTINUED. Decidable propositions.

  • bin

    - -
    DISCONTINUED. Bin

  • ral

    - -
    DISCONTINUED. Random access lists

  • ral-lens

    - -
    DISCONTINUED. Length-indexed random access lists

  • vec-lens

    - -
    DISCONTINUED. Vec