Language.Syntactic.Interpretation.Equality

Documentation

class Equality expr where

Equality for expressions

Methods

equal :: expr a -> expr b -> Bool

Equality for expressions

Comparing expressions of different types is often needed when dealing with expressions with existentially quantified sub-terms.

exprHash :: expr a -> Hash

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

equal a b  ==>  exprHash a == exprHash b

equal :: Semantic expr => expr a -> expr b -> Bool

Equality for expressions

Comparing expressions of different types is often needed when dealing with expressions with existentially quantified sub-terms.

exprHash :: Semantic expr => expr a -> Hash

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

equal a b  ==>  exprHash a == exprHash b

Instances

Equality Semantics

Defined in Language.Syntactic.Interpretation.Equality

Methods

equal :: Semantics a -> Semantics b -> Bool

exprHash :: Semantics a -> Hash

Equality Empty

Defined in Language.Syntactic.Constraint

Methods

equal :: Empty a -> Empty b -> Bool

exprHash :: Empty a -> Hash

Equality Tuple

Defined in Language.Syntactic.Constructs.Tuple

Methods

equal :: Tuple a -> Tuple b -> Bool

exprHash :: Tuple a -> Hash

Equality Select

Defined in Language.Syntactic.Constructs.Tuple

Methods

equal :: Select a -> Select b -> Bool

exprHash :: Select a -> Hash

Equality Literal

Defined in Language.Syntactic.Constructs.Literal

Methods

equal :: Literal a -> Literal b -> Bool

exprHash :: Literal a -> Hash

Equality Identity

Defined in Language.Syntactic.Constructs.Identity

Methods

equal :: Identity a -> Identity b -> Bool

exprHash :: Identity a -> Hash

Equality Construct

Defined in Language.Syntactic.Constructs.Construct

Methods

equal :: Construct a -> Construct b -> Bool

exprHash :: Construct a -> Hash

Equality Condition

Defined in Language.Syntactic.Constructs.Condition

Methods

equal :: Condition a -> Condition b -> Bool

exprHash :: Condition a -> Hash

Equality Let

Defined in Language.Syntactic.Constructs.Binding

Methods

equal :: Let a -> Let b -> Bool

exprHash :: Let a -> Hash

Equality Lambda

equal does strict identifier comparison; i.e. no alpha equivalence.

exprHash assigns the same hash to all Lambda bindings. This is a valid over-approximation that enables the following property:

alphaEq a b  ==>  exprHash a == exprHash b

Defined in Language.Syntactic.Constructs.Binding

Methods

equal :: Lambda a -> Lambda b -> Bool

exprHash :: Lambda a -> Hash

Equality Variable

equal does strict identifier comparison; i.e. no alpha equivalence.

exprHash assigns the same hash to all variables. This is a valid over-approximation that enables the following property:

alphaEq a b  ==>  exprHash a == exprHash b

Defined in Language.Syntactic.Constructs.Binding

Methods

equal :: Variable a -> Variable b -> Bool

exprHash :: Variable a -> Hash

Equality dom => Equality (AST dom)

Defined in Language.Syntactic.Interpretation.Equality

Methods

equal :: AST dom a -> AST dom b -> Bool

exprHash :: AST dom a -> Hash

Monad m => Equality (MONAD m)

Defined in Language.Syntactic.Constructs.Monad

Methods

equal :: MONAD m a -> MONAD m b -> Bool

exprHash :: MONAD m a -> Hash

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

Defined in Language.Syntactic.Interpretation.Equality

Methods

equal :: (expr1 :+: expr2) a -> (expr1 :+: expr2) b -> Bool

exprHash :: (expr1 :+: expr2) a -> Hash

Equality dom => Equality (dom :|| pred)

Defined in Language.Syntactic.Constraint

Methods

equal :: (dom :|| pred) a -> (dom :|| pred) b -> Bool

exprHash :: (dom :|| pred) a -> Hash

Equality dom => Equality (dom :| pred)

Defined in Language.Syntactic.Constraint

Methods

equal :: (dom :| pred) a -> (dom :| pred) b -> Bool

exprHash :: (dom :| pred) a -> Hash

Equality expr => Equality (Decor info expr)

Defined in Language.Syntactic.Constructs.Decoration

Methods

equal :: Decor info expr a -> Decor info expr b -> Bool

exprHash :: Decor info expr a -> Hash

Equality dom => Equality (SubConstr1 c dom p)

Defined in Language.Syntactic.Constraint

Methods

equal :: SubConstr1 c dom p a -> SubConstr1 c dom p b -> Bool

exprHash :: SubConstr1 c dom p a -> Hash

Equality dom => Equality (SubConstr2 c dom pa pb)

Defined in Language.Syntactic.Constraint

Methods

equal :: SubConstr2 c dom pa pb a -> SubConstr2 c dom pa pb b -> Bool

exprHash :: SubConstr2 c dom pa pb a -> Hash

equalDefault :: Semantic expr => expr a -> expr b -> Bool

Default implementation of equal

exprHashDefault :: Semantic expr => expr a -> Hash

Default implementation of exprHash

Orphan instances

Equality dom => Eq (AST dom a)

Methods

(==) :: AST dom a -> AST dom a -> Bool

(/=) :: AST dom a -> AST dom a -> Bool

(Equality expr1, Equality expr2) => Eq ((expr1 :+: expr2) a)

Methods

(==) :: (expr1 :+: expr2) a -> (expr1 :+: expr2) a -> Bool

(/=) :: (expr1 :+: expr2) a -> (expr1 :+: expr2) a -> Bool