Îõ³h%±§1      !"#$%&'()*+,-./0¬Homogeneous sets are sets which can contain only one type of values. They are more flexible than Data.Set because they do not require the objects contained to be orderable.Guillaume Sabbagh 2022LGPL-3.0-or-laterguillaumesabbagh@protonmail.com experimentalportable Safe-Inferred rWeakSets3An association list is a list of pairs (key,value).WeakSetsúA function of homogeneous sets. It is a set of pairs (key,value) such that their should only be one pair with a given key.1It is an abstract type, the smart constructor is .WeakSets&A homogeneous set is a list of values.ðThe only differences are that we don't want duplicate elements and we don't need the order of the list elements. To force these constraints, the î constructor is abstract and is not exported. The only way to construct a set is to use the smart constructor ' which ensures the previous conditions.WeakSetsÇThe smart constructor of sets. This is the only way of instantiating a .>If several elements are equal, only the first element is kept.WeakSets"Returns a boolean indicating if a  is included in another one.WeakSets Transforms a ì back into a list, the list returned does not have duplicate elements, the order of the original list holds.WeakSetsÂMaps a function to every element of the set. We can't instantiate 1* because we would have to add a contraint Eq to the type parameter of .WeakSetsSize of a set.WeakSets&Returns wether an element is in a set. WeakSets%Returns the intersection of two sets. WeakSetsReturns the union of two sets. WeakSets*Returns the cartesian product of two sets. WeakSets'Returns the disjoint union of two sets. WeakSets#Returns the difference of two sets.WeakSets.Returns the set of all subsets of a given set.WeakSetsÌThe smart constructor of functions. This is the only way of instantiating a .ÝTakes an association list and returns a function which maps to each key the value associated.|cardinalisIn|&|||||*||+||-|powerSetfunction functionToSetdomainimage|$||!|findWithDefault|.|memorizeFunction $fFoldableSet $fMonoidSet$fSemigroupSet$fEqSet $fShowSet$fShowFunction $fEqFunctionpureSetemptySet singletonpaircartesianProduct||||&&&& numberToSetisInP isIncludedInPcard powerSetPprettify formatPureSet $fShowPureSet $fEqPureSetbaseGHC.BaseFunctor GHC.MaybeNothingJustGHC.Listlookup