| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Howl.Eval.Equality
Description
Fast expression equality checks used by the evaluator.
Synopsis
- exprEqualFast :: Expr -> Expr -> Bool
Documentation
exprEqualFast :: Expr -> Expr -> Bool #
Fast equality check for evaluator rewrite detection. Uses StableName pointer equality at the root and shallowly on immediate children, falling back to structural equality per-node when pointers differ.