Algebra.Closure.Set.DepthFirst

Depth-first closed sets. For a particular endomorphism (p :: a -> a) a Closed set is a set where if some element x is in the set then so is p x.

Closed sets

data Closed a

A closed set Closed a, given an endomorphism (p :: a -> a), is a set where if some element x is in the set then so is p x.

seen :: Closed a -> HashSet a

Access the underlying set.

Operations

member :: (Hashable a, Eq a) => a -> Closed a -> Bool

Is a particular element in the closure of this set?

Creation

empty :: (a -> a) -> Closed a

An empty closed set under a fixed endomorphism.

insert :: (Hashable a, Eq a) => a -> Closed a -> Closed a

Inserts a new element into a Closed set, maintaining closure.

close :: (Hashable a, Eq a, Foldable t) => (a -> a) -> t a -> Closed a

Converts any Foldable container into the Closed set of its contents.