rest-rewrite-0.4.3: Rewriting library with online termination checking
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.REST.Internal.OpOrdering

Description

This module defines an interface for WQOs on Operators, for example, that are used as the precedence for an RPQO.

Synopsis

Documentation

opGT :: OpOrdering -> Op -> Op -> Bool Source #

opGT o f g returns true if f > g in o

opEQ :: OpOrdering -> Op -> Op -> Bool Source #

opEQ o f g returns true if f = g in o

(=.) :: Op -> Op -> OpOrdering Source #

f =. g generates a new ordering with f equal to g. This function is undefined if f == g.

(>.) :: Op -> Op -> OpOrdering Source #

f >. g generates a new ordering with f greater than g. This function is undefined if f == g.

(<.) :: Op -> Op -> OpOrdering Source #

f <. g generates a new ordering with f less than g. This function is undefined if f == g.

parseOO :: String -> Maybe OpOrdering Source #

parseOO str returns the ordering defined by str. If the input describes any ordering, (i.e "f = f"), then this function returns Nothing.