Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

Exact lookup

1. hoistServerWithContext :: HasServer api context => Proxy api -> Proxy context -> (forall x . () => m x -> n x) -> ServerT api m -> ServerT api n

   servant-server	Servant.Server

   No documentation available.

2. hoistServerWithContext :: HasServer api context => Proxy api -> Proxy context -> (forall x . () => m x -> n x) -> ServerT api m -> ServerT api n

   servant-server	Servant.Server.Internal

   No documentation available.

3. hoists :: (forall x . () => m x -> n x) -> FoldM m a b -> FoldM n a b

   foldl	Control.Foldl

   Shift a FoldM from one monad to another with a morphism such as lift or liftIO; the effect is the same as hoist.

4. hoists :: (forall x . () => m x -> n x) -> ScanM m a b -> ScanM n a b

   foldl	Control.Scanl

   Shift a ScanM from one monad to another with a morphism such as lift or liftIO; the effect is the same as hoist.

5. hoistClient :: HasClient ClientM api => Proxy api -> (forall a . () => m a -> n a) -> Client m api -> Client n api

   servant-client	Servant.Client

   Change the monad the client functions live in, by supplying a conversion function (a natural transformation to be precise). For example, assuming you have some manager :: Manager and baseurl :: BaseUrl around:

   type API = Get '[JSON] Int :<|> Capture "n" Int :> Post '[JSON] Int
   api :: Proxy API
   api = Proxy
   getInt :: IO Int
   postInt :: Int -> IO Int
   getInt :<|> postInt = hoistClient api (flip runClientM cenv) (client api)
   where cenv = mkClientEnv manager baseurl
   

6. hoistClient :: HasClient ClientM api => Proxy api -> (forall a . () => m a -> n a) -> Client m api -> Client n api

   servant-client	Servant.Client.Internal.HttpClient

   Change the monad the client functions live in, by supplying a conversion function (a natural transformation to be precise). For example, assuming you have some manager :: Manager and baseurl :: BaseUrl around:

   type API = Get '[JSON] Int :<|> Capture "n" Int :> Post '[JSON] Int
   api :: Proxy API
   api = Proxy
   getInt :: IO Int
   postInt :: Int -> IO Int
   getInt :<|> postInt = hoistClient api (flip runClientM cenv) (client api)
   where cenv = mkClientEnv manager baseurl
   

7. hoistClient :: HasClient ClientM api => Proxy api -> (forall a . () => m a -> n a) -> Client m api -> Client n api

   servant-client	Servant.Client.Internal.HttpClient.Streaming

   Change the monad the client functions live in, by supplying a conversion function (a natural transformation to be precise). For example, assuming you have some manager :: Manager and baseurl :: BaseUrl around:

   type API = Get '[JSON] Int :<|> Capture "n" Int :> Post '[JSON] Int
   api :: Proxy API
   api = Proxy
   getInt :: IO Int
   postInt :: Int -> IO Int
   getInt :<|> postInt = hoistClient api (flip runClientM cenv) (client api)
   where cenv = mkClientEnv manager baseurl
   

8. hoistClient :: HasClient ClientM api => Proxy api -> (forall a . () => m a -> n a) -> Client m api -> Client n api

   servant-client	Servant.Client.Streaming

   Change the monad the client functions live in, by supplying a conversion function (a natural transformation to be precise). For example, assuming you have some manager :: Manager and baseurl :: BaseUrl around:

   type API = Get '[JSON] Int :<|> Capture "n" Int :> Post '[JSON] Int
   api :: Proxy API
   api = Proxy
   getInt :: IO Int
   postInt :: Int -> IO Int
   getInt :<|> postInt = hoistClient api (flip runClientM cenv) (client api)
   where cenv = mkClientEnv manager baseurl
   

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

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

Page 5 of many | Previous | Next