Documentation

parseFromString :: Signature -> Variables -> TermParser a -> String -> Either ParseError ((a, Signature, Variables), [ParseWarning])

type TermParser a = ParsecT String (Signature, Variables) (ErrorT ParseError (Writer [ParseWarning])) a

rule :: TermParser (Bool, Rule)

term :: TermParser Term

getVar :: String -> TermParser Variable

getSym :: String -> Int -> TermParser Symbol

colon :: ParsecT String u (ErrorT ParseError (Writer [ParseWarning])) Char

ident :: ParsecT String u (ErrorT ParseError (Writer [ParseWarning])) [Char]

whitespace :: ParsecT String u (ErrorT ParseError (Writer [ParseWarning])) Char

whitespaced :: ParsecT String u (ErrorT ParseError (Writer [ParseWarning])) b -> ParsecT String u (ErrorT ParseError (Writer [ParseWarning])) b

parens :: Stream s m Char => ParsecT s u m b -> ParsecT s u m b