ixset-typed

Efficient relational queries on Haskell sets.

Version on this page:	0.4.0.1@rev:1
LTS Haskell 20.23:	0.5.1.0
Stackage Nightly 2022-11-17:	0.5.1.0
Latest on Hackage:	0.5.1.0

See all snapshots ixset-typed appears in

BSD-3-Clause licensed by Andres Löh, Happstack team, HAppS LLC

Maintained by Andres Löh

This version can be pinned in stack with:ixset-typed-0.4.0.1@sha256:371df669384668849507239d51ae8023b844820e751fbacde9f5112b97a6d34d,2681

Module documentation for 0.4.0.1

Data
- Data.IxSet
  - Data.IxSet.Typed
    - Data.IxSet.Typed.Ix

Depends on 6 packages(full list with versions):

base, containers, deepseq, safecopy, syb, template-haskell

Used by 2 packages in lts-14.27(full list with versions):

hOpenPGP, hopenpgp-tools

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.

Changes

0.4.0.1 (2018-10-01)

containers-0.6 compatibility.

0.4 (2018-03-18)

GHC 8.4 compatibility.
Drop compatibility with GHC 7. GHC 8.4 introduces Semigroup as a superclass for monoid, and Semigroup is not in base prior to GHC 8. To avoid a conditional interface or a dependency on the semigroups package, we drop compatibility with GHC 7. There are not other changes in this version, so ixset-typed-0.3.1.1 remains usable with GHC 7.

0.3.1.1 (2017-08-14)

GHC 8.2 compatibility.

0.3.1 (2016-06-21)

GHC 8.0 compatibility.

0.3 (2014-07-23)

IxSet internals are now more strict
The empty method of Indexable is now called indices and has a slightly different path; to migrate your code, if you were using Template Haskell, you probably do not have to change anything. Otherwise, wherever you have an instance of Indexable that looks like this
```
 instance Indexable MyIndexSet MyType where  -- OLD
   empty = mkEmpty ...
```
change it to
```
 instance Indexable MyIndexSet MyType where  -- NEW
   indices = ixList ...
```

0.2 (2014-04-06)

Add testsuite (which is a port of the ixset testsuite).
Cleaning up and documentation.
Add ‘Foldable’ and ‘NFData’ instances.

0.1.4 (2014-04-03)

Documentation.

0.1.3 (2014-04-02)

Export IsIndexOf class.

0.1.2 (2014-04-02)

Clean up export list.
Documentation.

0.1.1 (2014-04-02)

Clean up export list.
Documentation.

0.1.0.0 (2014-03-31)

Initial release.