ixset-typed: Efficient relational queries on Haskell sets.
This Haskell package provides a data structure of sets that are indexed by potentially multiple indices.
Sets can be created, modified, and queried in various ways.
The package is a variant of the ixset package. The ixset package makes use of run-time type information to find a suitable index on a query, resulting in possible run-time errors when no suitable index exists. In ixset-typed, the types of all indices available or tracked in the type system. Thus, ixset-typed should be safer to use than ixset, but in turn requires more GHC extensions.
At the moment, the two packages are relatively compatible. As a consequence of the more precise types, a few manual tweaks are necessary when switching from one to the other, but the interface is mostly the same.
Downloads
- ixset-typed-0.5.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.1.0.0, 0.1.1, 0.1.2, 0.1.3, 0.1.4, 0.2, 0.3, 0.3.1, 0.3.1.1, 0.4, 0.4.0.1, 0.5, 0.5.1.0 |
---|---|
Change log | CHANGELOG.md |
Dependencies | base (>=4.9 && <5), containers (>=0.5 && <1), deepseq (>=1.3 && <2), safecopy (>=0.8 && <0.11), syb (>=0.4 && <1), template-haskell (>=2.8 && <2.17) [details] |
Tested with | ghc ==8.0.2, ghc ==8.2.2, ghc ==8.4.3, ghc ==8.6.1, ghc ==8.8.1 |
License | BSD-3-Clause |
Author | Andres Löh, Happstack team, HAppS LLC |
Maintainer | Andres Löh <andres@well-typed.com> |
Category | Data Structures |
Source repo | head: git clone https://github.com/well-typed/ixset-typed.git |
Uploaded | by AndresLoeh at 2020-03-18T14:57:28Z |
Distributions | Arch:0.5.1.0, Debian:0.5, LTSHaskell:0.5.1.0, NixOS:0.5.1.0 |
Reverse Dependencies | 12 direct, 14 indirect [details] |
Downloads | 16851 total (97 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2020-03-18 [all 1 reports] |