Move to the next element in the parent array.
Move to the next element in the parent array.
A com.rojoma.json.v3.zipper.JsonZipper pointing at the next element,
or None
if there is no next element or if the parent is not a
com.rojoma.json.v3.ast.JArray.
Move to the previous element in the parent array.
Move to the previous element in the parent array.
A com.rojoma.json.v3.zipper.JsonZipper pointing at the previous element,
or None
if there is no previous element or if the parent is not a
com.rojoma.json.v3.ast.JArray.
Replace the current value with an object.
Replace the current value with an object.
A com.rojoma.json.v3.zipper.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 com.rojoma.json.v3.zipper.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 com.rojoma.json.v3.zipper.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 com.rojoma.json.v3.zipper.JsonZipper pointing at the new field,
or None
if that field does not exist or the parent is not a
com.rojoma.json.v3.ast.JObject.
Move to the parent object.
Move to the parent object.
A com.rojoma.json.v3.zipper.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 com.rojoma.json.v3.zipper.JsonZipper pointing at the parent object.
if this is the top-level object.
Move to the next element in the parent array.
Move to the next element in the parent array.
A com.rojoma.json.v3.zipper.JsonZipper pointing at the next element.
if there is no next element or if the parent is not a com.rojoma.json.v3.ast.JArray.
Move to the previous element in the parent array.
Move to the previous element in the parent array.
A com.rojoma.json.v3.zipper.JsonZipper pointing at the previous element.
if there is no previous element or if the parent is not a com.rojoma.json.v3.ast.JArray.
Replace the current value with a new value.
Replace the current value with a new value.
A com.rojoma.json.v3.zipper.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 com.rojoma.json.v3.zipper.JsonZipper pointing at the new field.
if there is no such field or if the parent is not a com.rojoma.json.v3.ast.JObject.
A common parent representing both com.rojoma.json.v3.zipper.JsonZippers and the com.rojoma.json.v3.zipper.NothingZippers which result from removing items from the tree of com.rojoma.json.v3.ast.JValues.