Skip to content
This repository was archived by the owner on Jul 30, 2024. It is now read-only.

Commit 1e0f28f

Browse files
committed
Add AddSetCookies instance for when the left tree is the same before and after the transformation
1 parent 02242e9 commit 1e0f28f

File tree

1 file changed

+5
-0
lines changed
  • servant-auth/servant-auth-server/src/Servant/Auth/Server/Internal

1 file changed

+5
-0
lines changed

servant-auth/servant-auth-server/src/Servant/Auth/Server/Internal/AddSetCookie.hs

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -88,6 +88,11 @@ instance {-# OVERLAPS #-}
8888
=> AddSetCookies ('S n) (a :<|> b) (a' :<|> b') where
8989
addSetCookies cookies (a :<|> b) = addSetCookies cookies a :<|> addSetCookies cookies b
9090

91+
instance {-# OVERLAPPING #-}
92+
(AddSetCookies ('S n) a a, AddSetCookies ('S n) b b')
93+
=> AddSetCookies ('S n) (a :<|> b) (a :<|> b') where
94+
addSetCookies cookies ( a :<|> b) = addSetCookies cookies a :<|> addSetCookies cookies b
95+
9196
instance {-# OVERLAPS #-}
9297
( AddSetCookies ('S n) (ServerT (ToServantApi api) m) cookiedApi
9398
, Generic (api (AsServerT m))

0 commit comments

Comments
 (0)