Safe Haskell | None |
---|---|
Language | Haskell2010 |
Equations.
Equations.
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.