Documentation

type SymMap = Map String Symbol

type Rulelist = [(Rule, Bool)]

newtype Parser r

liftP :: RWS (Maybe SymMap) [ParseWarning] Variables a -> Parser a

sym :: String -> Parser Symbol

var :: String -> Parser Variable

warn :: ParseWarning -> Parser ()

cElems :: CFilter i

parseOne :: a -> (b -> a) -> [b] -> a

problemFromString :: String -> Either ParseError (Problem, Rulelist, [ParseWarning])

parseProblem :: Content i -> Parser (Problem, Rulelist)

parseSignature :: Content i -> Parser (SymMap, Signature, ReplacementMap)

parseStrategy :: Content i -> Parser Strategy

parseStartTerms :: Set Symbol -> Set Symbol -> Content i -> Parser StartTerms

parseRules :: Signature -> SymMap -> Content i -> Parser (Rulelist, Variables)

parseRule :: Content i -> Parser Rule

parseTerm :: Content i -> Parser Term