singleton-dict: Typelevel balanced search trees via a singletonized Data.Map

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

This package provides a typelevel balanced search tree based on an ancient version of Data.Map, originating from the uulib package. I used this older version as it uses relatively "simple" Haskell, and thus is singletonized relatively straightforwardly.


[Skip to Readme]

Modules

[Index]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0.0
Dependencies base (>=4.7 && <5), singletons (>=2.2 && <2.3) [details]
License BSD-3-Clause
Copyright 2017 Arie Middelkoop
Author Arie Middelkoop
Maintainer amiddelk@gmail.com
Category Data, Dependent Types
Home page https://github.com/amiddelk/singleton-dict#readme
Source repo head: git clone https://github.com/amiddelk/singleton-dict
Uploaded by ArieMiddelkoop at 2017-06-09T23:20:20Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 907 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-06-09 [all 1 reports]

Readme for singleton-dict-0.1.0.0

[back to package description]

singleton-dict

This package provides a typelevel balanced search tree based on an ancient version of Data.Map, originating from the uulib package. I used this older version as it uses relatively "simple" Haskell, and thus is singletonized relatively straightforwardly.