| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
TPDB.Convert
Synopsis
- srs2trs :: SRS Identifier -> TRS Identifier Identifier
- set_arity :: Int -> Identifier -> Identifier
- convert_srs_rule :: Rule [Identifier] -> Rule (Term Identifier Identifier)
- trs2srs :: (Eq v, TermC v s, v ~ Identifier) => TRS v s -> Maybe (SRS s)
- convert_trs_rule :: Rule (Term Identifier s) -> Maybe (Rule [s])
- unspine :: TermC v s => v -> [s] -> Term v s
- spine :: TermC v s => Term v s -> Maybe ([s], v)
Documentation
srs2trs :: SRS Identifier -> TRS Identifier Identifier Source #
set_arity :: Int -> Identifier -> Identifier Source #
convert_srs_rule :: Rule [Identifier] -> Rule (Term Identifier Identifier) Source #
convert_trs_rule :: Rule (Term Identifier s) -> Maybe (Rule [s]) Source #