git.iko.soy/Idris-dev
on 5e2000e help sign in
Idris-dev/libs/contrib/Language/JSON/String.idr
16 lines 368 B history raw
1module Language.JSON.String
3import Language.JSON.String.Lexer
4import Language.JSON.String.Parser
5import Language.JSON.String.Tokens
6import Text.Lexer
8%access export
9%default total
11permissiveStringLit : Lexer
12permissiveStringLit
13 = quo <+> manyUntil quo (esc any <|> any) <+> opt quo
15stringValue : String -> Maybe String
16stringValue x = parseString !(lexString x)