Text.Parsec.Free

Documentation

newtype ParsecDSL s u m a

Constructors

ParsecDSL

Fields

• runParsecDSL :: Free (ParsecF s u m) a

Instances

MonadError e m => MonadError e (ParsecDSL s u m)

Methods

throwError :: e -> ParsecDSL s u m a

catchError :: ParsecDSL s u m a -> (e -> ParsecDSL s u m a) -> ParsecDSL s u m a

MonadReader r m => MonadReader r (ParsecDSL s u m)

Methods

ask :: ParsecDSL s u m r

local :: (r -> r) -> ParsecDSL s u m a -> ParsecDSL s u m a

reader :: (r -> a) -> ParsecDSL s u m a

MonadState s m => MonadState s (ParsecDSL s' u m)

Methods

get :: ParsecDSL s' u m s

put :: s -> ParsecDSL s' u m ()

state :: (s -> (a, s)) -> ParsecDSL s' u m a

MonadTrans (ParsecDSL s u)

Methods

lift :: Monad m => m a -> ParsecDSL s u m a

Monad (ParsecDSL s u m)

Methods

(>>=) :: ParsecDSL s u m a -> (a -> ParsecDSL s u m b) -> ParsecDSL s u m b

(>>) :: ParsecDSL s u m a -> ParsecDSL s u m b -> ParsecDSL s u m b

return :: a -> ParsecDSL s u m a

fail :: String -> ParsecDSL s u m a

Functor (ParsecDSL s u m)

Methods

fmap :: (a -> b) -> ParsecDSL s u m a -> ParsecDSL s u m b

(<$) :: a -> ParsecDSL s u m b -> ParsecDSL s u m a

Applicative (ParsecDSL s u m)

Methods

pure :: a -> ParsecDSL s u m a

(<*>) :: ParsecDSL s u m (a -> b) -> ParsecDSL s u m a -> ParsecDSL s u m b

(*>) :: ParsecDSL s u m a -> ParsecDSL s u m b -> ParsecDSL s u m b

(<*) :: ParsecDSL s u m a -> ParsecDSL s u m b -> ParsecDSL s u m a

MonadIO m => MonadIO (ParsecDSL s u m)

Methods

liftIO :: IO a -> ParsecDSL s u m a

Alternative (ParsecDSL s u m)

Methods

empty :: ParsecDSL s u m a

(<|>) :: ParsecDSL s u m a -> ParsecDSL s u m a -> ParsecDSL s u m a

some :: ParsecDSL s u m a -> ParsecDSL s u m [a]

many :: ParsecDSL s u m a -> ParsecDSL s u m [a]

MonadPlus (ParsecDSL s u m)

Methods

mzero :: ParsecDSL s u m a

mplus :: ParsecDSL s u m a -> ParsecDSL s u m a -> ParsecDSL s u m a

MonadCont m => MonadCont (ParsecDSL s u m)

Methods

callCC :: ((a -> ParsecDSL s u m b) -> ParsecDSL s u m a) -> ParsecDSL s u m a

Show a => Show (ParsecDSL s u m a)

Methods

showsPrec :: Int -> ParsecDSL s u m a -> ShowS

show :: ParsecDSL s u m a -> String

showList :: [ParsecDSL s u m a] -> ShowS

data ParsecF s u m r

Constructors

Plifted (ParsecT s u m a) (a -> r)

Peffect (m a) (a -> r)

PgetState (u -> r)

PputState u r

PmodifyState (u -> u) r

PgetPosition (SourcePos -> r)

PsetPosition SourcePos r

PgetInput (s -> r)

PsetInput s r

PgetParserState (State s u -> r)

PsetParserState (State s u) (State s u -> r)

PupdateParserState (State s u -> State s u) (State s u -> r)

(Stream s m t, Eq t) => Ptokens ([t] -> String) (SourcePos -> [t] -> SourcePos) [t] ([t] -> r)

Stream s m t => PtokenPrimEx (t -> String) (SourcePos -> t -> s -> SourcePos) (Maybe (SourcePos -> t -> s -> u -> u)) (t -> Maybe a) (a -> r)

Stream s m Char => PalphaNum (Char -> r)

Stream s m Char => PanyChar (Char -> r)

(Show t, Stream s m t) => PanyToken (t -> r)

Stream s m Char => Pchar Char r

Stream s m Char => Pcrlf (Char -> r)

Stream s m Char => Pdigit (Char -> r)

Stream s m Char => PendOfLine (Char -> r)

(Show t, Stream s m t) => Peof r

Stream s m Char => PhexDigit (Char -> r)

Stream s m Char => Pletter (Char -> r)

Stream s m Char => Plower (Char -> r)

Stream s m Char => Pnewline (Char -> r)

Stream s m Char => PnoneOf [Char] (Char -> r)

Stream s m Char => PoctDigit (Char -> r)

Stream s m Char => PoneOf [Char] (Char -> r)

PparserFail String

PparserZero

Stream s m Char => Psatisfy (Char -> Bool) (Char -> r)

Stream s m Char => Pspace (Char -> r)

Stream s m Char => Pspaces r

Stream s m Char => Pstring String r

Stream s m Char => Ptab (Char -> r)

Stream s m Char => Pupper (Char -> r)

Punexpected String

PparserPlus (ParsecDSL s u m a) (ParsecDSL s u m a) (a -> r)

Plabel (ParsecDSL s u m a) String (a -> r)

Plabels (ParsecDSL s u m a) [String] (a -> r)

Ptry (ParsecDSL s u m a) (a -> r)

Pchainl (ParsecDSL s u m a) (ParsecDSL s u m (a -> a -> a)) a (a -> r)

Pchainl1 (ParsecDSL s u m a) (ParsecDSL s u m (a -> a -> a)) (a -> r)

Pchainr (ParsecDSL s u m a) (ParsecDSL s u m (a -> a -> a)) a (a -> r)

Pchainr1 (ParsecDSL s u m a) (ParsecDSL s u m (a -> a -> a)) (a -> r)

Pchoice [ParsecDSL s u m a] (a -> r)

Pcount Int (ParsecDSL s u m a) ([a] -> r)

PlookAhead (ParsecDSL s u m a) (a -> r)

Pmany (ParsecDSL s u m a) ([a] -> r)

Pmany1 (ParsecDSL s u m a) ([a] -> r)

PmanyAccum (a -> [a] -> [a]) (ParsecDSL s u m a) ([a] -> r)

Show a => PnotFollowedBy (ParsecDSL s u m a) r

Poption a (ParsecDSL s u m a) (a -> r)

PoptionMaybe (ParsecDSL s u m a) (Maybe a -> r)

Poptional (ParsecDSL s u m a) r

PskipMany (ParsecDSL s u m a) r

PskipMany1 (ParsecDSL s u m a) r

PmanyTill (ParsecDSL s u m a) (ParsecDSL s u m end) ([a] -> r)

Pbetween (ParsecDSL s u m open) (ParsecDSL s u m close) (ParsecDSL s u m a) (a -> r)

PendBy (ParsecDSL s u m a) (ParsecDSL s u m sep) ([a] -> r)

PendBy1 (ParsecDSL s u m a) (ParsecDSL s u m sep) ([a] -> r)

PsepBy (ParsecDSL s u m a) (ParsecDSL s u m sep) ([a] -> r)

PsepBy1 (ParsecDSL s u m a) (ParsecDSL s u m sep) ([a] -> r)

PsepEndBy (ParsecDSL s u m a) (ParsecDSL s u m sep) ([a] -> r)

PsepEndBy1 (ParsecDSL s u m a) (ParsecDSL s u m sep) ([a] -> r)

Instances

Functor (ParsecF s u m)

Methods

fmap :: (a -> b) -> ParsecF s u m a -> ParsecF s u m b

(<$) :: a -> ParsecF s u m b -> ParsecF s u m a

Show (ParsecF s u m r)

Methods

showsPrec :: Int -> ParsecF s u m r -> ShowS

show :: ParsecF s u m r -> String

showList :: [ParsecF s u m r] -> ShowS

liftF' :: ParsecF s u m a -> ParsecDSL s u m a

lifted :: ParsecT s u m a -> ParsecDSL s u m a

getState :: ParsecDSL s u m u

putState :: u -> ParsecDSL s u m ()

modifyState :: (u -> u) -> ParsecDSL s u m ()

getPosition :: ParsecDSL s u m SourcePos

setPosition :: SourcePos -> ParsecDSL s u m ()

getInput :: ParsecDSL s u m s

setInput :: s -> ParsecDSL s u m ()

getParserState :: ParsecDSL s u m (State s u)

setParserState :: State s u -> ParsecDSL s u m (State s u)

updateParserState :: (State s u -> State s u) -> ParsecDSL s u m (State s u)

tokens :: (Stream s m t, Eq t) => ([t] -> String) -> (SourcePos -> [t] -> SourcePos) -> [t] -> ParsecDSL s u m [t]

tokenPrimEx :: Stream s m t => (t -> String) -> (SourcePos -> t -> s -> SourcePos) -> Maybe (SourcePos -> t -> s -> u -> u) -> (t -> Maybe a) -> ParsecDSL s u m a

alphaNum :: Stream s m Char => ParsecDSL s u m Char

anyChar :: Stream s m Char => ParsecDSL s u m Char

anyToken :: (Show t, Stream s m t) => ParsecDSL s u m t

char :: Stream s m Char => Char -> ParsecDSL s u m Char

crlf :: Stream s m Char => ParsecDSL s u m Char

digit :: Stream s m Char => ParsecDSL s u m Char

endOfLine :: Stream s m Char => ParsecDSL s u m Char

eof :: (Show t, Stream s m t) => ParsecDSL s u m ()

hexDigit :: Stream s m Char => ParsecDSL s u m Char

letter :: Stream s m Char => ParsecDSL s u m Char

lower :: Stream s m Char => ParsecDSL s u m Char

newline :: Stream s m Char => ParsecDSL s u m Char

noneOf :: Stream s m Char => [Char] -> ParsecDSL s u m Char

octDigit :: Stream s m Char => ParsecDSL s u m Char

oneOf :: Stream s m Char => [Char] -> ParsecDSL s u m Char

parserFail :: String -> ParsecDSL s u m a

parserZero :: ParsecDSL s u m a

satisfy :: Stream s m Char => (Char -> Bool) -> ParsecDSL s u m Char

space :: Stream s m Char => ParsecDSL s u m Char

spaces :: Stream s m Char => ParsecDSL s u m ()

string :: Stream s m Char => String -> ParsecDSL s u m String

tab :: Stream s m Char => ParsecDSL s u m Char

upper :: Stream s m Char => ParsecDSL s u m Char

unexpected :: String -> ParsecDSL s u m a

parserPlus :: ParsecDSL s u m a -> ParsecDSL s u m a -> ParsecDSL s u m a

label :: ParsecDSL s u m a -> String -> ParsecDSL s u m a

labels :: ParsecDSL s u m a -> [String] -> ParsecDSL s u m a

try :: ParsecDSL s u m a -> ParsecDSL s u m a

chainl :: ParsecDSL s u m a -> ParsecDSL s u m (a -> a -> a) -> a -> ParsecDSL s u m a

chainl1 :: ParsecDSL s u m a -> ParsecDSL s u m (a -> a -> a) -> ParsecDSL s u m a

chainr :: ParsecDSL s u m a -> ParsecDSL s u m (a -> a -> a) -> a -> ParsecDSL s u m a

chainr1 :: ParsecDSL s u m a -> ParsecDSL s u m (a -> a -> a) -> ParsecDSL s u m a

choice :: [ParsecDSL s u m a] -> ParsecDSL s u m a

count :: Int -> ParsecDSL s u m a -> ParsecDSL s u m [a]

lookAhead :: ParsecDSL s u m a -> ParsecDSL s u m a

many :: ParsecDSL s u m a -> ParsecDSL s u m [a]

many1 :: ParsecDSL s u m a -> ParsecDSL s u m [a]

manyAccum :: (a -> [a] -> [a]) -> ParsecDSL s u m a -> ParsecDSL s u m [a]

notFollowedBy :: Show a => ParsecDSL s u m a -> ParsecDSL s u m ()

option :: a -> ParsecDSL s u m a -> ParsecDSL s u m a

optionMaybe :: ParsecDSL s u m a -> ParsecDSL s u m (Maybe a)

optional :: ParsecDSL s u m a -> ParsecDSL s u m ()

skipMany :: ParsecDSL s u m a -> ParsecDSL s u m ()

skipMany1 :: ParsecDSL s u m a -> ParsecDSL s u m ()

manyTill :: ParsecDSL s u m a -> ParsecDSL s u m end -> ParsecDSL s u m [a]

between :: ParsecDSL s u m open -> ParsecDSL s u m close -> ParsecDSL s u m a -> ParsecDSL s u m a

endBy :: ParsecDSL s u m a -> ParsecDSL s u m sep -> ParsecDSL s u m [a]

endBy1 :: ParsecDSL s u m a -> ParsecDSL s u m sep -> ParsecDSL s u m [a]

sepBy :: ParsecDSL s u m a -> ParsecDSL s u m sep -> ParsecDSL s u m [a]

sepBy1 :: ParsecDSL s u m a -> ParsecDSL s u m sep -> ParsecDSL s u m [a]

sepEndBy :: ParsecDSL s u m a -> ParsecDSL s u m sep -> ParsecDSL s u m [a]

sepEndBy1 :: ParsecDSL s u m a -> ParsecDSL s u m sep -> ParsecDSL s u m [a]