Math.Singular.Factory.Parser

Parsing polynomials and polynomial expressions

Parsing polynomials

parseExpr :: forall vars. VariableSet vars => Proxy vars -> Text -> Maybe (Expr VarIdx)

parseGenPoly :: forall vars. VariableSet vars => Proxy vars -> Text -> Maybe (GenPoly Integer VarIdx)

parseStringExpr :: Text -> Either String (Expr Var)

parseStringGenPoly :: Text -> Either String (GenPoly Integer Var)

Parser monad

data Parser a

Instances

Monad Parser

Defined in Math.Singular.Factory.Parser

Methods

(>>=) :: Parser a -> (a -> Parser b) -> Parser b

(>>) :: Parser a -> Parser b -> Parser b

return :: a -> Parser a

fail :: String -> Parser a

Functor Parser

Defined in Math.Singular.Factory.Parser

Methods

fmap :: (a -> b) -> Parser a -> Parser b

(<$) :: a -> Parser b -> Parser a

Applicative Parser

Defined in Math.Singular.Factory.Parser

Methods

pure :: a -> Parser a

(<*>) :: Parser (a -> b) -> Parser a -> Parser b

liftA2 :: (a -> b -> c) -> Parser a -> Parser b -> Parser c

(*>) :: Parser a -> Parser b -> Parser b

(<*) :: Parser a -> Parser b -> Parser a

Alternative Parser

Defined in Math.Singular.Factory.Parser

Methods

empty :: Parser a

(<|>) :: Parser a -> Parser a -> Parser a

some :: Parser a -> Parser [a]

many :: Parser a -> Parser [a]

runParser :: Parser a -> Text -> Either String (a, Text)

(<||>) :: Parser a -> Parser a -> Parser a infixr 5

try :: Parser a -> Parser (Maybe a)

many :: Alternative f => f a -> f [a]

Zero or more.

many1 :: Parser a -> Parser [a]

Parsers

charP :: (Char -> Bool) -> Parser Char

charP_ :: (Char -> Bool) -> Parser ()

charsP :: (Char -> Bool) -> Parser [Char]

spacesP_ :: Parser ()

eofP :: Parser ()

signP :: Parser Sign

natP :: Parser Int

integerP :: Parser Integer

identifierP :: Parser String

exprP :: Parser (Expr Var)

genPolyP :: Parser (GenPoly Integer Var)