Yhc.Core.Equal

Equal checks if two CoreExpr's are equal ignoring any children expressions. Usually Eq is what is wanted, but for some stuff this is more appropriate.

Documentation

eqCoreExpr1 :: CoreExpr -> CoreExpr -> Bool

coreExpr1 :: CoreExpr -> CoreExpr1

data CoreExpr1

Should be equivalent to:

 eqCoreExpr1 x y = length xs == length ys && _x vs == _y vs
     where
         vs = replicate (length xs) (CoreVar "")
         (xs,_x) = uniplate x
         (ys,_y) = uniplate y

Instances

Eq CoreExpr1

Ord CoreExpr1

Show CoreExpr1