unison-prelude-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.Util.Set

Synopsis

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.

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 #