| 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 => TRS v s -> Maybe (SRS s)
- convert_trs_rule :: Eq a => Rule (Term a s) -> Maybe (Rule [s])
- unspine :: v -> [s] -> Term v s
- spine :: 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 #