Data.Graph.Causal.Utility

break :: forall c b a. (a -> b -> Either b c) -> a -> Either b c -> Either b c

history :: forall b a. (a -> Maybe a -> Maybe b) -> a -> Maybe a -> Either (Maybe a) b

after :: forall k f. Eq k => Foldable f => k -> f k -> Maybe k

before :: forall k f. Eq k => Foldable f => k -> f k -> Maybe k

distinctTwoSets :: forall a. Ord a => Set a -> Set (TwoSet a)

powerSet :: forall a. Ord a => Set a -> Set (Set a)