{-# LANGUAGE CPP #-}
module Swish.RDF.Parser.NTriples
( ParseResult
, parseNT
)
where
import Swish.GraphClass (arc)
import Swish.Namespace (ScopedName, makeURIScopedName)
import Swish.RDF.Graph (RDFGraph, RDFLabel(..), addArc, emptyRDFGraph)
import Swish.RDF.Vocabulary (LanguageTag, toLangTag)
import Swish.RDF.Parser.Utils (ParseResult
, runParserWithError
, ignore
, skipMany
, noneOf
, char
, string
, eoln
, fullStop
, hex4
, hex8
)
import Control.Applicative
import Network.URI (parseURI)
import qualified Data.Text as T
import qualified Data.Text.Lazy as L
import Data.Char (isAsciiLower, isAsciiUpper, isDigit, ord)
#if MIN_VERSION_base(4, 7, 0)
import Data.Functor (($>))
#endif
import Data.Maybe (fromMaybe)
import Text.ParserCombinators.Poly.StateText
#if !MIN_VERSION_base(4, 7, 0)
($>) :: Functor f => f a -> b -> f b
($>) = flip (<$)
#endif
data NTState = NTState
{ NTState -> RDFGraph
graphState :: RDFGraph
}
emptyState :: NTState
emptyState :: NTState
emptyState = NTState { graphState :: RDFGraph
graphState = RDFGraph
emptyRDFGraph }
updateGraph :: (RDFGraph -> RDFGraph) -> NTState -> NTState
updateGraph :: (RDFGraph -> RDFGraph) -> NTState -> NTState
updateGraph RDFGraph -> RDFGraph
f NTState
s = NTState
s { graphState = f (graphState s) }
type NTParser a = Parser NTState a
parseNT ::
L.Text
-> ParseResult
parseNT :: Text -> ParseResult
parseNT = NTParser RDFGraph -> Text -> ParseResult
forall a. NTParser a -> Text -> Either String a
parsefromText NTParser RDFGraph
ntripleDoc
parsefromText ::
NTParser a
-> L.Text
-> Either String a
parsefromText :: forall a. NTParser a -> Text -> Either String a
parsefromText NTParser a
parser = NTParser a -> NTState -> Text -> Either String a
forall a b. Parser a b -> a -> Text -> Either String b
runParserWithError NTParser a
parser NTState
emptyState
addStatement :: RDFLabel -> RDFLabel -> RDFLabel -> NTParser ()
addStatement :: RDFLabel -> RDFLabel -> RDFLabel -> NTParser ()
addStatement RDFLabel
s RDFLabel
p RDFLabel
o = (NTState -> NTState) -> NTParser ()
forall s. (s -> s) -> Parser s ()
stUpdate ((RDFGraph -> RDFGraph) -> NTState -> NTState
updateGraph (Arc RDFLabel -> RDFGraph -> RDFGraph
forall lb. Label lb => Arc lb -> NSGraph lb -> NSGraph lb
addArc (RDFLabel -> RDFLabel -> RDFLabel -> Arc RDFLabel
forall lb. lb -> lb -> lb -> Arc lb
arc RDFLabel
s RDFLabel
p RDFLabel
o) ))
ntripleDoc :: NTParser RDFGraph
ntripleDoc :: NTParser RDFGraph
ntripleDoc = NTState -> RDFGraph
graphState (NTState -> RDFGraph)
-> Parser NTState NTState -> NTParser RDFGraph
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (NTParser () -> NTParser () -> Parser NTState [()]
forall (p :: * -> *) a sep. PolyParse p => p a -> p sep -> p [a]
sepBy NTParser ()
line NTParser ()
forall s. Parser s ()
eoln Parser NTState [()]
-> Parser NTState (Maybe ()) -> Parser NTState (Maybe ())
forall a b.
Parser NTState a -> Parser NTState b -> Parser NTState b
forall (f :: * -> *) a b. Applicative f => f a -> f b -> f b
*> NTParser () -> Parser NTState (Maybe ())
forall (f :: * -> *) a. Alternative f => f a -> f (Maybe a)
optional NTParser ()
forall s. Parser s ()
eoln Parser NTState (Maybe ()) -> NTParser () -> NTParser ()
forall a b.
Parser NTState a -> Parser NTState b -> Parser NTState b
forall (f :: * -> *) a b. Applicative f => f a -> f b -> f b
*> NTParser ()
skipWS NTParser () -> NTParser () -> NTParser ()
forall a b.
Parser NTState a -> Parser NTState b -> Parser NTState b
forall (f :: * -> *) a b. Applicative f => f a -> f b -> f b
*> NTParser ()
forall s. Parser s ()
eof NTParser () -> Parser NTState NTState -> Parser NTState NTState
forall a b.
Parser NTState a -> Parser NTState b -> Parser NTState b
forall (f :: * -> *) a b. Applicative f => f a -> f b -> f b
*> Parser NTState NTState
forall s. Parser s s
stGet)
line :: NTParser ()
line :: NTParser ()
line = NTParser ()
skipWS NTParser () -> NTParser () -> NTParser ()
forall a b.
Parser NTState a -> Parser NTState b -> Parser NTState b
forall (f :: * -> *) a b. Applicative f => f a -> f b -> f b
*> Parser NTState (Maybe ()) -> NTParser ()
forall (f :: * -> *) a. Applicative f => f a -> f ()
ignore (NTParser () -> Parser NTState (Maybe ())
forall (f :: * -> *) a. Alternative f => f a -> f (Maybe a)
optional (NTParser ()
comment NTParser () -> NTParser () -> NTParser ()
forall a. Parser NTState a -> Parser NTState a -> Parser NTState a
forall (f :: * -> *) a. Alternative f => f a -> f a -> f a
<|> NTParser ()
triple))
isWS :: Char -> Bool
isWS :: Char -> Bool
isWS = (Char -> String -> Bool
forall a. Eq a => a -> [a] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`elem` (String
" \t" :: String))
skipWS :: NTParser ()
skipWS :: NTParser ()
skipWS = Parser NTState Text -> NTParser ()
forall (f :: * -> *) a. Applicative f => f a -> f ()
ignore (Parser NTState Text -> NTParser ())
-> Parser NTState Text -> NTParser ()
forall a b. (a -> b) -> a -> b
$ (Char -> Bool) -> Parser NTState Text
forall s. (Char -> Bool) -> Parser s Text
manySatisfy Char -> Bool
isWS
skip1WS :: NTParser ()
skip1WS :: NTParser ()
skip1WS = Parser NTState Text -> NTParser ()
forall (f :: * -> *) a. Applicative f => f a -> f ()
ignore (Parser NTState Text -> NTParser ())
-> Parser NTState Text -> NTParser ()
forall a b. (a -> b) -> a -> b
$ (Char -> Bool) -> Parser NTState Text
forall s. (Char -> Bool) -> Parser s Text
many1Satisfy Char -> Bool
isWS
comment :: NTParser ()
= Char -> Parser NTState Char
forall s. Char -> Parser s Char
char Char
'#' Parser NTState Char -> NTParser () -> NTParser ()
forall a b.
Parser NTState a -> Parser NTState b -> Parser NTState b
forall (f :: * -> *) a b. Applicative f => f a -> f b -> f b
*> Parser NTState Char -> NTParser ()
forall s a. Parser s a -> Parser s ()
skipMany (String -> Parser NTState Char
forall s. String -> Parser s Char
noneOf String
"\r\n")
isaz, isAZ, is09 :: Char -> Bool
isaz :: Char -> Bool
isaz = Char -> Bool
isAsciiLower
isAZ :: Char -> Bool
isAZ = Char -> Bool
isAsciiUpper
is09 :: Char -> Bool
is09 = Char -> Bool
isDigit
isaZ, isaZ09 :: Char -> Bool
isaZ :: Char -> Bool
isaZ Char
c = Char -> Bool
isaz Char
c Bool -> Bool -> Bool
|| Char -> Bool
isAZ Char
c
isaZ09 :: Char -> Bool
isaZ09 Char
c = Char -> Bool
isaZ Char
c Bool -> Bool -> Bool
|| Char -> Bool
is09 Char
c
isHeadChar, isBodyChar :: Char -> Bool
isHeadChar :: Char -> Bool
isHeadChar = Char -> Bool
isaZ
isBodyChar :: Char -> Bool
isBodyChar = Char -> Bool
isaZ09
name :: NTParser L.Text
name :: Parser NTState Text
name = Char -> Text -> Text
L.cons (Char -> Text -> Text)
-> Parser NTState Char -> Parser NTState (Text -> Text)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Char -> Bool) -> Parser NTState Char
forall s. (Char -> Bool) -> Parser s Char
satisfy Char -> Bool
isHeadChar Parser NTState (Text -> Text)
-> Parser NTState Text -> Parser NTState Text
forall a b.
Parser NTState (a -> b) -> Parser NTState a -> Parser NTState b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Char -> Bool) -> Parser NTState Text
forall s. (Char -> Bool) -> Parser s Text
manySatisfy Char -> Bool
isBodyChar
nameStr :: NTParser String
nameStr :: NTParser String
nameStr = Text -> String
L.unpack (Text -> String) -> Parser NTState Text -> NTParser String
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Parser NTState Text
name
triple :: NTParser ()
triple :: NTParser ()
triple =
do
RDFLabel
s <- NTParser RDFLabel
subject NTParser RDFLabel -> NTParser () -> NTParser RDFLabel
forall a b.
Parser NTState a -> Parser NTState b -> Parser NTState a
forall (f :: * -> *) a b. Applicative f => f a -> f b -> f a
<* NTParser ()
skip1WS
RDFLabel
p <- NTParser RDFLabel
predicate NTParser RDFLabel -> NTParser () -> NTParser RDFLabel
forall a b.
Parser NTState a -> Parser NTState b -> Parser NTState a
forall (f :: * -> *) a b. Applicative f => f a -> f b -> f a
<* NTParser ()
skip1WS
RDFLabel
o <- NTParser RDFLabel
object NTParser RDFLabel -> NTParser () -> NTParser RDFLabel
forall a b.
Parser NTState a -> Parser NTState b -> Parser NTState a
forall (f :: * -> *) a b. Applicative f => f a -> f b -> f a
<* (NTParser ()
skipWS NTParser () -> NTParser () -> NTParser ()
forall a b.
Parser NTState a -> Parser NTState b -> Parser NTState b
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> NTParser ()
forall s. Parser s ()
fullStop NTParser () -> NTParser () -> NTParser ()
forall a b.
Parser NTState a -> Parser NTState b -> Parser NTState b
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> NTParser ()
skipWS)
RDFLabel -> RDFLabel -> RDFLabel -> NTParser ()
addStatement RDFLabel
s RDFLabel
p RDFLabel
o
subject :: NTParser RDFLabel
subject :: NTParser RDFLabel
subject = NTParser RDFLabel
urirefLbl NTParser RDFLabel -> NTParser RDFLabel -> NTParser RDFLabel
forall a. Parser NTState a -> Parser NTState a -> Parser NTState a
forall (f :: * -> *) a. Alternative f => f a -> f a -> f a
<|> NTParser RDFLabel
nodeID
predicate :: NTParser RDFLabel
predicate :: NTParser RDFLabel
predicate = NTParser RDFLabel
urirefLbl
object :: NTParser RDFLabel
object :: NTParser RDFLabel
object = NTParser RDFLabel
urirefLbl NTParser RDFLabel -> NTParser RDFLabel -> NTParser RDFLabel
forall a. Parser NTState a -> Parser NTState a -> Parser NTState a
forall (f :: * -> *) a. Alternative f => f a -> f a -> f a
<|> NTParser RDFLabel
nodeID NTParser RDFLabel -> NTParser RDFLabel -> NTParser RDFLabel
forall a. Parser NTState a -> Parser NTState a -> Parser NTState a
forall (f :: * -> *) a. Alternative f => f a -> f a -> f a
<|> NTParser RDFLabel
literal
uriref :: NTParser ScopedName
uriref :: NTParser ScopedName
uriref = do
Parser NTState Char -> NTParser ()
forall (f :: * -> *) a. Applicative f => f a -> f ()
ignore (Parser NTState Char -> NTParser ())
-> Parser NTState Char -> NTParser ()
forall a b. (a -> b) -> a -> b
$ Char -> Parser NTState Char
forall s. Char -> Parser s Char
char Char
'<'
String
uri <- Parser NTState Char -> Parser NTState Char -> NTParser String
forall (p :: * -> *) a z.
(PolyParse p, Show a) =>
p a -> p z -> p [a]
manyFinally' Parser NTState Char
character (Char -> Parser NTState Char
forall s. Char -> Parser s Char
char Char
'>')
NTParser ScopedName
-> (URI -> NTParser ScopedName) -> Maybe URI -> NTParser ScopedName
forall b a. b -> (a -> b) -> Maybe a -> b
maybe (String -> NTParser ScopedName
forall (p :: * -> *) a. PolyParse p => String -> p a
failBad (String
"Invalid URI: <" String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
uri String -> String -> String
forall a. [a] -> [a] -> [a]
++ String
">"))
(ScopedName -> NTParser ScopedName
forall a. a -> Parser NTState a
forall (m :: * -> *) a. Monad m => a -> m a
return (ScopedName -> NTParser ScopedName)
-> (URI -> ScopedName) -> URI -> NTParser ScopedName
forall b c a. (b -> c) -> (a -> b) -> a -> c
. URI -> ScopedName
makeURIScopedName)
(String -> Maybe URI
parseURI String
uri)
urirefLbl :: NTParser RDFLabel
urirefLbl :: NTParser RDFLabel
urirefLbl = ScopedName -> RDFLabel
Res (ScopedName -> RDFLabel)
-> NTParser ScopedName -> NTParser RDFLabel
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> NTParser ScopedName
uriref
nodeID :: NTParser RDFLabel
nodeID :: NTParser RDFLabel
nodeID = String -> RDFLabel
Blank (String -> RDFLabel) -> NTParser String -> NTParser RDFLabel
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (String -> NTParser String
forall s. String -> Parser s String
string String
"_:" NTParser String -> NTParser String -> NTParser String
forall a b.
Parser NTState a -> Parser NTState b -> Parser NTState b
forall (f :: * -> *) a b. Applicative f => f a -> f b -> f b
*> NTParser String
nameStr)
literal :: NTParser RDFLabel
literal :: NTParser RDFLabel
literal = do
Text
lit <- String -> Text
T.pack (String -> Text) -> NTParser String -> Parser NTState Text
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> NTParser String
ntstring
Maybe (Either LanguageTag ScopedName)
opt <- Parser NTState (Either LanguageTag ScopedName)
-> Parser NTState (Maybe (Either LanguageTag ScopedName))
forall (f :: * -> *) a. Alternative f => f a -> f (Maybe a)
optional Parser NTState (Either LanguageTag ScopedName)
dtlang
RDFLabel -> NTParser RDFLabel
forall a. a -> Parser NTState a
forall (m :: * -> *) a. Monad m => a -> m a
return (RDFLabel -> NTParser RDFLabel) -> RDFLabel -> NTParser RDFLabel
forall a b. (a -> b) -> a -> b
$ case Maybe (Either LanguageTag ScopedName)
opt of
Just (Left LanguageTag
lcode) -> Text -> LanguageTag -> RDFLabel
LangLit Text
lit LanguageTag
lcode
Just (Right ScopedName
dtype) -> Text -> ScopedName -> RDFLabel
TypedLit Text
lit ScopedName
dtype
Maybe (Either LanguageTag ScopedName)
_ -> Text -> RDFLabel
Lit Text
lit
ntstring :: NTParser String
ntstring :: NTParser String
ntstring = Parser NTState Char
-> Parser NTState Char -> NTParser String -> NTParser String
forall (p :: * -> *) bra ket a.
PolyParse p =>
p bra -> p ket -> p a -> p a
bracket (Char -> Parser NTState Char
forall s. Char -> Parser s Char
char Char
'"') (Char -> Parser NTState Char
forall s. Char -> Parser s Char
char Char
'"') (Parser NTState Char -> NTParser String
forall a. Parser NTState a -> Parser NTState [a]
forall (f :: * -> *) a. Alternative f => f a -> f [a]
many Parser NTState Char
character)
dtlang :: NTParser (Either LanguageTag ScopedName)
dtlang :: Parser NTState (Either LanguageTag ScopedName)
dtlang =
(Char -> Parser NTState Char
forall s. Char -> Parser s Char
char Char
'@' Parser NTState Char
-> Parser NTState (Either LanguageTag ScopedName)
-> Parser NTState (Either LanguageTag ScopedName)
forall a b.
Parser NTState a -> Parser NTState b -> Parser NTState b
forall (f :: * -> *) a b. Applicative f => f a -> f b -> f b
*> Parser NTState (Either LanguageTag ScopedName)
-> Parser NTState (Either LanguageTag ScopedName)
forall a. Parser NTState a -> Parser NTState a
forall (p :: * -> *) a. Commitment p => p a -> p a
commit (LanguageTag -> Either LanguageTag ScopedName
forall a b. a -> Either a b
Left (LanguageTag -> Either LanguageTag ScopedName)
-> Parser NTState LanguageTag
-> Parser NTState (Either LanguageTag ScopedName)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Parser NTState LanguageTag
language))
Parser NTState (Either LanguageTag ScopedName)
-> Parser NTState (Either LanguageTag ScopedName)
-> Parser NTState (Either LanguageTag ScopedName)
forall a. Parser NTState a -> Parser NTState a -> Parser NTState a
forall (f :: * -> *) a. Alternative f => f a -> f a -> f a
<|> (String -> NTParser String
forall s. String -> Parser s String
string String
"^^" NTParser String
-> Parser NTState (Either LanguageTag ScopedName)
-> Parser NTState (Either LanguageTag ScopedName)
forall a b.
Parser NTState a -> Parser NTState b -> Parser NTState b
forall (f :: * -> *) a b. Applicative f => f a -> f b -> f b
*> Parser NTState (Either LanguageTag ScopedName)
-> Parser NTState (Either LanguageTag ScopedName)
forall a. Parser NTState a -> Parser NTState a
forall (p :: * -> *) a. Commitment p => p a -> p a
commit (ScopedName -> Either LanguageTag ScopedName
forall a b. b -> Either a b
Right (ScopedName -> Either LanguageTag ScopedName)
-> NTParser ScopedName
-> Parser NTState (Either LanguageTag ScopedName)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> NTParser ScopedName
uriref))
language :: NTParser LanguageTag
language :: Parser NTState LanguageTag
language = do
Text
h <- (Char -> Bool) -> Parser NTState Text
forall s. (Char -> Bool) -> Parser s Text
many1Satisfy Char -> Bool
isaZ
Maybe Text
mt <- Parser NTState Text -> Parser NTState (Maybe Text)
forall (f :: * -> *) a. Alternative f => f a -> f (Maybe a)
optional (Parser NTState Text -> Parser NTState (Maybe Text))
-> Parser NTState Text -> Parser NTState (Maybe Text)
forall a b. (a -> b) -> a -> b
$ Char -> Text -> Text
L.cons (Char -> Text -> Text)
-> Parser NTState Char -> Parser NTState (Text -> Text)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Char -> Parser NTState Char
forall s. Char -> Parser s Char
char Char
'-' Parser NTState (Text -> Text)
-> Parser NTState Text -> Parser NTState Text
forall a b.
Parser NTState (a -> b) -> Parser NTState a -> Parser NTState b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Char -> Bool) -> Parser NTState Text
forall s. (Char -> Bool) -> Parser s Text
many1Satisfy Char -> Bool
isaZ09
let lbl :: Text
lbl = Text -> Text
L.toStrict (Text -> Text) -> Text -> Text
forall a b. (a -> b) -> a -> b
$ Text -> Text -> Text
L.append Text
h (Text -> Text) -> Text -> Text
forall a b. (a -> b) -> a -> b
$ Text -> Maybe Text -> Text
forall a. a -> Maybe a -> a
fromMaybe Text
L.empty Maybe Text
mt
case Text -> Maybe LanguageTag
toLangTag Text
lbl of
Just LanguageTag
lt -> LanguageTag -> Parser NTState LanguageTag
forall a. a -> Parser NTState a
forall (m :: * -> *) a. Monad m => a -> m a
return LanguageTag
lt
Maybe LanguageTag
_ -> String -> Parser NTState LanguageTag
forall a. String -> Parser NTState a
forall (m :: * -> *) a. MonadFail m => String -> m a
fail (String
"Invalid language tag: " String -> String -> String
forall a. [a] -> [a] -> [a]
++ Text -> String
T.unpack Text
lbl)
isAsciiChar :: Char -> Bool
isAsciiChar :: Char -> Bool
isAsciiChar Char
c = let i :: Int
i = Char -> Int
ord Char
c
in Int
i Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
>= Int
0x20 Bool -> Bool -> Bool
&& Int
i Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
<= Int
0x21 Bool -> Bool -> Bool
||
Int
i Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
>= Int
0x23 Bool -> Bool -> Bool
&& Int
i Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
<= Int
0x5b Bool -> Bool -> Bool
||
Int
i Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
>= Int
0x5d Bool -> Bool -> Bool
&& Int
i Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
<= Int
0x7e
protectedChar :: NTParser Char
protectedChar :: Parser NTState Char
protectedChar =
(Char -> Parser NTState Char
forall s. Char -> Parser s Char
char Char
't' Parser NTState Char -> Char -> Parser NTState Char
forall (f :: * -> *) a b. Functor f => f a -> b -> f b
$> Char
'\t')
Parser NTState Char -> Parser NTState Char -> Parser NTState Char
forall a. Parser NTState a -> Parser NTState a -> Parser NTState a
forall (f :: * -> *) a. Alternative f => f a -> f a -> f a
<|> (Char -> Parser NTState Char
forall s. Char -> Parser s Char
char Char
'n' Parser NTState Char -> Char -> Parser NTState Char
forall (f :: * -> *) a b. Functor f => f a -> b -> f b
$> Char
'\n')
Parser NTState Char -> Parser NTState Char -> Parser NTState Char
forall a. Parser NTState a -> Parser NTState a -> Parser NTState a
forall (f :: * -> *) a. Alternative f => f a -> f a -> f a
<|> (Char -> Parser NTState Char
forall s. Char -> Parser s Char
char Char
'r' Parser NTState Char -> Char -> Parser NTState Char
forall (f :: * -> *) a b. Functor f => f a -> b -> f b
$> Char
'\r')
Parser NTState Char -> Parser NTState Char -> Parser NTState Char
forall a. Parser NTState a -> Parser NTState a -> Parser NTState a
forall (f :: * -> *) a. Alternative f => f a -> f a -> f a
<|> (Char -> Parser NTState Char
forall s. Char -> Parser s Char
char Char
'"' Parser NTState Char -> Char -> Parser NTState Char
forall (f :: * -> *) a b. Functor f => f a -> b -> f b
$> Char
'"')
Parser NTState Char -> Parser NTState Char -> Parser NTState Char
forall a. Parser NTState a -> Parser NTState a -> Parser NTState a
forall (f :: * -> *) a. Alternative f => f a -> f a -> f a
<|> (Char -> Parser NTState Char
forall s. Char -> Parser s Char
char Char
'\\' Parser NTState Char -> Char -> Parser NTState Char
forall (f :: * -> *) a b. Functor f => f a -> b -> f b
$> Char
'\\')
Parser NTState Char -> Parser NTState Char -> Parser NTState Char
forall a. Parser NTState a -> Parser NTState a -> Parser NTState a
forall (f :: * -> *) a. Alternative f => f a -> f a -> f a
<|> (Char -> Parser NTState Char
forall s. Char -> Parser s Char
char Char
'u' Parser NTState Char -> Parser NTState Char -> Parser NTState Char
forall a b.
Parser NTState a -> Parser NTState b -> Parser NTState b
forall (f :: * -> *) a b. Applicative f => f a -> f b -> f b
*> Parser NTState Char
forall a. Parser a Char
hex4)
Parser NTState Char -> Parser NTState Char -> Parser NTState Char
forall a. Parser NTState a -> Parser NTState a -> Parser NTState a
forall (f :: * -> *) a. Alternative f => f a -> f a -> f a
<|> (Char -> Parser NTState Char
forall s. Char -> Parser s Char
char Char
'U' Parser NTState Char -> Parser NTState Char -> Parser NTState Char
forall a b.
Parser NTState a -> Parser NTState b -> Parser NTState b
forall (f :: * -> *) a b. Applicative f => f a -> f b -> f b
*> Parser NTState Char
forall a. Parser a Char
hex8)
character :: NTParser Char
character :: Parser NTState Char
character =
(Char -> Parser NTState Char
forall s. Char -> Parser s Char
char Char
'\\' Parser NTState Char -> Parser NTState Char -> Parser NTState Char
forall a b.
Parser NTState a -> Parser NTState b -> Parser NTState b
forall (f :: * -> *) a b. Applicative f => f a -> f b -> f b
*> Parser NTState Char
protectedChar)
Parser NTState Char -> Parser NTState Char -> Parser NTState Char
forall a. Parser NTState a -> Parser NTState a -> Parser NTState a
forall (f :: * -> *) a. Alternative f => f a -> f a -> f a
<|> (Char -> Bool) -> Parser NTState Char
forall s. (Char -> Bool) -> Parser s Char
satisfy Char -> Bool
isAsciiChar