Hoogle Search

Within LTS Haskell 24.22 (ghc-9.10.3)

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

Exact lookup

1. (-&&-) :: Expr -> Expr -> Expr

   code-conjure	Conjure.Expr

   The function && lifted over the Expr type.

   > pp -&&- qq
   p && q :: Bool
   

   > false -&&- true
   False && True :: Bool
   

   > evalBool $ false -&&- true
   False
   

2. (<&&>) :: (ToBool bool, Boolean bool, Monad m) => m bool -> m bool -> m bool

   cond	Control.Conditional

   Lifted conjunction. Unlike liftM2 (&&), this function is short-circuiting in the monad. Fixity is the same as && (infxr 3).

3. (<&>) :: Functor f => f a -> (a -> b) -> f b

   configuration-tools	Configuration.Utils.Internal

   Flipped version of <$>.

   (<&>) = flip fmap
   

   Examples

   Apply (+1) to a list, a Just and a Right:

   >>> Just 2 <&> (+1)
   Just 3
   

   >>> [1,2,3] <&> (+1)
   [2,3,4]
   

   >>> Right 3 <&> (+1)
   Right 4
   

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

   extrapolate	Test.Extrapolate.Expr

   The function && lifted over the Expr type.

   > pp -&&- qq
   p && q :: Bool
   

   > false -&&- true
   False && True :: Bool
   

   > evalBool $ false -&&- true
   False
   

5. class (c1 a, c2 a) => ((c1 :: k -> Constraint) :&&: (c2 :: k -> Constraint)) (a :: k)

   fixed-vector-hetero	Data.Vector.HFixed.Class

   Type class for combining two constraint constructors. Those are required for ArityC type class.

6. (.&) :: Hex -> Hex -> Hex

   ghci-hexcalc	Data.GHex

   Bitwise "and"

   >>> 0x1234 .& 0xff
   0x0000_0000_0000_0034
   

7. (<&>) :: Functor f => f a -> (a -> b) -> f b

   github	GitHub.Internal.Prelude

   Flipped version of <$>.

   (<&>) = flip fmap
   

   Examples

   Apply (+1) to a list, a Just and a Right:

   >>> Just 2 <&> (+1)
   Just 3
   

   >>> [1,2,3] <&> (+1)
   [2,3,4]
   

   >>> Right 3 <&> (+1)
   Right 4
   

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

   grisette	Grisette.Core

   Symbolic conjunction

9. (.&&) :: LogicalOp b => b -> b -> b

   grisette	Grisette.Internal.Core.Data.Class.LogicalOp

   Symbolic conjunction

10. (.<&>) :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => f a -> (a -> b) -> f b

    grisette	Grisette.Lib.Data.Functor

    <&> with MergingStrategy knowledge propagation.

Page 40 of many | Previous | Next