Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. (<>:=) :: (MonadState s m, Semigroup a) => ASetter' s a -> a -> m ()

   lens	Control.Lens.Operators

   Modify the target(s) of a Lens', Iso, Setter or Traversal by using (<>). However, unlike <>=, it is prepend to the head side.

2. (<>:~) :: Semigroup b => ASetter s t b b -> b -> s -> t

   lens	Control.Lens.Operators

   Modify the target of a Semigroup value by using (<>). However, unlike <>~, it is prepend to the head side.

   >>> ["world"] & id <>:~ ["hello"]
   ["hello","world"]
   

   >>> (["world"], ["lens"]) & _1 <>:~ ["hello"]
   (["hello","world"],["lens"])
   

3. (<>=) :: (MonadState s m, Semigroup a) => ASetter' s a -> a -> m ()

   lens	Control.Lens.Operators

   Modify the target(s) of a Lens', Iso, Setter or Traversal by using (<>).

   >>> execState (do _1 <>= Sum c; _2 <>= Product d) (Sum a,Product b)
   (Sum {getSum = a + c},Product {getProduct = b * d})
   

   >>> execState (both <>= "!!!") ("hello","world")
   ("hello!!!","world!!!")
   

   (<>=) :: (MonadState s m, Semigroup a) => Setter' s a -> a -> m ()
   (<>=) :: (MonadState s m, Semigroup a) => Iso' s a -> a -> m ()
   (<>=) :: (MonadState s m, Semigroup a) => Lens' s a -> a -> m ()
   (<>=) :: (MonadState s m, Semigroup a) => Traversal' s a -> a -> m ()
   

4. (<>~) :: Semigroup a => ASetter s t a a -> a -> s -> t

   lens	Control.Lens.Operators

   Modify the target of a Semigroup value by using (<>).

   >>> (Sum a,b) & _1 <>~ Sum c
   (Sum {getSum = a + c},b)
   

   >>> (Sum a,Sum b) & both <>~ Sum c
   (Sum {getSum = a + c},Sum {getSum = b + c})
   

   >>> both <>~ "!!!" $ ("hello","world")
   ("hello!!!","world!!!")
   

   (<>~) :: Semigroup a => Setter s t a a    -> a -> s -> t
   (<>~) :: Semigroup a => Iso s t a a       -> a -> s -> t
   (<>~) :: Semigroup a => Lens s t a a      -> a -> s -> t
   (<>~) :: Semigroup a => Traversal s t a a -> a -> s -> t
   

5. (<>:=) :: (MonadState s m, Semigroup a) => ASetter' s a -> a -> m ()

   lens	Control.Lens.Setter

   Modify the target(s) of a Lens', Iso, Setter or Traversal by using (<>). However, unlike <>=, it is prepend to the head side.

6. (<>:~) :: Semigroup b => ASetter s t b b -> b -> s -> t

   lens	Control.Lens.Setter

   Modify the target of a Semigroup value by using (<>). However, unlike <>~, it is prepend to the head side.

   >>> ["world"] & id <>:~ ["hello"]
   ["hello","world"]
   

   >>> (["world"], ["lens"]) & _1 <>:~ ["hello"]
   (["hello","world"],["lens"])
   

7. (<>=) :: (MonadState s m, Semigroup a) => ASetter' s a -> a -> m ()

   lens	Control.Lens.Setter

   Modify the target(s) of a Lens', Iso, Setter or Traversal by using (<>).

   >>> execState (do _1 <>= Sum c; _2 <>= Product d) (Sum a,Product b)
   (Sum {getSum = a + c},Product {getProduct = b * d})
   

   >>> execState (both <>= "!!!") ("hello","world")
   ("hello!!!","world!!!")
   

   (<>=) :: (MonadState s m, Semigroup a) => Setter' s a -> a -> m ()
   (<>=) :: (MonadState s m, Semigroup a) => Iso' s a -> a -> m ()
   (<>=) :: (MonadState s m, Semigroup a) => Lens' s a -> a -> m ()
   (<>=) :: (MonadState s m, Semigroup a) => Traversal' s a -> a -> m ()
   

8. (<>~) :: Semigroup a => ASetter s t a a -> a -> s -> t

   lens	Control.Lens.Setter

   Modify the target of a Semigroup value by using (<>).

   >>> (Sum a,b) & _1 <>~ Sum c
   (Sum {getSum = a + c},b)
   

   >>> (Sum a,Sum b) & both <>~ Sum c
   (Sum {getSum = a + c},Sum {getSum = b + c})
   

   >>> both <>~ "!!!" $ ("hello","world")
   ("hello!!!","world!!!")
   

   (<>~) :: Semigroup a => Setter s t a a    -> a -> s -> t
   (<>~) :: Semigroup a => Iso s t a a       -> a -> s -> t
   (<>~) :: Semigroup a => Lens s t a a      -> a -> s -> t
   (<>~) :: Semigroup a => Traversal s t a a -> a -> s -> t
   

9. (<>~) :: Monoid a => ASetter s t a a -> a -> s -> t

   microlens	Lens.Micro

   (<>~) appends a value monoidally to the target.

   >>> ("hello", "goodbye") & both <>~ " world!"
   ("hello world!", "goodbye world!")
   

10. (<>:=) :: (MonadState s m, Semigroup a) => ASetter' s a -> a -> m ()

    diagrams-lib	Diagrams.Prelude

    Modify the target(s) of a Lens', Iso, Setter or Traversal by using (<>). However, unlike <>=, it is prepend to the head side.

Page 11 of many | Previous | Next