Modulecardano-data-1.3.1.0

Data.MapExtras

Synopsis

valueboundedEnumMap :: (Ord k, Bounded a, Enum a) => (a -> k) -> Map k a

valuedisjointMapSetFold

valueextract :: Ord k => k -> Map k b -> (Maybe b, Map k b)

valueextractKeys :: Ord k => Map k a -> Set k -> (Map k a, Map k a)

valueextractKeysSmallSet :: Ord k => Map k a -> Set k -> (Map k a, Map k a)

valuefromElems :: (Foldable f, Ord k) => (v -> k) -> f v -> Map k v

valuefromKeys :: (Foldable f, Ord k) => (k -> v) -> f k -> Map k v

valueintersectDomP

valueintersectDomPLeft

valueintersectMapSetFold

valuekeysEqual :: Ord k => Map k v1 -> Map k v2 -> Bool

valuelookupInternMap :: Ord k => k -> Map k v -> Maybe (k, v)

valuelookupMapFail

valuenoKeys :: Ord k => Map k a -> Map k b -> Map k a

valuesplitMemberMap

valuesplitMemberSet :: Ord a => a -> Set a -> StrictTriple (Set a) Bool (Set a)

datadata StrictTriple a b c

Instances2Eq, Show

(Eq a, Eq b, Eq c) => Eq (StrictTriple a b c)Defined in cardano-data-1.3.1.0 · Data.MapExtras
(Show a, Show b, Show c) => Show (StrictTriple a b c)Defined in cardano-data-1.3.1.0 · Data.MapExtras