HaskellWorks.Data.Json.Lens

Documentation

class AsNumber t where

Methods

_Number :: Prism' t Scientific

>>> "[1, \"x\"]" ^? nth 0 . _Number
Just 1.0

>>> "[1, \"x\"]" ^? nth 1 . _Number
Nothing

_Number :: AsPrimitive t => Prism' t Scientific

>>> "[1, \"x\"]" ^? nth 0 . _Number
Just 1.0

>>> "[1, \"x\"]" ^? nth 1 . _Number
Nothing

_Double :: Prism' t Double

Prism into an Double over a Value, Primitive or Scientific

>>> "[10.2]" ^? nth 0 . _Double
Just 10.2

_Integer :: Prism' t Integer

Prism into an Integer over a Value, Primitive or Scientific

>>> "[10]" ^? nth 0 . _Integer
Just 10

>>> "[10.5]" ^? nth 0 . _Integer
Just 10

>>> "42" ^? _Integer
Just 42

Instances

AsNumber JsonPartialValue

Defined in HaskellWorks.Data.Json.Lens

Methods

_Number :: Prism' JsonPartialValue Scientific

_Double :: Prism' JsonPartialValue Double

_Integer :: Prism' JsonPartialValue Integer

AsNumber Scientific

Defined in HaskellWorks.Data.Json.Lens

Methods

_Number :: Prism' Scientific Scientific

_Double :: Prism' Scientific Double

_Integer :: Prism' Scientific Integer

AsNumber Primitive

Defined in HaskellWorks.Data.Json.Lens

Methods

_Number :: Prism' Primitive Scientific

_Double :: Prism' Primitive Double

_Integer :: Prism' Primitive Integer

_Integral :: (AsNumber t, Integral a) => Prism' t a

Access Integer Values as Integrals.

>>> "[10]" ^? nth 0 . _Integral
Just 10

>>> "[10.5]" ^? nth 0 . _Integral
Just 10

data Primitive

Primitives of Value

Constructors

StringPrim !String

NumberPrim !Scientific

BoolPrim !Bool

NullPrim

Instances

Eq Primitive

Defined in HaskellWorks.Data.Json.Lens

Methods

(==) :: Primitive -> Primitive -> Bool

(/=) :: Primitive -> Primitive -> Bool

Data Primitive

Defined in HaskellWorks.Data.Json.Lens

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Primitive -> c Primitive

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Primitive

toConstr :: Primitive -> Constr

dataTypeOf :: Primitive -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Primitive)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Primitive)

gmapT :: (forall b. Data b => b -> b) -> Primitive -> Primitive

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Primitive -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Primitive -> r

gmapQ :: (forall d. Data d => d -> u) -> Primitive -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Primitive -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Primitive -> m Primitive

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Primitive -> m Primitive

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Primitive -> m Primitive

Ord Primitive

Defined in HaskellWorks.Data.Json.Lens

Methods

compare :: Primitive -> Primitive -> Ordering

(<) :: Primitive -> Primitive -> Bool

(<=) :: Primitive -> Primitive -> Bool

(>) :: Primitive -> Primitive -> Bool

(>=) :: Primitive -> Primitive -> Bool

max :: Primitive -> Primitive -> Primitive

min :: Primitive -> Primitive -> Primitive

Show Primitive

Defined in HaskellWorks.Data.Json.Lens

Methods

showsPrec :: Int -> Primitive -> ShowS

show :: Primitive -> String

showList :: [Primitive] -> ShowS

AsPrimitive Primitive

Defined in HaskellWorks.Data.Json.Lens

Methods

_Primitive :: Prism' Primitive Primitive

_String :: Prism' Primitive String

_Bool :: Prism' Primitive Bool

_Null :: Prism' Primitive ()

AsNumber Primitive

Defined in HaskellWorks.Data.Json.Lens

Methods

_Number :: Prism' Primitive Scientific

_Double :: Prism' Primitive Double

_Integer :: Prism' Primitive Integer

class AsNumber t => AsPrimitive t where

Methods

_Primitive :: Prism' t Primitive

>>> "[1, \"x\", null, true, false]" ^? nth 0 . _Primitive
Just (NumberPrim 1.0)

>>> "[1, \"x\", null, true, false]" ^? nth 1 . _Primitive
Just (StringPrim "x")

>>> "[1, \"x\", null, true, false]" ^? nth 2 . _Primitive
Just NullPrim

>>> "[1, \"x\", null, true, false]" ^? nth 3 . _Primitive
Just (BoolPrim True)

>>> "[1, \"x\", null, true, false]" ^? nth 4 . _Primitive
Just (BoolPrim False)

_Primitive :: AsValue t => Prism' t Primitive

>>> "[1, \"x\", null, true, false]" ^? nth 0 . _Primitive
Just (NumberPrim 1.0)

>>> "[1, \"x\", null, true, false]" ^? nth 1 . _Primitive
Just (StringPrim "x")

>>> "[1, \"x\", null, true, false]" ^? nth 2 . _Primitive
Just NullPrim

>>> "[1, \"x\", null, true, false]" ^? nth 3 . _Primitive
Just (BoolPrim True)

>>> "[1, \"x\", null, true, false]" ^? nth 4 . _Primitive
Just (BoolPrim False)

_String :: Prism' t String

>>> "{\"a\": \"xyz\", \"b\": true}" ^? key "a" . _String
Just "xyz"

>>> "{\"a\": \"xyz\", \"b\": true}" ^? key "b" . _String
Nothing

>>> _Object._Wrapped # [("key" :: Text, _String # "value")] :: String
"{\"key\":\"value\"}"

_Bool :: Prism' t Bool

>>> "{\"a\": \"xyz\", \"b\": true}" ^? key "b" . _Bool
Just True

>>> "{\"a\": \"xyz\", \"b\": true}" ^? key "a" . _Bool
Nothing

>>> _Bool # True :: String
"true"

>>> _Bool # False :: String
"false"

_Null :: Prism' t ()

>>> "{\"a\": \"xyz\", \"b\": null}" ^? key "b" . _Null
Just ()

>>> "{\"a\": \"xyz\", \"b\": null}" ^? key "a" . _Null
Nothing

>>> _Null # () :: String
"null"

Instances

AsPrimitive JsonPartialValue

Defined in HaskellWorks.Data.Json.Lens

Methods

_Primitive :: Prism' JsonPartialValue Primitive

_String :: Prism' JsonPartialValue String

_Bool :: Prism' JsonPartialValue Bool

_Null :: Prism' JsonPartialValue ()

AsPrimitive Primitive

Defined in HaskellWorks.Data.Json.Lens

Methods

_Primitive :: Prism' Primitive Primitive

_String :: Prism' Primitive String

_Bool :: Prism' Primitive Bool

_Null :: Prism' Primitive ()

nonNull :: Prism' JsonPartialValue JsonPartialValue

Prism into non-Null values

>>> "{\"a\": \"xyz\", \"b\": null}" ^? key "a" . nonNull
Just (String "xyz")

>>> "{\"a\": {}, \"b\": null}" ^? key "a" . nonNull
Just (Object (fromList []))

>>> "{\"a\": \"xyz\", \"b\": null}" ^? key "b" . nonNull
Nothing

class AsPrimitive t => AsValue t where

Minimal complete definition

_Value

Methods

_Value :: Prism' t JsonPartialValue

>>> preview _Value "[1,2,3]" == Just (Array (Vector.fromList [Number 1.0,Number 2.0,Number 3.0]))
True

_Object :: Prism' t (ListMap JsonPartialValue)

>>> "{\"a\": {}, \"b\": null}" ^? key "a" . _Object
Just (fromList [])

>>> "{\"a\": {}, \"b\": null}" ^? key "b" . _Object
Nothing

>>> _Object._Wrapped # [("key" :: String, _String # "value")] :: String
"{\"key\":\"value\"}"

_Array :: Prism' t [JsonPartialValue]

>>> preview _Array "[1,2,3]" == Just (Vector.fromList [Number 1.0,Number 2.0,Number 3.0])
True

Instances

AsValue JsonPartialValue

Defined in HaskellWorks.Data.Json.Lens

Methods

_Value :: Prism' JsonPartialValue JsonPartialValue

_Object :: Prism' JsonPartialValue (ListMap JsonPartialValue)

_Array :: Prism' JsonPartialValue [JsonPartialValue]

key :: AsValue t => String -> Traversal' t JsonPartialValue

Like ix, but for Object with Text indices. This often has better inference than ix when used with OverloadedStrings.

>>> "{\"a\": 100, \"b\": 200}" ^? key "a"
Just (Number 100.0)

>>> "[1,2,3]" ^? key "a"
Nothing

members :: AsValue t => IndexedTraversal' String t JsonPartialValue

An indexed Traversal into Object properties

>>> "{\"a\": 4, \"b\": 7}" ^@.. members
[("a",Number 4.0),("b",Number 7.0)]

>>> "{\"a\": 4, \"b\": 7}" & members . _Number *~ 10
"{\"a\":40,\"b\":70}"

nth :: AsValue t => Int -> Traversal' t JsonPartialValue

Like ix, but for Arrays with Int indexes

>>> "[1,2,3]" ^? nth 1
Just (Number 2.0)

>>> "\"a\": 100, \"b\": 200}" ^? nth 1
Nothing

>>> "[1,2,3]" & nth 1 .~ Number 20
"[1,20,3]"

values :: AsValue t => IndexedTraversal' Int t JsonPartialValue

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]"

>>> "42" ^? (_JSON :: Prism' Lazy.ByteString Value)
Just (Number 42.0)

>>> preview (_Integer :: Prism' Lazy.ByteString Integer) "42"
Just 42

>>> Lazy.unpack (review (_Integer :: Prism' Lazy.ByteString Integer) 42)
"42"

>>> "42" ^? (_JSON :: Prism' Strict.ByteString Value)
Just (Number 42.0)

>>> preview (_Integer :: Prism' Strict.ByteString Integer) "42"
Just 42

>>> Strict.Char8.unpack (review (_Integer :: Prism' Strict.ByteString Integer) 42)
"42"

>>> "42" ^? (_JSON :: Prism' String Value)
Just (Number 42.0)

>>> preview (_Integer :: Prism' String Integer) "42"
Just 42

>>> review (_Integer :: Prism' String Integer) 42
"42"

Orphan instances

Ixed JsonPartialValue

Methods

ix :: Index JsonPartialValue -> Traversal' JsonPartialValue (IxValue JsonPartialValue)

Plated JsonPartialValue

Methods

plate :: Traversal' JsonPartialValue JsonPartialValue