hackage.haskell.org : 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.
Registry
-
Source
- Homepage
- JSON
- codemeta.json
purl: pkg:hackage/singleton-dict
Keywords:
bsd3
, data
, dependent-types
, library
, Propose Tags
License: BSD-3-Clause
Latest release: over 8 years ago
First release: over 8 years ago
Downloads: 953 total
Stars: 0 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 13 days ago