Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Data packages

Showing projects tagged as Dependent Types and Data

  • dependent-map

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

    9.3 0.0 Haskell
    Dependent sums and supporting typeclasses for comparing and displaying them
  • reflection

    9.3 3.7 Haskell
    Reifies arbitrary Haskell terms into types that can be reflected back into terms
  • some

    8.0 4.2 Haskell
    Existential type.
  • typeparams

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

    7.3 3.8 Haskell
    Nat, Fin, Vec
  • prim-uniq

    6.4 0.0 Haskell
    Opaque unique identifiers in primitive state monads
  • type-equality

    6.4 0.0 Haskell
    Haskell definition of type equality, coercion/cast and other operations.
  • type-fun

    6.1 0.0 Haskell
    Fun with types
  • singleton-nats

    4.7 0.0 Haskell
    Unary natural numbers relying on the singletons infrastructure
  • singleton-dict

    0.9 0.0 Haskell
    Singleton version of (ancient versions of) Data.Map
  • vec-optics

    - -
    Vec
  • ral-optics

    - -
    Length-indexed random access lists
  • dec

    - -
    Decidable propositions.
  • bin

    - -
    Bin
  • ral

    - -
    Random access lists
  • ral-lens

    - -
    Length-indexed random access lists
  • vec-lens

    - -
    Vec