rest-rewrite-0.4.3: Rewriting library with online termination checking

Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.REST.LPO

Synopsis

lpo :: (Show (oc Op), Eq (oc Op), Hashable (oc Op)) => ConstraintGen oc Op RuntimeTerm Identity
lpoStrict :: (Show (oc Op), Eq (oc Op), Hashable (oc Op)) => ConstraintGen oc Op RuntimeTerm Identity

Documentation

lpo :: (Show (oc Op), Eq (oc Op), Hashable (oc Op)) => ConstraintGen oc Op RuntimeTerm Identity Source #

Constraint generator for a quasi-order extension to the Lexicographic path ordering

lpoStrict :: (Show (oc Op), Eq (oc Op), Hashable (oc Op)) => ConstraintGen oc Op RuntimeTerm Identity Source #

Constraint generator for a strict version of the quasi-order extension to the Lexicographic path ordering.