A cursor that tracks history and represents the possibility of failure.
A cursor that tracks history and represents the possibility of failure.
A zipper that represents a position in a JSON value and supports navigation around the JSON value.
A zipper that represents a position in a JSON value and supports navigation around the JSON value.
The focus
represents the current position of the cursor; it may be updated with withFocus
or
changed using the navigation methods left
, right
, etc.
A type class that provides a conversion from a value of type A
to a Json value.
A zipper that represents a position in a JSON document and supports navigation and modification.
A zipper that represents a position in a JSON document and supports navigation and modification.
The focus
represents the current position of the cursor; it may be updated with withFocus
or
changed using navigation methods like left
and right
.
circe includes three kinds of cursors. Cursor is the simplest: it doesn't keep track of its history. HCursor is a cursor that does keep track of its history, but does not represent the possibility that a navigation or modification operation has failed. ACursor is the richest cursor, since it both tracks history through an underlying HCursor and can represent failed operations.
GenericCursor is an abstraction over these three types, and it has several abstract type
members that are required in order to represent the different roles of the three cursor types.
Self
is simply the specific type of the cursor, Focus
is a type constructor that represents
the context in which the focus is available, Result
is the type that is returned by all
navigation and modification operations, and M
is a type class that includes the operations that
we need for withFocusM
.
A cursor that tracks the history of operations performed with it.
A cursor that tracks the history of operations performed with it.
A data type representing possible JSON values.
A JSON number with optimization by cases.
A mapping from keys to JSON values that maintains insertion order.
A type class that provides a conversion from a value of type A
to a JsonObject.
A pretty-printer for JSON values.
A pretty-printer for JSON values.
Determines if field ordering should be preserved.
Determines if object fields with values of null are dropped from the output.
The indentation to use if any format strings contain a new line.
Spaces to insert to left of a left brace.
Spaces to insert to right of a left brace.
Spaces to insert to left of a right brace.
Spaces to insert to right of a right brace.
Spaces to insert to left of a left bracket.
Spaces to insert to right of a left bracket.
Spaces to insert to left of a right bracket.
Spaces to insert to right of a right bracket.
Spaces to insert for an empty array.
Spaces to insert to left of a comma in an array.
Spaces to insert to right of a comma in an array.
Spaces to insert to left of a comma in an object.
Spaces to insert to right of a comma in an object.
Spaces to insert to left of a colon.
Spaces to insert to right of a colon.
Utilities and instances for Decoder.
Utilities and instances for Encoder.
Constructors, type class instances, and other utilities for JsonNumber.
Constructors, type class instances, and other utilities for JsonObject.
Decoder and Encoder instances for disjunction types with reasonable names for the sides.
This package provides syntax via enrichment classes.