Îõ³h$‹ï     None˜None'(ÔÙÁobservable-sharing Entry in map. observable-sharingÆA reference indexed map. Useful for associating info with a reference.%Note: this is generally unsound when f is a GADT! observable-sharingShorthand for stable names. observable-sharingConstruct an empty map. observable-sharing&Construct a map with a single element. observable-sharingReturns  if the map is empty,  otherwise.observable-sharing2Returns the number of elements stored in this map.observable-sharingReturns $ if the name is present in the map,  otherwise.observable-sharing Unsafe lookupobservable-sharing-Finds the value associated with the name, or , if the name has no value associated to it.observable-sharing…Associates a reference with the specified value. If the map already contains a mapping for the reference, the old value is replaced.observable-sharingÊRemoves the associated value of a reference, if any is present in the map.observable-sharingÊUpdates the associated value of a reference, if any is present in the map.observable-sharing1Filters the map for values matching the predicateobservable-sharingMap over the container typesobservable-sharing Union of two maps (left biased).observable-sharingDifference of two maps.observable-sharingIntersectino of two maps.observable-sharing"Fetches all the elements of a map.observable-sharing(Constructs a map from a list of entries.         !"#$/observable-sharing-0.2.5-L0CIOOkkDyTJ3cYVmJQrjJData.Ref Data.Ref.MapReflabelderefref $fShowRef$fEqRefEntryMapNameempty singletonnullsizemember!lookupinsertdeleteadjustfilterhmapunion difference intersectiontoListfromListghc-prim GHC.TypesTrueFalsebase GHC.MaybeNothing