aeson-optics

Law-abiding optics for aeson

LTS Haskell 20.16:	1.2.0.1
Stackage Nightly 2023-03-28:	1.2.0.1
Latest on Hackage:	1.2.0.1

See all snapshots aeson-optics appears in

MIT licensed by Edward A. Kmett, Oleg Grenrus

Maintained by Oleg Grenrus

This version can be pinned in stack with:aeson-optics-1.2.0.1@sha256:b88e84aecef97e212c91c2af3700f617f0af033b5e7ef4bd728ecb37f8079bcb,1543

Module documentation for 1.2.0.1

Data
- Data.Aeson
  - Data.Aeson.Optics

Depends on 10 packages(full list with versions):

aeson, attoparsec, base, bytestring, optics-core, optics-extra, scientific, text, text-short, vector

aeson-optics

The goal of optics-aeson is to provide traversals and prisms for the Aeson library’s Value type, while obeying the Traversal/Prism laws.

Changes

1.2.0.1

Drop direct dependency on unordered-containers

1.2

Release corresponding to lens-aeson-1.2 API changes.

Require aeson-2.0.3.* and optics-core-0.4.1 or greater.
Drop support for GHC-8.0

Change the types of _Object, key, and members:

-_Object :: Prism' t (HashMap Text Value)
+_Object :: Prism' t (KeyMap Value)

-key :: AsValue t => Text -> AffineTraversal' t Value
+key :: AsValue t => Key  -> AffineTraversal' t Value

-members :: AsValue t => IndexedTraversal' Text t Value
+members :: AsValue t => IndexedTraversal' Key  t Value

This mirrors similar changes made in aeson-2.0.*, where the type of Object’s field was changed from HashMap Text Value to KeyMap Value.

The Ixed Value instance changes similarly:

-type instance Index Value = Text
+type instance Index Value = Key

Remove Primitive and AsPrimitive, since https://tools.ietf.org/html/rfc7159 de-emphasized the notion of primitive versus composite JSON values.
- The AsPrimitive methods (_Value, _String, and _Bool) are now AsValue methods.
- _Number’s default signature, Bool_, String_, and Null_ now have an AsValue constraint.
Add an IsKey class, whose method _Key is an Iso for converting values to and from a Key.

1.1.1

Support aeson-2.0.0.0: add instances for KeyMap.