fastsum: A fast open-union type suitable for 100+ contained alternatives
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]
|Dependencies||base (>=4.7 && <5), fastsum, ghc-prim, hashable, template-haskell [details]|
|Copyright||Rob Rix, Josh Vera, Allele Dev, Patrick Thomson 2016-2018|
|Author||Rob Rix, Josh Vera, Allele Dev, Patrick Thomson|
|Source repo||head: git clone https://github.com/patrickt/fastsum|
|Uploaded||by patrick_thomson at Tue Jun 5 15:38:45 UTC 2018|
|Downloads||238 total (28 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
Docs available [build log]
Last success reported on 2018-06-05 [all 1 reports]
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
For package maintainers and hackage trustees