Math.FreeModule.Parser

Synopsis

• type Par s a = GenParser Char s a
• symbolP :: Par s Symbol
• symbolP' :: Par s Symbol
• integerP :: Par s Integer
• signP :: Num a => Par s a
• betweenSpaces :: Par s a -> Par s a
• notEmpty :: GenParser tok st a -> GenParser tok st a
• freeModuleP' :: FreeModule a => Par s (Base a, Coeff a) -> Par s (Coeff a) -> Par s a
• freeModuleP :: FreeModule a => Par s (Base a) -> Par s (Coeff a) -> Par s a
• termP :: Num c => Par s b -> Par s c -> Par s (b, c)
• parseLinearExpr :: (FreeModule a, Base a ~ Symbol, Coeff a ~ Integer) => String -> a
• parseFreeModule :: FreeModule a => Parser (Base a) -> Parser (Coeff a) -> String -> a

Documentation