Safe Haskell | None |
---|---|
Language | Haskell2010 |
Equations.
Equations.
Instances
Eq (Equation f) Source # | |
Ord (Equation f) Source # | |
Show (Equation f) Source # | |
PrettyTerm f => Pretty (Equation f) Source # | |
Defined in Twee.Equation pPrintPrec :: PrettyLevel -> Rational -> Equation f -> Doc # pPrintList :: PrettyLevel -> [Equation f] -> Doc # | |
Sized f => Sized (Equation f) Source # | |
Symbolic (Equation f) Source # | |
type ConstantOf (Equation f) Source # | |
Defined in Twee.Equation |
type EquationOf a = Equation (ConstantOf a) Source #
order :: Function f => Equation f -> Equation f Source #
Order an equation roughly left-to-right. However, there is no guarantee that the result is oriented.