StringRewriting.Rule
data Rule Source #
Defined in StringRewriting.Rule
Methods
(==) :: Rule -> Rule -> Bool #
(/=) :: Rule -> Rule -> Bool #
compare :: Rule -> Rule -> Ordering #
(<) :: Rule -> Rule -> Bool #
(<=) :: Rule -> Rule -> Bool #
(>) :: Rule -> Rule -> Bool #
(>=) :: Rule -> Rule -> Bool #
max :: Rule -> Rule -> Rule #
min :: Rule -> Rule -> Rule #
rule :: GWord -> GWord -> Rule Source #
left :: Lens' Rule GWord Source #
right :: Lens' Rule GWord Source #
toPair :: Rule -> (GWord, GWord) Source #
type Rules = Set Rule Source #
module StringRewriting.Generator