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 Source | |
Equality Empty Source | |
Equality Condition Source | |
Equality Construct Source | |
Equality Identity Source | |
Equality Literal Source | |
Equality Tuple Source | |
Equality Select Source | |
Equality Let Source | |
Equality Lambda Source |
|
Equality Variable Source |
|
Equality dom => Equality (AST dom) Source | |
Monad m => Equality (MONAD m) Source | |
(Equality expr1, Equality expr2) => Equality ((:+:) expr1 expr2) Source | |
Equality dom => Equality ((:||) dom pred) Source | |
Equality dom => Equality ((:|) dom pred) Source | |
Equality expr => Equality (Decor info expr) Source | |
Equality dom => Equality (SubConstr1 c dom p) Source | |
Equality dom => Equality (SubConstr2 c dom pa pb) Source |
equalDefault :: Semantic expr => expr a -> expr b -> Bool Source
Default implementation of equal
exprHashDefault :: Semantic expr => expr a -> Hash Source
Default implementation of exprHash