Text.Parsec.Applicative

Documentation

module Control.Applicative

module Data.Traversable

module Text.Parsec.Applicative.Types

data Parser s tt td a

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)

data ParseError

Constructors

ParseError

Fields

peType :: Maybe ParseErrorType

peMessage :: Maybe Text

peSourcePos :: Maybe SourcePos

Instances

Eq ParseError

Show ParseError

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

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)])

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

between :: Applicative f => f a -> f b -> f c -> f c

choice :: Alternative f => [f a] -> f a

option :: Alternative f => a -> f a -> f a

sepBy :: Alternative f => f a -> f b -> f [a]

updatePosString :: SourcePos -> String -> SourcePos

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