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]
Versions 0.1.0.0
Dependencies base (>=4.7 && <5), singletons (==2.2.*) [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 Fri Jun 9 23:20:20 UTC 2017
Distributions NixOS:0.1.0.0
Downloads 214 total (6 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 2017-06-09 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


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.