0 | module Language.JSON.String
 1 |
 2 | import Language.JSON.String.Lexer
 3 | import Language.JSON.String.Parser
 4 | import Language.JSON.String.Tokens
 5 | import Text.Lexer
 6 |
 7 | %default total
 8 |
 9 | export
10 | permissiveStringLit : Lexer
11 | permissiveStringLit
12 |   = quo <+> manyUntil quo (esc any <|> any) <+> opt quo
13 |
14 | export
15 | stringValue : String -> Maybe String
16 | stringValue x = parseString !(lexString x)
17 |