Pretty print the given CursorHistory' to a more useful format compared to a Seq of i.

This function will condense incidental movements, reducing the amount of noise in the error output.

The rules that are currently applied are:

• [R n, R m] = [R (n + m)]
• [L n, R m] = [L (n + m)]
• [R n, L m] = [R (n - m)] where n > m
• [R n, L m] = [L (m - n)] where n < m
• [L n, R m] = [L (n - m)] where n > m
• [L n, R m] = [R (m - n)] where n < m
• [DAt k, R n] = [DAt k]

This function is automatically applied when using the ppCursorHistory function to render the cursor movements.

The general structure used to maintain the history of the moves around the zipper, as well as handle the decoding or movement errors that may occur. This structure is generalised of the inner f to allow you to interleave the decoding with your own actions. As well as the error type e so that you may provide your own error type.

If you use the provided Decode module then you probably won't need to care about this type. It is provided so that you're not limited to how we decide you should be running your decoder.

Wrapper type to describe a Decoder from something that has a Jsonish value c, to some representation of a.

Helper function for constructing a Decoder'.

This function is used by the implemented decoders to simplify constructing a more specific Decoder' type.

withCursor' $ curs ->
  ...
  ...

Execute a given DecoderResultT.

If you're building your own decoder structure, this function will take care of the CursorHistory' and error handling (via ExceptT).

Attempt a Decoder action that might fail and return a Maybe value instead.

Record a move on the zipper and the index of the position where the move occured.

Try to decode a null value from some Json value

Try to decode an Int from some Json value

Try to decode a Text value from some Json or value. This will fail if the input value is not a valid UTF-8 Text value, as checked by the decodeUtf8' function.

Try to decode a String value from some Json or value.

Try to decode a ByteString value from some Json or value.

Try to decode a ByteString value from some Json or value.

Decoder for a Haskell Char value whose values represent Unicode (or equivalently ISO/IEC 10646) characters

Decoder for a Char value that cannot contain values in the range U+D800 to U+DFFF. This decoder will fail if the Char is outside of this range.

Try to decode a Bool from some Json value

Combined with another decoder function f, try to decode a list of a values.

array' int' :: Json -> [Int]

Try to decode a bounded 'Integral n => n' value from some Json value.

Try to decode a Scientific value from some Json or value.

Try to decode a JSON Object into it's representative list of tuples '(key, value)'. The JSON RFC does not specify that an object must contain unique keys. We do not enforce unique keys during the decoding process and leave it to the user to decide if, and how, they would like to handle this situation.

Generalised moving decoder function.

Starting from the given cursor position, try to move in the direction specified by the given cursor function. Attempting to decode each item at each position using the given Decoder, until the movement is unsuccessful.

The following could be used to leverage the Snoc instance of '[]' to build '[Int]'.

intList :: Monad f => JCurs -> DecodeResult f [Int]
intList = directedConsumption' snoc moveRight1 int

Build the basis for a Decoder based on a Prism'.

Provide a generalised and low level way of turning a JSON object into a Map, without enforcing a choice of how we select keys.

Turn a JSON object into a Map by keeping the *first* occurence of any duplicate keys that are encountered.

Turn a JSON object into a Map by keeping the *last* occurence of any duplicate keys that are encountered.

Describes the sorts of errors that may be treated as a DecodeError, for use with Prisms.

Set of errors that may occur during the decode phase.

Set of moves that may be executed on a zipper.

Pretty print a given zipper movement, used when printing CursorHistory' to improve the readability of the errors.