singular-factory-0.1: Multivariate polynomial factorization via bindings to Singular-factory

Safe Haskell	None
Language	Haskell2010

Math.Singular.Factory.Parser

Contents

Parsing polynomials
Parser monad
Parsers

Description

Parsing polynomials and polynomial expressions

Synopsis

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)
data Parser a
runParser :: Parser a -> Text -> Either String (a, Text)
(<||>) :: Parser a -> Parser a -> Parser a
try :: Parser a -> Parser (Maybe a)
many :: Alternative f => f a -> f [a]
many1 :: Parser a -> Parser [a]
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)

Parsing polynomials

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

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

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

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

Parser monad

data Parser a Source #

Instances

Monad Parser Source #
Instance details 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 Source #
Instance details Defined in Math.Singular.Factory.Parser Methods fmap :: (a -> b) -> Parser a -> Parser b # (<$) :: a -> Parser b -> Parser a #
Applicative Parser Source #
Instance details 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 Source #
Instance details 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) Source #

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

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

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

Zero or more.

many1 :: Parser a -> Parser [a] Source #

Parsers

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

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

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

spacesP_ :: Parser () Source #

eofP :: Parser () Source #

signP :: Parser Sign Source #

natP :: Parser Int Source #

integerP :: Parser Integer Source #

identifierP :: Parser String Source #

exprP :: Parser (Expr Var) Source #

genPolyP :: Parser (GenPoly Integer Var) Source #