term-rewriting-0.2.1: Term Rewriting Library
Data.Rewriting.Rule.Type
Synopsis
module Data.Rewriting.Term.Type
data Rule f v Source #
Rewrite rule with left-hand side and right-hand side.
Constructors
Fields
Instances
Methods
(==) :: Rule f v -> Rule f v -> Bool #
(/=) :: Rule f v -> Rule f v -> Bool #
compare :: Rule f v -> Rule f v -> Ordering #
(<) :: Rule f v -> Rule f v -> Bool #
(<=) :: Rule f v -> Rule f v -> Bool #
(>) :: Rule f v -> Rule f v -> Bool #
(>=) :: Rule f v -> Rule f v -> Bool #
max :: Rule f v -> Rule f v -> Rule f v #
min :: Rule f v -> Rule f v -> Rule f v #
showsPrec :: Int -> Rule f v -> ShowS #
show :: Rule f v -> String #
showList :: [Rule f v] -> ShowS #
map :: (f -> f') -> (v -> v') -> Rule f v -> Rule f' v' Source #
mapSides :: (Term f v -> Term f' v') -> Rule f v -> Rule f' v' Source #