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. hoistExposed :: forall m (f :: Type -> Type) n a . (Functor m, Functor f) => (forall b . () => m b -> n b) -> Stream f m a -> Stream f n a

   streaming	Streaming.Internal

   The same as hoist, but explicitly named to indicate that it is not entirely safe. In particular, its argument must be a monad morphism.

2. hoistExposedPost :: forall n (f :: Type -> Type) m a . (Functor n, Functor f) => (forall b . () => m b -> n b) -> Stream f m a -> Stream f n a

   streaming	Streaming.Internal

   The same as hoistExposed, but with a Functor constraint on the target rather than the source. This must be used only with a monad morphism.

3. hoistUnexposed :: forall m (f :: Type -> Type) n r . (Monad m, Functor f) => (forall a . () => m a -> n a) -> Stream f m r -> Stream f n r

   streaming	Streaming.Internal

   A less-efficient version of hoist that works properly even when its argument is not a monad morphism.

   hoistUnexposed = hoist . unexposed
   

4. hoistLogAction :: (forall x . () => m x -> n x) -> LogAction m a -> LogAction n a

   co-log-core	Colog.Core.Action

   Allows changing the internal monadic action. Let's say we have a pure logger action using PureLogger and we want to log all messages into IO instead. If we provide the following function:

   performPureLogsInIO :: PureLogger a -> IO a
   

   then we can convert a logger action that uses a pure monad to a one that performs the logging in the IO monad using:

   hoistLogAction performPureLogsInIO :: LogAction (PureLogger a) a -> LogAction IO a
   

5. hoistLogicT :: (Applicative m, Monad n) => (forall x . () => m x -> n x) -> LogicT m a -> LogicT n a

   logict	Control.Monad.Logic

   Convert a LogicT computation from one underlying monad to another. For example,

   hoistLogicT lift :: LogicT m a -> LogicT (StateT m) a
   

   The first argument should be a monad morphism. to produce sensible results.

6. hoistSem :: forall (r :: EffectRow) (r' :: EffectRow) a . (forall x . () => Union r (Sem r) x -> Union r' (Sem r') x) -> Sem r a -> Sem r' a

   polysemy	Polysemy.Internal

   Extend the stack of a Sem with an explicit Union transformation.

7. hoistStateIntoStateT :: forall s (r :: [(Type -> Type) -> Type -> Type]) a . Sem ((State s :: (Type -> Type) -> Type -> Type) ': r) a -> StateT s (Sem r) a

   polysemy	Polysemy.State

   Hoist a State effect into a StateT monad transformer. This can be useful when writing interpreters that need to interop with MTL.

8. hoistFix :: Functor f => (forall a . () => f a -> g a) -> Fix f -> Fix g

   data-fix	Data.Fix

   Change base functor in Fix.

9. hoistFix' :: Functor g => (forall a . () => f a -> g a) -> Fix f -> Fix g

   data-fix	Data.Fix

   Like hoistFix but fmapping over g.

10. hoistMu :: (forall a . () => f a -> g a) -> Mu f -> Mu g

    data-fix	Data.Fix

    Change base functor in Mu.

Page 7 of many | Previous | Next