Text.Parsec.Applicative.Internal

Documentation

module Control.Applicative

data Parser s tt td a where

Constructors

PEnd :: Parser s tt td ()

PConst :: a -> Parser s tt td a

PToken :: tt -> Parser s tt td (tt, td)

PSkip :: Parser s tt td a -> Parser s tt td b -> Parser s tt td b

PApp :: Parser s tt td (a -> b) -> Parser s tt td a -> Parser s tt td b

PTry :: Parser s tt td a -> Parser s tt td a

PRepeat :: Parser s tt td a -> Parser s tt td [a]

PFail :: Maybe String -> Parser s tt td a

PChoice :: Parser s tt td a -> Parser s tt td a -> Parser s tt td a

PLabel :: s -> Parser s tt td a -> Parser s tt td a

PGetPos :: HasSourcePos td => Parser s tt td SourcePos

Instances

Alternative (Parser s tt td)

Functor (Parser s tt td)

Applicative (Parser s tt td)

(Show s, Show tt, Show td) => Show (Parser s tt td a)

parens :: ShowS -> ShowS

listed :: [ShowS] -> ShowS

map1 :: (a -> a) -> [a] -> [a]

eof :: Parser s tt td ()

token :: Eq tt => tt -> Parser s tt td (tt, td)

try :: Parser s tt td a -> Parser s tt td a

label :: s -> Parser s tt td a -> Parser s tt td a

data ParseErrorType

Constructors

EUnexpected

EEnd

ENotEnd

Instances

Bounded ParseErrorType

Enum ParseErrorType

Eq ParseErrorType

Ord ParseErrorType

Show ParseErrorType

data ParseError

Constructors

ParseError

Fields

peType :: Maybe ParseErrorType

peMessage :: Maybe Text

peSourcePos :: Maybe SourcePos

Instances

Eq ParseError

Show ParseError

noMsg :: ParseError

strMsg :: [Char] -> ParseError

data ParserError

Constructors

ERepeatEmpty

EUnknown

Instances

Eq ParserError

Show ParserError

parse :: (Eq tt, HasSourcePos td) => Parser s tt td a -> [(tt, td)] -> Either ParseError a

parse' :: (Eq tt, HasSourcePos td) => Parser s tt td a -> [(tt, td)] -> (Either ParseError a, [(tt, td)])

runM :: (Eq tt, HasSourcePos td) => M tt td a -> [(tt, td)] -> (Either ParseError a, ParseState tt td)

accept :: (Eq tt, HasSourcePos td) => Parser s tt td a -> [(tt, td)] -> Bool infix 4

accept' :: (Eq tt, HasSourcePos td) => Parser s tt td a -> [(tt, td)] -> Maybe ParseError infix 4

data Ex f

Constructors

forall a . Ex (f a)

acceptEmpty :: Ex (Parser s tt td) -> Bool

validate :: Parser s tt td a -> [(ParserError, String)]

localConsumption :: M tt td a -> M tt td a

type M tt td = ExceptT ParseError (State (ParseState tt td))

mp :: (Eq tt, HasSourcePos td) => Parser s tt td a -> M tt td a

module Text.Parsec.Applicative.Types