Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Rule | |
|
data Orientation f Source #
Oriented | |
WeaklyOriented [Term f] | |
Permutative [(Term f, Term f)] | |
Unoriented |
Eq (Orientation f) Source # | |
Ord (Orientation f) Source # | |
Show (Orientation f) Source # | |
Symbolic (Orientation f) Source # | |
type ConstantOf (Orientation f) Source # | |
oriented :: Orientation f -> Bool Source #
pPrintRule :: (Numbered f, PrettyTerm f) => Term f -> Term f -> Doc Source #
type EquationOf a = Equation (ConstantOf a) Source #
pPrintReduction :: (Numbered f, PrettyTerm f) => Reduction f -> Doc Source #
anywhere1 :: (Numbered f, PrettyTerm f) => Strategy f -> Reduction f -> Maybe (Reduction f) Source #
normaliseWith :: (Numbered f, PrettyTerm f) => Strategy f -> Term f -> Reduction f Source #