Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | me@jspha.com |
Safe Haskell | None |
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
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
.
Operations
member :: (Hashable a, Eq a) => a -> Closed a -> BoolSource
Is a particular element in the closure of this set?