Hoogle Search
Within LTS Haskell 22.20 (ghc-9.6.4)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
(
||= ) :: 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,True,True,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 ()
(
||~ ) :: ASetter s t Bool Bool -> Bool -> s -> tlens Control.Lens.Operators Logically || the target(s) of a Bool-valued Lens or Setter.
>>> both ||~ True $ (False,True) (True,True)
>>> both ||~ False $ (False,True) (False,True)
(||~) :: Setter' s Bool -> Bool -> s -> s (||~) :: Iso' s Bool -> Bool -> s -> s (||~) :: Lens' s Bool -> Bool -> s -> s (||~) :: Traversal' s Bool -> Bool -> s -> s
(
||= ) :: 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,True,True,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 ()
(
||~ ) :: ASetter s t Bool Bool -> Bool -> s -> tlens Control.Lens.Setter Logically || the target(s) of a Bool-valued Lens or Setter.
>>> both ||~ True $ (False,True) (True,True)
>>> both ||~ False $ (False,True) (False,True)
(||~) :: Setter' s Bool -> Bool -> s -> s (||~) :: Iso' s Bool -> Bool -> s -> s (||~) :: Lens' s Bool -> Bool -> s -> s (||~) :: Traversal' s Bool -> Bool -> s -> s
-
hedgehog Hedgehog.Internal.Prelude Boolean "or", lazy in the second argument
(
||^ ) :: Monad m => m Bool -> m Bool -> m Boolextra Control.Monad.Extra The lazy || operator lifted to a monad. If the first argument evaluates to True the second argument will not be evaluated.
Just True ||^ undefined == Just True Just False ||^ Just True == Just True Just False ||^ Just False == Just False
(
|: ) :: [a] -> a -> NonEmpty aextra Data.List.NonEmpty.Extra O(n). Append an element to a list.
[1,2,3] |: 4 |> 5 == 1 :| [2,3,4,5]
(
|> ) :: NonEmpty a -> a -> NonEmpty aextra Data.List.NonEmpty.Extra O(n). Append an element to a non-empty list.
(1 :| [2,3]) |> 4 |> 5 == 1 :| [2,3,4,5]
(
|: ) :: [a] -> a -> NonEmpty aextra Extra O(n). Append an element to a list.
[1,2,3] |: 4 |> 5 == 1 :| [2,3,4,5]
(
|> ) :: NonEmpty a -> a -> NonEmpty aextra Extra O(n). Append an element to a non-empty list.
(1 :| [2,3]) |> 4 |> 5 == 1 :| [2,3,4,5]