Safe Haskell	None
Language	Haskell2010

Data.Aeson.KeyMap

Contents

Map Type
Query
Construction
- Insertion
Deletion
Update
Combine
Lists
Maps
Traversal
- Map
Folds
Conversions
Filter

Description

An abstract interface for maps from JSON keys to values.

Synopsis

data KeyMap v
null :: KeyMap v -> Bool
lookup :: Key -> KeyMap v -> Maybe v
size :: KeyMap v -> Int
member :: Key -> KeyMap a -> Bool
empty :: KeyMap v
singleton :: Key -> v -> KeyMap v
insert :: Key -> v -> KeyMap v -> KeyMap v
delete :: Key -> KeyMap v -> KeyMap v
alterF :: Functor f => ( Maybe v -> f ( Maybe v)) -> Key -> KeyMap v -> f ( KeyMap v)
difference :: KeyMap v -> KeyMap v' -> KeyMap v
union :: KeyMap v -> KeyMap v -> KeyMap v
unionWith :: (v -> v -> v) -> KeyMap v -> KeyMap v -> KeyMap v
unionWithKey :: ( Key -> v -> v -> v) -> KeyMap v -> KeyMap v -> KeyMap v
intersection :: KeyMap a -> KeyMap b -> KeyMap a
intersectionWith :: (a -> b -> c) -> KeyMap a -> KeyMap b -> KeyMap c
intersectionWithKey :: ( Key -> a -> b -> c) -> KeyMap a -> KeyMap b -> KeyMap c
alignWith :: ( These a b -> c) -> KeyMap a -> KeyMap b -> KeyMap c
alignWithKey :: ( Key -> These a b -> c) -> KeyMap a -> KeyMap b -> KeyMap c
fromList :: [( Key , v)] -> KeyMap v
fromListWith :: (v -> v -> v) -> [( Key , v)] -> KeyMap v
toList :: KeyMap v -> [( Key , v)]
toAscList :: KeyMap v -> [( Key , v)]
fromHashMap :: HashMap Key v -> KeyMap v
toHashMap :: KeyMap v -> HashMap Key v
fromHashMapText :: HashMap Text v -> KeyMap v
toHashMapText :: KeyMap v -> HashMap Text v
coercionToHashMap :: Maybe ( Coercion ( HashMap Key v) ( KeyMap v))
fromMap :: Map Key v -> KeyMap v
toMap :: KeyMap v -> Map Key v
fromMapText :: Map Text v -> KeyMap v
toMapText :: KeyMap v -> Map Text v
coercionToMap :: Maybe ( Coercion ( Map Key v) ( KeyMap v))
map :: (a -> b) -> KeyMap a -> KeyMap b
mapKeyVal :: ( Key -> Key ) -> (v1 -> v2) -> KeyMap v1 -> KeyMap v2
traverse :: Applicative f => (v1 -> f v2) -> KeyMap v1 -> f ( KeyMap v2)
traverseWithKey :: Applicative f => ( Key -> v1 -> f v2) -> KeyMap v1 -> f ( KeyMap v2)
foldr :: (a -> b -> b) -> b -> KeyMap a -> b
foldr' :: (a -> b -> b) -> b -> KeyMap a -> b
foldl :: (b -> a -> b) -> b -> KeyMap a -> b
foldl' :: (b -> a -> b) -> b -> KeyMap a -> b
foldMapWithKey :: Monoid m => ( Key -> a -> m) -> KeyMap a -> m
foldrWithKey :: ( Key -> v -> a -> a) -> a -> KeyMap v -> a
keys :: KeyMap v -> [ Key ]
filter :: (v -> Bool ) -> KeyMap v -> KeyMap v
filterWithKey :: ( Key -> v -> Bool ) -> KeyMap v -> KeyMap v
mapMaybe :: (a -> Maybe b) -> KeyMap a -> KeyMap b
mapMaybeWithKey :: ( Key -> v -> Maybe u) -> KeyMap v -> KeyMap u

Map Type

data KeyMap v Source #

A map from JSON key type Key to v .

Instances

Instances details

Functor KeyMap Source #
Instance details Defined in Data.Aeson.KeyMap Methods fmap :: (a -> b) -> KeyMap a -> KeyMap b Source # (<$) :: a -> KeyMap b -> KeyMap a Source #
Foldable KeyMap Source #
Instance details Defined in Data.Aeson.KeyMap Methods fold :: Monoid m => KeyMap m -> m Source # foldMap :: Monoid m => (a -> m) -> KeyMap a -> m Source # foldMap' :: Monoid m => (a -> m) -> KeyMap a -> m Source # foldr :: (a -> b -> b) -> b -> KeyMap a -> b Source # foldr' :: (a -> b -> b) -> b -> KeyMap a -> b Source # foldl :: (b -> a -> b) -> b -> KeyMap a -> b Source # foldl' :: (b -> a -> b) -> b -> KeyMap a -> b Source # foldr1 :: (a -> a -> a) -> KeyMap a -> a Source # foldl1 :: (a -> a -> a) -> KeyMap a -> a Source # toList :: KeyMap a -> [a] Source # null :: KeyMap a -> Bool Source # length :: KeyMap a -> Int Source # elem :: Eq a => a -> KeyMap a -> Bool Source # maximum :: Ord a => KeyMap a -> a Source # minimum :: Ord a => KeyMap a -> a Source # sum :: Num a => KeyMap a -> a Source # product :: Num a => KeyMap a -> a Source #
Traversable KeyMap Source #
Instance details Defined in Data.Aeson.KeyMap Methods traverse :: Applicative f => (a -> f b) -> KeyMap a -> f ( KeyMap b) Source # sequenceA :: Applicative f => KeyMap (f a) -> f ( KeyMap a) Source # mapM :: Monad m => (a -> m b) -> KeyMap a -> m ( KeyMap b) Source # sequence :: Monad m => KeyMap (m a) -> m ( KeyMap a) Source #
Semialign KeyMap Source #
Instance details Defined in Data.Aeson.KeyMap Methods align :: KeyMap a -> KeyMap b -> KeyMap ( These a b) Source # alignWith :: ( These a b -> c) -> KeyMap a -> KeyMap b -> KeyMap c Source #
Align KeyMap Source #
Instance details Defined in Data.Aeson.KeyMap Methods nil :: KeyMap a Source #
Zip KeyMap Source #
Instance details Defined in Data.Aeson.KeyMap Methods zip :: KeyMap a -> KeyMap b -> KeyMap (a, b) Source # zipWith :: (a -> b -> c) -> KeyMap a -> KeyMap b -> KeyMap c Source #
Filterable KeyMap Source #
Instance details Defined in Data.Aeson.KeyMap Methods mapMaybe :: (a -> Maybe b) -> KeyMap a -> KeyMap b Source # catMaybes :: KeyMap ( Maybe a) -> KeyMap a Source # filter :: (a -> Bool ) -> KeyMap a -> KeyMap a Source #
Witherable KeyMap Source #
Instance details Defined in Data.Aeson.KeyMap Methods wither :: Applicative f => (a -> f ( Maybe b)) -> KeyMap a -> f ( KeyMap b) Source # witherM :: Monad m => (a -> m ( Maybe b)) -> KeyMap a -> m ( KeyMap b) Source # filterA :: Applicative f => (a -> f Bool ) -> KeyMap a -> f ( KeyMap a) Source # witherMap :: Applicative m => ( KeyMap b -> r) -> (a -> m ( Maybe b)) -> KeyMap a -> m r Source #
FromJSON1 KeyMap Source #	Since: 2.0.1.0
Instance details Defined in Data.Aeson.Types.FromJSON Methods liftParseJSON :: ( Value -> Parser a) -> ( Value -> Parser [a]) -> Value -> Parser ( KeyMap a) Source # liftParseJSONList :: ( Value -> Parser a) -> ( Value -> Parser [a]) -> Value -> Parser [ KeyMap a] Source #
ToJSON1 KeyMap Source #
Instance details Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a -> Value ) -> ([a] -> Value ) -> KeyMap a -> Value Source # liftToJSONList :: (a -> Value ) -> ([a] -> Value ) -> [ KeyMap a] -> Value Source # liftToEncoding :: (a -> Encoding ) -> ([a] -> Encoding ) -> KeyMap a -> Encoding Source # liftToEncodingList :: (a -> Encoding ) -> ([a] -> Encoding ) -> [ KeyMap a] -> Encoding Source #
KeyValue Object Source #	Constructs a singleton `KeyMap` . For calling functions that demand an `Object` for constructing objects. To be used in conjunction with `mconcat` . Prefer to use `object` where possible.
Instance details Defined in Data.Aeson.Types.ToJSON Methods (.=) :: ToJSON v => Key -> v -> Object Source #
FunctorWithIndex Key KeyMap Source #
Instance details Defined in Data.Aeson.KeyMap Methods imap :: ( Key -> a -> b) -> KeyMap a -> KeyMap b Source #
FoldableWithIndex Key KeyMap Source #
Instance details Defined in Data.Aeson.KeyMap Methods ifoldMap :: Monoid m => ( Key -> a -> m) -> KeyMap a -> m Source # ifoldMap' :: Monoid m => ( Key -> a -> m) -> KeyMap a -> m Source # ifoldr :: ( Key -> a -> b -> b) -> b -> KeyMap a -> b Source # ifoldl :: ( Key -> b -> a -> b) -> b -> KeyMap a -> b Source # ifoldr' :: ( Key -> a -> b -> b) -> b -> KeyMap a -> b Source # ifoldl' :: ( Key -> b -> a -> b) -> b -> KeyMap a -> b Source #
TraversableWithIndex Key KeyMap Source #
Instance details Defined in Data.Aeson.KeyMap Methods itraverse :: Applicative f => ( Key -> a -> f b) -> KeyMap a -> f ( KeyMap b) Source #
SemialignWithIndex Key KeyMap Source #
Instance details Defined in Data.Aeson.KeyMap Methods ialignWith :: ( Key -> These a b -> c) -> KeyMap a -> KeyMap b -> KeyMap c Source #
ZipWithIndex Key KeyMap Source #
Instance details Defined in Data.Aeson.KeyMap Methods izipWith :: ( Key -> a -> b -> c) -> KeyMap a -> KeyMap b -> KeyMap c Source #
FilterableWithIndex Key KeyMap Source #
Instance details Defined in Data.Aeson.KeyMap Methods imapMaybe :: ( Key -> a -> Maybe b) -> KeyMap a -> KeyMap b Source # ifilter :: ( Key -> a -> Bool ) -> KeyMap a -> KeyMap a Source #
WitherableWithIndex Key KeyMap Source #
Instance details Defined in Data.Aeson.KeyMap Methods iwither :: Applicative f => ( Key -> a -> f ( Maybe b)) -> KeyMap a -> f ( KeyMap b) Source # iwitherM :: Monad m => ( Key -> a -> m ( Maybe b)) -> KeyMap a -> m ( KeyMap b) Source # ifilterA :: Applicative f => ( Key -> a -> f Bool ) -> KeyMap a -> f ( KeyMap a) Source #
Lift v => Lift ( KeyMap v :: Type ) Source #
Instance details Defined in Data.Aeson.KeyMap Methods lift :: KeyMap v -> Q Exp Source # liftTyped :: KeyMap v -> Q ( TExp ( KeyMap v)) Source #
IsList ( KeyMap v) Source #	Since: 2.0.2.0
Instance details Defined in Data.Aeson.KeyMap Associated Types type Item ( KeyMap v) Source # Methods fromList :: [ Item ( KeyMap v)] -> KeyMap v Source # fromListN :: Int -> [ Item ( KeyMap v)] -> KeyMap v Source # toList :: KeyMap v -> [ Item ( KeyMap v)] Source #
Eq v => Eq ( KeyMap v) Source #
Instance details Defined in Data.Aeson.KeyMap Methods (==) :: KeyMap v -> KeyMap v -> Bool Source # (/=) :: KeyMap v -> KeyMap v -> Bool Source #
Data v => Data ( KeyMap v) Source #
Instance details Defined in Data.Aeson.KeyMap Methods gfoldl :: ( forall d b. Data d => c (d -> b) -> d -> c b) -> ( forall g. g -> c g) -> KeyMap v -> c ( KeyMap v) Source # gunfold :: ( forall b r. Data b => c (b -> r) -> c r) -> ( forall r. r -> c r) -> Constr -> c ( KeyMap v) Source # toConstr :: KeyMap v -> Constr Source # dataTypeOf :: KeyMap v -> DataType Source # dataCast1 :: Typeable t => ( forall d. Data d => c (t d)) -> Maybe (c ( KeyMap v)) Source # dataCast2 :: Typeable t => ( forall d e. ( Data d, Data e) => c (t d e)) -> Maybe (c ( KeyMap v)) Source # gmapT :: ( forall b. Data b => b -> b) -> KeyMap v -> KeyMap v Source # gmapQl :: (r -> r' -> r) -> r -> ( forall d. Data d => d -> r') -> KeyMap v -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> ( forall d. Data d => d -> r') -> KeyMap v -> r Source # gmapQ :: ( forall d. Data d => d -> u) -> KeyMap v -> [u] Source # gmapQi :: Int -> ( forall d. Data d => d -> u) -> KeyMap v -> u Source # gmapM :: Monad m => ( forall d. Data d => d -> m d) -> KeyMap v -> m ( KeyMap v) Source # gmapMp :: MonadPlus m => ( forall d. Data d => d -> m d) -> KeyMap v -> m ( KeyMap v) Source # gmapMo :: MonadPlus m => ( forall d. Data d => d -> m d) -> KeyMap v -> m ( KeyMap v) Source #
Ord v => Ord ( KeyMap v) Source #
Instance details Defined in Data.Aeson.KeyMap Methods compare :: KeyMap v -> KeyMap v -> Ordering Source # (<) :: KeyMap v -> KeyMap v -> Bool Source # (<=) :: KeyMap v -> KeyMap v -> Bool Source # (>) :: KeyMap v -> KeyMap v -> Bool Source # (>=) :: KeyMap v -> KeyMap v -> Bool Source # max :: KeyMap v -> KeyMap v -> KeyMap v Source # min :: KeyMap v -> KeyMap v -> KeyMap v Source #
Read v => Read ( KeyMap v) Source #
Instance details Defined in Data.Aeson.KeyMap Methods readsPrec :: Int -> ReadS ( KeyMap v) Source # readList :: ReadS [ KeyMap v] Source # readPrec :: ReadPrec ( KeyMap v) Source # readListPrec :: ReadPrec [ KeyMap v] Source #
Show v => Show ( KeyMap v) Source #
Instance details Defined in Data.Aeson.KeyMap Methods showsPrec :: Int -> KeyMap v -> ShowS Source # show :: KeyMap v -> String Source # showList :: [ KeyMap v] -> ShowS Source #
Semigroup ( KeyMap v) Source #
Instance details Defined in Data.Aeson.KeyMap Methods (<>) :: KeyMap v -> KeyMap v -> KeyMap v Source # sconcat :: NonEmpty ( KeyMap v) -> KeyMap v Source # stimes :: Integral b => b -> KeyMap v -> KeyMap v Source #
Monoid ( KeyMap v) Source #
Instance details Defined in Data.Aeson.KeyMap Methods mempty :: KeyMap v Source # mappend :: KeyMap v -> KeyMap v -> KeyMap v Source # mconcat :: [ KeyMap v] -> KeyMap v Source #
NFData v => NFData ( KeyMap v) Source #
Instance details Defined in Data.Aeson.KeyMap Methods rnf :: KeyMap v -> () Source #
Hashable v => Hashable ( KeyMap v) Source #
Instance details Defined in Data.Aeson.KeyMap Methods hashWithSalt :: Int -> KeyMap v -> Int Source # hash :: KeyMap v -> Int Source #
FromJSON v => FromJSON ( KeyMap v) Source #	Since: 2.0.1.0
Instance details Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser ( KeyMap v) Source # parseJSONList :: Value -> Parser [ KeyMap v] Source #
ToJSON v => ToJSON ( KeyMap v) Source #
Instance details Defined in Data.Aeson.Types.ToJSON Methods toJSON :: KeyMap v -> Value Source # toEncoding :: KeyMap v -> Encoding Source # toJSONList :: [ KeyMap v] -> Value Source # toEncodingList :: [ KeyMap v] -> Encoding Source #
type Item ( KeyMap v) Source #
Instance details Defined in Data.Aeson.KeyMap type Item ( KeyMap v) = ( Key , v)