| Copyright | (c) Oleg Grenrus 2019 (c) Edward Kmett 2013-2019 (c) Paul Wilson 2012 |
|---|---|
| License | MIT |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | Trustworthy |
| Language | Haskell2010 |
Data.Aeson.Optics
Synopsis
- class AsNumber t where
- _Integral :: (AsNumber t, Integral a) => Prism' t a
- nonNull :: Prism' Value Value
- class AsNumber t => AsValue t where
- key :: AsValue t => Key -> AffineTraversal' t Value
- members :: AsValue t => IxTraversal' Key t Value
- nth :: AsValue t => Int -> AffineTraversal' t Value
- values :: AsValue t => IxTraversal' Int t Value
- class IsKey t where
- class AsJSON t where
- _JSON' :: (AsJSON t, FromJSON a, ToJSON a) => Prism' t a
- pattern JSON :: (FromJSON a, ToJSON a, AsJSON t) => a -> t
- pattern Value_ :: (FromJSON a, ToJSON a) => a -> Value
- pattern Number_ :: AsNumber t => Scientific -> t
- pattern Double :: AsNumber t => Double -> t
- pattern Integer :: AsNumber t => Integer -> t
- pattern Integral :: (AsNumber t, Integral a) => a -> t
- pattern Bool_ :: AsValue t => Bool -> t
- pattern String_ :: AsValue t => Text -> t
- pattern Null_ :: AsValue t => t
- pattern Key_ :: IsKey t => Key -> t
Numbers
class AsNumber t where Source #
Minimal complete definition
Nothing
Methods
_Number :: Prism' t Scientific Source #
>>>"[1, \"x\"]" ^? nth 0 % _NumberJust 1.0
>>>"[1, \"x\"]" ^? nth 1 % _NumberNothing
_Double :: Prism' t Double Source #
Prism into an Double over a Value, Primitive or Scientific
>>>"[10.2]" ^? nth 0 % _DoubleJust 10.2
_Integer :: Prism' t Integer Source #
Prism into an Integer over a Value, Primitive or Scientific
>>>"[10]" ^? nth 0 % _IntegerJust 10
>>>"[10.5]" ^? nth 0 % _IntegerJust 10
>>>"42" ^? _IntegerJust 42
Instances
| AsNumber Value Source # | |
| AsNumber ByteString Source # | |
Defined in Data.Aeson.Optics | |
| AsNumber ByteString Source # | |
Defined in Data.Aeson.Optics | |
| AsNumber Scientific Source # | |
Defined in Data.Aeson.Optics | |
| AsNumber Text Source # | |
| AsNumber Text Source # | |
| AsNumber String Source # | |
_Integral :: (AsNumber t, Integral a) => Prism' t a Source #
Access Integer Values as Integrals.
>>>"[10]" ^? nth 0 % _IntegralJust 10
>>>"[10.5]" ^? nth 0 % _IntegralJust 10
nonNull :: Prism' Value Value Source #
Prism into non-Null values
>>>"{\"a\": \"xyz\", \"b\": null}" ^? key "a" % nonNullJust (String "xyz")
>>>"{\"a\": {}, \"b\": null}" ^? key "a" % nonNullJust (Object (fromList []))
>>>"{\"a\": \"xyz\", \"b\": null}" ^? key "b" % nonNullNothing
Objects and Arrays
class AsNumber t => AsValue t where Source #
Minimal complete definition
Methods
_Value :: Prism' t Value Source #
>>>preview _Value "[1,2,3]" == Just (Array (Vector.fromList [Number 1.0,Number 2.0,Number 3.0]))True
_Object :: Prism' t (KeyMap Value) Source #
>>>"{\"a\": {}, \"b\": null}" ^? key "a" % _ObjectJust (fromList [])
>>>"{\"a\": {}, \"b\": null}" ^? key "b" % _ObjectNothing
>>>_Object # KeyMap.fromList [("key", _String # "value")] :: String"{\"key\":\"value\"}"
_Array :: Prism' t (Vector Value) Source #
>>>preview _Array "[1,2,3]" == Just (Vector.fromList [Number 1.0,Number 2.0,Number 3.0])True
_String :: Prism' t Text Source #
>>>"{\"a\": \"xyz\", \"b\": true}" ^? key "a" % _StringJust "xyz"
>>>"{\"a\": \"xyz\", \"b\": true}" ^? key "b" % _StringNothing
>>>_Object # KeyMap.fromList [("key", _String # "value")] :: String"{\"key\":\"value\"}"
_Bool :: Prism' t Bool Source #
>>>"{\"a\": \"xyz\", \"b\": true}" ^? key "b" % _BoolJust True
>>>"{\"a\": \"xyz\", \"b\": true}" ^? key "a" % _BoolNothing
>>>_Bool # True :: String"true"
>>>_Bool # False :: String"false"
>>>"{\"a\": \"xyz\", \"b\": null}" ^? key "b" % _NullJust ()
>>>"{\"a\": \"xyz\", \"b\": null}" ^? key "a" % _NullNothing
>>>_Null # () :: String"null"
members :: AsValue t => IxTraversal' Key t Value Source #
An indexed Traversal into Object properties
>>>Data.List.sort (itoListOf (members % _Number) "{\"a\": 4, \"b\": 7}")[("a",4.0),("b",7.0)]
>>>"{\"a\": 4}" & members % _Number %~ (*10)"{\"a\":40}"
nth :: AsValue t => Int -> AffineTraversal' t Value Source #
Like ix, but for Arrays with Int indexes
>>>"[1,2,3]" ^? nth 1Just (Number 2.0)
>>>"{\"a\": 100, \"b\": 200}" ^? nth 1Nothing
>>>"[1,2,3]" & nth 1 .~ Number 20"[1,20,3]"
values :: AsValue t => IxTraversal' Int t Value Source #
An indexed Traversal into Array elements
>>>"[1,2,3]" ^.. values[Number 1.0,Number 2.0,Number 3.0]
>>>"[1,2,3]" & values % _Number %~ (*10)"[10,20,30]"
Methods
_Key is an Iso from something to a Key. This is primarily intended
for situations where one wishes to use object keys that are not string
literals and therefore must be converted:
>>>let k = "a" :: Text>>>"{\"a\": 100, \"b\": 200}" ^? key (k ^. _Key)Just (Number 100.0)
Note that applying _Key directly to a string literal
(e.g., "a" ^. ) will likely not typecheck when
_KeyOverloadedStrings is enabled.
Decoding
Methods
Instances
| AsJSON Value Source # | |
| AsJSON ByteString Source # | |
Defined in Data.Aeson.Optics Methods _JSON :: (FromJSON a, ToJSON b) => Prism ByteString ByteString a b Source # | |
| AsJSON ByteString Source # | |
Defined in Data.Aeson.Optics Methods _JSON :: (FromJSON a, ToJSON b) => Prism ByteString ByteString a b Source # | |
| AsJSON Text Source # | |
| AsJSON Text Source # | |
| AsJSON String Source # | |
Pattern Synonyms
pattern Number_ :: AsNumber t => Scientific -> t Source #