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.

  1. hoistCoyoneda :: (forall a . () => f a -> g a) -> Coyoneda f b -> Coyoneda g b

    kan-extensions Data.Functor.Contravariant.Coyoneda

    Lift a natural transformation from f to g to a natural transformation from Coyoneda f to Coyoneda g.

  2. hoistCoyoneda :: (forall a . () => f a -> g a) -> Coyoneda f b -> Coyoneda g b

    kan-extensions Data.Functor.Coyoneda

    Lift a natural transformation from f to g to a natural transformation from Coyoneda f to Coyoneda g.

  3. hoistEither :: forall (m :: Type -> Type) e a . Applicative m => Either e a -> ExceptT e m a

    relude Relude.Monad.Trans

    Lift a Either to the ExceptT monad

  4. hoistMaybe :: forall (m :: Type -> Type) a . Applicative m => Maybe a -> MaybeT m a

    relude Relude.Monad.Trans

    Lift a Maybe to the MaybeT monad

  5. hoistCode :: Monad m => (forall x . () => m x -> n x) -> Code m a -> Code n a

    th-compat Language.Haskell.TH.Syntax.Compat

    Modify the ambient monad used during code generation. For example, you can use hoistCode to handle a state effect: handleState :: Code (StateT Int Q) a -> Code Q a handleState = hoistCode (flip runState 0)

  6. hoistSplice :: Monad m => (forall x . () => m x -> n x) -> Splice m a -> Splice n a

    th-compat Language.Haskell.TH.Syntax.Compat

    A variant of hoistCode that works over Splices. Because this function uses Splice, the type of this function will be different depending on which version of template-haskell you are using. (See the Haddocks for Splice for more information on this point.) Levity-polymorphic since template-haskell-2.16.0.0.

  7. hoistClientMonad :: HasClient m api => Proxy m -> Proxy api -> (forall x . () => mon x -> mon' x) -> Client mon api -> Client mon' api

    servant-client-core Servant.Client.Core

    No documentation available.

  8. hoistClientMonad :: HasClient m api => Proxy m -> Proxy api -> (forall x . () => mon x -> mon' x) -> Client mon api -> Client mon' api

    servant-client-core Servant.Client.Core.HasClient

    No documentation available.

  9. hoistClientMonad :: HasClient m api => Proxy m -> Proxy api -> (forall x . () => mon x -> mon' x) -> Client mon api -> Client mon' api

    servant-client-core Servant.Client.Core.Reexport

    No documentation available.

  10. 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

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

    hoistUnexposed = hoist . unexposed

Page 6 of many | Previous | Next