Copyright | Dennis Gosnell 2017 |
---|---|
License | BSD3 |
Maintainer | Dennis Gosnell (cdep.illabout@gmail.com) |
Stability | experimental |
Portability | unknown |
Safe Haskell | None |
Language | Haskell2010 |
Orphan instances
(RunClient m, HasClient m (api :> (NoThrow :> apis))) => HasClient m (NoThrow :> (api :> apis)) Source # | When |
(RunClient m, HasClient m (ThrowingNonterminal (Throwing es :> (api :> apis)))) => HasClient m (Throwing es :> (api :> apis)) Source # | When a |
clientWithRoute :: Proxy m -> Proxy (Throwing es :> (api :> apis)) -> Request -> Client m (Throwing es :> (api :> apis)) # hoistClientMonad :: Proxy m -> Proxy (Throwing es :> (api :> apis)) -> (forall x. mon x -> mon' x) -> Client mon (Throwing es :> (api :> apis)) -> Client mon' (Throwing es :> (api :> apis)) # | |
(RunClient m, HasClient m ((NoThrow :> api1) :<|> (NoThrow :> api2))) => HasClient m (NoThrow :> (api1 :<|> api2)) Source # | When |
clientWithRoute :: Proxy m -> Proxy (NoThrow :> (api1 :<|> api2)) -> Request -> Client m (NoThrow :> (api1 :<|> api2)) # hoistClientMonad :: Proxy m -> Proxy (NoThrow :> (api1 :<|> api2)) -> (forall x. mon x -> mon' x) -> Client mon (NoThrow :> (api1 :<|> api2)) -> Client mon' (NoThrow :> (api1 :<|> api2)) # | |
(RunClient m, HasClient m ((Throwing es :> api1) :<|> (Throwing es :> api2))) => HasClient m (Throwing es :> (api1 :<|> api2)) Source # | When |
clientWithRoute :: Proxy m -> Proxy (Throwing es :> (api1 :<|> api2)) -> Request -> Client m (Throwing es :> (api1 :<|> api2)) # hoistClientMonad :: Proxy m -> Proxy (Throwing es :> (api1 :<|> api2)) -> (forall x. mon x -> mon' x) -> Client mon (Throwing es :> (api1 :<|> api2)) -> Client mon' (Throwing es :> (api1 :<|> api2)) # | |
(RunClient m, HasClient m (Verb method status ctypes (Envelope ([] :: [Type]) a))) => HasClient m (NoThrow :> Verb method status ctypes a) Source # | When |
clientWithRoute :: Proxy m -> Proxy (NoThrow :> Verb method status ctypes a) -> Request -> Client m (NoThrow :> Verb method status ctypes a) # hoistClientMonad :: Proxy m -> Proxy (NoThrow :> Verb method status ctypes a) -> (forall x. mon x -> mon' x) -> Client mon (NoThrow :> Verb method status ctypes a) -> Client mon' (NoThrow :> Verb method status ctypes a) # | |
HasClient m (Verb method status ctypes (Envelope es a)) => HasClient m (Throwing es :> Verb method status ctypes a) Source # | When |
clientWithRoute :: Proxy m -> Proxy (Throwing es :> Verb method status ctypes a) -> Request -> Client m (Throwing es :> Verb method status ctypes a) # hoistClientMonad :: Proxy m -> Proxy (Throwing es :> Verb method status ctypes a) -> (forall x. mon x -> mon' x) -> Client mon (Throwing es :> Verb method status ctypes a) -> Client mon' (Throwing es :> Verb method status ctypes a) # | |
(RunClient m, HasClient m (Throwing (e ': ([] :: [Type])) :> api)) => HasClient m (Throws e :> api) Source # | |