The type-level-bst package

[Tags:bsd3, library]

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 repository head: git clone
Uploaded Tue Oct 28 15:09:40 UTC 2014 by Kinokkory
Distributions NixOS:0.1
Downloads 257 total (5 in the last 30 days)
0 []
Status Docs available [build log]
Last success reported on 2015-05-21 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees