7 module Data.Eq.Indirect
16 import Prelude.Unicode
18 infix 4 ==:{-, /=:, ≡:, ≢:, ≠:-}
21 class Eq (Unified α) ⇒ Eq' α where
28 (==:) ∷ (Eq' α, Eq' β, Unified α ~ Unified β) ⇒ α → β → Bool
30 (==:) = (∘ unify) ∘ (≡) ∘ unify
33 (/=:) ∷ (Eq' α, Eq' β, Unified α ~ Unified β) ⇒ α → β → Bool
35 (/=:) = ((¬) ∘) ∘ (==:)
38 (≡:) ∷ (Eq' α, Eq' β, Unified α ~ Unified β) ⇒ α → β → Bool
39 {-# INLINE CONLIKE (≡:) #-}
43 (≢:) ∷ (Eq' α, Eq' β, Unified α ~ Unified β) ⇒ α → β → Bool
44 {-# INLINE CONLIKE (≢:) #-}
48 (≠:) ∷ (Eq' α, Eq' β, Unified α ~ Unified β) ⇒ α → β → Bool
49 {-# INLINE CONLIKE (≠:) #-}