Test.Speculate.Expr.Canon

Documentation

canonicalize :: Expr -> Expr

canonicalizeWith :: Instances -> Expr -> Expr

Canonicalize variable names in an expression.

canonicalize (x + y) = (x + y)
canonicalize (y + x) = (x + y)
canonicalize (y + (z + x)) = (x + (y + z))
canonicalize ((w + z) + (z + x)) = ((x + y) + (y + z))
canonicalize (y + abs y) = (x + abs x)
canonicalize ((y + x) == (x + y)) = ((x + y) == (y + x))

canonicalWith :: Instances -> Expr -> Bool