list package:aeson

Helper function to use with liftToEncoding. Useful when writing own ToJSON1 instances.

newtype F a = F [a]

-- This instance encodes Value as an array of chars
instance ToJSON1 F where
liftToJSON     tj _ (F xs) = liftToJSON     tj (listValue    tj) xs
liftToEncoding te _ (F xs) = liftToEncoding te (listEncoding te) xs

instance FromJSON1 F where
liftParseJSON p _ v = F <$> liftParseJSON p (listParser p) v

listParser :: (Value -> Parser a) -> Value -> Parser [a]

aeson Data.Aeson.Types

Helper function to use with liftParseJSON. See listEncoding.

listValue :: (a -> Value) -> [a] -> Value

aeson Data.Aeson.Types

Helper function to use with liftToJSON, see listEncoding.

fromJSONKeyList :: FromJSONKey a => FromJSONKeyFunction [a]

aeson Data.Aeson Data.Aeson.Types

This is similar in spirit to the readList method of Read. It makes it possible to give Value keys special treatment without using OverlappingInstances. End users should always be able to use the default implementation of this method.

fromJSONKeyList :: (FromJSONKey a, FromJSON a) => FromJSONKeyFunction [a]

aeson Data.Aeson Data.Aeson.Types

This is similar in spirit to the readList method of Read. It makes it possible to give Value keys special treatment without using OverlappingInstances. End users should always be able to use the default implementation of this method.

liftParseJSONList :: FromJSON1 f => Maybe a -> (Value -> Parser a) -> (Value -> Parser [a]) -> Value -> Parser [f a]

aeson Data.Aeson Data.Aeson.Types

liftParseJSONList2 :: FromJSON2 f => Maybe a -> (Value -> Parser a) -> (Value -> Parser [a]) -> Maybe b -> (Value -> Parser b) -> (Value -> Parser [b]) -> Value -> Parser [f a b]

aeson Data.Aeson Data.Aeson.Types

liftToEncodingList :: ToJSON1 f => (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> [f a] -> Encoding

aeson Data.Aeson Data.Aeson.Types

liftToEncodingList2 :: ToJSON2 f => (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> (b -> Bool) -> (b -> Encoding) -> ([b] -> Encoding) -> [f a b] -> Encoding

aeson Data.Aeson Data.Aeson.Types

liftToJSONList :: ToJSON1 f => (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> [f a] -> Value

aeson Data.Aeson Data.Aeson.Types

liftToJSONList2 :: ToJSON2 f => (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> (b -> Bool) -> (b -> Value) -> ([b] -> Value) -> [f a b] -> Value

aeson Data.Aeson Data.Aeson.Types

parseJSONList :: FromJSON a => Value -> Parser [a]

aeson Data.Aeson Data.Aeson.Types

toEncodingList :: ToJSON a => [a] -> Encoding

aeson Data.Aeson Data.Aeson.Types

toJSONKeyList :: ToJSONKey a => ToJSONKeyFunction [a]

aeson Data.Aeson Data.Aeson.Types

This is similar in spirit to the showsList method of Show. It makes it possible to give Value keys special treatment without using OverlappingInstances. End users should always be able to use the default implementation of this method.

toJSONKeyList :: (ToJSONKey a, ToJSON a) => ToJSONKeyFunction [a]

aeson Data.Aeson Data.Aeson.Types

This is similar in spirit to the showsList method of Show. It makes it possible to give Value keys special treatment without using OverlappingInstances. End users should always be able to use the default implementation of this method.

toJSONList :: ToJSON a => [a] -> Value

aeson Data.Aeson Data.Aeson.Types

fromList :: [(Key, v)] -> KeyMap v

aeson Data.Aeson.KeyMap

Construct a map with the supplied mappings. If the list contains duplicate mappings, the later mappings take precedence.

>>> fromList [("a", 'x'), ("a", 'y')]
fromList [("a",'y')]

fromListWith :: (v -> v -> v) -> [(Key, v)] -> KeyMap v

aeson Data.Aeson.KeyMap

Construct a map from a list of elements. Uses the provided function, f, to merge duplicate entries with (f newVal oldVal).

toAscList :: KeyMap v -> [(Key, v)]

aeson Data.Aeson.KeyMap

Return a list of this map's elements in ascending order based of the textual key.

toList :: KeyMap v -> [(Key, v)]

aeson Data.Aeson.KeyMap

Return a list of this map's keys and elements. The order is not stable. Use toAscList for stable ordering.