@@ -1324,13 +1324,13 @@ instance Read SocketType where
1324
1324
readPrec = P. parens $ specific <++ general
1325
1325
where
1326
1326
specific = P. lexP >>= \ case
1327
- P. Ident " Stream" -> pure Stream
1328
- P. Ident " Datagram" -> pure Datagram
1329
- P. Ident " Raw" -> pure Raw
1330
- P. Ident " RDM" -> pure RDM
1331
- P. Ident " SeqPacket" -> pure SeqPacket
1332
- P. Ident " NoSocketType" -> pure NoSocketType
1333
- P. Ident " Unsupported" -> pure UnsupportedSocketType
1327
+ P. Ident " Stream" -> return Stream
1328
+ P. Ident " Datagram" -> return Datagram
1329
+ P. Ident " Raw" -> return Raw
1330
+ P. Ident " RDM" -> return RDM
1331
+ P. Ident " SeqPacket" -> return SeqPacket
1332
+ P. Ident " NoSocketType" -> return NoSocketType
1333
+ P. Ident " Unsupported" -> return UnsupportedSocketType
1334
1334
_ -> mzero
1335
1335
1336
1336
general = P. prec app_prec $ do
@@ -1415,10 +1415,10 @@ instance Read Family where
1415
1415
readPrec = P. parens $ specific <++ general
1416
1416
where
1417
1417
specific = P. lexP >>= \ case
1418
- P. Ident " AF_INET" -> pure AF_INET
1419
- P. Ident " AF_INET6" -> pure AF_INET6
1420
- P. Ident " AF_UNIX" -> pure AF_UNIX
1421
- P. Ident " AF_UNSPEC" -> pure AF_UNSPEC
1418
+ P. Ident " AF_INET" -> return AF_INET
1419
+ P. Ident " AF_INET6" -> return AF_INET6
1420
+ P. Ident " AF_UNIX" -> return AF_UNIX
1421
+ P. Ident " AF_UNSPEC" -> return AF_UNSPEC
1422
1422
_ -> mzero
1423
1423
1424
1424
general = P. prec app_prec $ do
@@ -1441,7 +1441,7 @@ safeInt :: forall a. (Bounded a, Integral a) => P.ReadPrec a
1441
1441
safeInt = do
1442
1442
i <- P. parens unsigned <++ P. parens (P. prec app_prec negative)
1443
1443
if (i >= fromIntegral (minBound :: a ) && i <= fromIntegral (maxBound :: a ))
1444
- then pure $ fromIntegral i
1444
+ then return $ fromIntegral i
1445
1445
else mzero
1446
1446
where
1447
1447
unsigned :: P. ReadPrec Integer
0 commit comments