Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- 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
betweenSpaces :: Par s a -> Par s a Source #
freeModuleP' :: FreeModule a => Par s (Base a, Coeff a) -> Par s (Coeff a) -> Par s a Source #
freeModuleP :: FreeModule a => Par s (Base a) -> Par s (Coeff a) -> Par s a Source #
parseLinearExpr :: (FreeModule a, Base a ~ Symbol, Coeff a ~ Integer) => String -> a Source #
parseFreeModule :: FreeModule a => Parser (Base a) -> Parser (Coeff a) -> String -> a Source #