b4372b5 · typeable/servant

git.iko.soy/typeable/servant

on master help sign in

Removed unnecessary OVERLAPPING/OVERLAPPABLE pragmas

b4372b5Catherine Galkina7 years ago

servant-client-core/src/Servant/Client/Core/HasClient.hs+2−3

@@ -242,9 +242,8 @@ instance {-# OVERLAPPING #-}

242

243 hoistClientMonad _ _ f ma = f ma

244

245−instance {-# OVERLAPPING #-}

246− ( RunClient m, ReflectMethod method

245+instance (RunClient m, ReflectMethod method) =>

247− ) => HasClient m (NoContentVerb method) where

246+ HasClient m (NoContentVerb method) where

248 type Client m (NoContentVerb method)

247 type Client m (NoContentVerb method)

249 = m NoContent

248 = m NoContent

250 clientWithRoute _pm Proxy req = do

249 clientWithRoute _pm Proxy req = do

servant-server/src/Servant/Server/Internal.hs+2−3

@@ -298,9 +298,8 @@ instance {-# OVERLAPPING #-}

298 where method = reflectMethod (Proxy :: Proxy method)

299 status = toEnum . fromInteger $ natVal (Proxy :: Proxy status)

300

301−instance {-# OVERLAPPABLE #-}

302− (ReflectMethod method

301+instance (ReflectMethod method) =>

303− ) => HasServer (NoContentVerb method) context where

302+ HasServer (NoContentVerb method) context where

304

303

305 type ServerT (NoContentVerb method) m = m NoContent

304 type ServerT (NoContentVerb method) m = m NoContent

306 hoistServerWithContext _ _ nt s = nt s

305 hoistServerWithContext _ _ nt s = nt s