úÎ!} ‹      non-portable experimental me@jspha.comNone 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. seenBy n converts a  set into its underlying set,  approximated by n iterations.  Converts a % set into its underlying set. If the  8 set is unbounded then this operation is undefined (see  ). It'+s reasonable to think of this operation as  * let omega = succ omega in seenBy omega  memberWithin' n a. checks to see whether an element is within a   set after n improvements. The  set returned is a  compressed, memoized # set which may be faster to query.  memberWithin' n a. checks to see whether an element is within a   set after n improvements. 2Determines whether a particular element is in the  = set. If the element is in the set, this operation is always C defined. If it is not and the set is unbounded, this operation is  undefined (see ). It's reasonable to think of this  operation as  0 let omega = succ omega in memberWithin omega    The ( set returned is a compressed, memoized  set  which may be faster to query. 2Determines whether a particular element is in the  = set. If the element is in the set, this operation is always C defined. If it is not and the set is unbounded, this operation is  undefined (see ). It's reasonable to think of this  operation as  0 let omega = succ omega in memberWithin omega  Converts any  container into the  set of its  contents.  non-portable experimental me@jspha.comNone 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. Access the underlying set. Inserts a new element into a  set, maintaining closure. 0An empty closed set under a fixed endomorphism. 4Is a particular element in the closure of this set?  Converts any  container into the  set of its  contents.           closure-0.1.0.0 Algebra.Closure.Set.BreadthFirstAlgebra.Closure.Set.DepthFirstClosedseenByseen memberWithin' memberWithinmember'membercloseinsertemptybase Data.FoldableFoldable Unchanging