Language.Syntactic.Analysis.Hash

Documentation

class ExprEq expr => ExprHash expr where

Methods

exprHash :: expr a -> Hash

Computes a Hash for an expression. Expressions that are equal according to exprEq must result in the same hash.

Instances

ExprHash Literal

ExprHash PrimFunc

ExprHash Condition

ExprHash Select

ExprHash Tuple

ExprHash Let

ExprHash dom => ExprHash (AST dom)

(ExprHash expr1, ExprHash expr2) => ExprHash (:+: expr1 expr2)

ExprHash expr => ExprHash (Ann info expr)