unison-prelude-0.0.0

Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Util.Set

Synopsis

asSingleton :: Set a -> Maybe a
difference1 :: Ord a => Set a -> Set a -> Maybe (Set a)
intersects :: Ord a => Set a -> Set a -> Bool
mapMaybe :: Ord b => (a -> Maybe b) -> Set a -> Set b
symmetricDifference :: Ord a => Set a -> Set a -> Set a
traverse :: (Applicative f, Ord b) => (a -> f b) -> Set a -> f (Set b)
flatMap :: Ord b => (a -> Set b) -> Set a -> Set b
filterM :: (Ord a, Monad m) => (a -> m Bool) -> Set a -> m (Set a)
forMaybe :: (Ord b, Applicative f) => Set a -> (a -> f (Maybe b)) -> f (Set b)

Documentation

asSingleton :: Set a -> Maybe a Source #

Get the only member of a set, iff it's a singleton.

difference1 :: Ord a => Set a -> Set a -> Maybe (Set a) Source #

Set difference, but return Nothing if the difference is empty.

intersects :: Ord a => Set a -> Set a -> Bool Source #

Get whether two sets intersect.

mapMaybe :: Ord b => (a -> Maybe b) -> Set a -> Set b Source #

symmetricDifference :: Ord a => Set a -> Set a -> Set a Source #

traverse :: (Applicative f, Ord b) => (a -> f b) -> Set a -> f (Set b) Source #

flatMap :: Ord b => (a -> Set b) -> Set a -> Set b Source #

filterM :: (Ord a, Monad m) => (a -> m Bool) -> Set a -> m (Set a) Source #

forMaybe :: (Ord b, Applicative f) => Set a -> (a -> f (Maybe b)) -> f (Set b) Source #