Servant.Checked.Exceptions.Internal.Servant.Client

This module only exports HasClient instances for Throws and Throwing.

Documentation

Orphan instances

HasClient * ((:>) k * (Throwing (Snoc * es e)) api) => HasClient * ((:>) * * (Throwing es) ((:>) k * (Throws e) api))

When a Throws e comes immediately after a Throwing es, Snoc the e onto the es.

Associated Types

type Client ((:>) * * (Throwing es) ((:>) k * (Throws e) api)) (api :: (:>) * * (Throwing es) ((:>) k * (Throws e) api)) :: *

Methods

clientWithRoute :: Proxy ((* :> *) (Throwing es) ((k :> *) (Throws e) api)) api -> Req -> Client ((* :> *) (Throwing es) ((k :> *) (Throws e) api)) api

HasClient * (Verb * k1 method status ctypes (Envelope es a)) => HasClient * ((:>) * * (Throwing es) (Verb * k1 method status ctypes a))

When Throwing es comes before a Verb, change it into the same Verb but returning an Envelope es.

Associated Types

type Client ((:>) * * (Throwing es) (Verb * k1 method status ctypes a)) (api :: (:>) * * (Throwing es) (Verb * k1 method status ctypes a)) :: *

Methods

clientWithRoute :: Proxy ((* :> *) (Throwing es) (Verb * k1 method status ctypes a)) api -> Req -> Client ((* :> *) (Throwing es) (Verb * k1 method status ctypes a)) api

HasClient * ((:>) k * (Throwing ((:) * e ([] *))) api) => HasClient * ((:>) k * (Throws e) api)

Change a Throws into Throwing.

Associated Types

type Client ((:>) k * (Throws e) api) (api :: (:>) k * (Throws e) api) :: *

Methods

clientWithRoute :: Proxy ((k :> *) (Throws e) api) api -> Req -> Client ((k :> *) (Throws e) api) api