module Language.JSON.String.Parser import Language.JSON.String.Tokensimport Text.Lexerimport Text.Parser %default total privatestringChar : Grammar JSONStringToken True CharstringChar = match JSTChar         <|> match JSTSimpleEscape         <|> match JSTUnicodeEscape privatequotedString : Grammar JSONStringToken True StringquotedString = let q = match JSTQuote in                   do chars <- between q q (many stringChar)                      eof                      pure $ pack chars exportparseString : List JSONStringToken -> Maybe StringparseString toks = case parse quotedString toks of                        Right (str, []) => Just str                        _ => Nothing