Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class Equality expr where Source
Equality for expressions
Nothing
equal :: expr a -> expr b -> Bool Source
Equality for expressions
Comparing expressions of different types is often needed when dealing with expressions with existentially quantified sub-terms.
Equality Semantics | |
Equality Empty | |
Equality Condition | |
Equality Construct | |
Equality Identity | |
Equality Literal | |
Equality Tuple | |
Equality Select | |
Equality Let | |
Equality Lambda |
|
Equality Variable |
|
Equality dom => Equality (AST dom) | |
Monad m => Equality (MONAD m) | |
(Equality expr1, Equality expr2) => Equality ((:+:) expr1 expr2) | |
Equality dom => Equality ((:||) dom pred) | |
Equality dom => Equality ((:|) dom pred) | |
Equality expr => Equality (Decor info expr) | |
Equality dom => Equality (SubConstr1 c dom p) | |
Equality dom => Equality (SubConstr2 c dom pa pb) |
equalDefault :: Semantic expr => expr a -> expr b -> Bool Source
Default implementation of equal
exprHashDefault :: Semantic expr => expr a -> Hash Source
Default implementation of exprHash