== -package:foundation -package:smallcheck is:exact -package:partial-order

(==) :: Eq a => a -> a -> Bool
base Prelude Data.Eq, ghc-prim GHC.Classes, hedgehog Hedgehog.Internal.Prelude, ghc GHC.Prelude.Basic, base-compat Prelude.Compat, protolude Protolude, haskell-gi-base Data.GI.Base.ShortPrelude, relude Relude.Base, rio RIO.Prelude, base-prelude BasePrelude BasePrelude.Operators, shake Development.Shake.Classes, classy-prelude ClassyPrelude, numeric-prelude NumericPrelude NumericPrelude.Base, basic-prelude CorePrelude, universum Universum.Base, Cabal-syntax Distribution.Compat.Prelude, github GitHub.Internal.Prelude, numhask NumHask.Prelude, basement Basement.Compat.Base Basement.Imports, ghc-lib-parser GHC.Prelude.Basic, prelude-compat Prelude2010, dimensional Numeric.Units.Dimensional.Prelude, rebase Rebase.Prelude, quaalude Essentials, xmonad-contrib XMonad.Config.Prime, stack Stack.Prelude, incipit-base Incipit.Base, LambdaHack Game.LambdaHack.Core.Prelude, cabal-install-solver Distribution.Solver.Compat.Prelude, loc Data.Loc.Internal.Prelude, subcategories Control.Subcategory.RebindableSyntax, universe-reverse-instances Data.Universe.Instances.Eq, yesod-paginator Yesod.Paginator.Prelude, distribution-opensuse OpenSuse.Prelude, faktory Faktory.Prelude, hledger-web Hledger.Web.Import, termonad Termonad.Prelude
type family a == b
base Data.Type.Equality
A type family to compute Boolean equality.
type family (a :: k) == (b :: k) :: Bool
protolude Protolude, base-compat-batteries Data.Type.Equality.Compat
A type family to compute Boolean equality.
type (==) m n = IsEQ (CmpNat m n)
generic-random Generic.Random.Internal.BaseCase
(==) :: EqB a => a -> a -> BooleanOf a
Boolean Data.Boolean.Overload
type family (==) (arg_apXu :: a_apXp) (arg_apXv :: a_apXp) :: Bool
singletons-base Data.Eq.Singletons Data.Singletons.Base.TH Prelude.Singletons
type (==) a_apXP a_apXQ = Apply (Apply TFHelper_6989586621679109603Sym0 a_apXP) a_apXQ
singletons-base Data.Eq.Singletons Data.Singletons.Base.TH Prelude.Singletons
(==) :: JExpr -> JExpr -> JExpr
jmacro Language.Javascript.JMacro.Util
(==) :: HasEqAsymmetric a b => a -> b -> EqCompareType a b
mixed-types-num Numeric.MixedTypes.Eq
(==) :: HasEqAsymmetric t t => t -> t -> EqCompareType t t
mixed-types-num Numeric.OrdGenericBool
(==) :: Eq a => a % 1 -> a % 1 -> Bool
linear-base Data.Ord.Linear
type x == y = x `Equals` y
gdp Theory.Equality
An infix alias for Equals.
type (a :: k1) == (b :: k2) = (a ==? b) ~ 'True
typenums Data.TypeLits Data.TypeNums
Equality constraint, used as e.g. (x == 3) => _