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.

Properties

Versions 0.1
Dependencies base (==4.*) [details]
License BSD3
Copyright (c) Yusuke Matsushita 2014
Author Yusuke Matsushita
Maintainer Yusuke Matsushita <y.skm24t@gmail.com>
Category Dependent Types, Data Structures
Home page https://github.com/Kinokkory/type-level-bst
Bug tracker https://github.com/Kinokkory/type-level-bst/issues
Source repository head: git clone git@github.com:Kinokkory/type-level-bst.git
Uploaded Tue Oct 28 15:09:40 UTC 2014 by Kinokkory
Distributions NixOS:0.1
Downloads 306 total (11 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

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees