- data Value
- type Array = Vector Value
- type Object = Map Text Value
- newtype DotNetTime = DotNetTime UTCTime
- class FromJSON a where
- data Result a
- fromJSON :: FromJSON a => Value -> Result a
- class ToJSON a where
- (.=) :: ToJSON a => Text -> a -> Pair
- (.:) :: FromJSON a => Object -> Text -> Parser a
- (.:?) :: FromJSON a => Object -> Text -> Parser (Maybe a)
- object :: [Pair] -> Value
- encode :: ToJSON a => a -> ByteString
- json :: Parser Value
Core JSON types
A JSON value represented as a Haskell value.
Convenience types
newtype DotNetTime Source
A newtype wrapper for UTCTime
that uses the same non-standard
serialization format as Microsoft .NET.
Type conversion
A type that can be converted from JSON, with the possibility of failure.
When writing an instance, use mzero
or fail
to make a
conversion fail, e.g. if an Object
is missing a required key, or
the value is of the wrong type.
An example type and instance:
data Coord { x :: Double, y :: Double } instance FromJSON Coord where parseJSON (Object
v) = Coord<$>
v.:
"x"<*>
v.:
"y" -- A non-Object
value is of the wrong type, so usemzero
to fail. parseJSON _ =mzero
FromJSON Bool | |
FromJSON Char | |
FromJSON Double | |
FromJSON Float | |
FromJSON Int | |
FromJSON Int8 | |
FromJSON Int16 | |
FromJSON Int32 | |
FromJSON Int64 | |
FromJSON Integer | |
FromJSON Word | |
FromJSON Word8 | |
FromJSON Word16 | |
FromJSON Word32 | |
FromJSON Word64 | |
FromJSON () | |
FromJSON ByteString | |
FromJSON ByteString | |
FromJSON Number | |
FromJSON Text | |
FromJSON Text | |
FromJSON IntSet | |
FromJSON UTCTime | |
FromJSON DotNetTime | |
FromJSON Value | |
FromJSON [Char] | |
FromJSON a => FromJSON [a] | |
FromJSON (Ratio Integer) | |
FromJSON a => FromJSON (Maybe a) | |
FromJSON a => FromJSON (Dual a) | |
FromJSON a => FromJSON (First a) | |
FromJSON a => FromJSON (Last a) | |
(Ord a, FromJSON a) => FromJSON (Set a) | |
FromJSON a => FromJSON (Vector a) | |
(FromJSON a, FromJSON b) => FromJSON (Either a b) | |
(FromJSON a, FromJSON b) => FromJSON (a, b) | |
FromJSON v => FromJSON (Map String v) | |
FromJSON v => FromJSON (Map Text v) | |
FromJSON v => FromJSON (Map Text v) |
The result of running a Parser
.
fromJSON :: FromJSON a => Value -> Result aSource
Convert a value from JSON, failing if the types do not match.
A type that can be converted to JSON.
An example type and instance:
data Coord { x :: Double, y :: Double } instance ToJSON Coord where toJSON (Coord x y) =object
["x".=
x, "y".=
y]
ToJSON Bool | |
ToJSON Char | |
ToJSON Double | |
ToJSON Float | |
ToJSON Int | |
ToJSON Int8 | |
ToJSON Int16 | |
ToJSON Int32 | |
ToJSON Int64 | |
ToJSON Integer | |
ToJSON Word | |
ToJSON Word8 | |
ToJSON Word16 | |
ToJSON Word32 | |
ToJSON Word64 | |
ToJSON () | |
ToJSON ByteString | |
ToJSON ByteString | |
ToJSON Number | |
ToJSON Text | |
ToJSON Text | |
ToJSON IntSet | |
ToJSON UTCTime | |
ToJSON DotNetTime | |
ToJSON Value | |
ToJSON [Char] | |
ToJSON a => ToJSON [a] | |
ToJSON (Ratio Integer) | |
ToJSON a => ToJSON (Maybe a) | |
ToJSON a => ToJSON (Dual a) | |
ToJSON a => ToJSON (First a) | |
ToJSON a => ToJSON (Last a) | |
ToJSON a => ToJSON (Set a) | |
ToJSON a => ToJSON (Vector a) | |
(ToJSON a, ToJSON b) => ToJSON (Either a b) | |
(ToJSON a, ToJSON b) => ToJSON (a, b) | |
ToJSON v => ToJSON (Map String v) | |
ToJSON v => ToJSON (Map Text v) | |
ToJSON v => ToJSON (Map Text v) |
Constructors and accessors
(.:) :: FromJSON a => Object -> Text -> Parser aSource
Retrieve the value associated with the given key of an Object
.
The result is empty
if the key is not present or the value cannot
be converted to the desired type.
This accessor is appropriate if the key and value must be present in an object for it to be valid. If the key and value are optional, use '(.:?)' instead.
(.:?) :: FromJSON a => Object -> Text -> Parser (Maybe a)Source
Retrieve the value associated with the given key of an Object
.
The result is Nothing
if the key is not present, or empty
if
the value cannot be converted to the desired type.
This accessor is most useful if the key and value can be absent from an object without affecting its validity. If the key and value are mandatory, use '(.:)' instead.
Encoding and parsing
encode :: ToJSON a => a -> ByteStringSource
Efficiently serialize a JSON value as a lazy ByteString
.