term-rewriting-0.2.1.1: Term Rewriting Library
Data.Rewriting.Problem.Type
data StartTerms Source #
Constructors
Instances
Methods
(==) :: StartTerms -> StartTerms -> Bool #
(/=) :: StartTerms -> StartTerms -> Bool #
showsPrec :: Int -> StartTerms -> ShowS #
show :: StartTerms -> String #
showList :: [StartTerms] -> ShowS #
data Strategy Source #
(==) :: Strategy -> Strategy -> Bool #
(/=) :: Strategy -> Strategy -> Bool #
showsPrec :: Int -> Strategy -> ShowS #
show :: Strategy -> String #
showList :: [Strategy] -> ShowS #
data RulesPair f v Source #
Fields
(==) :: RulesPair f v -> RulesPair f v -> Bool #
(/=) :: RulesPair f v -> RulesPair f v -> Bool #
showsPrec :: Int -> RulesPair f v -> ShowS #
show :: RulesPair f v -> String #
showList :: [RulesPair f v] -> ShowS #
data Problem f v Source #
showsPrec :: Int -> Problem f v -> ShowS #
show :: Problem f v -> String #
showList :: [Problem f v] -> ShowS #
data Theory f v Source #
(==) :: Theory f v -> Theory f v -> Bool #
(/=) :: Theory f v -> Theory f v -> Bool #
showsPrec :: Int -> Theory f v -> ShowS #
show :: Theory f v -> String #
showList :: [Theory f v] -> ShowS #
allRules :: RulesPair f v -> [Rule f v] Source #
map :: (f -> f') -> (v -> v') -> Problem f v -> Problem f' v' Source #