Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

Exact lookup

1. rwsZoom :: forall k m (is :: IxList) t s r c w . (Is k A_Lens, Monad m) => Optic' k is t s -> (r -> s -> m (c, s, w)) -> r -> t -> m (c, t, w)

   optics-extra	Optics.Extra.Internal.Zoom

   No documentation available.

2. rwsZoomMany :: forall k m w c (is :: IxList) t s r . (Is k A_Traversal, Monad m, Monoid w, Monoid c) => Optic' k is t s -> (r -> s -> m (c, s, w)) -> r -> t -> m (c, t, w)

   optics-extra	Optics.Extra.Internal.Zoom

   No documentation available.

3. rwsZoomMaybe :: forall k m w (is :: IxList) t s r c . (Is k An_AffineTraversal, Monad m, Monoid w) => Optic' k is t s -> (r -> s -> m (c, s, w)) -> r -> t -> m (Maybe c, t, w)

   optics-extra	Optics.Extra.Internal.Zoom

   No documentation available.

4. rwsC :: forall (m :: Type -> Type) w r s i o a . (Monad m, Monoid w) => (r -> s -> ConduitT i o m (a, s, w)) -> ConduitT i o (RWST r w s m) a

   classy-prelude-conduit	ClassyPrelude.Conduit

   Wrap the base monad in RWST Since 1.0.11

5. rwsLC :: forall (m :: Type -> Type) w r s i o a . (Monad m, Monoid w) => (r -> s -> ConduitT i o m (a, s, w)) -> ConduitT i o (RWST r w s m) a

   classy-prelude-conduit	ClassyPrelude.Conduit

   Wrap the base monad in RWST Since 1.0.11

6. rwsP :: forall (m :: Type -> Type) w r s i o u a . (Monad m, Monoid w) => (r -> s -> Pipe i o u m (a, s, w)) -> Pipe i o u (RWST r w s m) a

   conduino	Data.Conduino.Lift

   Turn a parameterized, state-transforming, log-producing Pipe into a Pipe over RWST, which can be useful for chaining it with other RWST pipes. See stateP and writerP for more details on caveats, including:

   • Logging only happens when the (a,s,w)-returning pipe terminates. There is no "streaming logging" --- the resulting w is logged all at once.
   • When the (a,s,w)-returning pipe terminates, whatever state in the RWST is overwritten with the s returned. If other pipes in the chain modify the s, their modifications will be overwritten.

7. rwsPS :: forall (m :: Type -> Type) w r s i o u a . (Monad m, Monoid w) => (r -> s -> Pipe i o u m (a, s, w)) -> Pipe i o u (RWST r w s m) a

   conduino	Data.Conduino.Lift

   rwsP, but for Control.Monad.Trans.RWS.Strict.

8. rwsS :: forall (m :: Type -> Type) w r s a b . (Functor m, Monad m, Monoid w) => MSF m (r, s, a) (w, s, b) -> MSF (RWST r w s m) a b

   dunai	Control.Monad.Trans.MSF.RWS

   Wrap an MSF with explicit state variables in RWST monad.

9. rwsC :: forall (m :: Type -> Type) w r s i o a . (Monad m, Monoid w) => (r -> s -> ConduitT i o m (a, s, w)) -> ConduitT i o (RWST r w s m) a

   classy-prelude-yesod	ClassyPrelude.Yesod

   Wrap the base monad in RWST Since 1.0.11

10. rwsLC :: forall (m :: Type -> Type) w r s i o a . (Monad m, Monoid w) => (r -> s -> ConduitT i o m (a, s, w)) -> ConduitT i o (RWST r w s m) a

    classy-prelude-yesod	ClassyPrelude.Yesod

    Wrap the base monad in RWST Since 1.0.11

Page 7 of many | Previous | Next