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. hoistFree :: Functor g => (forall a . () => f a -> g a) -> Free f b -> Free g b

   free	Control.Monad.Free

   Lift a natural transformation from f to g into a natural transformation from Free f to Free g.

2. hoistFree :: (Applicative f, Applicative g) => (forall a . () => f a -> g a) -> Free f b -> Free g b

   free	Control.Monad.Free.Ap

   Lift an applicative homomorphism from f to g into a monad homomorphism from Free f to Free g.

3. hoistF :: (forall x . () => f x -> g x) -> F f a -> F g a

   free	Control.Monad.Free.Church

   Lift a natural transformation from f to g into a natural transformation from F f to F g.

4. hoistFreeT :: forall m (f :: Type -> Type) n b . (Functor m, Functor f) => (forall a . () => m a -> n a) -> FreeT f m b -> FreeT f n b

   free	Control.Monad.Trans.Free

   Lift a monad homomorphism from m to n into a monad homomorphism from FreeT f m to FreeT f n

   hoistFreeT :: (Functor m, Functor f) => (m ~> n) -> FreeT f m ~> FreeT f n
   

5. hoistFreeT :: forall m (f :: Type -> Type) n b . (Functor m, Applicative f) => (forall a . () => m a -> n a) -> FreeT f m b -> FreeT f n b

   free	Control.Monad.Trans.Free.Ap

   Lift a monad homomorphism from m to n into a monad homomorphism from FreeT f m to FreeT f n

   hoistFreeT :: (Functor m, Applicative f) => (m ~> n) -> FreeT f m ~> FreeT f n
   

6. hoistFT :: forall m n (f :: Type -> Type) b . (Monad m, Monad n) => (forall a . () => m a -> n a) -> FT f m b -> FT f n b

   free	Control.Monad.Trans.Free.Church

   Lift a monad homomorphism from m to n into a monad homomorphism from FT f m to FT f n

   hoistFT :: (Monad m, Monad n, Functor f) => (m ~> n) -> FT f m ~> FT f n
   

7. hoistIterT :: Monad n => (forall a . () => m a -> n a) -> IterT m b -> IterT n b

   free	Control.Monad.Trans.Iter

   Lift a monad homomorphism from m to n into a Monad homomorphism from IterT m to IterT n.

8. hoistFlag :: (forall a . () => m a -> n a) -> Flag m -> Flag n

   ghc	GHC.Driver.CmdLine

   No documentation available.

9. hoistDsMessage :: Monad m => m (Messages DsMessage, a) -> m (Messages GhcMessage, a)

   ghc	GHC.Driver.Errors.Types

   Abstracts away the frequent pattern where we are calling ioMsgMaybe on the result of 'IO (Messages DsMessage, a)'.

10. hoistTcRnMessage :: Monad m => m (Messages TcRnMessage, a) -> m (Messages GhcMessage, a)

    ghc	GHC.Driver.Errors.Types

    Abstracts away the frequent pattern where we are calling ioMsgMaybe on the result of 'IO (Messages TcRnMessage, a)'.

Page 4 of many | Previous | Next