| |||||||||||||||||||
| |||||||||||||||||||
Synopsis | |||||||||||||||||||
| |||||||||||||||||||
Documentation | |||||||||||||||||||
type Par s a = GenParser Char s a | |||||||||||||||||||
symbolP :: Par s Symbol | |||||||||||||||||||
Parses "alpha[5]" style symbols | |||||||||||||||||||
symbolP' :: Par s Symbol | |||||||||||||||||||
Parses "e2" style symbols | |||||||||||||||||||
integerP :: Par s Integer | |||||||||||||||||||
signP :: Num a => Par s a | |||||||||||||||||||
betweenSpaces :: Par s 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) | |||||||||||||||||||
parseLinSymb :: (FreeModule a, Base a ~ Symbol, Coeff a ~ Integer) => String -> a | |||||||||||||||||||
parseFreeModule :: FreeModule a => Parser (Base a) -> Parser (Coeff a) -> String -> a | |||||||||||||||||||
Produced by Haddock version 2.4.1 |