raw-feldspar-0.2: Resource-Aware Feldspar

Safe HaskellNone
LanguageHaskell2010

Data.Selection

Description

Data structure for describing selections of values

Synopsis

Documentation

data Selection a Source #

Selection: description of a set of values

includes :: Selection a -> a -> Bool Source #

Check whether a value is included in a selection

selectBy :: (a -> Bool) -> Selection a Source #

Select the values that fulfill a predicate

empty :: Selection a Source #

Empty selection

universal :: Selection a Source #

Select all values

select :: Eq a => [a] -> Selection a Source #

Create a classification from a list of elements

union :: Selection a -> Selection a -> Selection a Source #

Union of selections

intersection :: Selection a -> Selection a -> Selection a Source #

Intersection of selections

difference :: Selection a -> Selection a -> Selection a Source #

Difference of selections

allExcept :: Eq a => [a] -> Selection a Source #

Select all values except those in the given list