Djot.Parse · djot-0.1.2 · horizon-platform

newtypenewtype Parser s a

#

Instances5Monad, Functor, Applicative, Alternative, MonadPlus

Monad (Parser s)Defined in djot-0.1.2 · Djot.Parse
Functor (Parser s)Defined in djot-0.1.2 · Djot.Parse
Applicative (Parser s)Defined in djot-0.1.2 · Djot.Parse
Alternative (Parser s)Defined in djot-0.1.2 · Djot.Parse
MonadPlus (Parser s)Defined in djot-0.1.2 · Djot.Parse

datadata Chunk

#

Constructors

Chunk
- chunkLine :: Int
- chunkColumn :: Int
- chunkBytes :: ByteString

Instances3Eq, Ord, Show

Eq ChunkDefined in djot-0.1.2 · Djot.Parse
Ord ChunkDefined in djot-0.1.2 · Djot.Parse
Show ChunkDefined in djot-0.1.2 · Djot.Parse

valueparse :: Parser s a -> s -> [Chunk] -> Maybe a

#

Apply a parser to a bytestring with a given user state. Returns Nothing on failure, Just result on success.

valueasciiChar :: Char -> Parser s ()

#

Parse an ASCII character.

valuesatisfyByte :: (Char -> Bool) -> Parser s Char

#

Parse a byte satisfying a predicate.

valueskipSatisfyByte :: (Char -> Bool) -> Parser s ()

#

Skip byte satisfying a predicate.

valuesatisfy :: (Char -> Bool) -> Parser s Char

#

Parse a (possibly multibyte) Char satisfying a predicate. Assumes UTF-8 encoding.

valueanyChar :: Parser s Char

#

Parse any character. Assumes UTF-8 encoding.

valueskipMany :: Parser s a -> Parser s ()

#

Apply parser 0 or more times, discarding result.

valueskipSome :: Parser s a -> Parser s ()

#

Apply parser 1 or more times, discarding result.

valueeof :: Parser s ()

#

Succeeds if no more input.

valuegetState :: Parser s s

#

Returns current user state.

valueupdateState :: (s -> s) -> Parser s ()

#

Updates user state.

valuelookahead :: Parser s a -> Parser s a

#

Apply a parser, returning its result but not changing state or advancing.

valuepeek :: Parser s (Maybe Char)

#

Returns current byte as Char.

valuepeekBack :: Parser s (Maybe Char)

#

Returns previous byte as Char. Doesn't cross chunk boundaries.

valuefails :: Parser s a -> Parser s ()

#

Succeeds if parser fails.

valuefailed :: Parser s a

#

Always fails.

valuewithByteString :: Parser s a -> Parser s (a, ByteString)

#

Returns result of parse together with the bytestring consumed.

valuebyteStringOf :: Parser s a -> Parser s ByteString

#

Returns bytestring consumed by parse.

valuenotFollowedBy :: Parser s a -> Parser s b -> Parser s a

#

Succeeds if first parser succeeds and second fails, returning first parser's value.

valueoptional_ :: Parser s a -> Parser s ()

#

Apply parser but still succeed if it doesn't succeed.

valuebyteString :: ByteString -> Parser s ()

#

Parse a bytestring.

valuegetOffset :: Parser s Int

#

Returns byte offset in input.

valuesourceLine :: Parser s Int

#

Returns the line number.

valuesourceColumn :: Parser st Int

#

Returns the source column number. (Tab stop is computed at 4.)

valuebranch :: Parser s b -> Parser s a -> Parser s a -> Parser s a

#

Try the first parser: if it succeeds, apply the second, returning its result, otherwise the third.

valueendline :: Parser s ()

#

Parse an end of line sequence.

valuerestOfLine :: Parser s ByteString

#

Return the rest of line (including the end of line).

valuews :: Parser s ()

#

Skip 1 or more ASCII whitespace.

valuefollowedByWhitespace :: Parser s ()

#

Next character is ASCII whitespace.

valuefollowedByBlankLine :: Parser s ()

#

Followed by 0 or more spaces/tabs and endline or eof.

valuespaceOrTab :: Parser s ()

#

Skip one space or tab.

valueisWs :: Char -> Bool

#

Is space, tab, `r`, or `n`.

valuestrToUtf8 :: String -> ByteString

#

valueutf8ToStr :: ByteString -> String

#