úÎ ª portable experimental Luke Palmer <lrpalmer@gmail.com> Safe-InferredA Partition of a.: represents a collection of disjoint sets of a whose ! union includes every element of a. Semantics:  [[Partition a]] = P(P(a))  where P is the power set operation. &A partition in which every element of a is in its own set. Semantics:   [[discrete]] = { { x } | x in a }  Synonym for discrete. join x y merges the two sets containing x and y into a single set. Semantics:   [[join x y p]] = (p minus find x minus find y) union { find x union find y } find p x finds the set that the element x" is associated with. Semantics:   [[find p x]]% = the unique s in p such that x in s.      data-partition-0.1.0.0Data.Partition Partitiondiscreteemptyjoinfind forwardMap backwardMapreprreprFindcompose