Move to the next element in the parent array.
Move to the next element in the parent array.
A JsonZipper pointing at the next element,
or None if there is no next element or if the parent is not a
JArray.
Move to the previous element in the parent array.
Move to the previous element in the parent array.
A JsonZipper pointing at the previous element,
or None if there is no previous element or if the parent is not a
JArray.
Remove the current value from the tree.
Remove the current value from the tree.
A NothingZipper pointing at the hole left by removing the current value.
Replace the current value with an object.
Replace the current value with an object.
A JsonZipper pointing at the same location but with the current value replaced.
Replace the current value with an array.
Replace the current value with an array.
A JsonZipper pointing at the same location but with the current value replaced.
Replace the current value with an atom.
Replace the current value with an atom.
A JsonZipper pointing at the same location but with the current value replaced.
Move to a different field in the parent object.
Move to a different field in the parent object.
A JsonZipper pointing at the new field,
or None if that field does not exist or the parent is not a
JObject.
Move up the chain of parents to the top of the object.
Move up the chain of parents to the top of the object.
A JsonZipper pointing at the top object.
Move to the parent object.
Move to the parent object.
A JsonZipper pointing at the parent object,
or None if this is the top-level object.
Move to the parent object.
Move to the parent object.
A JsonZipper pointing at the parent object.
The value stored at this location
The value stored at this location
Safe downcast to JArrayZipper
Safe downcast to JArrayZipper
Safe downcast to JAtomZipper
Safe downcast to JAtomZipper
Safe downcast to JObjectZipper
Safe downcast to JObjectZipper
Move to the next element in the parent array.
Move to the next element in the parent array.
A JsonZipper pointing at the next element.
Move to the previous element in the parent array.
Move to the previous element in the parent array.
A JsonZipper pointing at the previous element.
Replace the current value with a new value.
Replace the current value with a new value.
A JsonZipper pointing at the same location but with the current value replaced.
Move to a different field in the parent object.
Move to a different field in the parent object.
A JsonZipper pointing at the new field.
A JsonZipper that points to a JObject.