| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
TPDB.Plain.Read
Description
textual input, cf. http://www.lri.fr/~marche/tpdb/format.html
Synopsis
- trs :: Text -> Either String (TRS Identifier Identifier)
- srs :: Text -> Either String (SRS Identifier)
- class Reader a where
- lexer :: GenTokenParser Text () Identity
- data Declaration u
- declaration :: Reader u => Bool -> Parser (Declaration u)
- anylist :: ParsecT Text () Identity ()
- repair_signature_srs :: Eq s => RS s [s] -> RS s [s]
- make_srs :: Eq s => [Declaration [s]] -> SRS s
- repair_signature_trs :: Ord s => RS s (Term v s) -> RS s (Term v s)
- make_trs :: [Declaration (Term Identifier Identifier)] -> TRS Identifier Identifier
- repair_variables :: (Monad m, Foldable t, Eq s) => t s -> m (Rule (Term v s)) -> m (Rule (Term s s))
Documentation
trs :: Text -> Either String (TRS Identifier Identifier) Source #
Instances
| Reader Identifier Source # | |
Defined in TPDB.Plain.Read Methods | |
| Reader (SRS Identifier) Source # | |
Defined in TPDB.Plain.Read | |
| Reader u => Reader (Rule u) Source # | |
| Reader s => Reader [s] Source # | |
Defined in TPDB.Plain.Read | |
| Reader (TRS Identifier Identifier) Source # | |
Defined in TPDB.Plain.Read Methods reader :: Parser (TRS Identifier Identifier) Source # | |
| (TermC v Identifier, Reader v) => Reader (Term v Identifier) Source # | |
Defined in TPDB.Plain.Read | |
lexer :: GenTokenParser Text () Identity Source #
warning: by definition, {}[] may appear in identifiers
data Declaration u Source #
Constructors
| 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 #
make_trs :: [Declaration (Term Identifier Identifier)] -> TRS Identifier Identifier Source #