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.

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

    diagrams-lib Diagrams.Prelude

    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"])

  2. (<>=) :: (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 (<>). 

    >>> 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 ()

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

    diagrams-lib Diagrams.Prelude

    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

  4. data (a6989586621679215000 :: a) <>@#@$$ (b :: TyFun a a)

    singletons-base Data.Semigroup.Singletons

    No documentation available.

  5. type family (a6989586621679215000 :: a) <>@#@$$$ (a6989586621679215001 :: a) :: a

    singletons-base Data.Semigroup.Singletons

    No documentation available.

  6. data (a6989586621679215000 :: a) <>@#@$$ (b :: TyFun a a)

    singletons-base Data.Singletons.Base.TH

    No documentation available.

  7. type family (a6989586621679215000 :: a) <>@#@$$$ (a6989586621679215001 :: a) :: a

    singletons-base Data.Singletons.Base.TH

    No documentation available.

  8. data (a6989586621679215000 :: a) <>@#@$$ (b :: TyFun a a)

    singletons-base Prelude.Singletons

    No documentation available.

  9. type family (a6989586621679215000 :: a) <>@#@$$$ (a6989586621679215001 :: a) :: a

    singletons-base Prelude.Singletons

    No documentation available.

  10. (<>~) :: Monoid a => Setter s t a a -> a -> s -> t

    lens-family Lens.Family2

    Monoidally append a value to all referenced fields.

Page 12 of many | Previous | Next