applicative-parsec-0.1.0.0: An applicative parser combinator library

Safe HaskellNone
LanguageHaskell2010

Text.Parsec.Applicative.Internal

Documentation

module Control.Applicative

data Parser s tt td a where Source

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 Source

listed :: [ShowS] -> ShowS Source

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

eof :: Parser s tt td () Source

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

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

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

data ParseErrorType Source

Constructors

EUnexpected 
EEnd 
ENotEnd 

Instances

data ParseError Source

Constructors

ParseError 

Fields

peType :: Maybe ParseErrorType
 
peMessage :: Maybe Text
 
peSourcePos :: Maybe SourcePos
 

Instances

noMsg :: ParseError Source

strMsg :: [Char] -> ParseError Source

data ParserError Source

Constructors

ERepeatEmpty 
EUnknown 

Instances

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

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

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

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

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

data Ex f Source

Constructors

forall a . Ex (f a) 

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

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

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

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

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

module Text.Parsec.Applicative.Types