Data.Diet.Unbounded.Set.Lifted

Documentation

data Set a

Instances

Eq a => Eq (Set a)

Defined in Data.Diet.Unbounded.Set.Lifted

Methods

(==) :: Set a -> Set a -> Bool

(/=) :: Set a -> Set a -> Bool

Show a => Show (Set a)

Defined in Data.Diet.Unbounded.Set.Lifted

Methods

showsPrec :: Int -> Set a -> ShowS

show :: Set a -> String

showList :: [Set a] -> ShowS

(Ord a, Enum a) => Semigroup (Set a)

Defined in Data.Diet.Unbounded.Set.Lifted

Methods

(<>) :: Set a -> Set a -> Set a

sconcat :: NonEmpty (Set a) -> Set a

stimes :: Integral b => b -> Set a -> Set a

(Ord a, Enum a) => Monoid (Set a)

Defined in Data.Diet.Unbounded.Set.Lifted

Methods

mempty :: Set a

mappend :: Set a -> Set a -> Set a

mconcat :: [Set a] -> Set a

singleton

Arguments

:: Ord a

=> Maybe a

lower inclusive bound, Nothing means -∞

-> Maybe a

upper inclusive bound, Nothing means +∞

-> Set a

O(1) Create an unbounded diet set with a single element.

member :: Ord a => a -> Set a -> Bool

O(log n) Returns True if the element is a member of the diet set.