|| is:exact

(||) :: Bool -> Bool -> Bool
base Prelude Data.Bool GHC.Base, ghc-prim GHC.Classes, hedgehog Hedgehog.Internal.Prelude, base-compat Prelude.Compat, protolude Protolude, relude Relude.Bool.Reexport, rio RIO.Prelude, base-prelude BasePrelude BasePrelude.Operators, classy-prelude ClassyPrelude, numeric-prelude NumericPrelude NumericPrelude.Base, Cabal-syntax Distribution.Compat.Prelude, universum Universum.Bool.Reexport, ihaskell IHaskellPrelude, basement Basement.Compat.Base Basement.Imports, numhask NumHask.Prelude, foundation Foundation, ghc-lib-parser GHC.Prelude.Basic, ghc-internal GHC.Internal.Base GHC.Internal.Data.Bool, dimensional Numeric.Units.Dimensional.Prelude, rebase Rebase.Prelude, xmonad-contrib XMonad.Config.Prime, constrained-categories Control.Category.Constrained.Prelude Control.Category.Hask, LambdaHack Game.LambdaHack.Core.Prelude, cabal-install-solver Distribution.Solver.Compat.Prelude, faktory Faktory.Prelude, verset Verset, yesod-paginator Yesod.Paginator.Prelude, distribution-opensuse OpenSuse.Prelude, hledger-web Hledger.Web.Import, termonad Termonad.Prelude
Boolean "or", lazy in the second argument
type family (a :: Bool) || (b :: Bool) :: Bool
base Data.Type.Bool, singletons-base Data.Bool.Singletons Prelude.Singletons, ghc-internal GHC.Internal.Data.Type.Bool
Type-level "or"
(||) :: Bool -> Bool -> Bool
ghc GHC.Prelude.Basic, clash-prelude Clash.HaskellPrelude
data (||)
first-class-families Fcf Fcf.Data.Bool
(||) :: Bool -> Bool -> Bool
basic-prelude CorePrelude, prelude-compat Prelude2010
Boolean "or"
(||) :: Boolean a => a -> a -> a
Boolean Data.Boolean.Overload, Agda Agda.Utils.Boolean
type (||) = Or
refined Refined
The disjunction of two predicates.
(||) :: Boolean b => b -> b -> b
cond Data.Algebra.Boolean
Logical inclusive disjunction. (infixr 2)
(||) :: CanAndOrAsymmetric a b => a -> b -> AndOrType a b
mixed-types-num Numeric.MixedTypes.Bool
A synonym of or2.
(||) :: CanAndOrSameType t => t -> t -> t
mixed-types-num Numeric.OrdGenericBool
(||) :: forall (m :: Type -> Type) a . Monad m => Predicate m a -> Predicate m a -> Predicate m a
skeletest Skeletest.Internal.Predicate Skeletest.Predicate
A predicate checking if the input matches one of the given predicates 
>>> 1 `shouldSatisfy` P.lt 5 P.|| P.gt 10
(||) :: Stream Bool -> Stream Bool -> Stream Bool
copilot-language Copilot.Language.Operators.Boolean
Apply the or (||) operator to two boolean streams, point-wise.
(||) :: Boolean b => b -> b -> b
ersatz Ersatz.Bit
Logical disjunction (inclusive or).
type p || q = p `Or` q
gdp Logic.Propositional
An infix alias for Or.
(||) :: RBool -> RBool -> RBool
rec-def Data.Recursive.Bool
RB.get (r1 RB.|| r2) === (RB.get r1 || RB.get r2)
(||) :: RDualBool -> RDualBool -> RDualBool
rec-def Data.Recursive.DualBool
RDB.get (r1 RDB.|| r2) === (RDB.get r1 || RDB.get r2)