Documentation

transitiveClosure :: forall m a. (Monad m, Ord a) => (a -> m (Set a)) -> Set a -> m (Set a) Source #

transitiveClosure' :: Ord a => (a -> Set a) -> Set a -> Set a Source #

transitiveClosure1 :: forall m a. (Monad m, Ord a) => (a -> m (Set a)) -> a -> m (Set a) Source #

transitiveClosure1' :: Ord a => (a -> Set a) -> a -> Set a Source #