cifl-math-library-1.1.1.0: Math libraries
Safe HaskellSafe-Inferred
LanguageHaskell2010

Math.Tools.Parser

Documentation

type Error = Doc Source #

newtype ParserM i a Source #

Constructors

ParserM 

Fields

Instances

Instances details
MonadFail (ParserM i) Source # 
Instance details

Defined in Math.Tools.Parser

Methods

fail :: String -> ParserM i a #

Alternative (ParserM i) Source # 
Instance details

Defined in Math.Tools.Parser

Methods

empty :: ParserM i a #

(<|>) :: ParserM i a -> ParserM i a -> ParserM i a #

some :: ParserM i a -> ParserM i [a] #

many :: ParserM i a -> ParserM i [a] #

Applicative (ParserM i) Source # 
Instance details

Defined in Math.Tools.Parser

Methods

pure :: a -> ParserM i a #

(<*>) :: ParserM i (a -> b) -> ParserM i a -> ParserM i b #

liftA2 :: (a -> b -> c) -> ParserM i a -> ParserM i b -> ParserM i c #

(*>) :: ParserM i a -> ParserM i b -> ParserM i b #

(<*) :: ParserM i a -> ParserM i b -> ParserM i a #

Functor (ParserM i) Source # 
Instance details

Defined in Math.Tools.Parser

Methods

fmap :: (a -> b) -> ParserM i a -> ParserM i b #

(<$) :: a -> ParserM i b -> ParserM i a #

Monad (ParserM i) Source # 
Instance details

Defined in Math.Tools.Parser

Methods

(>>=) :: ParserM i a -> (a -> ParserM i b) -> ParserM i b #

(>>) :: ParserM i a -> ParserM i b -> ParserM i b #

return :: a -> ParserM i a #

MonadPlus (ParserM i) Source # 
Instance details

Defined in Math.Tools.Parser

Methods

mzero :: ParserM i a #

mplus :: ParserM i a -> ParserM i a -> ParserM i a #

ParserCombinators (ParserM Text) Source # 
Instance details

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 #

getLineInfo :: ParserM Text LineInfo Source #

syntaxError :: Doc -> ParserM Text a Source #

optional' :: ParserM i a -> ParserM i (Maybe a) Source #

syntaxError' :: Doc -> ParserM i a Source #

readChar' :: ParserM Text Char Source #

one_of' :: (Char -> Bool) -> ParserM Text Char Source #

eof' :: ParserM Text () Source #

newline' :: ParserM Text () Source #

readWhile' :: (Char -> Bool) -> ParserM Text Text Source #

require' :: Char -> ParserM Text Char Source #

getRemainingInput' :: ParserM a a Source #

getLineInfo' :: ParserM a LineInfo Source #