Data.Dependent.Map.Lifted.Lifted

Documentation

data Map k v

Instances

OrdForallPoly k => IsList (Map k v)

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)

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)

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)

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)

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)

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)

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)

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)

Defined in Data.Dependent.Map.Lifted.Lifted

type Item (Map k v) = DependentPair k v

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

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

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

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

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

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