Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. withRWST :: forall r' s r w (m :: Type -> Type) a . (r' -> s -> (r, s)) -> RWST r w s m a -> RWST r' w s m a

   monads-tf	Control.Monad.RWS.Strict

   withRWST f m executes action m with an initial environment and state modified by applying f.

   • runRWST (withRWST f m) r s = uncurry
     (runRWST m) (f r s)

2. newtype EffectRWS w s (m :: Type -> Type) c

   optics-extra	Optics.Extra.Internal.Zoom

   Wrap a monadic effect. Used when magnifying RWST.

3. EffectRWS :: (s -> m (c, s, w)) -> EffectRWS w s (m :: Type -> Type) c

   optics-extra	Optics.Extra.Internal.Zoom

   No documentation available.

4. getEffectRWS :: EffectRWS w s (m :: Type -> Type) c -> s -> m (c, s, w)

   optics-extra	Optics.Extra.Internal.Zoom

   No documentation available.

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

   classy-prelude-conduit	ClassyPrelude.Conduit

   Evaluate RWST in the base monad Since 1.0.11

6. evalRWSLC :: forall (m :: Type -> Type) w r s i o res . (Monad m, Monoid w) => r -> s -> ConduitT i o (RWST r w s m) res -> ConduitT i o m (res, w)

   classy-prelude-conduit	ClassyPrelude.Conduit

   Evaluate RWST in the base monad Since 1.0.11

7. execRWSC :: forall (m :: Type -> Type) w r s i o res . (Monad m, Monoid w) => r -> s -> ConduitT i o (RWST r w s m) res -> ConduitT i o m (s, w)

   classy-prelude-conduit	ClassyPrelude.Conduit

   Execute RWST in the base monad Since 1.0.11

8. execRWSLC :: forall (m :: Type -> Type) w r s i o res . (Monad m, Monoid w) => r -> s -> ConduitT i o (RWST r w s m) res -> ConduitT i o m (s, w)

   classy-prelude-conduit	ClassyPrelude.Conduit

   Execute RWST in the base monad Since 1.0.11

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

   classy-prelude-conduit	ClassyPrelude.Conduit

   Run RWST in the base monad Since 1.0.11

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

    classy-prelude-conduit	ClassyPrelude.Conduit

    Run RWST in the base monad Since 1.0.11

Page 20 of many | Previous | Next