Hoogle Search

Within LTS Haskell 24.20 (ghc-9.10.3)

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

Exact lookup

1. (<.&.~) :: Bits a => LensLike ((,) a) s t a a -> a -> s -> (a, t)

   lens	Data.Bits.Lens

   Bitwise .&. the target(s) of a Lens or Traversal, returning the result (or a monoidal summary of all of the results).

   >>> _2 <.&.~ 7 $ ("hello",254)
   (6,("hello",6))
   

   (<.&.~) :: Bits a             => Iso       s t a a -> a -> s -> (a, t)
   (<.&.~) :: Bits a             => Lens      s t a a -> a -> s -> (a, t)
   (<.&.~) :: (Bits a, Monoid a) => Traversal s t a a -> a -> s -> (a, t)
   

2. (<.|.=) :: (MonadState s m, Bits a) => LensLike' ((,) a) s a -> a -> m a

   lens	Data.Bits.Lens

   Modify the target(s) of a Lens', (or Traversal) by computing its bitwise .|. with another value, returning the result (or a monoidal summary of all of the results traversed).

   >>> runState (_1 <.|.= 7) (28,0)
   (31,(31,0))
   

   (<.|.=) :: (MonadState s m, Bits a)           => Lens' s a      -> a -> m a
   (<.|.=) :: (MonadState s m, Bits a, Monoid a) => Traversal' s a -> a -> m a
   

3. (<.|.~) :: Bits a => LensLike ((,) a) s t a a -> a -> s -> (a, t)

   lens	Data.Bits.Lens

   Bitwise .|. the target(s) of a Lens (or Traversal), returning the result (or a monoidal summary of all of the results).

   >>> _2 <.|.~ 6 $ ("hello",3)
   (7,("hello",7))
   

   (<.|.~) :: Bits a             => Iso s t a a       -> a -> s -> (a, t)
   (<.|.~) :: Bits a             => Lens s t a a      -> a -> s -> (a, t)
   (<.|.~) :: (Bits a, Monoid a) => Traversal s t a a -> a -> s -> (a, t)
   

4. (<<.&.=) :: (MonadState s m, Bits a) => LensLike' ((,) a) s a -> a -> m a

   lens	Data.Bits.Lens

   Modify the target(s) of a Lens', (or Traversal') by computing its bitwise .&. with another value, returning the original value (or a monoidal summary of all the original values). When you do not need the old value, (.&.=) is more flexible.

   >>> runState (_1 <<.&.= 15) (31,0)
   (31,(15,0))
   

   (<<.&.=) :: (MonadState s m, Bits a)           => Lens' s a      -> a -> m a
   (<<.&.=) :: (MonadState s m, Bits a, Monoid a) => Traversal' s a -> a -> m a
   

5. (<<.&.~) :: Bits a => Optical' (->) q ((,) a) s a -> a -> q s (a, s)

   lens	Data.Bits.Lens

   Bitwise .&. the target(s) of a Lens or Traversal, and return the original value, or a monoidal summary of the original values. When you do not need the old value, (.&.~) is more flexible.

   >>> _2 <<.&.~ 7 $ ("hello", 254)
   (254,("hello",6))
   

   (<<.&.~) ::  Bits a            => Iso s t a a       -> a -> s -> (a, t)
   (<<.&.~) ::  Bits a            => Lens s t a a      -> a -> s -> (a, t)
   (<<.&.~) :: (Bits a, Monoid a) => Traversal s t a a -> a -> s -> (a, t)
   

6. (<<.|.=) :: (MonadState s m, Bits a) => LensLike' ((,) a) s a -> a -> m a

   lens	Data.Bits.Lens

   Modify the target(s) of a Lens', (or Traversal') by computing its bitwise .|. with another value, returning the original value (or a monoidal summary of all the original values). When you do not need the old value, (.|.=) is more flexible.

   >>> runState (_1 <<.|.= 7) (28,0)
   (28,(31,0))
   

   (<<.|.=) :: (MonadState s m, Bits a)           => Lens' s a      -> a -> m a
   (<<.|.=) :: (MonadState s m, Bits a, Monoid a) => Traversal' s a -> a -> m a
   

7. (<<.|.~) :: Bits a => Optical' (->) q ((,) a) s a -> a -> q s (a, s)

   lens	Data.Bits.Lens

   Bitwise .|. the target(s) of a Lens or Traversal, and return the original value, or a monoidal summary of the original values. When you do not need the old value, (.|.~) is more flexible.

   >>> _2 <<.|.~ 6 $ ("hello", 3)
   (3,("hello",7))
   

   (<<.|.~) ::  Bits a            => Iso s t a a       -> a -> s -> (a, t)
   (<<.|.~) ::  Bits a            => Lens s t a a      -> a -> s -> (a, t)
   (<<.|.~) :: (Bits a, Monoid a) => Traversal s t a a -> a -> s -> (a, t)
   

8. (<.>=) :: MonadState s m => ASetter' s FilePath -> String -> m ()

   lens	System.FilePath.Lens

   Modify the target(s) of a Lens', Iso', Setter' or Traversal' by adding an extension.

   >>> execState (both <.>= "txt") ("hello","world")
   ("hello.txt","world.txt")
   

   (<.>=) :: MonadState s m => Setter' s FilePath -> String -> m ()
   (<.>=) :: MonadState s m => Iso' s FilePath -> String -> m ()
   (<.>=) :: MonadState s m => Lens' s FilePath -> String -> m ()
   (<.>=) :: MonadState s m => Traversal' s FilePath -> String -> m ()
   

9. (<.>~) :: ASetter s a FilePath FilePath -> String -> s -> a

   lens	System.FilePath.Lens

   Modify the path by adding an extension.

   >>> both <.>~ "txt" $ ("hello","world")
   ("hello.txt","world.txt")
   

   (<.>~) :: Setter s a FilePath FilePath -> String -> s -> a
   (<.>~) :: Iso s a FilePath FilePath -> String -> s -> a
   (<.>~) :: Lens s a FilePath FilePath -> String -> s -> a
   (<.>~) :: Traversal s a FilePath FilePath -> String -> s -> a
   

10. (<<.>=) :: MonadState s m => LensLike' ((,) FilePath) s FilePath -> String -> m FilePath

    lens	System.FilePath.Lens

    Add an extension onto the end of the target of a Lens into your monad's state and return the result.

    >>> evalState (_1 <<.>= "txt") ("hello","world")
    "hello.txt"
    

    When you do not need the result of the operation, (<.>=) is more flexible.

Page 100 of many | Previous | Next