sieve: Sieve is an implementation of the Sieve abstract data type.

[ data, gpl, library ] [ Propose Tags ]

A Sieve is a data type with properties analogous to a physical Sieve and it is useful for building up lists of data wherein a specific constraint must be met that cannot be achieved using normal type semantics. A Sieve encapsulates a list that can only hold a certain type, specified by a identity function and is preferable to creating or building up lists by using conditional blocks or by the progressive use of filter. This is especially advantageous if a list is to be passed around and used as an accumulator. In such a configuration, the original declaring type is passed around with the Sieve so that it can be used transparently in subsequent areas of the program.

Versions [faq],
Dependencies base (>=3 && <5) [details]
License GPL-2.0-only
Author John L. Singleton
Category Data
Home page
Uploaded by JohnSingleton at Tue Jan 15 03:57:59 UTC 2013
Distributions NixOS:
Downloads 968 total (12 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees