The sieve package

[Tags:gpl, library]

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.


Dependencies base (>=3 && <5) [details]
License GPL-2
Author John L. Singleton
Category Data
Home page
Uploaded Tue Jan 15 03:57:59 UTC 2013 by JohnSingleton
Distributions NixOS:
Downloads 570 total (15 in the last 30 days)
0 []
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees