freemodule-0.0: Free modules Contents Index

Data.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 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

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