Safe Haskell | None |
---|---|
Language | Haskell98 |
Data.Rewriting.Problem.Type
Documentation
data StartTerms Source #
Constructors
AllTerms | |
BasicTerms |
Instances
Eq StartTerms Source # | |
Defined in Data.Rewriting.Problem.Type | |
Show StartTerms Source # | |
Defined in Data.Rewriting.Problem.Type Methods showsPrec :: Int -> StartTerms -> ShowS # show :: StartTerms -> String # showList :: [StartTerms] -> ShowS # |
Constructors
RulesPair | |
Fields
|
Constructors
Problem | |