JSON.ParseErrorKind
describes the cause of a parse failure.
The associated ParseError carries this together with the byte position
where the error was detected.
ExpectedColon
instantiate
(Fn [] JSON.ParseErrorKind)
creates a ExpectedColon.
ExpectedStringKey
instantiate
(Fn [] JSON.ParseErrorKind)
creates a ExpectedStringKey.
InvalidEscape
instantiate
(Fn [Char] JSON.ParseErrorKind)
creates a InvalidEscape.
InvalidLiteral
instantiate
(Fn [String] JSON.ParseErrorKind)
creates a InvalidLiteral.
InvalidNumber
instantiate
(Fn [String] JSON.ParseErrorKind)
creates a InvalidNumber.
LoneHighSurrogate
instantiate
(Fn [] JSON.ParseErrorKind)
creates a LoneHighSurrogate.
TrailingContent
instantiate
(Fn [] JSON.ParseErrorKind)
creates a TrailingContent.
UnexpectedChar
instantiate
(Fn [Char] JSON.ParseErrorKind)
creates a UnexpectedChar.
UnexpectedEof
instantiate
(Fn [] JSON.ParseErrorKind)
creates a UnexpectedEof.
UnterminatedArray
instantiate
(Fn [] JSON.ParseErrorKind)
creates a UnterminatedArray.
copy
instantiate
(Fn [(Ref JSON.ParseErrorKind a)] JSON.ParseErrorKind)
copies a ParseErrorKind.
delete
instantiate
(Fn [JSON.ParseErrorKind] ())
deletes a JSON.ParseErrorKind. This should usually not be called manually.
get-tag
instantiate
(Fn [(Ref JSON.ParseErrorKind a)] Int)
Gets the tag from a ParseErrorKind.
prn
instantiate
(Fn [(Ref JSON.ParseErrorKind a)] String)
converts a JSON.ParseErrorKind to a string.
str
instantiate
(Fn [(Ref JSON.ParseErrorKind a)] String)
converts a JSON.ParseErrorKind to a string.