idris-1.2.0: libs/contrib/Language/JSON/String.idr

module Language.JSON.String

import Language.JSON.String.Lexer
import Language.JSON.String.Parser
import Language.JSON.String.Tokens
import Text.Lexer

%access export
%default total

permissiveStringLit : Lexer
permissiveStringLit
  = quo <+> manyUntil quo (esc any <|> any) <+> opt quo

stringValue : String -> Maybe String
stringValue x = parseString !(lexString x)