ixset-typed

Efficient relational queries on Haskell sets.

Version on this page:	0.3.1
LTS Haskell 20.24:	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.3.1@sha256:bf20a8199706ebf1312ba402d76b07ff0cc20304566ad6b4915a30b940892d66,2594

Module documentation for 0.3.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 3 packages in lts-7.24(full list with versions):

happstack-authenticate, 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.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.