Hoogle Search
Within LTS Haskell 24.41 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
(
^: ) :: T r a -> (a -> a) -> r -> rdata-accessor Data.Accessor modify as infix operator. This lets us write field^:subfield^:(2*) $ record, record$%field^:subfield^:(2*) or record$%field^:subfield^:(const 1).
(
^: ) :: T r a -> (a -> a) -> r -> rdata-accessor Data.Accessor.Basic modify as infix operator. This lets us write field^:subfield^:(2*) $ record, record$%field^:subfield^:(2*) or record$%field^:subfield^:(const 1).
(
%: ) :: forall (m :: Type -> Type) r a . Monad m => T r a -> (a -> a) -> StateT r m ()data-accessor Data.Accessor.MonadState Infix variant of modify.
-
errors Control.Error.Util An infix form of fromMaybe with arguments flipped.
(
<<<>:= ) :: (MonadState s m, Semigroup r) => LensLike' ((,) r) s r -> r -> m rdiagrams-lib Diagrams.Prelude (<>) a Semigroup value onto the front of the target of a Lens into your Monad's state and return the old result. However, unlike (<<<>=), it is prepended to the head side. When you do not need the result of the operation, (<>:=) is more flexible.
(
<<<>:~ ) :: Semigroup m => LensLike' ((,) m) s m -> m -> s -> (m, s)diagrams-lib Diagrams.Prelude (<>) a Semigroup value onto the front of the target of a Lens and return the old result. However, unlike (<<>~), it is prepended to the head side. When you do not need the result of the operation, (<>:~) is more flexible.
(
<<>:= ) :: (MonadState s m, Semigroup r) => LensLike' ((,) r) s r -> r -> m rdiagrams-lib Diagrams.Prelude (<>) a Semigroup value onto the front of the target of a Lens into your Monad's state and return the result. However, unlike (<<>=), it is prepended to the head side. When you do not need the result of the operation, (<>:=) is more flexible.
(
<<>:~ ) :: Semigroup m => LensLike ((,) m) s t m m -> m -> s -> (m, t)diagrams-lib Diagrams.Prelude (<>) a Semigroup value onto the front of the target of a Lens and return the result. However, unlike (<<>~), it is prepended to the head side. When you do not need the result of the operation, (<>:~) is more flexible.
(
<>:= ) :: (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.
(
<>:~ ) :: Semigroup b => ASetter s t b b -> b -> s -> tdiagrams-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"])