Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype ParsecDSL s u m a Source #
ParsecDSL | |
|
MonadError e m => MonadError e (ParsecDSL s u m) Source # | |
MonadReader r m => MonadReader r (ParsecDSL s u m) Source # | |
MonadState s m => MonadState s (ParsecDSL s' u m) Source # | |
MonadTrans (ParsecDSL s u) Source # | |
Monad (ParsecDSL s u m) Source # | |
Functor (ParsecDSL s u m) Source # | |
Applicative (ParsecDSL s u m) Source # | |
MonadIO m => MonadIO (ParsecDSL s u m) Source # | |
Alternative (ParsecDSL s u m) Source # | |
MonadPlus (ParsecDSL s u m) Source # | |
MonadCont m => MonadCont (ParsecDSL s u m) Source # | |
Show a => Show (ParsecDSL s u m a) Source # | |
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) |
modifyState :: (u -> u) -> ParsecDSL s u m () Source #
getPosition :: ParsecDSL s u m SourcePos Source #
setPosition :: SourcePos -> ParsecDSL s u m () Source #
getParserState :: ParsecDSL s u m (State s u) Source #
tokens :: (Stream s m t, Eq t) => ([t] -> String) -> (SourcePos -> [t] -> SourcePos) -> [t] -> ParsecDSL s u m [t] Source #
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 Source #
parserFail :: String -> ParsecDSL s u m a Source #
parserZero :: ParsecDSL s u m a Source #
unexpected :: String -> ParsecDSL s u m a Source #