This package provides Data.Sum, an open-union type, similar to the Union type that powers the implementation of Oleg Kiselyov's extensible-effects library.

Unlike most open-union implementations, this type is very fast to compile, even when the type-level list of alternatives contains hundreds of entries. Membership queries are constant-time, compiling to a single type-level natural lookup in a closed type family, unlike the traditional encoding of Union, which relies on recursive typeclass lookups. As such, this type lends itself to representing abstract syntax trees or other rich data structures.

This project is safe to use in production. Any performance problems at compile-time or runtime should be filed as bugs.

---

[Skip to Readme]

Modules

[Index] [Quick Jump]

Flags

Automatic Flags

Name	Description	Default
build-examples		Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

• fastsum-0.2.0.0.tar.gz [browse] (Cabal source package)
• Package description (revised from the package)

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

• patrick_thomson

For package maintainers and hackage trustees

• edit package information

Candidates

• 0.1.1.0, 0.2.0.0