patches/servant-ekg/0001-fix-missing-instance-HasEndpoint.patch

   1 From a3941e53c643ae9d9795902e2fb0104b5e2c3309 Mon Sep 17 00:00:00 2001
   2 From: Julien Moutinho <julm+gargantext@sourcephile.fr>
   3 Date: Sun, 2 Jul 2023 23:01:48 +0200
   4 Subject: [PATCH] fix missing instance HasEndpoint
   5
   6 ---
   7  lib/Servant/Ekg.hs | 4 ++++
   8  1 file changed, 4 insertions(+)
   9
  10 diff --git a/lib/Servant/Ekg.hs b/lib/Servant/Ekg.hs
  11 index 5676aa5..d189f13 100644
  12 --- a/lib/Servant/Ekg.hs
  13 +++ b/lib/Servant/Ekg.hs
  14 @@ -203,3 +203,7 @@ instance HasEndpoint (sub :: *) => HasEndpoint (CaptureAll (h :: Symbol) a :> su
  15  instance HasEndpoint (sub :: *) => HasEndpoint (BasicAuth (realm :: Symbol) a :> sub) where
  16      getEndpoint        _ = getEndpoint        (Proxy :: Proxy sub)
  17      enumerateEndpoints _ = enumerateEndpoints (Proxy :: Proxy sub)
  18 +
  19 +instance HasEndpoint (sub :: *) => HasEndpoint (Fragment a :> sub) where
  20 +    getEndpoint        _ = getEndpoint        (Proxy :: Proxy sub)
  21 +    enumerateEndpoints _ = enumerateEndpoints (Proxy :: Proxy sub)
  22 --
  23 2.40.1
  24