Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. (&|) :: forall (m :: Type -> Type) a b u v c r . Monad m => Pipe a b u m v -> Pipe b c v m r -> Pipe a c u m (v, r)

    conduino Data.Conduino

    Like .|, but get the result of both pipes on termination, instead of just the second. This means that p &| q will only terminate with a result when both p and q terminate. (Typically, p .| q would terminate as soon as q terminates.)

  2. data ((a :: Predicate k) &&& (b :: Predicate k)) (c :: TyFun k Type)

    decidable Data.Type.Predicate.Logic

    p &&& q is a predicate that both p and q are true.

  3. (&&) :: Bool -> Bool -> Bool

    dimensional Numeric.Units.Dimensional.Prelude

    Boolean "and", lazy in the second argument

  4. (&&) :: Bool -> Bool -> Bool

    distribution-opensuse OpenSuse.Prelude

    Boolean "and", lazy in the second argument

  5. (&&^) :: Monad m => m Bool -> m Bool -> m Bool

    distribution-opensuse OpenSuse.Prelude

    The lazy && operator lifted to a monad. If the first argument evaluates to False the second argument will not be evaluated. 

    Just False &&^ undefined  == Just False
Just True  &&^ Just True  == Just True
Just True  &&^ Just False == Just False

  6. (&&&) :: Arrow a => a b c -> a b c' -> a b (c, c')

    dunai Data.MonadicStreamFunction.Core

    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.

  7. (&|&) :: forall (m :: Type -> Type) a b c . Monad m => MSF m a b -> MSF m a c -> MSF m a (b, c)

    dunai Data.MonadicStreamFunction.Parallel

    Parallel version of &&&.

  8. (&&) :: Boolean b => b -> b -> b

    ersatz Ersatz.Bit

    Logical conjunction.

  9. (&&) :: Bool -> Bool -> Bool

    faktory Faktory.Prelude

    Boolean "and", lazy in the second argument

  10. type (p :: k) && (q :: k1) = And p q

    gdp Logic.Propositional

    An infix alias for And.

Page 21 of many | Previous | Next