Data.Map.Subset.Lifted

Documentation

data Map k v

Instances

(Eq v, Eq k) => Eq (Map k v)

Methods

(==) :: Map k v -> Map k v -> Bool

(/=) :: Map k v -> Map k v -> Bool

(Ord v, Ord k) => Ord (Map k v)

Methods

compare :: Map k v -> Map k v -> Ordering

(<) :: Map k v -> Map k v -> Bool

(<=) :: Map k v -> Map k v -> Bool

(>) :: Map k v -> Map k v -> Bool

(>=) :: Map k v -> Map k v -> Bool

max :: Map k v -> Map k v -> Map k v

min :: Map k v -> Map k v -> Map k v

(Show k, Show v) => Show (Map k v)

Methods

showsPrec :: Int -> Map k v -> ShowS

show :: Map k v -> String

showList :: [Map k v] -> ShowS

(Semigroup v, Eq v, Ord k) => Semigroup (Map k v)

Methods

(<>) :: Map k v -> Map k v -> Map k v

sconcat :: NonEmpty (Map k v) -> Map k v

stimes :: Integral b => b -> Map k v -> Map k v

(Semigroup v, Eq v, Ord k) => Monoid (Map k v)

Methods

mempty :: Map k v

mappend :: Map k v -> Map k v -> Map k v

mconcat :: [Map k v] -> Map k v

singleton :: (Monoid v, Eq v) => Set k -> v -> Map k v

lookup :: Ord k => Set k -> Map k v -> Maybe v

toList :: Map k v -> [(Set k, v)]

fromList :: (Ord k, Eq v, Semigroup v) => [(Set k, v)] -> Map k v