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. hoistRecipe :: (forall x . () => m x -> n x) -> Recipe m bean -> Recipe n bean

   cauldron	Cauldron

   Change the monad used by the bean's main Constructor and its decos.

2. hoistRecipe' :: forall m n bean . (Args (m (Regs bean)) -> Args (n (Regs bean))) -> (Int -> Args (m (Regs bean)) -> Args (n (Regs bean))) -> Recipe m bean -> Recipe n bean

   cauldron	Cauldron

   More general form of hoistRecipe that enables precise control over the inner Args of each constructor in the Recipe.

3. hoistPipe :: (Monad m, Monad n) => (forall x . () => m x -> n x) -> Pipe i o u m a -> Pipe i o u n a

   conduino	Data.Conduino

   Transform the underlying monad of a pipe. Note that if you are trying to work with monad transformers, this is probably not what you want. See Data.Conduino.Lift for tools for working with underlying monad transformers.

4. hoistPipe :: (Monad m, Monad n) => (forall x . () => m x -> n x) -> Pipe i o u m a -> Pipe i o u n a

   conduino	Data.Conduino.Internal

   Transform the underlying monad of a pipe. Note that if you are trying to work with monad transformers, this is probably not what you want. See Data.Conduino.Lift for tools for working with underlying monad transformers.

5. hoistMaybe :: forall (m :: Type -> Type) b . Applicative m => Maybe b -> MaybeT m b

   dunai	Control.Monad.Trans.MSF.Maybe

   Convert a Maybe computation to MaybeT.

6. hoistHtmlT :: (Monad m, Monad n) => (forall a . () => m a -> n a) -> HtmlT m b -> HtmlT n b

   lucid2	Lucid.Base

   Switch the underlying monad.

7. hoistTrans :: forall (b :: Type -> Type) (m :: Type -> Type) t a . (MonadBaseControl b m, MonadBaseControl b (t m), MonadTransFunctor t) => t b a -> t m a

   monad-control-identity	Control.Monad.Trans.Control.Functor

   Lift the inner monad of a monad transformer from the base monad.

8. hoistIO :: MonadHoistIO m => (IO --> IO) -> m --> m

   monadology	Control.Monad.Ology.General.Trans.Hoist

   No documentation available.

9. hoistTransform :: forall (t :: TransKind) (m1 :: Type -> Type) (m2 :: Type -> Type) . (MonadTransHoist t, Monad m1, Monad m2) => (m1 --> m2) -> WRaised (t m2) --> WRaised (t m1)

   monadology	Control.Monad.Ology.General.Trans.Hoist

   No documentation available.

10. hoistWith :: forall t m1 m2 f r . (MonadTransTunnel t, Traversable f, Monad m1, Monad m2) => (forall a . () => m1 a -> m2 (f a)) -> t m1 r -> t m2 (f r)

    monadology	Control.Monad.Ology.General.Trans.Tunnel

    No documentation available.

Page 13 of many | Previous | Next