eeva/servant
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Removed unnecessary OVERLAPPING/OVERLAPPABLE pragmas

Browse source
This commit is contained in:
Catherine Galkina 2019-09-08 15:04:18 +03:00 committed by Oleg Grenrus
parent 8550926d90
commit b4372b5c14
2 changed files with 4 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
servant-client-core/src/Servant/Client/Core/HasClient.hs
View file

@ -242,9 +242,8 @@ instance {-# OVERLAPPING #-}
hoistClientMonad _ _ f ma = f ma hoistClientMonad _ _ f ma = f ma
instance {-# OVERLAPPING #-} instance (RunClient m, ReflectMethod method) =>
( RunClient m, ReflectMethod method HasClient m (NoContentVerb method) where
) => HasClient m (NoContentVerb method) where
type Client m (NoContentVerb method) type Client m (NoContentVerb method)
= m NoContent = m NoContent
clientWithRoute _pm Proxy req = do clientWithRoute _pm Proxy req = do

5
servant-server/src/Servant/Server/Internal.hs
View file

@ -298,9 +298,8 @@ instance {-# OVERLAPPING #-}
where method = reflectMethod (Proxy :: Proxy method) where method = reflectMethod (Proxy :: Proxy method)
status = toEnum . fromInteger $ natVal (Proxy :: Proxy status) status = toEnum . fromInteger $ natVal (Proxy :: Proxy status)
instance {-# OVERLAPPABLE #-} instance (ReflectMethod method) =>
(ReflectMethod method HasServer (NoContentVerb method) context where
) => HasServer (NoContentVerb method) context where
type ServerT (NoContentVerb method) m = m NoContent type ServerT (NoContentVerb method) m = m NoContent
hoistServerWithContext _ _ nt s = nt s hoistServerWithContext _ _ nt s = nt s