Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

Exact lookup

1. type family (a :: Bool) && (b :: Bool) :: Bool

   base	Data.Type.Bool

   Type-level "and"

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

   base	GHC.Base

   Boolean "and", lazy in the second argument

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

   ghc-prim	GHC.Classes

   Boolean "and", lazy in the second argument

4. (&~) :: s -> State s a -> s

   lens	Control.Lens.Lens

   This can be used to chain lens operations using op= syntax rather than op~ syntax for simple non-type-changing cases.

   >>> (10,20) & _1 .~ 30 & _2 .~ 40
   (30,40)
   

   >>> (10,20) &~ do _1 .= 30; _2 .= 40
   (30,40)
   

   This does not support type-changing assignment, e.g.

   >>> (10,20) & _1 .~ "hello"
   ("hello",20)
   

5. (&&=) :: MonadState s m => ASetter' s Bool -> Bool -> m ()

   lens	Control.Lens.Operators

   Modify the target(s) of a Lens', Iso, Setter or Traversal by taking their logical && with a value.

   >>> execState (do _1 &&= True; _2 &&= False; _3 &&= True; _4 &&= False) (True,True,False,False)
   (True,False,False,False)
   

   (&&=) :: MonadState s m => Setter' s Bool    -> Bool -> m ()
   (&&=) :: MonadState s m => Iso' s Bool       -> Bool -> m ()
   (&&=) :: MonadState s m => Lens' s Bool      -> Bool -> m ()
   (&&=) :: MonadState s m => Traversal' s Bool -> Bool -> m ()
   

6. (&&~) :: ASetter s t Bool Bool -> Bool -> s -> t

   lens	Control.Lens.Operators

   Logically && the target(s) of a Bool-valued Lens or Setter.

   >>> both &&~ True $ (False, True)
   (False,True)
   

   >>> both &&~ False $ (False, True)
   (False,False)
   

   (&&~) :: Setter' s Bool    -> Bool -> s -> s
   (&&~) :: Iso' s Bool       -> Bool -> s -> s
   (&&~) :: Lens' s Bool      -> Bool -> s -> s
   (&&~) :: Traversal' s Bool -> Bool -> s -> s
   

7. (&~) :: s -> State s a -> s

   lens	Control.Lens.Operators

   This can be used to chain lens operations using op= syntax rather than op~ syntax for simple non-type-changing cases.

   >>> (10,20) & _1 .~ 30 & _2 .~ 40
   (30,40)
   

   >>> (10,20) &~ do _1 .= 30; _2 .= 40
   (30,40)
   

   This does not support type-changing assignment, e.g.

   >>> (10,20) & _1 .~ "hello"
   ("hello",20)
   

8. (&&=) :: MonadState s m => ASetter' s Bool -> Bool -> m ()

   lens	Control.Lens.Setter

   Modify the target(s) of a Lens', Iso, Setter or Traversal by taking their logical && with a value.

   >>> execState (do _1 &&= True; _2 &&= False; _3 &&= True; _4 &&= False) (True,True,False,False)
   (True,False,False,False)
   

   (&&=) :: MonadState s m => Setter' s Bool    -> Bool -> m ()
   (&&=) :: MonadState s m => Iso' s Bool       -> Bool -> m ()
   (&&=) :: MonadState s m => Lens' s Bool      -> Bool -> m ()
   (&&=) :: MonadState s m => Traversal' s Bool -> Bool -> m ()
   

9. (&&~) :: ASetter s t Bool Bool -> Bool -> s -> t

   lens	Control.Lens.Setter

   Logically && the target(s) of a Bool-valued Lens or Setter.

   >>> both &&~ True $ (False, True)
   (False,True)
   

   >>> both &&~ False $ (False, True)
   (False,False)
   

   (&&~) :: Setter' s Bool    -> Bool -> s -> s
   (&&~) :: Iso' s Bool       -> Bool -> s -> s
   (&&~) :: Lens' s Bool      -> Bool -> s -> s
   (&&~) :: Traversal' s Bool -> Bool -> s -> s
   

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

    hedgehog	Hedgehog.Internal.Prelude

    Boolean "and", lazy in the second argument

Page 6 of many | Previous | Next