Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
textual input, cf. http://www.lri.fr/~marche/tpdb/format.html
- trs :: String -> Either String (TRS Identifier Identifier)
- srs :: String -> Either String (SRS Identifier)
- type Parser = Parsec String ()
- class Reader a where
- lexer :: GenTokenParser String u Identity
- data Declaration u
- declaration :: Reader u => Bool -> Parser (Declaration u)
- anylist :: ParsecT String u Identity ()
- repair_signature_srs :: Eq s => RS t [s] -> RS s [s]
- make_srs :: Eq s => [Declaration [s]] -> SRS s
- repair_signature_trs :: Ord s => RS t (Term v s) -> RS s (Term v s)
- make_trs :: [Declaration (Term Identifier Identifier)] -> TRS Identifier Identifier
- repair_variables :: (Monad m, Eq s) => [s] -> m (Rule (Term t s)) -> m (Rule (Term s s))
Documentation
trs :: String -> Either String (TRS Identifier Identifier) Source
Reader Identifier | |
Reader s => Reader [s] | |
Reader (SRS Identifier) | |
Reader u => Reader (Rule u) | |
Reader v => Reader (Term v Identifier) | |
Reader (TRS Identifier Identifier) |
lexer :: GenTokenParser String u Identity Source
warning: by definition, {}[] may appear in identifiers
data Declaration u Source
Var_Declaration [Identifier] | |
Theory_Declaration | |
Strategy_Declaration | |
Rules_Declaration [Rule u] | |
Unknown_Declaration | this is super-ugly: a parenthesized, possibly nested, possibly comma-separated, list of identifiers or strings |
declaration :: Reader u => Bool -> Parser (Declaration u) Source
repair_signature_srs :: Eq s => RS t [s] -> RS s [s] Source
make_srs :: Eq s => [Declaration [s]] -> SRS s Source
make_trs :: [Declaration (Term Identifier Identifier)] -> TRS Identifier Identifier Source