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. 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. hoistEither :: forall (m :: Type -> Type) e a . Monad m => Either e a -> ExceptT e m a

   errors	Control.Error.Util

   Upgrade an Either to an ExceptT

10. hoistMaybe :: forall (m :: Type -> Type) b . Monad m => Maybe b -> MaybeT m b

    errors	Control.Error.Util

    Lift a Maybe to the MaybeT monad

Page 5 of many | Previous | Next