Documentation

empty :: WQO a Source #

merge :: forall a. (Ord a, Eq a, Hashable a) => WQO a -> WQO a -> Maybe (WQO a) Source #

type OpOrdering = WQO Op Source #

opInsert :: OpOrdering -> Op -> Op -> QORelation -> Maybe OpOrdering Source #

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

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

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

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

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

parseOO :: String -> Maybe OpOrdering Source #