| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Math.Tools.ParserInterface
Documentation
class Monad p => ParserCombinators p where Source #
Methods
readWhile :: (Char -> Bool) -> p Text Source #
one_of :: (Char -> Bool) -> p Char Source #
require :: Char -> p Char Source #
optional :: p a -> p (Maybe a) Source #
getRemainingInput :: p Text Source #
getLineInfo :: p LineInfo Source #
syntaxError :: Doc -> p a Source #
Instances
| ParserCombinators ParseM Source # | |
Defined in Math.Tools.ParseMonad Methods readChar :: ParseM Char Source # readWhile :: (Char -> Bool) -> ParseM Text Source # one_of :: (Char -> Bool) -> ParseM Char Source # require :: Char -> ParseM Char Source # optional :: ParseM a -> ParseM (Maybe a) Source # getRemainingInput :: ParseM Text Source # getLineInfo :: ParseM LineInfo Source # syntaxError :: Doc -> ParseM a Source # | |
| ParserCombinators (ParserM Text) Source # | |
Defined in Math.Tools.Parser Methods readChar :: ParserM Text Char Source # eof :: ParserM Text () Source # newline :: ParserM Text () Source # readWhile :: (Char -> Bool) -> ParserM Text Text Source # one_of :: (Char -> Bool) -> ParserM Text Char Source # require :: Char -> ParserM Text Char Source # optional :: ParserM Text a -> ParserM Text (Maybe a) Source # getRemainingInput :: ParserM Text Text Source # | |