htree: a library to build and work with heterogeneous, type level indexed rose trees
This library implements a heterogeneous rose-tree (HTree) that is indexed by a type-level rosetree (TyTree).
It also offers some useful functions, highlights include:
searching in the tree and creating evidence on the term-level via typeclasses record-dot syntax for accessing elements in the tree. mapping and traversing trees
[Skip to Readme]
Modules
[Index] [Quick Jump]
Downloads
- htree-0.1.1.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1.1.0 |
---|---|
Change log | CHANGELOG.md |
Dependencies | base (>=4.16 && <5) [details] |
License | AGPL-3.0-or-later |
Author | mangoiv |
Maintainer | contact@mangoiv.com |
Category | Data |
Uploaded | by mangoiv at 2024-07-21T16:45:04Z |
Distributions | NixOS:0.1.1.0 |
Downloads | 26 total (7 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |