Hoogle Search
Within LTS Haskell 24.34 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
(
&&^ ) :: Monad m => m Bool -> m Bool -> m Boolrelude Relude.Bool.Guard Monadic version of (&&) operator. It is lazy by the second argument (similar to (||)), meaning that if the first argument is False, the function will return False without evaluating the second argument.
>>> Just False &&^ Just True Just False >>> Just True &&^ Just True Just True >>> Just True &&^ Nothing Nothing >>> Just False &&^ Nothing Just False >>> Just False &&^ error "Shouldn't be evaluated" Just False
-
relude Relude.Bool.Reexport Boolean "and", lazy in the second argument
(
&&& ) :: Arrow a => a b c -> a b c' -> a b (c, c')relude Relude.Function Fanout: send the input to both argument arrows and combine their output. The default definition may be overridden with a more efficient version if desired.
data ((a :: Bool)
&& (b :: Bool)) (c :: Bool)first-class-families Fcf No documentation available.
data ((a :: Bool)
&& (b :: Bool)) (c :: Bool)first-class-families Fcf.Data.Bool No documentation available.
-
basement Basement.Compat.Base Boolean "and", lazy in the second argument
-
basement Basement.Imports Boolean "and", lazy in the second argument
(
&> ) :: msg -> LogAction m msg -> m ()co-log-core Colog.Core.Action A flipped version of <&. It shares the same precedence as <&, so make sure to surround lower precedence operators in parentheses:
msg &> (f >$< action)
type family (a :: Bool)
&& (b :: Bool) :: Boolsingletons-base Data.Bool.Singletons Type-level "and"
data (a6989586621679139150 :: Bool)
&&@#@$$ (b :: TyFun Bool Bool)singletons-base Data.Bool.Singletons No documentation available.