Safe Haskell	None
Language	Haskell2010

Data.Dependent.Map.Lifted.Lifted

Documentation

data Map k v Source #

Instances

OrdForallPoly k => IsList (Map k v) Source #
Instance details Defined in Data.Dependent.Map.Lifted.Lifted Associated Types type Item (Map k v) :: Type # Methods fromList :: [Item (Map k v)] -> Map k v # fromListN :: Int -> [Item (Map k v)] -> Map k v # toList :: Map k v -> [Item (Map k v)] #
(EqForallPoly k, ToSing k, EqForeach v) => Eq (Map k v) Source #
Instance details Defined in Data.Dependent.Map.Lifted.Lifted Methods (==) :: Map k v -> Map k v -> Bool # (/=) :: Map k v -> Map k v -> Bool #
(OrdForallPoly k, ToSing k, OrdForeach v) => Ord (Map k v) Source #
Instance details Defined in Data.Dependent.Map.Lifted.Lifted 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 #
(ShowForall k, ToSing k, ShowForeach v) => Show (Map k v) Source #
Instance details Defined in Data.Dependent.Map.Lifted.Lifted Methods showsPrec :: Int -> Map k v -> ShowS # show :: Map k v -> String # showList :: [Map k v] -> ShowS #
(ToSing k, OrdForallPoly k, SemigroupForeach v) => Semigroup (Map k v) Source #
Instance details Defined in Data.Dependent.Map.Lifted.Lifted 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 #
(ToSing k, OrdForallPoly k, SemigroupForeach v) => Monoid (Map k v) Source #
Instance details Defined in Data.Dependent.Map.Lifted.Lifted Methods mempty :: Map k v # mappend :: Map k v -> Map k v -> Map k v # mconcat :: [Map k v] -> Map k v #
(ToSing k, ToJSONKeyForall k, ToJSONForeach v) => ToJSON (Map k v) Source #
Instance details Defined in Data.Dependent.Map.Lifted.Lifted Methods toJSON :: Map k v -> Value # toEncoding :: Map k v -> Encoding # toJSONList :: [Map k v] -> Value # toEncodingList :: [Map k v] -> Encoding #
(ToSing k, FromJSONKeyExists k, FromJSONForeach v, OrdForallPoly k) => FromJSON (Map k v) Source #
Instance details Defined in Data.Dependent.Map.Lifted.Lifted Methods parseJSON :: Value -> Parser (Map k v) # parseJSONList :: Value -> Parser [Map k v] #
type Item (Map k v) Source #
Instance details Defined in Data.Dependent.Map.Lifted.Lifted type Item (Map k v) = DependentPair k v

singleton :: k a -> v a -> Map k v Source #

lookup :: OrdForallPoly k => k a -> Map k v -> Maybe (v a) Source #

toList :: Map k v -> [DependentPair k v] Source #

fromList :: OrdForallPoly k => [DependentPair k v] -> Map k v Source #

mapMaybe :: (forall a. v a -> Maybe (w a)) -> Map k v -> Map k w Source #

mapMaybeWithKey :: (forall a. k a -> v a -> Maybe (w a)) -> Map k v -> Map k w Source #