non-empty-containers-0.1.4.0

Safe HaskellSafe
LanguageHaskell2010

Data.Set.NonEmpty

Synopsis

Documentation

data NonEmptySet a Source #

A non-empty set.

Instances
Foldable NonEmptySet Source # 
Instance details

Defined in Data.Set.NonEmpty

Methods

fold :: Monoid m => NonEmptySet m -> m #

foldMap :: Monoid m => (a -> m) -> NonEmptySet a -> m #

foldr :: (a -> b -> b) -> b -> NonEmptySet a -> b #

foldr' :: (a -> b -> b) -> b -> NonEmptySet a -> b #

foldl :: (b -> a -> b) -> b -> NonEmptySet a -> b #

foldl' :: (b -> a -> b) -> b -> NonEmptySet a -> b #

foldr1 :: (a -> a -> a) -> NonEmptySet a -> a #

foldl1 :: (a -> a -> a) -> NonEmptySet a -> a #

toList :: NonEmptySet a -> [a] #

null :: NonEmptySet a -> Bool #

length :: NonEmptySet a -> Int #

elem :: Eq a => a -> NonEmptySet a -> Bool #

maximum :: Ord a => NonEmptySet a -> a #

minimum :: Ord a => NonEmptySet a -> a #

sum :: Num a => NonEmptySet a -> a #

product :: Num a => NonEmptySet a -> a #

Foldable1 NonEmptySet Source # 
Instance details

Defined in Data.Set.NonEmpty

Methods

fold1 :: Semigroup m => NonEmptySet m -> m #

foldMap1 :: Semigroup m => (a -> m) -> NonEmptySet a -> m #

toNonEmpty :: NonEmptySet a -> NonEmpty a #

Eq a => Eq (NonEmptySet a) Source # 
Instance details

Defined in Data.Set.NonEmpty

Ord a => Ord (NonEmptySet a) Source # 
Instance details

Defined in Data.Set.NonEmpty

Show a => Show (NonEmptySet a) Source # 
Instance details

Defined in Data.Set.NonEmpty

Ord a => Semigroup (NonEmptySet a) Source # 
Instance details

Defined in Data.Set.NonEmpty

singleton :: a -> NonEmptySet a Source #

Create a non-empty set with a single element.

member :: Ord a => a -> NonEmptySet a -> Bool Source #

Is the element in the set?

toSet :: Ord a => NonEmptySet a -> Set a Source #

Convert a non-empty set to a set.

fromSet :: Set a -> Maybe (NonEmptySet a) Source #

Attempt to create a non-empty set from a set.

toNonEmpty :: NonEmptySet a -> NonEmpty a Source #

Convert a non-empty set to a non-empty list.

fromNonEmpty :: Ord a => NonEmpty a -> NonEmptySet a Source #

Create a non-empty set from a non-empty list.