raw-feldspar-0.3: 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

Instances
Semigroup (Selection a) Source # 
Instance details

Defined in Data.Selection

Methods

(<>) :: Selection a -> Selection a -> Selection a #

sconcat :: NonEmpty (Selection a) -> Selection a #

stimes :: Integral b => b -> Selection a -> Selection a #

Monoid (Selection a) Source #
mempty  = empty
mappend = union
Instance details

Defined in Data.Selection

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