additional instances of `HasServer` and `HasClient` for Throwing in apis that set Headers

[cdepillabout]

additional instances of `HasServer` and `HasClient` for Throwing in apis that set Headers

[alpmestan]

Right, when type families conflict that much their answers have to "be compatible".

I'm thinking it might be worth putting all our brainpower on haskell-servant/servant#841 instead of fighting that kind of problem =) If we re-engineer Verb to allow us to specify an (optional) list of "sad paths" in addition to the happy path that it knows about at the moment, we might get the best of both worlds and get rid once and for all of all those overlapping instances, if we play our moves right.

[cdepillabout]

I think this should be mostly fixed with #6.

I think the only thing left is to handle apis that set Headers.

[cdepillabout]

Today I tried to add support for handling APIs that set Headers, but I have run into some difficulty.

Here is the existing instance for Throwing:

-- | When @'Throwing' es@ comes before a 'Verb', change it into the same 'Verb'
-- but returning an @'Envelope' es@.
instance
    {-# OVERLAPPABLE #-}
    (HasServer (Verb method status ctypes (Envelope es a)) context) =>
    HasServer (Throwing es :> Verb method status ctypes a) context where

  type ServerT (Throwing es :> Verb method status ctypes a) m =
    ServerT (Verb method status ctypes (Envelope es a)) m

  route
    :: Proxy (Throwing es :> Verb method status ctypes a)
    -> Context context
    -> Delayed env (ServerT (Verb method status ctypes (Envelope es a)) Handler)
    -> Router env
  route _ = route (Proxy :: Proxy (Verb method status ctypes (Envelope es a)))

I tried to add an additional instance for use with Headers that looks like this:

instance
    {-# OVERLAPPING #-}
    (HasServer (Verb method status ctypes (Headers h (Envelope es a))) context) =>
    HasServer (Throwing es :> Verb method status ctypes (Headers h a)) context where

  type ServerT (Throwing es :> Verb method status ctypes (Headers h a)) m =
    ServerT (Verb method status ctypes (Headers h (Envelope es a))) m

  route
    :: Proxy (Throwing es :> Verb method status ctypes (Headers h a))
    -> Context context
    -> Delayed
         env
         ( ServerT
           (Verb method status ctypes (Headers h (Envelope es a)))
           Handler
         )
    -> Router env
  route _ =
    route (Proxy :: Proxy (Verb method status ctypes (Headers h (Envelope es a))))

However, this is failing with the following error:

src/Servant/Checked/Exceptions/Internal/Servant/Server.hs:61:8: error:
    Conflicting family instance declarations:

      forall k1 a (ctypes :: [*]) (status :: Nat) (method :: k1) (es :: [*]) (m :: * -> *).
        ServerT (Throwing es :> Verb method status ctypes a) m =
            ServerT (Verb method status ctypes (Envelope es a)) m
      -- Defined at src/Servant/Checked/Exceptions/Internal/Servant/Server.hs:61:8

      forall k1 a (h :: [*]) (ctypes :: [*]) (status :: Nat) (method :: k1) (es :: [*]) (m :: * -> *).
        ServerT (Throwing es :> Verb method status ctypes (Headers h a)) m =
            ServerT (Verb method status ctypes (Headers h (Envelope es a))) m
      -- Defined at src/Servant/Checked/Exceptions/Internal/Servant/Server.hs:80:8

Here are some links related to this error:

• https://stackoverflow.com/questions/24979145/how-to-solve-conflicting-instance-in-type-families
• https://ghc.haskell.org/trac/ghc/ticket/4259
• https://ghc.haskell.org/trac/ghc/ticket/4246
• https://ghc.haskell.org/trac/ghc/ticket/13931

It doesn't look like there is an easy way to fix this.

[cdepillabout]

It looks like servant-auth defines a single type class and related type family for determining how to modify the response type to add headers:

https://www.stackage.org/haddock/lts-13.26/servant-auth-server-0.4.4.0/Servant-Auth-Server.html#t:HasServer

https://www.stackage.org/haddock/lts-13.26/servant-auth-server-0.4.4.0/Servant-Auth-Server-Internal-AddSetCookie.html#t:AddSetCookies

I wonder if something similar to this could be adopted for servant-checked-exceptions.