Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- restrict :: (Ord c, Ord v) => RS c (Term v c) -> RS c (Term v c)
- usable :: (Ord v, Ord c) => TRS v c -> Set (Rule (Term v c))
- fixpoint :: Eq t => (t -> t) -> t -> t
- required :: (Ord v, Ord c) => TRS v c -> Set (Rule (Term v c)) -> Set (Rule (Term v c))
- needed :: (Ord v, Ord c) => TRS v c -> Term v c -> [Rule (Term v c)]
Documentation
restrict :: (Ord c, Ord v) => RS c (Term v c) -> RS c (Term v c) Source #
DANGER: this ignores the CE condition