JSON.PatchErrorKind
describes why a patch could not be applied.
The associated PatchError carries this together with the index of the
operation that failed.
CannotRemoveRoot
instantiate
(Fn [] JSON.PatchErrorKind)
creates a CannotRemoveRoot.
IndexOutOfRange
instantiate
(Fn [String] JSON.PatchErrorKind)
creates a IndexOutOfRange.
InvalidArrayIndex
instantiate
(Fn [String] JSON.PatchErrorKind)
creates a InvalidArrayIndex.
InvalidPointer
instantiate
(Fn [String] JSON.PatchErrorKind)
creates a InvalidPointer.
MissingMember
instantiate
(Fn [String] JSON.PatchErrorKind)
creates a MissingMember.
MoveIntoOwnChild
instantiate
(Fn [] JSON.PatchErrorKind)
creates a MoveIntoOwnChild.
NoSuchLocation
instantiate
(Fn [String] JSON.PatchErrorKind)
creates a NoSuchLocation.
NotAString
instantiate
(Fn [String] JSON.PatchErrorKind)
creates a NotAString.
NotAnArray
instantiate
(Fn [] JSON.PatchErrorKind)
creates a NotAnArray.
NotAnObject
instantiate
(Fn [] JSON.PatchErrorKind)
creates a NotAnObject.
SizeLimitExceeded
instantiate
(Fn [] JSON.PatchErrorKind)
creates a SizeLimitExceeded.
TestFailed
instantiate
(Fn [] JSON.PatchErrorKind)
creates a TestFailed.
UnknownOp
instantiate
(Fn [String] JSON.PatchErrorKind)
creates a UnknownOp.
copy
instantiate
(Fn [(Ref JSON.PatchErrorKind a)] JSON.PatchErrorKind)
copies a PatchErrorKind.
delete
instantiate
(Fn [JSON.PatchErrorKind] ())
deletes a JSON.PatchErrorKind. This should usually not be called manually.
get-tag
instantiate
(Fn [(Ref JSON.PatchErrorKind a)] Int)
Gets the tag from a PatchErrorKind.
prn
instantiate
(Fn [(Ref JSON.PatchErrorKind a)] String)
converts a JSON.PatchErrorKind to a string.
str
instantiate
(Fn [(Ref JSON.PatchErrorKind a)] String)
converts a JSON.PatchErrorKind to a string.