Text.Parsix.Parser.Internal

This module exposes internals of the package: its API may change independently of the PVP-compliant version number.

Documentation

newtype Parser a

Constructors

Parser

Fields

• unParser :: forall r. (a -> ErrorInfo -> r) -> (a -> ErrorInfo -> Position -> Highlights -> r) -> (ErrorInfo -> r) -> (ErrorInfo -> Position -> Highlights -> r) -> Position -> Highlights -> Text -> r

Instances

Monad Parser

Defined in Text.Parsix.Parser.Internal

Methods

(>>=) :: Parser a -> (a -> Parser b) -> Parser b

(>>) :: Parser a -> Parser b -> Parser b

return :: a -> Parser a

fail :: String -> Parser a

Functor Parser

Defined in Text.Parsix.Parser.Internal

Methods

fmap :: (a -> b) -> Parser a -> Parser b

(<$) :: a -> Parser b -> Parser a

MonadFail Parser

Defined in Text.Parsix.Parser.Internal

Methods

fail :: String -> Parser a

Applicative Parser

Defined in Text.Parsix.Parser.Internal

Methods

pure :: a -> Parser a

(<*>) :: Parser (a -> b) -> Parser a -> Parser b

liftA2 :: (a -> b -> c) -> Parser a -> Parser b -> Parser c

(*>) :: Parser a -> Parser b -> Parser b

(<*) :: Parser a -> Parser b -> Parser a

Alternative Parser

Defined in Text.Parsix.Parser.Internal

Methods

empty :: Parser a

(<|>) :: Parser a -> Parser a -> Parser a

some :: Parser a -> Parser [a]

many :: Parser a -> Parser [a]

MonadPlus Parser

Defined in Text.Parsix.Parser.Internal

Methods

mzero :: Parser a

mplus :: Parser a -> Parser a -> Parser a

TokenParsing Parser

Defined in Text.Parsix.Parser.Internal

Methods

someSpace :: Parser ()

nesting :: Parser a -> Parser a

semi :: Parser Char

highlight :: Highlight -> Parser a -> Parser a

token :: Parser a -> Parser a

LookAheadParsing Parser

Defined in Text.Parsix.Parser.Internal

Methods

lookAhead :: Parser a -> Parser a

CharParsing Parser

Defined in Text.Parsix.Parser.Internal

Methods

satisfy :: (Char -> Bool) -> Parser Char

char :: Char -> Parser Char

notChar :: Char -> Parser Char

anyChar :: Parser Char

string :: String -> Parser String

text :: Text -> Parser Text

Parsing Parser

Defined in Text.Parsix.Parser.Internal

Methods

try :: Parser a -> Parser a

(<?>) :: Parser a -> String -> Parser a

skipMany :: Parser a -> Parser ()

skipSome :: Parser a -> Parser ()

unexpected :: String -> Parser a

eof :: Parser ()

notFollowedBy :: Show a => Parser a -> Parser ()

RecoveryParsing Parser

Defined in Text.Parsix.Combinators

Methods

withRecovery :: (ErrorInfo -> Parser a) -> Parser a -> Parser a

SliceParsing Parser

Defined in Text.Parsix.Combinators

Methods

slicedWith :: (a -> Text -> b) -> Parser a -> Parser b

position :: Parser Position

Semigroup a => Semigroup (Parser a)

Defined in Text.Parsix.Parser.Internal

Methods

(<>) :: Parser a -> Parser a -> Parser a

sconcat :: NonEmpty (Parser a) -> Parser a

stimes :: Integral b => b -> Parser a -> Parser a

Monoid a => Monoid (Parser a)

Defined in Text.Parsix.Parser.Internal

Methods

mempty :: Parser a

mappend :: Parser a -> Parser a -> Parser a

mconcat :: [Parser a] -> Parser a

manyAccum :: (a -> [a] -> [a]) -> Parser a -> Parser [a]

runParser :: Parser a -> Text -> FilePath -> Position -> Result (a, Position, Highlights)

parseFromFile :: MonadIO m => Parser a -> FilePath -> m (Maybe a)

parseFromFileEx :: MonadIO m => Parser a -> FilePath -> m (Result a)

parseText :: Parser a -> Text -> FilePath -> Result a

parseText p i file runs a parser p on i. file is only used for reporting errors.

parseString :: Parser a -> String -> FilePath -> Result a

parseString p i file runs a parser p on i. file is only used for reporting errors.

parseTest :: (MonadIO m, Show a) => Parser a -> String -> m ()

Parse some input and print the result to the console.