Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for Eq
.
Class Sym_Eq
class Sym_Eq term where Source #
(==) :: Eq a => term a -> term a -> term Bool infix 4 Source #
(/=) :: Eq a => term a -> term a -> term Bool infix 4 Source #
(==) :: Sym_Eq (UnT term) => Trans term => Eq a => term a -> term a -> term Bool infix 4 Source #
(/=) :: Sym_Eq (UnT term) => Trans term => Eq a => term a -> term a -> term Bool infix 4 Source #
Type
s
Term
s
Orphan instances
ClassInstancesFor (* -> Constraint) Eq Source # | |
TypeInstancesFor (* -> Constraint) Eq Source # | |
NameTyOf (* -> Constraint) Eq Source # | |
FixityOf (* -> Constraint) Eq Source # | |
(Source src, SymInj (* -> Constraint) ss Eq) => ModuleFor (* -> Constraint) src ss Eq Source # | |
Gram_Term_AtomsFor (* -> Constraint) src ss g Eq Source # | |