ixset-typed: Efficient relational queries on Haskell sets.

[ bsd3, data-structures, library ] [ Propose Tags ]

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.


Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS], 0.1.1, 0.1.2, 0.1.3, 0.1.4, 0.2, 0.3, 0.3.1,, 0.4,, 0.5,
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.21) [details]
License BSD-3-Clause
Author Andres Löh, Happstack team, HAppS LLC
Maintainer Andres Löh <andres@well-typed.com>
Revised Revision 1 made by Bodigrim at 2023-08-07T20:10:17Z
Category Data Structures
Source repo head: git clone https://github.com/well-typed/ixset-typed.git
Uploaded by AndresLoeh at 2022-05-10T10:11:53Z
Distributions Arch:, Debian:0.5, LTSHaskell:, NixOS:
Reverse Dependencies 12 direct, 14 indirect [details]
Downloads 16571 total (49 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2022-05-10 [all 1 reports]