Hoogle Search

Within LTS Haskell 24.5 (ghc-9.10.2)

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

  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

    mtl Control.Monad.RWS.Strict

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

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

    lens Control.Lens.Internal.Zoom

    Wrap a monadic effect with a phantom type argument. Used when magnifying RWST.

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

    lens Control.Lens.Internal.Zoom

    No documentation available.

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

    lens Control.Lens.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)

    conduit Data.Conduit.Lift

    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)

    conduit Data.Conduit.Lift

    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)

    conduit Data.Conduit.Lift

    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)

    conduit Data.Conduit.Lift

    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)

    conduit Data.Conduit.Lift

    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)

    conduit Data.Conduit.Lift

    Run RWST in the base monad Since 1.0.11

Page 14 of many | Previous | Next