The type-level-bst package

[ Tags: bsd3, data-structures, dependent-types, library ] [ Propose Tags ]

An efficient implementation of type-level binary search trees and of dependently-typed extensible records and unions.

More information can be found in the hackage's haddock or the updated haddock.


Versions 0.1
Dependencies base (==4.*) [details]
License BSD3
Copyright (c) Yusuke Matsushita 2014
Author Yusuke Matsushita
Maintainer Yusuke Matsushita <>
Category Dependent Types, Data Structures
Home page
Bug tracker
Source repo head: git clone
Uploaded Tue Oct 28 15:09:40 UTC 2014 by Kinokkory
Distributions NixOS:0.1
Downloads 424 total (14 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-05-21 [all 1 reports]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees