Haskell Data Structures type

3 type packages and projects

• type-level-sets

  8.4 2.5 Haskell

  Type-level sets and finite maps (with value-level counterparts)

• type-indexed-queues

  4.1 0.0 Haskell

  Queues with verified and unverified versions.

• type-level-bst

  3.2 0.0 Haskell

  type-level binary search trees in haskell