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?