Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
module Control.Applicative
data Parser s tt td a where Source
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 |
data ParseErrorType Source
data ParseError Source
strMsg :: [Char] -> ParseError Source
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)] -> Maybe ParseError infix 4 Source
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