Skip to content

Instantly share code, notes, and snippets.

@mpickering

mpickering/gist:d85e65c1d7e641ebaee37c5a2f7a0690

Created July 6, 2019 17:08
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mpickering/d85e65c1d7e641ebaee37c5a2f7a0690 to your computer and use it in GitHub Desktop.
Save mpickering/d85e65c1d7e641ebaee37c5a2f7a0690 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
Build profile: -w ghc-8.9.0.20190705 -O1
In order, the following will be built (use -v for more details):
- network-2.6.3.6 (lib:network) (first run)
Preprocessing library for network-2.6.3.6..
Building library for network-2.6.3.6..
[ 2 of 11] Compiling Network.Socket.Types ( /home/matt/network-2.6.3.6/dist-newstyle/build/x86_64-linux/ghc-8.9.0.20190705/network-2.6.3.6/build/Network/Socket/Types.hs, /home/matt/network-2.6.3.6/dist-newstyle/build/x86_64-linux/ghc-8.9.0.20190705/network-2.6.3.6/build/Network/Socket/Types.o, /home/matt/network-2.6.3.6/dist-newstyle/build/x86_64-linux/ghc-8.9.0.20190705/network-2.6.3.6/build/Network/Socket/Types.dyn_o )
*** Core Lint errors : in result of Desugar (after optimization) ***
<no location info>: warning:
In the expression: jump fail_d7tm void#
Invalid occurrence of a join variable: fail_d7tm
The binder is either not a join point, or not valid here
<no location info>: warning:
In the expression: jump fail_d7tm void#
Invalid occurrence of a join variable: fail_d7tm
The binder is either not a join point, or not valid here
*** Offending Program ***
$c==_a7as :: Socket -> Socket -> Bool
[LclId]
$c==_a7as
= \ (ds_d7KO :: Socket) (ds_d7KP :: Socket) ->
case ds_d7KO of
{ MkSocket _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
m1_a3U7 ->
case ds_d7KP of
{ MkSocket _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
m2_a3U8 ->
== @ (MVar SocketStatus) ($fEqMVar @ SocketStatus) m1_a3U7 m2_a3U8
}
}
Rec {
$fEqSocket [InlPrag=NOUSERINLINE CONLIKE] :: Eq Socket
[LclIdX[DFunId],
Unf=DFun: \ -> C:Eq TYPE: Socket $c==_a7as $c/=_a7ay]
$fEqSocket = C:Eq @ Socket $c==_a7as $c/=_a7ay
$c/=_a7ay [InlPrag=INLINE (sat-args=2), Occ=LoopBreaker]
:: Socket -> Socket -> Bool
[LclId,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=2,unsat_ok=False,boring_ok=False)
Tmpl= $dm/= @ Socket $fEqSocket}]
$c/=_a7ay
= \ (eta_B2 :: Socket) (eta_B1 :: Socket) ->
$dm/= @ Socket $fEqSocket eta_B2 eta_B1
end Rec }
$calignment_a72B :: In6Addr -> Int
[LclId]
$calignment_a72B = \ _ [Occ=Dead] -> I# 4#
$csizeOf_a72x :: In6Addr -> Int
[LclId]
$csizeOf_a72x = \ _ [Occ=Dead] -> I# 16#
$cshowsPrec_a72f :: Int -> SocketStatus -> ShowS
[LclId]
$cshowsPrec_a72f
= \ _ [Occ=Dead] (ds_d7Ey :: SocketStatus) ->
case ds_d7Ey of {
NotConnected -> showString (unpackCString# "NotConnected"#);
Bound -> showString (unpackCString# "Bound"#);
Listening -> showString (unpackCString# "Listening"#);
Connected -> showString (unpackCString# "Connected"#);
ConvertedToHandle ->
showString (unpackCString# "ConvertedToHandle"#);
Closed -> showString (unpackCString# "Closed"#)
}
Rec {
$fShowSocketStatus [InlPrag=NOUSERINLINE CONLIKE]
:: Show SocketStatus
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Show TYPE: SocketStatus
$cshowsPrec_a72f
$cshow_a72j
$cshowList_a72p]
$fShowSocketStatus
= C:Show
@ SocketStatus $cshowsPrec_a72f $cshow_a72j $cshowList_a72p
$cshowList_a72p [Occ=LoopBreaker] :: [SocketStatus] -> ShowS
[LclId]
$cshowList_a72p = $dmshowList @ SocketStatus $fShowSocketStatus
$cshow_a72j [Occ=LoopBreaker] :: SocketStatus -> String
[LclId]
$cshow_a72j = $dmshow @ SocketStatus $fShowSocketStatus
end Rec }
$c==_a723 :: SocketStatus -> SocketStatus -> Bool
[LclId]
$c==_a723
= \ (ds_d7Et :: SocketStatus) (ds_d7Eu :: SocketStatus) ->
join {
fail_d7Ev :: Void# -> Bool
[LclId[JoinId(1)], Str=<L,U>]
fail_d7Ev _ [Occ=Dead, OS=OneShot] = False } in
case ds_d7Et of {
NotConnected ->
case ds_d7Eu of {
__DEFAULT -> jump fail_d7Ev void#;
NotConnected -> True
};
Bound ->
case ds_d7Eu of {
__DEFAULT -> jump fail_d7Ev void#;
Bound -> True
};
Listening ->
case ds_d7Eu of {
__DEFAULT -> jump fail_d7Ev void#;
Listening -> True
};
Connected ->
case ds_d7Eu of {
__DEFAULT -> jump fail_d7Ev void#;
Connected -> True
};
ConvertedToHandle ->
case ds_d7Eu of {
__DEFAULT -> jump fail_d7Ev void#;
ConvertedToHandle -> True
};
Closed ->
case ds_d7Eu of {
__DEFAULT -> jump fail_d7Ev void#;
Closed -> True
}
}
Rec {
$fEqSocketStatus [InlPrag=NOUSERINLINE CONLIKE] :: Eq SocketStatus
[LclIdX[DFunId],
Unf=DFun: \ -> C:Eq TYPE: SocketStatus $c==_a723 $c/=_a727]
$fEqSocketStatus = C:Eq @ SocketStatus $c==_a723 $c/=_a727
$c/=_a727 [InlPrag=INLINE (sat-args=2), Occ=LoopBreaker]
:: SocketStatus -> SocketStatus -> Bool
[LclId,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=2,unsat_ok=False,boring_ok=False)
Tmpl= $dm/= @ SocketStatus $fEqSocketStatus}]
$c/=_a727
= \ (eta_B2 :: SocketStatus) (eta_B1 :: SocketStatus) ->
$dm/= @ SocketStatus $fEqSocketStatus eta_B2 eta_B1
end Rec }
$cshowsPrec_a71L :: Int -> SocketType -> ShowS
[LclId]
$cshowsPrec_a71L
= \ _ [Occ=Dead] (ds_d7Es :: SocketType) ->
case ds_d7Es of {
NoSocketType -> showString (unpackCString# "NoSocketType"#);
Stream -> showString (unpackCString# "Stream"#);
Datagram -> showString (unpackCString# "Datagram"#);
Raw -> showString (unpackCString# "Raw"#);
RDM -> showString (unpackCString# "RDM"#);
SeqPacket -> showString (unpackCString# "SeqPacket"#)
}
Rec {
$fShowSocketType [InlPrag=NOUSERINLINE CONLIKE] :: Show SocketType
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Show TYPE: SocketType
$cshowsPrec_a71L
$cshow_a71P
$cshowList_a71V]
$fShowSocketType
= C:Show @ SocketType $cshowsPrec_a71L $cshow_a71P $cshowList_a71V
$cshowList_a71V [Occ=LoopBreaker] :: [SocketType] -> ShowS
[LclId]
$cshowList_a71V = $dmshowList @ SocketType $fShowSocketType
$cshow_a71P [Occ=LoopBreaker] :: SocketType -> String
[LclId]
$cshow_a71P = $dmshow @ SocketType $fShowSocketType
end Rec }
$creadPrec_a71f :: ReadPrec SocketType
[LclId]
$creadPrec_a71f
= parens
@ SocketType
(choose
@ SocketType
(build
@ (String, ReadPrec SocketType)
(\ (@ a_d7Eo)
(c_d7Ep [OS=OneShot]
:: (String, ReadPrec SocketType) -> a_d7Eo -> a_d7Eo)
(n_d7Eq [OS=OneShot] :: a_d7Eo) ->
c_d7Ep
(unpackCString# "NoSocketType"#,
return @ ReadPrec $fMonadReadPrec @ SocketType NoSocketType)
(c_d7Ep
(unpackCString# "Stream"#,
return @ ReadPrec $fMonadReadPrec @ SocketType Stream)
(c_d7Ep
(unpackCString# "Datagram"#,
return @ ReadPrec $fMonadReadPrec @ SocketType Datagram)
(c_d7Ep
(unpackCString# "Raw"#,
return @ ReadPrec $fMonadReadPrec @ SocketType Raw)
(c_d7Ep
(unpackCString# "RDM"#,
return @ ReadPrec $fMonadReadPrec @ SocketType RDM)
(c_d7Ep
(unpackCString# "SeqPacket"#,
return @ ReadPrec $fMonadReadPrec @ SocketType SeqPacket)
n_d7Eq))))))))
Rec {
$fReadSocketType [InlPrag=NOUSERINLINE CONLIKE] :: Read SocketType
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Read TYPE: SocketType
$creadsPrec_a713
$creadList_a719
$creadPrec_a71f
$creadListPrec_a71D]
$fReadSocketType
= C:Read
@ SocketType
$creadsPrec_a713
$creadList_a719
$creadPrec_a71f
$creadListPrec_a71D
$creadList_a719 [Occ=LoopBreaker] :: ReadS [SocketType]
[LclId]
$creadList_a719 = readListDefault @ SocketType $fReadSocketType
$creadListPrec_a71D [Occ=LoopBreaker] :: ReadPrec [SocketType]
[LclId]
$creadListPrec_a71D
= readListPrecDefault @ SocketType $fReadSocketType
$creadsPrec_a713 [Occ=LoopBreaker] :: Int -> ReadS SocketType
[LclId]
$creadsPrec_a713 = $dmreadsPrec @ SocketType $fReadSocketType
end Rec }
$c==_a6ZT :: SocketType -> SocketType -> Bool
[LclId]
$c==_a6ZT
= \ (ds_d7Ej :: SocketType) (ds_d7Ek :: SocketType) ->
join {
fail_d7El :: Void# -> Bool
[LclId[JoinId(1)], Str=<L,U>]
fail_d7El _ [Occ=Dead, OS=OneShot] = False } in
case ds_d7Ej of {
NoSocketType ->
case ds_d7Ek of {
__DEFAULT -> jump fail_d7El void#;
NoSocketType -> True
};
Stream ->
case ds_d7Ek of {
__DEFAULT -> jump fail_d7El void#;
Stream -> True
};
Datagram ->
case ds_d7Ek of {
__DEFAULT -> jump fail_d7El void#;
Datagram -> True
};
Raw ->
case ds_d7Ek of {
__DEFAULT -> jump fail_d7El void#;
Raw -> True
};
RDM ->
case ds_d7Ek of {
__DEFAULT -> jump fail_d7El void#;
RDM -> True
};
SeqPacket ->
case ds_d7Ek of {
__DEFAULT -> jump fail_d7El void#;
SeqPacket -> True
}
}
Rec {
$fEqSocketType [InlPrag=NOUSERINLINE CONLIKE] :: Eq SocketType
[LclIdX[DFunId],
Unf=DFun: \ -> C:Eq TYPE: SocketType $c==_a6ZT $c/=_a6ZX]
$fEqSocketType = C:Eq @ SocketType $c==_a6ZT $c/=_a6ZX
$c/=_a6ZX [InlPrag=INLINE (sat-args=2), Occ=LoopBreaker]
:: SocketType -> SocketType -> Bool
[LclId,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=2,unsat_ok=False,boring_ok=False)
Tmpl= $dm/= @ SocketType $fEqSocketType}]
$c/=_a6ZX
= \ (eta_B2 :: SocketType) (eta_B1 :: SocketType) ->
$dm/= @ SocketType $fEqSocketType eta_B2 eta_B1
end Rec }
$cshowsPrec_a6Zv :: Int -> Family -> ShowS
[LclId]
$cshowsPrec_a6Zv
= \ _ [Occ=Dead] (ds_d7E9 :: Family) ->
case ds_d7E9 of {
AF_UNSPEC -> showString (unpackCString# "AF_UNSPEC"#);
AF_UNIX -> showString (unpackCString# "AF_UNIX"#);
AF_INET -> showString (unpackCString# "AF_INET"#);
AF_INET6 -> showString (unpackCString# "AF_INET6"#);
AF_IMPLINK -> showString (unpackCString# "AF_IMPLINK"#);
AF_PUP -> showString (unpackCString# "AF_PUP"#);
AF_CHAOS -> showString (unpackCString# "AF_CHAOS"#);
AF_NS -> showString (unpackCString# "AF_NS"#);
AF_NBS -> showString (unpackCString# "AF_NBS"#);
AF_ECMA -> showString (unpackCString# "AF_ECMA"#);
AF_DATAKIT -> showString (unpackCString# "AF_DATAKIT"#);
AF_CCITT -> showString (unpackCString# "AF_CCITT"#);
AF_SNA -> showString (unpackCString# "AF_SNA"#);
AF_DECnet -> showString (unpackCString# "AF_DECnet"#);
AF_DLI -> showString (unpackCString# "AF_DLI"#);
AF_LAT -> showString (unpackCString# "AF_LAT"#);
AF_HYLINK -> showString (unpackCString# "AF_HYLINK"#);
AF_APPLETALK -> showString (unpackCString# "AF_APPLETALK"#);
AF_ROUTE -> showString (unpackCString# "AF_ROUTE"#);
AF_NETBIOS -> showString (unpackCString# "AF_NETBIOS"#);
AF_NIT -> showString (unpackCString# "AF_NIT"#);
AF_802 -> showString (unpackCString# "AF_802"#);
AF_ISO -> showString (unpackCString# "AF_ISO"#);
AF_OSI -> showString (unpackCString# "AF_OSI"#);
AF_NETMAN -> showString (unpackCString# "AF_NETMAN"#);
AF_X25 -> showString (unpackCString# "AF_X25"#);
AF_AX25 -> showString (unpackCString# "AF_AX25"#);
AF_OSINET -> showString (unpackCString# "AF_OSINET"#);
AF_GOSSIP -> showString (unpackCString# "AF_GOSSIP"#);
AF_IPX -> showString (unpackCString# "AF_IPX"#);
Pseudo_AF_XTP -> showString (unpackCString# "Pseudo_AF_XTP"#);
AF_CTF -> showString (unpackCString# "AF_CTF"#);
AF_WAN -> showString (unpackCString# "AF_WAN"#);
AF_SDL -> showString (unpackCString# "AF_SDL"#);
AF_NETWARE -> showString (unpackCString# "AF_NETWARE"#);
AF_NDD -> showString (unpackCString# "AF_NDD"#);
AF_INTF -> showString (unpackCString# "AF_INTF"#);
AF_COIP -> showString (unpackCString# "AF_COIP"#);
AF_CNT -> showString (unpackCString# "AF_CNT"#);
Pseudo_AF_RTIP -> showString (unpackCString# "Pseudo_AF_RTIP"#);
Pseudo_AF_PIP -> showString (unpackCString# "Pseudo_AF_PIP"#);
AF_SIP -> showString (unpackCString# "AF_SIP"#);
AF_ISDN -> showString (unpackCString# "AF_ISDN"#);
Pseudo_AF_KEY -> showString (unpackCString# "Pseudo_AF_KEY"#);
AF_NATM -> showString (unpackCString# "AF_NATM"#);
AF_ARP -> showString (unpackCString# "AF_ARP"#);
Pseudo_AF_HDRCMPLT ->
showString (unpackCString# "Pseudo_AF_HDRCMPLT"#);
AF_ENCAP -> showString (unpackCString# "AF_ENCAP"#);
AF_LINK -> showString (unpackCString# "AF_LINK"#);
AF_RAW -> showString (unpackCString# "AF_RAW"#);
AF_RIF -> showString (unpackCString# "AF_RIF"#);
AF_NETROM -> showString (unpackCString# "AF_NETROM"#);
AF_BRIDGE -> showString (unpackCString# "AF_BRIDGE"#);
AF_ATMPVC -> showString (unpackCString# "AF_ATMPVC"#);
AF_ROSE -> showString (unpackCString# "AF_ROSE"#);
AF_NETBEUI -> showString (unpackCString# "AF_NETBEUI"#);
AF_SECURITY -> showString (unpackCString# "AF_SECURITY"#);
AF_PACKET -> showString (unpackCString# "AF_PACKET"#);
AF_ASH -> showString (unpackCString# "AF_ASH"#);
AF_ECONET -> showString (unpackCString# "AF_ECONET"#);
AF_ATMSVC -> showString (unpackCString# "AF_ATMSVC"#);
AF_IRDA -> showString (unpackCString# "AF_IRDA"#);
AF_PPPOX -> showString (unpackCString# "AF_PPPOX"#);
AF_WANPIPE -> showString (unpackCString# "AF_WANPIPE"#);
AF_BLUETOOTH -> showString (unpackCString# "AF_BLUETOOTH"#);
AF_CAN -> showString (unpackCString# "AF_CAN"#)
}
$creadPrec_a6TT :: ReadPrec Family
[LclId]
$creadPrec_a6TT
= parens
@ Family
(choose
@ Family
(: @ (String, ReadPrec Family)
(unpackCString# "AF_UNSPEC"#,
return @ ReadPrec $fMonadReadPrec @ Family AF_UNSPEC)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_UNIX"#,
return @ ReadPrec $fMonadReadPrec @ Family AF_UNIX)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_INET"#,
return @ ReadPrec $fMonadReadPrec @ Family AF_INET)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_INET6"#,
return @ ReadPrec $fMonadReadPrec @ Family AF_INET6)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_IMPLINK"#,
return @ ReadPrec $fMonadReadPrec @ Family AF_IMPLINK)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_PUP"#,
return @ ReadPrec $fMonadReadPrec @ Family AF_PUP)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_CHAOS"#,
return @ ReadPrec $fMonadReadPrec @ Family AF_CHAOS)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_NS"#,
return @ ReadPrec $fMonadReadPrec @ Family AF_NS)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_NBS"#,
return @ ReadPrec $fMonadReadPrec @ Family AF_NBS)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_ECMA"#,
return @ ReadPrec $fMonadReadPrec @ Family AF_ECMA)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_DATAKIT"#,
return @ ReadPrec $fMonadReadPrec @ Family AF_DATAKIT)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_CCITT"#,
return @ ReadPrec $fMonadReadPrec @ Family AF_CCITT)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_SNA"#,
return @ ReadPrec $fMonadReadPrec @ Family AF_SNA)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_DECnet"#,
return
@ ReadPrec $fMonadReadPrec @ Family AF_DECnet)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_DLI"#,
return
@ ReadPrec $fMonadReadPrec @ Family AF_DLI)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_LAT"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_LAT)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_HYLINK"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_HYLINK)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_APPLETALK"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_APPLETALK)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_ROUTE"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_ROUTE)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_NETBIOS"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_NETBIOS)
(: @ (String, ReadPrec Family)
(unpackCString# "AF_NIT"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_NIT)
(: @ (String,
ReadPrec Family)
(unpackCString#
"AF_802"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_802)
(: @ (String,
ReadPrec Family)
(unpackCString#
"AF_ISO"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_ISO)
(: @ (String,
ReadPrec Family)
(unpackCString#
"AF_OSI"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_OSI)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_NETMAN"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_NETMAN)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_X25"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_X25)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_AX25"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_AX25)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_OSINET"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_OSINET)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_GOSSIP"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_GOSSIP)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_IPX"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_IPX)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"Pseudo_AF_XTP"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
Pseudo_AF_XTP)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_CTF"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_CTF)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_WAN"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_WAN)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_SDL"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_SDL)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_NETWARE"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_NETWARE)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_NDD"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_NDD)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_INTF"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_INTF)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_COIP"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_COIP)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_CNT"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_CNT)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"Pseudo_AF_RTIP"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
Pseudo_AF_RTIP)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"Pseudo_AF_PIP"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
Pseudo_AF_PIP)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_SIP"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_SIP)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_ISDN"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_ISDN)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"Pseudo_AF_KEY"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
Pseudo_AF_KEY)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_NATM"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_NATM)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_ARP"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_ARP)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"Pseudo_AF_HDRCMPLT"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
Pseudo_AF_HDRCMPLT)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_ENCAP"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_ENCAP)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_LINK"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_LINK)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_RAW"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_RAW)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_RIF"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_RIF)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_NETROM"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_NETROM)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_BRIDGE"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_BRIDGE)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_ATMPVC"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_ATMPVC)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_ROSE"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_ROSE)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_NETBEUI"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_NETBEUI)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_SECURITY"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_SECURITY)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_PACKET"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_PACKET)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_ASH"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_ASH)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_ECONET"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_ECONET)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_ATMSVC"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_ATMSVC)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_IRDA"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_IRDA)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_PPPOX"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_PPPOX)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_WANPIPE"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_WANPIPE)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_BLUETOOTH"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_BLUETOOTH)
(: @ (String,
ReadPrec
Family)
(unpackCString#
"AF_CAN"#,
return
@ ReadPrec
$fMonadReadPrec
@ Family
AF_CAN)
([]
@ (String,
ReadPrec
Family)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
Rec {
$fReadFamily [InlPrag=NOUSERINLINE CONLIKE] :: Read Family
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Read TYPE: Family
$creadsPrec_a6TD
$creadList_a6TL
$creadPrec_a6TT
$creadListPrec_a6Zl]
$fReadFamily
= C:Read
@ Family
$creadsPrec_a6TD
$creadList_a6TL
$creadPrec_a6TT
$creadListPrec_a6Zl
$creadList_a6TL [Occ=LoopBreaker] :: ReadS [Family]
[LclId]
$creadList_a6TL = readListDefault @ Family $fReadFamily
$creadListPrec_a6Zl [Occ=LoopBreaker] :: ReadPrec [Family]
[LclId]
$creadListPrec_a6Zl = readListPrecDefault @ Family $fReadFamily
$creadsPrec_a6TD [Occ=LoopBreaker] :: Int -> ReadS Family
[LclId]
$creadsPrec_a6TD = $dmreadsPrec @ Family $fReadFamily
end Rec }
$cmin_a6MR :: PortNumber -> PortNumber -> PortNumber
[LclId]
$cmin_a6MR
= (min @ Word16 $fOrdWord16)
`cast` (Sym (N:PortNumber[0])
->_R Sym (N:PortNumber[0])
->_R Sym (N:PortNumber[0])
:: (Word16 -> Word16 -> Word16)
~R# (PortNumber -> PortNumber -> PortNumber))
$cmax_a6Mr :: PortNumber -> PortNumber -> PortNumber
[LclId]
$cmax_a6Mr
= (max @ Word16 $fOrdWord16)
`cast` (Sym (N:PortNumber[0])
->_R Sym (N:PortNumber[0])
->_R Sym (N:PortNumber[0])
:: (Word16 -> Word16 -> Word16)
~R# (PortNumber -> PortNumber -> PortNumber))
$c>=_a6M1 :: PortNumber -> PortNumber -> Bool
[LclId]
$c>=_a6M1
= (>= @ Word16 $fOrdWord16)
`cast` (Sym (N:PortNumber[0])
->_R Sym (N:PortNumber[0])
->_R <Bool>_R
:: (Word16 -> Word16 -> Bool)
~R# (PortNumber -> PortNumber -> Bool))
$c>_a6LB :: PortNumber -> PortNumber -> Bool
[LclId]
$c>_a6LB
= (> @ Word16 $fOrdWord16)
`cast` (Sym (N:PortNumber[0])
->_R Sym (N:PortNumber[0])
->_R <Bool>_R
:: (Word16 -> Word16 -> Bool)
~R# (PortNumber -> PortNumber -> Bool))
$c<=_a6Lb :: PortNumber -> PortNumber -> Bool
[LclId]
$c<=_a6Lb
= (<= @ Word16 $fOrdWord16)
`cast` (Sym (N:PortNumber[0])
->_R Sym (N:PortNumber[0])
->_R <Bool>_R
:: (Word16 -> Word16 -> Bool)
~R# (PortNumber -> PortNumber -> Bool))
$c<_a6KL :: PortNumber -> PortNumber -> Bool
[LclId]
$c<_a6KL
= (< @ Word16 $fOrdWord16)
`cast` (Sym (N:PortNumber[0])
->_R Sym (N:PortNumber[0])
->_R <Bool>_R
:: (Word16 -> Word16 -> Bool)
~R# (PortNumber -> PortNumber -> Bool))
$ccompare_a6Kl :: PortNumber -> PortNumber -> Ordering
[LclId]
$ccompare_a6Kl
= (compare @ Word16 $fOrdWord16)
`cast` (Sym (N:PortNumber[0])
->_R Sym (N:PortNumber[0])
->_R <Ordering>_R
:: (Word16 -> Word16 -> Ordering)
~R# (PortNumber -> PortNumber -> Ordering))
sockFd :: Socket -> CInt
[LclIdX]
sockFd
= \ (ds_d7By :: Socket) ->
case ds_d7By of
{ MkSocket n_a4pw _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] ->
n_a4pw
}
sockFamily :: Socket -> Family
[LclIdX]
sockFamily
= \ (ds_d7Bi :: Socket) ->
case ds_d7Bi of
{ MkSocket _ [Occ=Dead] f_a4px _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] ->
f_a4px
}
sockType :: Socket -> SocketType
[LclIdX]
sockType
= \ (ds_d7B2 :: Socket) ->
case ds_d7B2 of
{ MkSocket _ [Occ=Dead] _ [Occ=Dead] t_a4py _ [Occ=Dead]
_ [Occ=Dead] ->
t_a4py
}
sockProtocol :: Socket -> ProtocolNumber
[LclIdX]
sockProtocol
= \ (ds_d7AM :: Socket) ->
case ds_d7AM of
{ MkSocket _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead] p_a4pz
_ [Occ=Dead] ->
p_a4pz
}
sockStatus :: Socket -> MVar SocketStatus
[LclIdX]
sockStatus
= \ (ds_d7Aw :: Socket) ->
case ds_d7Aw of
{ MkSocket _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
s_a4pA ->
s_a4pA
}
isSupportedSockAddr :: SockAddr -> Bool
[LclIdX]
isSupportedSockAddr
= \ (addr_a4ZJ :: SockAddr) ->
case addr_a4ZJ of {
SockAddrInet _ [Occ=Dead] _ [Occ=Dead] -> True;
SockAddrInet6 _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] ->
True;
SockAddrUnix _ [Occ=Dead] -> True;
SockAddrCan _ [Occ=Dead] -> True
}
s6_addr_offset :: Int
[LclId]
s6_addr_offset = I# 0#
$c==_a6Nj :: Family -> Family -> Bool
[LclId]
$c==_a6Nj
= \ (a_a5B2 :: Family) (b_a5B3 :: Family) ->
case getTag @ Family a_a5B2 of a#_a5B4 { __DEFAULT ->
case getTag @ Family b_a5B3 of b#_a5B5 { __DEFAULT ->
tagToEnum# @ Bool (==# a#_a5B4 b#_a5B5)
}
}
Rec {
$fEqFamily [InlPrag=NOUSERINLINE CONLIKE] :: Eq Family
[LclIdX[DFunId],
Unf=DFun: \ -> C:Eq TYPE: Family $c==_a6Nj $c/=_a6Nr]
$fEqFamily = C:Eq @ Family $c==_a6Nj $c/=_a6Nr
$c/=_a6Nr [InlPrag=INLINE (sat-args=2), Occ=LoopBreaker]
:: Family -> Family -> Bool
[LclId,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=2,unsat_ok=False,boring_ok=False)
Tmpl= $dm/= @ Family $fEqFamily}]
$c/=_a6Nr
= \ (eta_B2 :: Family) (eta_B1 :: Family) ->
$dm/= @ Family $fEqFamily eta_B2 eta_B1
end Rec }
$ccompare_a6ND :: Family -> Family -> Ordering
[LclId]
$ccompare_a6ND
= \ (a_a5B6 :: Family) (b_a5B7 :: Family) ->
case getTag @ Family a_a5B6 of a#_a5B8 { __DEFAULT ->
case getTag @ Family b_a5B7 of b#_a5B9 { __DEFAULT ->
case tagToEnum# @ Bool (<# a#_a5B8 b#_a5B9) of {
False ->
case tagToEnum# @ Bool (==# a#_a5B8 b#_a5B9) of {
False -> GT;
True -> EQ
};
True -> LT
}
}
}
$c<_a6NT :: Family -> Family -> Bool
[LclId]
$c<_a6NT
= \ (a_a5Ba :: Family) (b_a5Bb :: Family) ->
case getTag @ Family a_a5Ba of a#_a5Bc { __DEFAULT ->
case getTag @ Family b_a5Bb of b#_a5Bd { __DEFAULT ->
tagToEnum# @ Bool (<# a#_a5Bc b#_a5Bd)
}
}
Rec {
$fOrdFamily [InlPrag=NOUSERINLINE CONLIKE] :: Ord Family
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Ord TYPE: Family
$fEqFamily
$ccompare_a6ND
$c<_a6NT
$c<=_a6O1
$c>_a6O8
$c>=_a6Oe
$cmax_a6Ok
$cmin_a6Oq]
$fOrdFamily
= C:Ord
@ Family
$fEqFamily
$ccompare_a6ND
$c<_a6NT
$c<=_a6O1
$c>_a6O8
$c>=_a6Oe
$cmax_a6Ok
$cmin_a6Oq
$cmax_a6Ok [Occ=LoopBreaker] :: Family -> Family -> Family
[LclId]
$cmax_a6Ok = $dmmax @ Family $fOrdFamily
$c>=_a6Oe [Occ=LoopBreaker] :: Family -> Family -> Bool
[LclId]
$c>=_a6Oe
= \ (a_a5Bi :: Family) (b_a5Bj :: Family) ->
not (< @ Family $fOrdFamily a_a5Bi b_a5Bj)
$c>_a6O8 [Occ=LoopBreaker] :: Family -> Family -> Bool
[LclId]
$c>_a6O8
= \ (a_a5Bg :: Family) (b_a5Bh :: Family) ->
< @ Family $fOrdFamily b_a5Bh a_a5Bg
$cmin_a6Oq [Occ=LoopBreaker] :: Family -> Family -> Family
[LclId]
$cmin_a6Oq = $dmmin @ Family $fOrdFamily
$c<=_a6O1 [Occ=LoopBreaker] :: Family -> Family -> Bool
[LclId]
$c<=_a6O1
= \ (a_a5Be :: Family) (b_a5Bf :: Family) ->
not (< @ Family $fOrdFamily b_a5Bf a_a5Be)
end Rec }
$con2tag_LmUxBH4yPByDZtxnKj03Pd :: SocketType -> Int#
[LclId]
$con2tag_LmUxBH4yPByDZtxnKj03Pd
= \ (ds_d7e1 :: SocketType) ->
case ds_d7e1 of {
NoSocketType -> 0#;
Stream -> 1#;
Datagram -> 2#;
Raw -> 3#;
RDM -> 4#;
SeqPacket -> 5#
}
$ccompare_a709 :: SocketType -> SocketType -> Ordering
[LclId]
$ccompare_a709
= \ (a_a5Bk :: SocketType) (b_a5Bl :: SocketType) ->
case $con2tag_LmUxBH4yPByDZtxnKj03Pd a_a5Bk of a#_a5Bm
{ __DEFAULT ->
case $con2tag_LmUxBH4yPByDZtxnKj03Pd b_a5Bl of b#_a5Bn
{ __DEFAULT ->
case tagToEnum# @ Bool (<# a#_a5Bm b#_a5Bn) of {
False ->
case tagToEnum# @ Bool (==# a#_a5Bm b#_a5Bn) of {
False -> GT;
True -> EQ
};
True -> LT
}
}
}
$c<_a70p :: SocketType -> SocketType -> Bool
[LclId]
$c<_a70p
= \ (a_a5Bo :: SocketType) (b_a5Bp :: SocketType) ->
case $con2tag_LmUxBH4yPByDZtxnKj03Pd a_a5Bo of a#_a5Bq
{ __DEFAULT ->
case $con2tag_LmUxBH4yPByDZtxnKj03Pd b_a5Bp of b#_a5Br
{ __DEFAULT ->
tagToEnum# @ Bool (<# a#_a5Bq b#_a5Br)
}
}
Rec {
$fOrdSocketType [InlPrag=NOUSERINLINE CONLIKE] :: Ord SocketType
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Ord TYPE: SocketType
$fEqSocketType
$ccompare_a709
$c<_a70p
$c<=_a70x
$c>_a70D
$c>=_a70J
$cmax_a70P
$cmin_a70V]
$fOrdSocketType
= C:Ord
@ SocketType
$fEqSocketType
$ccompare_a709
$c<_a70p
$c<=_a70x
$c>_a70D
$c>=_a70J
$cmax_a70P
$cmin_a70V
$cmax_a70P [Occ=LoopBreaker]
:: SocketType -> SocketType -> SocketType
[LclId]
$cmax_a70P = $dmmax @ SocketType $fOrdSocketType
$c>=_a70J [Occ=LoopBreaker] :: SocketType -> SocketType -> Bool
[LclId]
$c>=_a70J
= \ (a_a5Bw :: SocketType) (b_a5Bx :: SocketType) ->
not (< @ SocketType $fOrdSocketType a_a5Bw b_a5Bx)
$c>_a70D [Occ=LoopBreaker] :: SocketType -> SocketType -> Bool
[LclId]
$c>_a70D
= \ (a_a5Bu :: SocketType) (b_a5Bv :: SocketType) ->
< @ SocketType $fOrdSocketType b_a5Bv a_a5Bu
$cmin_a70V [Occ=LoopBreaker]
:: SocketType -> SocketType -> SocketType
[LclId]
$cmin_a70V = $dmmin @ SocketType $fOrdSocketType
$c<=_a70x [Occ=LoopBreaker] :: SocketType -> SocketType -> Bool
[LclId]
$c<=_a70x
= \ (a_a5Bs :: SocketType) (b_a5Bt :: SocketType) ->
not (< @ SocketType $fOrdSocketType b_a5Bt a_a5Bs)
end Rec }
$trModule :: Module
[LclIdX]
$trModule
= Module
(TrNameS "network-2.6.3.6-inplace"#)
(TrNameS "Network.Socket.Types"#)
$krep_a7dv [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dv = KindRepTyConApp $tcCInt ([] @ KindRep)
$krep_a7dt [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dt = KindRepTyConApp $tcWord16 ([] @ KindRep)
$krep_a7dr [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dr = KindRepTyConApp $tcInt32 ([] @ KindRep)
$krep_a7dp [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dp = KindRepTyConApp $tcChar ([] @ KindRep)
$krep_a7de [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7de = KindRepTyConApp $tcWord32 ([] @ KindRep)
$krep_a7do [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7do
= KindRepTyConApp $tc[] (: @ KindRep $krep_a7dp ([] @ KindRep))
$krep_a7dd [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dd
= KindRepTyConApp
$tc(,,,)
(: @ KindRep
$krep_a7de
(: @ KindRep
$krep_a7de
(: @ KindRep $krep_a7de (: @ KindRep $krep_a7de ([] @ KindRep)))))
$tcSocketStatus :: TyCon
[LclIdX]
$tcSocketStatus
= TyCon
2989546401485495854##
8819139127703759359##
$trModule
(TrNameS "SocketStatus"#)
0#
krep$*
$krep_a7dD [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dD = KindRepTyConApp $tcSocketStatus ([] @ KindRep)
$tc'NotConnected :: TyCon
[LclIdX]
$tc'NotConnected
= TyCon
6557925899863055107##
12001336287210888970##
$trModule
(TrNameS "'NotConnected"#)
0#
$krep_a7dD
$tc'Bound :: TyCon
[LclIdX]
$tc'Bound
= TyCon
13026121202970664723##
17735469041052628676##
$trModule
(TrNameS "'Bound"#)
0#
$krep_a7dD
$tc'Listening :: TyCon
[LclIdX]
$tc'Listening
= TyCon
4419351145388019340##
4198612498333146217##
$trModule
(TrNameS "'Listening"#)
0#
$krep_a7dD
$tc'Connected :: TyCon
[LclIdX]
$tc'Connected
= TyCon
17899698996343283691##
17134048398004050900##
$trModule
(TrNameS "'Connected"#)
0#
$krep_a7dD
$tc'ConvertedToHandle :: TyCon
[LclIdX]
$tc'ConvertedToHandle
= TyCon
17398528647738948109##
13650971105806855515##
$trModule
(TrNameS "'ConvertedToHandle"#)
0#
$krep_a7dD
$tc'Closed :: TyCon
[LclIdX]
$tc'Closed
= TyCon
11780867167912041735##
13697093259405094446##
$trModule
(TrNameS "'Closed"#)
0#
$krep_a7dD
$krep_a7dC [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dC
= KindRepTyConApp $tcMVar (: @ KindRep $krep_a7dD ([] @ KindRep))
$tcSocketType :: TyCon
[LclIdX]
$tcSocketType
= TyCon
8268977852829808830##
4098405578203563814##
$trModule
(TrNameS "SocketType"#)
0#
krep$*
$krep_a7dz [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dz = KindRepTyConApp $tcSocketType ([] @ KindRep)
$tc'NoSocketType :: TyCon
[LclIdX]
$tc'NoSocketType
= TyCon
9368701912052956718##
3386545786558433415##
$trModule
(TrNameS "'NoSocketType"#)
0#
$krep_a7dz
$tc'Stream :: TyCon
[LclIdX]
$tc'Stream
= TyCon
17306601855838322715##
14773792590789359933##
$trModule
(TrNameS "'Stream"#)
0#
$krep_a7dz
$tc'Datagram :: TyCon
[LclIdX]
$tc'Datagram
= TyCon
25511524205402134##
10064445969285050375##
$trModule
(TrNameS "'Datagram"#)
0#
$krep_a7dz
$tc'Raw :: TyCon
[LclIdX]
$tc'Raw
= TyCon
4118626931262907290##
17228471513156550076##
$trModule
(TrNameS "'Raw"#)
0#
$krep_a7dz
$tc'RDM :: TyCon
[LclIdX]
$tc'RDM
= TyCon
7241021219048444966##
18191367303607878484##
$trModule
(TrNameS "'RDM"#)
0#
$krep_a7dz
$tc'SeqPacket :: TyCon
[LclIdX]
$tc'SeqPacket
= TyCon
13592388255160169228##
10341566322720348600##
$trModule
(TrNameS "'SeqPacket"#)
0#
$krep_a7dz
$tcFamily :: TyCon
[LclIdX]
$tcFamily
= TyCon
1797516980897260863##
1630570967361570557##
$trModule
(TrNameS "Family"#)
0#
krep$*
$krep_a7dx [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dx = KindRepTyConApp $tcFamily ([] @ KindRep)
$tc'AF_UNSPEC :: TyCon
[LclIdX]
$tc'AF_UNSPEC
= TyCon
16431309883139653252##
1862649864429453987##
$trModule
(TrNameS "'AF_UNSPEC"#)
0#
$krep_a7dx
$tc'AF_UNIX :: TyCon
[LclIdX]
$tc'AF_UNIX
= TyCon
8647270515939959565##
13469974750662980443##
$trModule
(TrNameS "'AF_UNIX"#)
0#
$krep_a7dx
$tc'AF_INET :: TyCon
[LclIdX]
$tc'AF_INET
= TyCon
8974692892664590096##
10677484022986992170##
$trModule
(TrNameS "'AF_INET"#)
0#
$krep_a7dx
$tc'AF_INET6 :: TyCon
[LclIdX]
$tc'AF_INET6
= TyCon
17319169040549880994##
5363942898127559156##
$trModule
(TrNameS "'AF_INET6"#)
0#
$krep_a7dx
$tc'AF_IMPLINK :: TyCon
[LclIdX]
$tc'AF_IMPLINK
= TyCon
10449303462084058434##
10335312174071840082##
$trModule
(TrNameS "'AF_IMPLINK"#)
0#
$krep_a7dx
$tc'AF_PUP :: TyCon
[LclIdX]
$tc'AF_PUP
= TyCon
8806021823062396727##
2092061596847415328##
$trModule
(TrNameS "'AF_PUP"#)
0#
$krep_a7dx
$tc'AF_CHAOS :: TyCon
[LclIdX]
$tc'AF_CHAOS
= TyCon
12647925102303605390##
8160751544274111348##
$trModule
(TrNameS "'AF_CHAOS"#)
0#
$krep_a7dx
$tc'AF_NS :: TyCon
[LclIdX]
$tc'AF_NS
= TyCon
11210895329824265865##
4364899882737143753##
$trModule
(TrNameS "'AF_NS"#)
0#
$krep_a7dx
$tc'AF_NBS :: TyCon
[LclIdX]
$tc'AF_NBS
= TyCon
868177747531549625##
4582650428319436329##
$trModule
(TrNameS "'AF_NBS"#)
0#
$krep_a7dx
$tc'AF_ECMA :: TyCon
[LclIdX]
$tc'AF_ECMA
= TyCon
14028286847115902394##
3818752933551740664##
$trModule
(TrNameS "'AF_ECMA"#)
0#
$krep_a7dx
$tc'AF_DATAKIT :: TyCon
[LclIdX]
$tc'AF_DATAKIT
= TyCon
3356435521682696914##
8156678026353546639##
$trModule
(TrNameS "'AF_DATAKIT"#)
0#
$krep_a7dx
$tc'AF_CCITT :: TyCon
[LclIdX]
$tc'AF_CCITT
= TyCon
6026970740440665948##
7778695841439632208##
$trModule
(TrNameS "'AF_CCITT"#)
0#
$krep_a7dx
$tc'AF_SNA :: TyCon
[LclIdX]
$tc'AF_SNA
= TyCon
9838887793013588419##
1088025977984985400##
$trModule
(TrNameS "'AF_SNA"#)
0#
$krep_a7dx
$tc'AF_DECnet :: TyCon
[LclIdX]
$tc'AF_DECnet
= TyCon
6468580947240496990##
1985917607369513576##
$trModule
(TrNameS "'AF_DECnet"#)
0#
$krep_a7dx
$tc'AF_DLI :: TyCon
[LclIdX]
$tc'AF_DLI
= TyCon
7439387434732978057##
7477732290998315043##
$trModule
(TrNameS "'AF_DLI"#)
0#
$krep_a7dx
$tc'AF_LAT :: TyCon
[LclIdX]
$tc'AF_LAT
= TyCon
3787031216078110805##
17348993193241656494##
$trModule
(TrNameS "'AF_LAT"#)
0#
$krep_a7dx
$tc'AF_HYLINK :: TyCon
[LclIdX]
$tc'AF_HYLINK
= TyCon
17595665693610648347##
4962575831212257688##
$trModule
(TrNameS "'AF_HYLINK"#)
0#
$krep_a7dx
$tc'AF_APPLETALK :: TyCon
[LclIdX]
$tc'AF_APPLETALK
= TyCon
17329565612820231490##
3297888815870834615##
$trModule
(TrNameS "'AF_APPLETALK"#)
0#
$krep_a7dx
$tc'AF_ROUTE :: TyCon
[LclIdX]
$tc'AF_ROUTE
= TyCon
8010384633168246827##
10670851191189127832##
$trModule
(TrNameS "'AF_ROUTE"#)
0#
$krep_a7dx
$tc'AF_NETBIOS :: TyCon
[LclIdX]
$tc'AF_NETBIOS
= TyCon
3962665973472702697##
10392997803210363577##
$trModule
(TrNameS "'AF_NETBIOS"#)
0#
$krep_a7dx
$tc'AF_NIT :: TyCon
[LclIdX]
$tc'AF_NIT
= TyCon
16105240399336215744##
10700123644731364877##
$trModule
(TrNameS "'AF_NIT"#)
0#
$krep_a7dx
$tc'AF_802 :: TyCon
[LclIdX]
$tc'AF_802
= TyCon
16293557955802982570##
14863374543046187315##
$trModule
(TrNameS "'AF_802"#)
0#
$krep_a7dx
$tc'AF_ISO :: TyCon
[LclIdX]
$tc'AF_ISO
= TyCon
3363482292351246951##
15970332458211495250##
$trModule
(TrNameS "'AF_ISO"#)
0#
$krep_a7dx
$tc'AF_OSI :: TyCon
[LclIdX]
$tc'AF_OSI
= TyCon
8243033981282258282##
5617637024491236194##
$trModule
(TrNameS "'AF_OSI"#)
0#
$krep_a7dx
$tc'AF_NETMAN :: TyCon
[LclIdX]
$tc'AF_NETMAN
= TyCon
419950175524352796##
1467359484379053185##
$trModule
(TrNameS "'AF_NETMAN"#)
0#
$krep_a7dx
$tc'AF_X25 :: TyCon
[LclIdX]
$tc'AF_X25
= TyCon
8480076856872316036##
3088928686362466322##
$trModule
(TrNameS "'AF_X25"#)
0#
$krep_a7dx
$tc'AF_AX25 :: TyCon
[LclIdX]
$tc'AF_AX25
= TyCon
15622175048407759195##
13134862062732839087##
$trModule
(TrNameS "'AF_AX25"#)
0#
$krep_a7dx
$tc'AF_OSINET :: TyCon
[LclIdX]
$tc'AF_OSINET
= TyCon
18364318334918250043##
1956948867919669846##
$trModule
(TrNameS "'AF_OSINET"#)
0#
$krep_a7dx
$tc'AF_GOSSIP :: TyCon
[LclIdX]
$tc'AF_GOSSIP
= TyCon
7141359159333279342##
10540221705911758157##
$trModule
(TrNameS "'AF_GOSSIP"#)
0#
$krep_a7dx
$tc'AF_IPX :: TyCon
[LclIdX]
$tc'AF_IPX
= TyCon
12921987882179251931##
3078428997611032166##
$trModule
(TrNameS "'AF_IPX"#)
0#
$krep_a7dx
$tc'Pseudo_AF_XTP :: TyCon
[LclIdX]
$tc'Pseudo_AF_XTP
= TyCon
3068378384106335242##
199765384186614430##
$trModule
(TrNameS "'Pseudo_AF_XTP"#)
0#
$krep_a7dx
$tc'AF_CTF :: TyCon
[LclIdX]
$tc'AF_CTF
= TyCon
9177497682611781524##
6317322866883999315##
$trModule
(TrNameS "'AF_CTF"#)
0#
$krep_a7dx
$tc'AF_WAN :: TyCon
[LclIdX]
$tc'AF_WAN
= TyCon
3390857073952434968##
13151475512874259259##
$trModule
(TrNameS "'AF_WAN"#)
0#
$krep_a7dx
$tc'AF_SDL :: TyCon
[LclIdX]
$tc'AF_SDL
= TyCon
16075698692531284310##
16416116690793112962##
$trModule
(TrNameS "'AF_SDL"#)
0#
$krep_a7dx
$tc'AF_NETWARE :: TyCon
[LclIdX]
$tc'AF_NETWARE
= TyCon
6137521795801940341##
15429186738889824222##
$trModule
(TrNameS "'AF_NETWARE"#)
0#
$krep_a7dx
$tc'AF_NDD :: TyCon
[LclIdX]
$tc'AF_NDD
= TyCon
13568612309932972543##
15650199447754407405##
$trModule
(TrNameS "'AF_NDD"#)
0#
$krep_a7dx
$tc'AF_INTF :: TyCon
[LclIdX]
$tc'AF_INTF
= TyCon
12289868054214188286##
11600650684069446271##
$trModule
(TrNameS "'AF_INTF"#)
0#
$krep_a7dx
$tc'AF_COIP :: TyCon
[LclIdX]
$tc'AF_COIP
= TyCon
4213064157269764967##
7563885982703318371##
$trModule
(TrNameS "'AF_COIP"#)
0#
$krep_a7dx
$tc'AF_CNT :: TyCon
[LclIdX]
$tc'AF_CNT
= TyCon
1534362015181622778##
7315128467575023696##
$trModule
(TrNameS "'AF_CNT"#)
0#
$krep_a7dx
$tc'Pseudo_AF_RTIP :: TyCon
[LclIdX]
$tc'Pseudo_AF_RTIP
= TyCon
707629954354470072##
5694771296096324150##
$trModule
(TrNameS "'Pseudo_AF_RTIP"#)
0#
$krep_a7dx
$tc'Pseudo_AF_PIP :: TyCon
[LclIdX]
$tc'Pseudo_AF_PIP
= TyCon
4787326207825400286##
1551828132210139846##
$trModule
(TrNameS "'Pseudo_AF_PIP"#)
0#
$krep_a7dx
$tc'AF_SIP :: TyCon
[LclIdX]
$tc'AF_SIP
= TyCon
6120766193715242256##
11560503467923587253##
$trModule
(TrNameS "'AF_SIP"#)
0#
$krep_a7dx
$tc'AF_ISDN :: TyCon
[LclIdX]
$tc'AF_ISDN
= TyCon
14550964497641231770##
12759536323099967452##
$trModule
(TrNameS "'AF_ISDN"#)
0#
$krep_a7dx
$tc'Pseudo_AF_KEY :: TyCon
[LclIdX]
$tc'Pseudo_AF_KEY
= TyCon
3597695211788085899##
12606930036152126853##
$trModule
(TrNameS "'Pseudo_AF_KEY"#)
0#
$krep_a7dx
$tc'AF_NATM :: TyCon
[LclIdX]
$tc'AF_NATM
= TyCon
2878309185623112820##
3308480900848150733##
$trModule
(TrNameS "'AF_NATM"#)
0#
$krep_a7dx
$tc'AF_ARP :: TyCon
[LclIdX]
$tc'AF_ARP
= TyCon
1898919300221228735##
16728185547118909206##
$trModule
(TrNameS "'AF_ARP"#)
0#
$krep_a7dx
$tc'Pseudo_AF_HDRCMPLT :: TyCon
[LclIdX]
$tc'Pseudo_AF_HDRCMPLT
= TyCon
9311607292628991094##
979264048188554342##
$trModule
(TrNameS "'Pseudo_AF_HDRCMPLT"#)
0#
$krep_a7dx
$tc'AF_ENCAP :: TyCon
[LclIdX]
$tc'AF_ENCAP
= TyCon
357750027465824200##
9322508263399530455##
$trModule
(TrNameS "'AF_ENCAP"#)
0#
$krep_a7dx
$tc'AF_LINK :: TyCon
[LclIdX]
$tc'AF_LINK
= TyCon
7983779989665791336##
839908721037597830##
$trModule
(TrNameS "'AF_LINK"#)
0#
$krep_a7dx
$tc'AF_RAW :: TyCon
[LclIdX]
$tc'AF_RAW
= TyCon
14880777970609426941##
4519419812707939900##
$trModule
(TrNameS "'AF_RAW"#)
0#
$krep_a7dx
$tc'AF_RIF :: TyCon
[LclIdX]
$tc'AF_RIF
= TyCon
15604739142996964094##
14196471657896669557##
$trModule
(TrNameS "'AF_RIF"#)
0#
$krep_a7dx
$tc'AF_NETROM :: TyCon
[LclIdX]
$tc'AF_NETROM
= TyCon
1900009259772263925##
6953315284164565981##
$trModule
(TrNameS "'AF_NETROM"#)
0#
$krep_a7dx
$tc'AF_BRIDGE :: TyCon
[LclIdX]
$tc'AF_BRIDGE
= TyCon
1765425995443222960##
8068638598795413599##
$trModule
(TrNameS "'AF_BRIDGE"#)
0#
$krep_a7dx
$tc'AF_ATMPVC :: TyCon
[LclIdX]
$tc'AF_ATMPVC
= TyCon
8901710448834234813##
18163924827223547867##
$trModule
(TrNameS "'AF_ATMPVC"#)
0#
$krep_a7dx
$tc'AF_ROSE :: TyCon
[LclIdX]
$tc'AF_ROSE
= TyCon
11706278079959747060##
9546081727912073215##
$trModule
(TrNameS "'AF_ROSE"#)
0#
$krep_a7dx
$tc'AF_NETBEUI :: TyCon
[LclIdX]
$tc'AF_NETBEUI
= TyCon
11626788160475047966##
17869334392700104562##
$trModule
(TrNameS "'AF_NETBEUI"#)
0#
$krep_a7dx
$tc'AF_SECURITY :: TyCon
[LclIdX]
$tc'AF_SECURITY
= TyCon
2361062735104107713##
9128911582489184513##
$trModule
(TrNameS "'AF_SECURITY"#)
0#
$krep_a7dx
$tc'AF_PACKET :: TyCon
[LclIdX]
$tc'AF_PACKET
= TyCon
15882997196139422216##
17769813263787432499##
$trModule
(TrNameS "'AF_PACKET"#)
0#
$krep_a7dx
$tc'AF_ASH :: TyCon
[LclIdX]
$tc'AF_ASH
= TyCon
10721466912891498508##
2425450416816391692##
$trModule
(TrNameS "'AF_ASH"#)
0#
$krep_a7dx
$tc'AF_ECONET :: TyCon
[LclIdX]
$tc'AF_ECONET
= TyCon
1655511100973171088##
12126704332270586221##
$trModule
(TrNameS "'AF_ECONET"#)
0#
$krep_a7dx
$tc'AF_ATMSVC :: TyCon
[LclIdX]
$tc'AF_ATMSVC
= TyCon
3175772522917005471##
4547840681279989057##
$trModule
(TrNameS "'AF_ATMSVC"#)
0#
$krep_a7dx
$tc'AF_IRDA :: TyCon
[LclIdX]
$tc'AF_IRDA
= TyCon
4553724213956967804##
17743124362291279648##
$trModule
(TrNameS "'AF_IRDA"#)
0#
$krep_a7dx
$tc'AF_PPPOX :: TyCon
[LclIdX]
$tc'AF_PPPOX
= TyCon
11254549183171189752##
3207845853362655035##
$trModule
(TrNameS "'AF_PPPOX"#)
0#
$krep_a7dx
$tc'AF_WANPIPE :: TyCon
[LclIdX]
$tc'AF_WANPIPE
= TyCon
7099971287953930242##
7701895757927135915##
$trModule
(TrNameS "'AF_WANPIPE"#)
0#
$krep_a7dx
$tc'AF_BLUETOOTH :: TyCon
[LclIdX]
$tc'AF_BLUETOOTH
= TyCon
13891994310228643258##
12809427839340026408##
$trModule
(TrNameS "'AF_BLUETOOTH"#)
0#
$krep_a7dx
$tc'AF_CAN :: TyCon
[LclIdX]
$tc'AF_CAN
= TyCon
11172256017827458932##
12795406614466756168##
$trModule
(TrNameS "'AF_CAN"#)
0#
$krep_a7dx
$tcSocket :: TyCon
[LclIdX]
$tcSocket
= TyCon
766084178262967405##
15108727015091288850##
$trModule
(TrNameS "Socket"#)
0#
krep$*
$krep_a7dE [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dE = KindRepTyConApp $tcSocket ([] @ KindRep)
$krep_a7dB [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dB = KindRepFun $krep_a7dC $krep_a7dE
$krep_a7dA [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dA = KindRepFun $krep_a7dv $krep_a7dB
$krep_a7dy [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dy = KindRepFun $krep_a7dz $krep_a7dA
$krep_a7dw [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dw = KindRepFun $krep_a7dx $krep_a7dy
$krep_a7du [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7du = KindRepFun $krep_a7dv $krep_a7dw
$tc'MkSocket :: TyCon
[LclIdX]
$tc'MkSocket
= TyCon
13081841344977083752##
4091936167100518682##
$trModule
(TrNameS "'MkSocket"#)
0#
$krep_a7du
$tcPortNumber :: TyCon
[LclIdX]
$tcPortNumber
= TyCon
14317661148091954702##
236451363962166773##
$trModule
(TrNameS "PortNumber"#)
0#
krep$*
$krep_a7dh [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dh = KindRepTyConApp $tcPortNumber ([] @ KindRep)
$krep_a7ds [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7ds = KindRepFun $krep_a7dt $krep_a7dh
$tc'PortNum :: TyCon
[LclIdX]
$tc'PortNum
= TyCon
13173841139353436751##
15606931351099275548##
$trModule
(TrNameS "'PortNum"#)
0#
$krep_a7ds
$tcSockAddr :: TyCon
[LclIdX]
$tcSockAddr
= TyCon
7829337648525336589##
13083722910968513146##
$trModule
(TrNameS "SockAddr"#)
0#
krep$*
$krep_a7dj [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dj = KindRepTyConApp $tcSockAddr ([] @ KindRep)
$krep_a7dn [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dn = KindRepFun $krep_a7do $krep_a7dj
$tc'SockAddrUnix :: TyCon
[LclIdX]
$tc'SockAddrUnix
= TyCon
2727829922628758332##
14425971284584661708##
$trModule
(TrNameS "'SockAddrUnix"#)
0#
$krep_a7dn
$krep_a7di [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7di = KindRepFun $krep_a7de $krep_a7dj
$krep_a7dm [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dm = KindRepFun $krep_a7dd $krep_a7di
$krep_a7dl [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dl = KindRepFun $krep_a7de $krep_a7dm
$krep_a7dk [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dk = KindRepFun $krep_a7dh $krep_a7dl
$tc'SockAddrInet6 :: TyCon
[LclIdX]
$tc'SockAddrInet6
= TyCon
3168425954406238342##
5280328218799705411##
$trModule
(TrNameS "'SockAddrInet6"#)
0#
$krep_a7dk
$krep_a7dg [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dg = KindRepFun $krep_a7dh $krep_a7di
$tc'SockAddrInet :: TyCon
[LclIdX]
$tc'SockAddrInet
= TyCon
12149445277907907856##
10924310028285790760##
$trModule
(TrNameS "'SockAddrInet"#)
0#
$krep_a7dg
$krep_a7dq [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dq = KindRepFun $krep_a7dr $krep_a7dj
$tc'SockAddrCan :: TyCon
[LclIdX]
$tc'SockAddrCan
= TyCon
4797990271034842923##
811887417376951655##
$trModule
(TrNameS "'SockAddrCan"#)
0#
$krep_a7dq
$tcIn6Addr :: TyCon
[LclIdX]
$tcIn6Addr
= TyCon
4618510599835858420##
3244373491448859509##
$trModule
(TrNameS "In6Addr"#)
0#
krep$*
$krep_a7df [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7df = KindRepTyConApp $tcIn6Addr ([] @ KindRep)
$krep_a7dc [InlPrag=NOUSERINLINE[~]] :: KindRep
[LclId]
$krep_a7dc = KindRepFun $krep_a7dd $krep_a7df
$tc'In6Addr :: TyCon
[LclIdX]
$tc'In6Addr
= TyCon
4519877520104364322##
8816191081551320445##
$trModule
(TrNameS "'In6Addr"#)
0#
$krep_a7dc
ntohs [Occ=OnceL!] :: Word16 -> Word16
[LclId,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=1,unsat_ok=False,boring_ok=False)
Tmpl= \ (ds_d7LV [Occ=Once!] :: Word16) ->
case ds_d7LV of { W16# ds_d7LX [Occ=Once] ->
case {__pkg_ccall network-2.6.3.6-inplace Word#
-> State# RealWorld -> (# State# RealWorld, Word# #)}_d7M0
ds_d7LX realWorld#
of
{ (# _ [Occ=Dead], ds_d7LY [Occ=Once] #) ->
W16# (narrow16Word# ds_d7LY)
}
}}]
ntohs
= \ (ds_d7LV :: Word16) ->
case ds_d7LV of { W16# ds_d7LX ->
case {__pkg_ccall network-2.6.3.6-inplace Word#
-> State# RealWorld -> (# State# RealWorld, Word# #)}_d7M0
ds_d7LX realWorld#
of
{ (# _ [Occ=Dead], ds_d7LY #) ->
W16# (narrow16Word# ds_d7LY)
}
}
htons [Occ=OnceL!] :: Word16 -> Word16
[LclId,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=1,unsat_ok=False,boring_ok=False)
Tmpl= \ (ds_d7LN [Occ=Once!] :: Word16) ->
case ds_d7LN of { W16# ds_d7LQ [Occ=Once] ->
case {__pkg_ccall network-2.6.3.6-inplace Word#
-> State# RealWorld -> (# State# RealWorld, Word# #)}_d7LT
ds_d7LQ realWorld#
of
{ (# _ [Occ=Dead], ds_d7LR [Occ=Once] #) ->
W16# (narrow16Word# ds_d7LR)
}
}}]
htons
= \ (ds_d7LN :: Word16) ->
case ds_d7LN of { W16# ds_d7LQ ->
case {__pkg_ccall network-2.6.3.6-inplace Word#
-> State# RealWorld -> (# State# RealWorld, Word# #)}_d7LT
ds_d7LQ realWorld#
of
{ (# _ [Occ=Dead], ds_d7LR #) ->
W16# (narrow16Word# ds_d7LR)
}
}
ntohl [Occ=OnceL] :: Word32 -> Word32
[LclId,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=1,unsat_ok=False,boring_ok=False)
Tmpl= \ (ds_d7LG [Occ=Once!] :: Word32) ->
case ds_d7LG of { W32# ds_d7LI [Occ=Once] ->
case {__pkg_ccall network-2.6.3.6-inplace Word#
-> State# RealWorld -> (# State# RealWorld, Word# #)}_d7LL
ds_d7LI realWorld#
of
{ (# _ [Occ=Dead], ds_d7LJ [Occ=Once] #) ->
W32# (narrow32Word# ds_d7LJ)
}
}}]
ntohl
= \ (ds_d7LG :: Word32) ->
case ds_d7LG of { W32# ds_d7LI ->
case {__pkg_ccall network-2.6.3.6-inplace Word#
-> State# RealWorld -> (# State# RealWorld, Word# #)}_d7LL
ds_d7LI realWorld#
of
{ (# _ [Occ=Dead], ds_d7LJ #) ->
W32# (narrow32Word# ds_d7LJ)
}
}
htonl [Occ=OnceL!] :: Word32 -> Word32
[LclId,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=1,unsat_ok=False,boring_ok=False)
Tmpl= \ (ds_d7Ly [Occ=Once!] :: Word32) ->
case ds_d7Ly of { W32# ds_d7LB [Occ=Once] ->
case {__pkg_ccall network-2.6.3.6-inplace Word#
-> State# RealWorld -> (# State# RealWorld, Word# #)}_d7LE
ds_d7LB realWorld#
of
{ (# _ [Occ=Dead], ds_d7LC [Occ=Once] #) ->
W32# (narrow32Word# ds_d7LC)
}
}}]
htonl
= \ (ds_d7Ly :: Word32) ->
case ds_d7Ly of { W32# ds_d7LB ->
case {__pkg_ccall network-2.6.3.6-inplace Word#
-> State# RealWorld -> (# State# RealWorld, Word# #)}_d7LE
ds_d7LB realWorld#
of
{ (# _ [Occ=Dead], ds_d7LC #) ->
W32# (narrow32Word# ds_d7LC)
}
}
hostAddressToTuple :: HostAddress -> (Word8, Word8, Word8, Word8)
[LclIdX]
hostAddressToTuple
= \ (ha'_a52g :: HostAddress) ->
let {
ha_a52h :: Word32
[LclId]
ha_a52h = htonl ha'_a52g } in
let {
byte_a52i :: Int -> Word8
[LclId]
byte_a52i
= \ (i_a52j :: Int) ->
fromIntegral
@ Word32
@ Word8
$fIntegralWord32
$fNumWord8
(shiftR @ Word32 $fBitsWord32 ha_a52h i_a52j) } in
(byte_a52i (I# 24#), byte_a52i (I# 16#), byte_a52i (I# 8#),
byte_a52i (I# 0#))
$wccall_d7Lx
:: forall a.
Addr#
-> Int# -> Word# -> State# RealWorld -> (# State# RealWorld #)
[LclId]
$wccall_d7Lx
= \ (@ a_a537[sk:1])
(ds_d7Ln :: Addr#)
(ds_d7Lq :: Int#)
(ds_d7Lt :: Word#) ->
{__pkg_ccall network-2.6.3.6-inplace Addr#
-> Int# -> Word# -> State# RealWorld -> (# State# RealWorld #)}_d7Lw
ds_d7Ln ds_d7Lq ds_d7Lt
memset [Occ=OnceL!] :: forall a. Ptr a -> CInt -> CSize -> IO ()
[LclId,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=3,unsat_ok=False,boring_ok=False)
Tmpl= (\ (@ a_a537[sk:1])
(ds_d7Lj [Occ=Once!] :: Ptr a_a537[sk:1])
(ds_d7Lk [Occ=Once!] :: Int32)
(ds_d7Ll [Occ=Once!] :: Word64) ->
case ds_d7Lj of { Ptr ds_d7Ln [Occ=Once] ->
case ds_d7Lk of { I32# ds_d7Lq [Occ=Once] ->
case ds_d7Ll of { W64# ds_d7Lt [Occ=Once] ->
(\ (ds_d7Lv [Occ=Once] :: State# RealWorld) ->
case $wccall_d7Lx @ a_a537[sk:1] ds_d7Ln ds_d7Lq ds_d7Lt ds_d7Lv of
{ (# ds_d7Lu [Occ=Once] #) ->
(# ds_d7Lu, () #)
})
`cast` (Sym (N:IO[0] <()>_R)
:: (State# RealWorld -> (# State# RealWorld, () #)) ~R# IO ())
}
}
})
`cast` (forall (a :: <*>_N).
<Ptr (a |> <*>_N)>_R
->_R Sym (N:CInt[0])
->_R Sym (N:CSize[0])
->_R <IO ()>_R
:: (forall a. Ptr (a |> <*>_N) -> Int32 -> Word64 -> IO ())
~R# (forall a. Ptr (a |> <*>_N) -> CInt -> CSize -> IO ()))}]
memset
= (\ (@ a_a537[sk:1])
(ds_d7Lj :: Ptr a_a537[sk:1])
(ds_d7Lk :: Int32)
(ds_d7Ll :: Word64) ->
case ds_d7Lj of { Ptr ds_d7Ln ->
case ds_d7Lk of { I32# ds_d7Lq ->
case ds_d7Ll of { W64# ds_d7Lt ->
(\ (ds_d7Lv :: State# RealWorld) ->
case $wccall_d7Lx @ a_a537[sk:1] ds_d7Ln ds_d7Lq ds_d7Lt ds_d7Lv of
{ (# ds_d7Lu #) ->
(# ds_d7Lu, () #)
})
`cast` (Sym (N:IO[0] <()>_R)
:: (State# RealWorld -> (# State# RealWorld, () #)) ~R# IO ())
}
}
})
`cast` (forall (a :: <*>_N).
<Ptr (a |> <*>_N)>_R
->_R Sym (N:CInt[0])
->_R Sym (N:CSize[0])
->_R <IO ()>_R
:: (forall a. Ptr (a |> <*>_N) -> Int32 -> Word64 -> IO ())
~R# (forall a. Ptr (a |> <*>_N) -> CInt -> CSize -> IO ()))
$dIP_a6Gm :: HasCallStack
[LclId]
$dIP_a6Gm
= (pushCallStack
(unpackCString# "error"#,
SrcLoc
(unpackCString# "network-2.6.3.6-inplace"#)
(unpackCString# "Network.Socket.Types"#)
(unpackCString# "Network/Socket/Types.hsc"#)
(I# 195#)
(I# 35#)
(I# 195#)
(I# 47#))
((emptyCallStack
`cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
:: CallStack ~R# (?callStack::CallStack)))
`cast` (N:IP[0] <"callStack">_N <CallStack>_N
:: (?callStack::CallStack) ~R# CallStack)))
`cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
:: CallStack ~R# (?callStack::CallStack))
$dIP_a6DO :: HasCallStack
[LclId]
$dIP_a6DO
= (pushCallStack
(unpackCString# "error"#,
SrcLoc
(unpackCString# "network-2.6.3.6-inplace"#)
(unpackCString# "Network.Socket.Types"#)
(unpackCString# "Network/Socket/Types.hsc"#)
(I# 316#)
(I# 16#)
(I# 318#)
(I# 22#))
((emptyCallStack
`cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
:: CallStack ~R# (?callStack::CallStack)))
`cast` (N:IP[0] <"callStack">_N <CallStack>_N
:: (?callStack::CallStack) ~R# CallStack)))
`cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
:: CallStack ~R# (?callStack::CallStack))
$cshowsPrec_a7a0 :: Int -> Socket -> ShowS
[LclId]
$cshowsPrec_a7a0
= \ _ [Occ=Dead] (ds_d7Kv :: Socket) ->
case ds_d7Kv of
{ MkSocket fd_a3U6 _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] ->
. @ String
@ String
@ String
(showString (unpackCString# "<socket: "#))
(. @ String
@ String
@ String
(shows @ CInt $fShowCInt fd_a3U6)
(showString (unpackCString# ">"#)))
}
Rec {
$fShowSocket [InlPrag=NOUSERINLINE CONLIKE] :: Show Socket
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Show TYPE: Socket $cshowsPrec_a7a0 $cshow_a7ae $cshowList_a7ak]
$fShowSocket
= C:Show @ Socket $cshowsPrec_a7a0 $cshow_a7ae $cshowList_a7ak
$cshowList_a7ak [Occ=LoopBreaker] :: [Socket] -> ShowS
[LclId]
$cshowList_a7ak = $dmshowList @ Socket $fShowSocket
$cshow_a7ae [Occ=LoopBreaker] :: Socket -> String
[LclId]
$cshow_a7ae = $dmshow @ Socket $fShowSocket
end Rec }
$dIP_a6Bc :: HasCallStack
[LclId]
$dIP_a6Bc
= (pushCallStack
(unpackCString# "error"#,
SrcLoc
(unpackCString# "network-2.6.3.6-inplace"#)
(unpackCString# "Network.Socket.Types"#)
(unpackCString# "Network/Socket/Types.hsc"#)
(I# 729#)
(I# 20#)
(I# 731#)
(I# 23#))
((emptyCallStack
`cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
:: CallStack ~R# (?callStack::CallStack)))
`cast` (N:IP[0] <"callStack">_N <CallStack>_N
:: (?callStack::CallStack) ~R# CallStack)))
`cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
:: CallStack ~R# (?callStack::CallStack))
zeroMemory :: forall a. Ptr a -> CSize -> IO ()
[LclIdX]
zeroMemory
= \ (@ a_a5Gd) (dest_a535 :: Ptr a_a5Gd) (nbytes_a536 :: CSize) ->
memset
@ a_a5Gd
dest_a535
(fromInteger @ CInt $fNumCInt 0)
(fromIntegral
@ CSize @ CSize $fIntegralCSize $fNumCSize nbytes_a536)
packFamily' :: Family -> Maybe CInt
[LclId]
packFamily'
= \ (f_a4ZE :: Family) ->
join {
fail_d7yG :: Void# -> Maybe CInt
[LclId[JoinId(1)], Str=<L,U>]
fail_d7yG _ [Occ=Dead, OS=OneShot] = Nothing @ CInt } in
case f_a4ZE of {
__DEFAULT -> jump fail_d7yG void#;
AF_UNSPEC -> Just @ CInt (fromInteger @ CInt $fNumCInt 0);
AF_UNIX -> Just @ CInt (fromInteger @ CInt $fNumCInt 1);
AF_INET -> Just @ CInt (fromInteger @ CInt $fNumCInt 2);
AF_INET6 -> Just @ CInt (fromInteger @ CInt $fNumCInt 10);
AF_SNA -> Just @ CInt (fromInteger @ CInt $fNumCInt 22);
AF_DECnet -> Just @ CInt (fromInteger @ CInt $fNumCInt 12);
AF_APPLETALK -> Just @ CInt (fromInteger @ CInt $fNumCInt 5);
AF_ROUTE -> Just @ CInt (fromInteger @ CInt $fNumCInt 16);
AF_X25 -> Just @ CInt (fromInteger @ CInt $fNumCInt 9);
AF_AX25 -> Just @ CInt (fromInteger @ CInt $fNumCInt 3);
AF_IPX -> Just @ CInt (fromInteger @ CInt $fNumCInt 4);
AF_ISDN -> Just @ CInt (fromInteger @ CInt $fNumCInt 34);
AF_NETROM -> Just @ CInt (fromInteger @ CInt $fNumCInt 6);
AF_BRIDGE -> Just @ CInt (fromInteger @ CInt $fNumCInt 7);
AF_ATMPVC -> Just @ CInt (fromInteger @ CInt $fNumCInt 8);
AF_ROSE -> Just @ CInt (fromInteger @ CInt $fNumCInt 11);
AF_NETBEUI -> Just @ CInt (fromInteger @ CInt $fNumCInt 13);
AF_SECURITY -> Just @ CInt (fromInteger @ CInt $fNumCInt 14);
AF_PACKET -> Just @ CInt (fromInteger @ CInt $fNumCInt 17);
AF_ASH -> Just @ CInt (fromInteger @ CInt $fNumCInt 18);
AF_ECONET -> Just @ CInt (fromInteger @ CInt $fNumCInt 19);
AF_ATMSVC -> Just @ CInt (fromInteger @ CInt $fNumCInt 20);
AF_IRDA -> Just @ CInt (fromInteger @ CInt $fNumCInt 23);
AF_PPPOX -> Just @ CInt (fromInteger @ CInt $fNumCInt 24);
AF_WANPIPE -> Just @ CInt (fromInteger @ CInt $fNumCInt 25);
AF_BLUETOOTH -> Just @ CInt (fromInteger @ CInt $fNumCInt 31);
AF_CAN -> Just @ CInt (fromInteger @ CInt $fNumCInt 29)
}
isSupportedFamily :: Family -> Bool
[LclIdX]
isSupportedFamily
= . @ (Maybe CInt) @ Bool @ Family (isJust @ CInt) packFamily'
packSocketType' :: SocketType -> Maybe CInt
[LclIdX]
packSocketType'
= \ (stype_a4pB :: SocketType) ->
case stype_a4pB of {
NoSocketType -> Just @ CInt (fromInteger @ CInt $fNumCInt 0);
Stream -> Just @ CInt (fromInteger @ CInt $fNumCInt 1);
Datagram -> Just @ CInt (fromInteger @ CInt $fNumCInt 2);
Raw -> Just @ CInt (fromInteger @ CInt $fNumCInt 3);
RDM -> Just @ CInt (fromInteger @ CInt $fNumCInt 4);
SeqPacket -> Just @ CInt (fromInteger @ CInt $fNumCInt 5)
}
packSocketType :: SocketType -> CInt
[LclIdX]
packSocketType
= \ (stype_a4pC :: SocketType) ->
fromMaybe
@ CInt
(error
@ 'LiftedRep
@ CInt
$dIP_a6Gm
(concat
@ []
@ Char
$fFoldable[]
(build
@ [Char]
(\ (@ a_d7Al)
(c_d7Am [OS=OneShot] :: [Char] -> a_d7Al -> a_d7Al)
(n_d7An [OS=OneShot] :: a_d7Al) ->
c_d7Am
(unpackCString# "Network.Socket.packSocketType: "#)
(c_d7Am
(unpackCString# "socket type "#)
(c_d7Am
(show @ SocketType $fShowSocketType stype_a4pC)
(c_d7Am
(unpackCString# " unsupported on this system"#) n_d7An)))))))
(packSocketType' stype_a4pC)
isSupportedSocketType :: SocketType -> Bool
[LclIdX]
isSupportedSocketType
= . @ (Maybe CInt)
@ Bool
@ SocketType
(isJust @ CInt)
packSocketType'
unpackFamily :: CInt -> Family
[LclIdX]
unpackFamily
= \ (f_a4ZF :: CInt) ->
case == @ CInt $fEqCInt f_a4ZF (fromInteger @ CInt $fNumCInt 0)
of {
False ->
case == @ CInt $fEqCInt f_a4ZF (fromInteger @ CInt $fNumCInt 1)
of {
False ->
case == @ CInt $fEqCInt f_a4ZF (fromInteger @ CInt $fNumCInt 2)
of {
False ->
case == @ CInt $fEqCInt f_a4ZF (fromInteger @ CInt $fNumCInt 10)
of {
False ->
case == @ CInt $fEqCInt f_a4ZF (fromInteger @ CInt $fNumCInt 22)
of {
False ->
case == @ CInt $fEqCInt f_a4ZF (fromInteger @ CInt $fNumCInt 12)
of {
False ->
case == @ CInt $fEqCInt f_a4ZF (fromInteger @ CInt $fNumCInt 5)
of {
False ->
case == @ CInt $fEqCInt f_a4ZF (fromInteger @ CInt $fNumCInt 16)
of {
False ->
case ==
@ CInt $fEqCInt f_a4ZF (fromInteger @ CInt $fNumCInt 9)
of {
False ->
case ==
@ CInt
$fEqCInt
f_a4ZF
(fromInteger @ CInt $fNumCInt 3)
of {
False ->
case ==
@ CInt
$fEqCInt
f_a4ZF
(fromInteger @ CInt $fNumCInt 4)
of {
False ->
case ==
@ CInt
$fEqCInt
f_a4ZF
(fromInteger @ CInt $fNumCInt 34)
of {
False ->
case ==
@ CInt
$fEqCInt
f_a4ZF
(fromInteger @ CInt $fNumCInt 6)
of {
False ->
case ==
@ CInt
$fEqCInt
f_a4ZF
(fromInteger @ CInt $fNumCInt 7)
of {
False ->
case ==
@ CInt
$fEqCInt
f_a4ZF
(fromInteger
@ CInt $fNumCInt 8)
of {
False ->
case ==
@ CInt
$fEqCInt
f_a4ZF
(fromInteger
@ CInt $fNumCInt 11)
of {
False ->
case ==
@ CInt
$fEqCInt
f_a4ZF
(fromInteger
@ CInt $fNumCInt 13)
of {
False ->
case ==
@ CInt
$fEqCInt
f_a4ZF
(fromInteger
@ CInt
$fNumCInt
14)
of {
False ->
case ==
@ CInt
$fEqCInt
f_a4ZF
(fromInteger
@ CInt
$fNumCInt
17)
of {
False ->
case ==
@ CInt
$fEqCInt
f_a4ZF
(fromInteger
@ CInt
$fNumCInt
18)
of {
False ->
case ==
@ CInt
$fEqCInt
f_a4ZF
(fromInteger
@ CInt
$fNumCInt
19)
of {
False ->
case ==
@ CInt
$fEqCInt
f_a4ZF
(fromInteger
@ CInt
$fNumCInt
20)
of {
False ->
case ==
@ CInt
$fEqCInt
f_a4ZF
(fromInteger
@ CInt
$fNumCInt
23)
of {
False ->
case ==
@ CInt
$fEqCInt
f_a4ZF
(fromInteger
@ CInt
$fNumCInt
24)
of {
False ->
case ==
@ CInt
$fEqCInt
f_a4ZF
(fromInteger
@ CInt
$fNumCInt
25)
of {
False ->
case ==
@ CInt
$fEqCInt
f_a4ZF
(fromInteger
@ CInt
$fNumCInt
31)
of {
False ->
case ==
@ CInt
$fEqCInt
f_a4ZF
(fromInteger
@ CInt
$fNumCInt
29)
of {
False ->
$ @ 'LiftedRep
@ [Char]
@ Family
(error
@ 'LiftedRep
@ Family
$dIP_a6Bc)
(++
@ Char
(unpackCString#
"Network.Socket.Types.unpackFamily: unknown address family: "#)
(show
@ CInt
$fShowCInt
f_a4ZF));
True ->
AF_CAN
};
True ->
AF_BLUETOOTH
};
True ->
AF_WANPIPE
};
True ->
AF_PPPOX
};
True ->
AF_IRDA
};
True ->
AF_ATMSVC
};
True ->
AF_ECONET
};
True -> AF_ASH
};
True -> AF_PACKET
};
True -> AF_SECURITY
};
True -> AF_NETBEUI
};
True -> AF_ROSE
};
True -> AF_ATMPVC
};
True -> AF_BRIDGE
};
True -> AF_NETROM
};
True -> AF_ISDN
};
True -> AF_IPX
};
True -> AF_AX25
};
True -> AF_X25
};
True -> AF_ROUTE
};
True -> AF_APPLETALK
};
True -> AF_DECnet
};
True -> AF_SNA
};
True -> AF_INET6
};
True -> AF_INET
};
True -> AF_UNIX
};
True -> AF_UNSPEC
}
unpackSocketType :: CInt -> Maybe SocketType
[LclIdX]
unpackSocketType
= \ (t_a4Zy :: CInt) ->
case == @ CInt $fEqCInt t_a4Zy (fromInteger @ CInt $fNumCInt 0)
of {
False ->
case == @ CInt $fEqCInt t_a4Zy (fromInteger @ CInt $fNumCInt 1)
of {
False ->
case == @ CInt $fEqCInt t_a4Zy (fromInteger @ CInt $fNumCInt 2)
of {
False ->
case == @ CInt $fEqCInt t_a4Zy (fromInteger @ CInt $fNumCInt 3)
of {
False ->
case == @ CInt $fEqCInt t_a4Zy (fromInteger @ CInt $fNumCInt 4)
of {
False ->
case == @ CInt $fEqCInt t_a4Zy (fromInteger @ CInt $fNumCInt 5)
of {
False -> Nothing @ SocketType;
True -> Just @ SocketType SeqPacket
};
True -> Just @ SocketType RDM
};
True -> Just @ SocketType Raw
};
True -> Just @ SocketType Datagram
};
True -> Just @ SocketType Stream
};
True -> Just @ SocketType NoSocketType
}
sizeOfSockAddr :: SockAddr -> Int
[LclIdX]
sizeOfSockAddr
= \ (ds_d7v2 :: SockAddr) ->
case ds_d7v2 of {
SockAddrInet _ [Occ=Dead] _ [Occ=Dead] -> I# 16#;
SockAddrInet6 _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead]
_ [Occ=Dead] ->
I# 28#;
SockAddrUnix path_a4ZK ->
join {
fail_d7vg :: Void# -> Int
[LclId[JoinId(1)], Str=<L,U>]
fail_d7vg _ [Occ=Dead, OS=OneShot] = I# 110# } in
case path_a4ZK of {
__DEFAULT -> jump fail_d7vg void#;
: ds_d7vd _ [Occ=Dead] ->
case ds_d7vd of { C# ds_d7vf ->
case ds_d7vf of {
__DEFAULT -> jump fail_d7vg void#;
'\NUL'# ->
+ @ Int
$fNumInt
(I# 2#)
(length @ [] $fFoldable[] @ Char path_a4ZK)
}
}
};
SockAddrCan _ [Occ=Dead] -> I# 16#
}
Rec {
$fShowFamily [InlPrag=NOUSERINLINE CONLIKE] :: Show Family
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Show TYPE: Family $cshowsPrec_a6Zv $cshow_a6ZD $cshowList_a6ZL]
$fShowFamily
= C:Show @ Family $cshowsPrec_a6Zv $cshow_a6ZD $cshowList_a6ZL
$cshowList_a6ZL [Occ=LoopBreaker] :: [Family] -> ShowS
[LclId]
$cshowList_a6ZL = $dmshowList @ Family $fShowFamily
$cshow_a6ZD [Occ=LoopBreaker] :: Family -> String
[LclId]
$cshow_a6ZD = $dmshow @ Family $fShowFamily
end Rec }
packFamily :: Family -> CInt
[LclIdX]
packFamily
= \ (f_a4ZC :: Family) ->
case packFamily' f_a4ZC of {
Nothing ->
$ @ 'LiftedRep
@ [Char]
@ CInt
(error @ 'LiftedRep @ CInt $dIP_a6DO)
(++
@ Char
(unpackCString#
"Network.Socket.packFamily: unsupported address family: "#)
(show @ Family $fShowFamily f_a4ZC));
Just fam_a4ZD -> fam_a4ZD
}
$dIP_a6w8 :: HasCallStack
[LclId]
$dIP_a6w8
= (pushCallStack
(unpackCString# "error"#,
SrcLoc
(unpackCString# "network-2.6.3.6-inplace"#)
(unpackCString# "Network.Socket.Types"#)
(unpackCString# "Network/Socket/Types.hsc"#)
(I# 904#)
(I# 33#)
(I# 906#)
(I# 38#))
((emptyCallStack
`cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
:: CallStack ~R# (?callStack::CallStack)))
`cast` (N:IP[0] <"callStack">_N <CallStack>_N
:: (?callStack::CallStack) ~R# CallStack)))
`cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
:: CallStack ~R# (?callStack::CallStack))
sizeOfSockAddrByFamily :: Family -> Int
[LclIdX]
sizeOfSockAddrByFamily
= \ (ds_d7tR :: Family) ->
case ds_d7tR of {
__DEFAULT ->
$ @ 'LiftedRep
@ [Char]
@ Int
(error @ 'LiftedRep @ Int $dIP_a6w8)
(++
@ Char
(unpackCString#
"Network.Socket.Types.sizeOfSockAddrByFamily: address family '"#)
(++
@ Char
(show @ Family $fShowFamily ds_d7tR)
(unpackCString# "' not supported."#)));
AF_UNIX -> I# 110#;
AF_INET -> I# 16#;
AF_INET6 -> I# 28#;
AF_CAN -> I# 16#
}
withNewSockAddr
:: forall a. Family -> (Ptr SockAddr -> Int -> IO a) -> IO a
[LclIdX]
withNewSockAddr
= \ (@ a_a6wd)
(family_a4ZQ :: Family)
(f_a4ZR :: Ptr SockAddr -> Int -> IO a_a6wd) ->
let {
sz_a4ZS :: Int
[LclId]
sz_a4ZS = sizeOfSockAddrByFamily family_a4ZQ } in
$ @ 'LiftedRep
@ (Ptr SockAddr -> IO a_a6wd)
@ (IO a_a6wd)
(allocaBytes @ SockAddr @ a_a6wd sz_a4ZS)
(\ (ptr_a4ZT :: Ptr SockAddr) -> f_a4ZR ptr_a4ZT sz_a4ZS)
$c==_a6Jp :: PortNumber -> PortNumber -> Bool
[LclId]
$c==_a6Jp
= (== @ Word16 $fEqWord16)
`cast` (Sym (N:PortNumber[0])
->_R Sym (N:PortNumber[0])
->_R <Bool>_R
:: (Word16 -> Word16 -> Bool)
~R# (PortNumber -> PortNumber -> Bool))
$c/=_a6JP :: PortNumber -> PortNumber -> Bool
[LclId]
$c/=_a6JP
= (/= @ Word16 $fEqWord16)
`cast` (Sym (N:PortNumber[0])
->_R Sym (N:PortNumber[0])
->_R <Bool>_R
:: (Word16 -> Word16 -> Bool)
~R# (PortNumber -> PortNumber -> Bool))
$fEqPortNumber [InlPrag=NOUSERINLINE CONLIKE] :: Eq PortNumber
[LclIdX[DFunId],
Unf=DFun: \ -> C:Eq TYPE: PortNumber $c==_a6Jp $c/=_a6JP]
$fEqPortNumber = C:Eq @ PortNumber $c==_a6Jp $c/=_a6JP
$c==_a6Hn :: SockAddr -> SockAddr -> Bool
[LclId]
$c==_a6Hn
= let {
$dEq_a6HE :: Eq String
[LclId]
$dEq_a6HE = $fEq[] @ Char $fEqChar } in
let {
$dEq_a6HA :: Eq HostAddress6
[LclId]
$dEq_a6HA
= $fEq(,,,)
@ Word32
@ Word32
@ Word32
@ Word32
$fEqWord32
$fEqWord32
$fEqWord32
$fEqWord32 } in
\ (ds_d7BO :: SockAddr) (ds_d7BP :: SockAddr) ->
join {
fail_d7BX :: Void# -> Bool
[LclId[JoinId(1)], Str=<L,U>]
fail_d7BX _ [Occ=Dead, OS=OneShot] = False } in
case ds_d7BO of {
SockAddrInet a1_a5Au a2_a5Av ->
case ds_d7BP of {
__DEFAULT -> jump fail_d7BX void#;
SockAddrInet b1_a5Aw b2_a5Ax ->
&&
(== @ PortNumber $fEqPortNumber a1_a5Au b1_a5Aw)
(== @ HostAddress $fEqWord32 a2_a5Av b2_a5Ax)
};
SockAddrInet6 a1_a5Ay a2_a5Az a3_a5AA a4_a5AB ->
case ds_d7BP of {
__DEFAULT -> jump fail_d7BX void#;
SockAddrInet6 b1_a5AC b2_a5AD b3_a5AE b4_a5AF ->
&&
(== @ PortNumber $fEqPortNumber a1_a5Ay b1_a5AC)
(&&
(== @ FlowInfo $fEqWord32 a2_a5Az b2_a5AD)
(&&
(== @ HostAddress6 $dEq_a6HA a3_a5AA b3_a5AE)
(== @ ScopeID $fEqWord32 a4_a5AB b4_a5AF)))
};
SockAddrUnix a1_a5AG ->
case ds_d7BP of {
__DEFAULT -> jump fail_d7BX void#;
SockAddrUnix b1_a5AH -> == @ String $dEq_a6HE a1_a5AG b1_a5AH
};
SockAddrCan a1_a5AI ->
case ds_d7BP of {
__DEFAULT -> jump fail_d7BX void#;
SockAddrCan b1_a5AJ -> == @ Int32 $fEqInt32 a1_a5AI b1_a5AJ
}
}
Rec {
$fEqSockAddr [InlPrag=NOUSERINLINE CONLIKE] :: Eq SockAddr
[LclIdX[DFunId],
Unf=DFun: \ -> C:Eq TYPE: SockAddr $c==_a6Hn $c/=_a6HK]
$fEqSockAddr = C:Eq @ SockAddr $c==_a6Hn $c/=_a6HK
$c/=_a6HK [InlPrag=INLINE (sat-args=2), Occ=LoopBreaker]
:: SockAddr -> SockAddr -> Bool
[LclId,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=2,unsat_ok=False,boring_ok=False)
Tmpl= $dm/= @ SockAddr $fEqSockAddr}]
$c/=_a6HK
= \ (eta_B2 :: SockAddr) (eta_B1 :: SockAddr) ->
$dm/= @ SockAddr $fEqSockAddr eta_B2 eta_B1
end Rec }
$fOrdPortNumber [InlPrag=NOUSERINLINE CONLIKE] :: Ord PortNumber
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Ord TYPE: PortNumber
$fEqPortNumber
$ccompare_a6Kl
$c<_a6KL
$c<=_a6Lb
$c>_a6LB
$c>=_a6M1
$cmax_a6Mr
$cmin_a6MR]
$fOrdPortNumber
= C:Ord
@ PortNumber
$fEqPortNumber
$ccompare_a6Kl
$c<_a6KL
$c<=_a6Lb
$c>_a6LB
$c>=_a6M1
$cmax_a6Mr
$cmin_a6MR
$ccompare_a6HW :: SockAddr -> SockAddr -> Ordering
[LclId]
$ccompare_a6HW
= let {
$dOrd_a6Iv :: Ord String
[LclId]
$dOrd_a6Iv = $fOrd[] @ Char $fOrdChar } in
let {
$dOrd_a6Io :: Ord HostAddress6
[LclId]
$dOrd_a6Io
= $fOrd(,,,)
@ Word32
@ Word32
@ Word32
@ Word32
$fOrdWord32
$fOrdWord32
$fOrdWord32
$fOrdWord32 } in
\ (a_a5AK :: SockAddr) (b_a5AL :: SockAddr) ->
case a_a5AK of {
SockAddrInet a1_a5AM a2_a5AN ->
case b_a5AL of {
__DEFAULT -> LT;
SockAddrInet b1_a5AO b2_a5AP ->
case compare @ PortNumber $fOrdPortNumber a1_a5AM b1_a5AO of {
LT -> LT;
EQ -> compare @ HostAddress $fOrdWord32 a2_a5AN b2_a5AP;
GT -> GT
}
};
SockAddrInet6 a1_a5AQ a2_a5AR a3_a5AS a4_a5AT ->
case b_a5AL of {
__DEFAULT -> LT;
SockAddrInet _ [Occ=Dead] _ [Occ=Dead] -> GT;
SockAddrInet6 b1_a5AU b2_a5AV b3_a5AW b4_a5AX ->
case compare @ PortNumber $fOrdPortNumber a1_a5AQ b1_a5AU of {
LT -> LT;
EQ ->
case compare @ FlowInfo $fOrdWord32 a2_a5AR b2_a5AV of {
LT -> LT;
EQ ->
case compare @ HostAddress6 $dOrd_a6Io a3_a5AS b3_a5AW of {
LT -> LT;
EQ -> compare @ ScopeID $fOrdWord32 a4_a5AT b4_a5AX;
GT -> GT
};
GT -> GT
};
GT -> GT
}
};
SockAddrUnix a1_a5AY ->
case b_a5AL of {
__DEFAULT -> GT;
SockAddrUnix b1_a5AZ ->
compare @ String $dOrd_a6Iv a1_a5AY b1_a5AZ;
SockAddrCan _ [Occ=Dead] -> LT
};
SockAddrCan a1_a5B0 ->
case b_a5AL of {
__DEFAULT -> GT;
SockAddrCan b1_a5B1 -> compare @ Int32 $fOrdInt32 a1_a5B0 b1_a5B1
}
}
Rec {
$fOrdSockAddr [InlPrag=NOUSERINLINE CONLIKE] :: Ord SockAddr
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Ord TYPE: SockAddr
$fEqSockAddr
$ccompare_a6HW
$c<_a6ID
$c<=_a6IL
$c>_a6IT
$c>=_a6J1
$cmax_a6J9
$cmin_a6Jh]
$fOrdSockAddr
= C:Ord
@ SockAddr
$fEqSockAddr
$ccompare_a6HW
$c<_a6ID
$c<=_a6IL
$c>_a6IT
$c>=_a6J1
$cmax_a6J9
$cmin_a6Jh
$cmax_a6J9 [Occ=LoopBreaker] :: SockAddr -> SockAddr -> SockAddr
[LclId]
$cmax_a6J9 = $dmmax @ SockAddr $fOrdSockAddr
$c>=_a6J1 [Occ=LoopBreaker] :: SockAddr -> SockAddr -> Bool
[LclId]
$c>=_a6J1 = $dm>= @ SockAddr $fOrdSockAddr
$c>_a6IT [Occ=LoopBreaker] :: SockAddr -> SockAddr -> Bool
[LclId]
$c>_a6IT = $dm> @ SockAddr $fOrdSockAddr
$c<=_a6IL [Occ=LoopBreaker] :: SockAddr -> SockAddr -> Bool
[LclId]
$c<=_a6IL = $dm<= @ SockAddr $fOrdSockAddr
$cmin_a6Jh [Occ=LoopBreaker] :: SockAddr -> SockAddr -> SockAddr
[LclId]
$cmin_a6Jh = $dmmin @ SockAddr $fOrdSockAddr
$c<_a6ID [Occ=LoopBreaker] :: SockAddr -> SockAddr -> Bool
[LclId]
$c<_a6ID = $dm< @ SockAddr $fOrdSockAddr
end Rec }
$csizeOf_a74m :: PortNumber -> Int
[LclId]
$csizeOf_a74m
= let {
$dIP_a74z :: HasCallStack
[LclId]
$dIP_a74z
= (pushCallStack
(unpackCString# "undefined"#,
SrcLoc
(unpackCString# "network-2.6.3.6-inplace"#)
(unpackCString# "Network.Socket.Types"#)
(unpackCString# "Network/Socket/Types.hsc"#)
(I# 792#)
(I# 29#)
(I# 792#)
(I# 38#))
((emptyCallStack
`cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
:: CallStack ~R# (?callStack::CallStack)))
`cast` (N:IP[0] <"callStack">_N <CallStack>_N
:: (?callStack::CallStack) ~R# CallStack)))
`cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
:: CallStack ~R# (?callStack::CallStack)) } in
\ _ [Occ=Dead] ->
sizeOf
@ Word16
$fStorableWord16
(undefined @ 'LiftedRep @ Word16 $dIP_a74z)
$calignment_a74B :: PortNumber -> Int
[LclId]
$calignment_a74B
= let {
$dIP_a74M :: HasCallStack
[LclId]
$dIP_a74M
= (pushCallStack
(unpackCString# "undefined"#,
SrcLoc
(unpackCString# "network-2.6.3.6-inplace"#)
(unpackCString# "Network.Socket.Types"#)
(unpackCString# "Network/Socket/Types.hsc"#)
(I# 793#)
(I# 29#)
(I# 793#)
(I# 38#))
((emptyCallStack
`cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
:: CallStack ~R# (?callStack::CallStack)))
`cast` (N:IP[0] <"callStack">_N <CallStack>_N
:: (?callStack::CallStack) ~R# CallStack)))
`cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
:: CallStack ~R# (?callStack::CallStack)) } in
\ _ [Occ=Dead] ->
alignment
@ Word16
$fStorableWord16
(undefined @ 'LiftedRep @ Word16 $dIP_a74M)
$cpoke_a75y :: Ptr PortNumber -> PortNumber -> IO ()
[LclId]
$cpoke_a75y
= \ (p_a3TH :: Ptr PortNumber) (ds_d7G5 :: PortNumber) ->
poke
@ Word16
$fStorableWord16
(castPtr @ PortNumber @ Word16 p_a3TH)
(ds_d7G5 `cast` (N:PortNumber[0] :: PortNumber ~R# Word16))
$cpeek_a75i :: Ptr PortNumber -> IO PortNumber
[LclId]
$cpeek_a75i
= \ (p_a3TJ :: Ptr PortNumber) ->
liftM
@ IO
@ Word16
@ PortNumber
$fMonadIO
PortNum
(peek
@ Word16 $fStorableWord16 (castPtr @ PortNumber @ Word16 p_a3TJ))
Rec {
$fStorablePortNumber [InlPrag=NOUSERINLINE CONLIKE]
:: Storable PortNumber
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Storable TYPE: PortNumber
$csizeOf_a74m
$calignment_a74B
$cpeekElemOff_a74O
$cpokeElemOff_a74U
$cpeekByteOff_a750
$cpokeByteOff_a759
$cpeek_a75i
$cpoke_a75y]
$fStorablePortNumber
= C:Storable
@ PortNumber
$csizeOf_a74m
$calignment_a74B
$cpeekElemOff_a74O
$cpokeElemOff_a74U
$cpeekByteOff_a750
$cpokeByteOff_a759
$cpeek_a75i
$cpoke_a75y
$cpeekByteOff_a750 [Occ=LoopBreaker]
:: forall b. Ptr b -> Int -> IO PortNumber
[LclId]
$cpeekByteOff_a750
= \ (@ b_a752) ->
$dmpeekByteOff @ PortNumber $fStorablePortNumber @ b_a752
$cpokeElemOff_a74U [Occ=LoopBreaker]
:: Ptr PortNumber -> Int -> PortNumber -> IO ()
[LclId]
$cpokeElemOff_a74U
= $dmpokeElemOff @ PortNumber $fStorablePortNumber
$cpokeByteOff_a759 [Occ=LoopBreaker]
:: forall b. Ptr b -> Int -> PortNumber -> IO ()
[LclId]
$cpokeByteOff_a759
= \ (@ b_a75b) ->
$dmpokeByteOff @ PortNumber $fStorablePortNumber @ b_a75b
$cpeekElemOff_a74O [Occ=LoopBreaker]
:: Ptr PortNumber -> Int -> IO PortNumber
[LclId]
$cpeekElemOff_a74O
= $dmpeekElemOff @ PortNumber $fStorablePortNumber
end Rec }
unpackSocketType' :: String -> CInt -> IO SocketType
[LclIdX]
unpackSocketType'
= \ (caller_a4Zz :: String) (ty_a4ZA :: CInt) ->
maybe
@ (IO SocketType)
@ SocketType
($ @ 'LiftedRep
@ [[Char]]
@ (IO SocketType)
(. @ IOError
@ (IO SocketType)
@ [[Char]]
(ioError @ SocketType)
(. @ String
@ IOError
@ [[Char]]
userError
(concat @ [] @ Char $fFoldable[])))
(build
@ [Char]
(\ (@ a_d7zP)
(c_d7zQ [OS=OneShot] :: [Char] -> a_d7zP -> a_d7zP)
(n_d7zR [OS=OneShot] :: a_d7zP) ->
c_d7zQ
(unpackCString# "Network.Socket."#)
(c_d7zQ
caller_a4Zz
(c_d7zQ
(unpackCString# ": "#)
(c_d7zQ
(unpackCString# "socket type "#)
(c_d7zQ
(show @ CInt $fShowCInt ty_a4ZA)
(c_d7zQ
(unpackCString# " unsupported on this system"#) n_d7zR))))))))
(return @ IO $fMonadIO @ SocketType)
(unpackSocketType ty_a4ZA)
packSocketTypeOrThrow :: String -> SocketType -> IO CInt
[LclIdX]
packSocketTypeOrThrow
= \ (caller_a4Kh :: String) (stype_a4Ki :: SocketType) ->
maybe
@ (IO CInt)
@ CInt
($ @ 'LiftedRep
@ [[Char]]
@ (IO CInt)
(. @ IOError
@ (IO CInt)
@ [[Char]]
(ioError @ CInt)
(. @ String
@ IOError
@ [[Char]]
userError
(concat @ [] @ Char $fFoldable[])))
(build
@ [Char]
(\ (@ a_d7Ar)
(c_d7As [OS=OneShot] :: [Char] -> a_d7Ar -> a_d7Ar)
(n_d7At [OS=OneShot] :: a_d7Ar) ->
c_d7As
(unpackCString# "Network.Socket."#)
(c_d7As
caller_a4Kh
(c_d7As
(unpackCString# ": "#)
(c_d7As
(unpackCString# "socket type "#)
(c_d7As
(show @ SocketType $fShowSocketType stype_a4Ki)
(c_d7As
(unpackCString# " unsupported on this system"#) n_d7At))))))))
(return @ IO $fMonadIO @ CInt)
(packSocketType' stype_a4Ki)
intToPortNumber :: Int -> PortNumber
[LclId]
intToPortNumber
= \ (v_a4ZH :: Int) ->
(htons
(fromIntegral @ Int @ Word16 $fIntegralInt $fNumWord16 v_a4ZH))
`cast` (Sym (N:PortNumber[0]) :: Word16 ~R# PortNumber)
$cfromInteger_a77X :: Integer -> PortNumber
[LclId]
$cfromInteger_a77X
= \ (i_a3TQ :: Integer) ->
intToPortNumber (fromInteger @ Int $fNumInt i_a3TQ)
$creadsPrec_a791 :: Int -> ReadS PortNumber
[LclId]
$creadsPrec_a791
= \ (n_a3U0 :: Int) ->
. @ [(Int, String)]
@ [(PortNumber, String)]
@ String
(map
@ (Int, String)
@ (PortNumber, String)
(\ (ds_d7JS :: (Int, String)) ->
case ds_d7JS of { (x_a3U1, y_a3U2) ->
(intToPortNumber x_a3U1, y_a3U2)
}))
(readsPrec @ Int $fReadInt n_a3U0)
Rec {
$fReadPortNumber [InlPrag=NOUSERINLINE CONLIKE] :: Read PortNumber
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Read TYPE: PortNumber
$creadsPrec_a791
$creadList_a79i
$creadPrec_a79q
$creadListPrec_a79y]
$fReadPortNumber
= C:Read
@ PortNumber
$creadsPrec_a791
$creadList_a79i
$creadPrec_a79q
$creadListPrec_a79y
$creadPrec_a79q [Occ=LoopBreaker] :: ReadPrec PortNumber
[LclId]
$creadPrec_a79q = $dmreadPrec @ PortNumber $fReadPortNumber
$creadListPrec_a79y [Occ=LoopBreaker] :: ReadPrec [PortNumber]
[LclId]
$creadListPrec_a79y = $dmreadListPrec @ PortNumber $fReadPortNumber
$creadList_a79i [Occ=LoopBreaker] :: ReadS [PortNumber]
[LclId]
$creadList_a79i = $dmreadList @ PortNumber $fReadPortNumber
end Rec }
portNumberToInt :: PortNumber -> Int
[LclId]
portNumberToInt
= \ (ds_d7wu :: PortNumber) ->
fromIntegral
@ Word16
@ Int
$fIntegralWord16
$fNumInt
(ntohs (ds_d7wu `cast` (N:PortNumber[0] :: PortNumber ~R# Word16)))
$cquotRem_a76m
:: PortNumber -> PortNumber -> (PortNumber, PortNumber)
[LclId]
$cquotRem_a76m
= \ (a_a3TK :: PortNumber) (b_a3TL :: PortNumber) ->
let {
ds_d7GK :: (Int, Int)
[LclId]
ds_d7GK
= quotRem
@ Int
$fIntegralInt
(portNumberToInt a_a3TK)
(portNumberToInt b_a3TL) } in
(intToPortNumber
(case ds_d7GK of { (c_a76v, _ [Occ=Dead]) -> c_a76v }),
intToPortNumber
(case ds_d7GK of { (_ [Occ=Dead], d_a76x) -> d_a76x }))
$ctoInteger_a76O :: PortNumber -> Integer
[LclId]
$ctoInteger_a76O
= \ (a_a3TO :: PortNumber) ->
toInteger @ Int $fIntegralInt (portNumberToInt a_a3TO)
$c+_a77l :: PortNumber -> PortNumber -> PortNumber
[LclId]
$c+_a77l
= \ (x_a3TR :: PortNumber) (y_a3TS :: PortNumber) ->
intToPortNumber
(+ @ Int
$fNumInt
(portNumberToInt x_a3TR)
(portNumberToInt y_a3TS))
$c-_a77r :: PortNumber -> PortNumber -> PortNumber
[LclId]
$c-_a77r
= \ (x_a3TT :: PortNumber) (y_a3TU :: PortNumber) ->
intToPortNumber
(- @ Int
$fNumInt
(portNumberToInt x_a3TT)
(portNumberToInt y_a3TU))
$c*_a77x :: PortNumber -> PortNumber -> PortNumber
[LclId]
$c*_a77x
= \ (x_a3TW :: PortNumber) (y_a3TX :: PortNumber) ->
intToPortNumber
(* @ Int
$fNumInt
(portNumberToInt x_a3TW)
(portNumberToInt y_a3TX))
$cnegate_a77D :: PortNumber -> PortNumber
[LclId]
$cnegate_a77D
= \ (x_a3TV :: PortNumber) ->
intToPortNumber (negate @ Int $fNumInt (portNumberToInt x_a3TV))
$cabs_a77L :: PortNumber -> PortNumber
[LclId]
$cabs_a77L
= \ (n_a3TY :: PortNumber) ->
intToPortNumber (abs @ Int $fNumInt (portNumberToInt n_a3TY))
$csignum_a77R :: PortNumber -> PortNumber
[LclId]
$csignum_a77R
= \ (n_a3TZ :: PortNumber) ->
intToPortNumber (signum @ Int $fNumInt (portNumberToInt n_a3TZ))
$fNumPortNumber [InlPrag=NOUSERINLINE CONLIKE] :: Num PortNumber
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Num TYPE: PortNumber
$c+_a77l
$c-_a77r
$c*_a77x
$cnegate_a77D
$cabs_a77L
$csignum_a77R
$cfromInteger_a77X]
$fNumPortNumber
= C:Num
@ PortNumber
$c+_a77l
$c-_a77r
$c*_a77x
$cnegate_a77D
$cabs_a77L
$csignum_a77R
$cfromInteger_a77X
Rec {
$fEnumPortNumber [InlPrag=NOUSERINLINE CONLIKE] :: Enum PortNumber
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Enum TYPE: PortNumber
$csucc_a787
$cpred_a78f
intToPortNumber
portNumberToInt
$cenumFrom_a78v
$cenumFromThen_a78D
$cenumFromTo_a78L
$cenumFromThenTo_a78T]
$fEnumPortNumber
= C:Enum
@ PortNumber
$csucc_a787
$cpred_a78f
intToPortNumber
portNumberToInt
$cenumFrom_a78v
$cenumFromThen_a78D
$cenumFromTo_a78L
$cenumFromThenTo_a78T
$cenumFromTo_a78L [Occ=LoopBreaker]
:: PortNumber -> PortNumber -> [PortNumber]
[LclId]
$cenumFromTo_a78L = $dmenumFromTo @ PortNumber $fEnumPortNumber
$cenumFromThen_a78D [Occ=LoopBreaker]
:: PortNumber -> PortNumber -> [PortNumber]
[LclId]
$cenumFromThen_a78D = $dmenumFromThen @ PortNumber $fEnumPortNumber
$cenumFrom_a78v [Occ=LoopBreaker] :: PortNumber -> [PortNumber]
[LclId]
$cenumFrom_a78v = $dmenumFrom @ PortNumber $fEnumPortNumber
$cpred_a78f [Occ=LoopBreaker] :: PortNumber -> PortNumber
[LclId]
$cpred_a78f = $dmpred @ PortNumber $fEnumPortNumber
$cenumFromThenTo_a78T [Occ=LoopBreaker]
:: PortNumber -> PortNumber -> PortNumber -> [PortNumber]
[LclId]
$cenumFromThenTo_a78T
= $dmenumFromThenTo @ PortNumber $fEnumPortNumber
$csucc_a787 [Occ=LoopBreaker] :: PortNumber -> PortNumber
[LclId]
$csucc_a787 = $dmsucc @ PortNumber $fEnumPortNumber
end Rec }
Rec {
$fIntegralPortNumber [InlPrag=NOUSERINLINE CONLIKE]
:: Integral PortNumber
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Integral TYPE: PortNumber
$cp1Integral_a75K
$fEnumPortNumber
$cquot_a75S
$crem_a760
$cdiv_a768
$cmod_a76g
$cquotRem_a76m
$cdivMod_a76I
$ctoInteger_a76O]
$fIntegralPortNumber
= C:Integral
@ PortNumber
$cp1Integral_a75K
$fEnumPortNumber
$cquot_a75S
$crem_a760
$cdiv_a768
$cmod_a76g
$cquotRem_a76m
$cdivMod_a76I
$ctoInteger_a76O
$cmod_a76g [InlPrag=INLINE (sat-args=2), Occ=LoopBreaker]
:: PortNumber -> PortNumber -> PortNumber
[LclId,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=2,unsat_ok=False,boring_ok=False)
Tmpl= $dmmod @ PortNumber $fIntegralPortNumber}]
$cmod_a76g
= \ (eta_B2 :: PortNumber) (eta_B1 :: PortNumber) ->
$dmmod @ PortNumber $fIntegralPortNumber eta_B2 eta_B1
$cdiv_a768 [InlPrag=INLINE (sat-args=2), Occ=LoopBreaker]
:: PortNumber -> PortNumber -> PortNumber
[LclId,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=2,unsat_ok=False,boring_ok=False)
Tmpl= $dmdiv @ PortNumber $fIntegralPortNumber}]
$cdiv_a768
= \ (eta_B2 :: PortNumber) (eta_B1 :: PortNumber) ->
$dmdiv @ PortNumber $fIntegralPortNumber eta_B2 eta_B1
$crem_a760 [InlPrag=INLINE (sat-args=2), Occ=LoopBreaker]
:: PortNumber -> PortNumber -> PortNumber
[LclId,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=2,unsat_ok=False,boring_ok=False)
Tmpl= $dmrem @ PortNumber $fIntegralPortNumber}]
$crem_a760
= \ (eta_B2 :: PortNumber) (eta_B1 :: PortNumber) ->
$dmrem @ PortNumber $fIntegralPortNumber eta_B2 eta_B1
$cquot_a75S [InlPrag=INLINE (sat-args=2), Occ=LoopBreaker]
:: PortNumber -> PortNumber -> PortNumber
[LclId,
Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True,
Guidance=ALWAYS_IF(arity=2,unsat_ok=False,boring_ok=False)
Tmpl= $dmquot @ PortNumber $fIntegralPortNumber}]
$cquot_a75S
= \ (eta_B2 :: PortNumber) (eta_B1 :: PortNumber) ->
$dmquot @ PortNumber $fIntegralPortNumber eta_B2 eta_B1
$cdivMod_a76I [Occ=LoopBreaker]
:: PortNumber -> PortNumber -> (PortNumber, PortNumber)
[LclId]
$cdivMod_a76I = $dmdivMod @ PortNumber $fIntegralPortNumber
$ctoRational_a774 :: PortNumber -> Rational
[LclId]
$ctoRational_a774
= \ (x_a3TP :: PortNumber) ->
% @ Integer
$fIntegralInteger
(toInteger @ PortNumber $fIntegralPortNumber x_a3TP)
1
$fRealPortNumber [InlPrag=NOUSERINLINE CONLIKE] :: Real PortNumber
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Real TYPE: PortNumber
$fNumPortNumber
$fOrdPortNumber
$ctoRational_a774]
$fRealPortNumber
= C:Real
@ PortNumber $fNumPortNumber $fOrdPortNumber $ctoRational_a774
$cp1Integral_a75K [Occ=LoopBreaker] :: Real PortNumber
[LclId]
$cp1Integral_a75K = $fRealPortNumber
end Rec }
$cshowsPrec_a79G :: Int -> PortNumber -> ShowS
[LclId]
$cshowsPrec_a79G
= \ (p_a3U3 :: Int) (pn_a3U4 :: PortNumber) ->
showsPrec @ Int $fShowInt p_a3U3 (portNumberToInt pn_a3U4)
Rec {
$fShowPortNumber [InlPrag=NOUSERINLINE CONLIKE] :: Show PortNumber
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Show TYPE: PortNumber
$cshowsPrec_a79G
$cshow_a79M
$cshowList_a79S]
$fShowPortNumber
= C:Show @ PortNumber $cshowsPrec_a79G $cshow_a79M $cshowList_a79S
$cshowList_a79S [Occ=LoopBreaker] :: [PortNumber] -> ShowS
[LclId]
$cshowList_a79S = $dmshowList @ PortNumber $fShowPortNumber
$cshow_a79M [Occ=LoopBreaker] :: PortNumber -> String
[LclId]
$cshow_a79M = $dmshow @ PortNumber $fShowPortNumber
end Rec }
peek32 :: forall a. Ptr a -> Int -> IO Word32
[LclId]
peek32
= \ (@ a_a5QP) (p_a52K :: Ptr a_a5QP) (i0_a52L :: Int) ->
let {
sl_a52O :: forall a a. (Bits a, Integral a, Num a) => a -> Int -> a
[LclId]
sl_a52O
= \ (@ a_a5Rp)
(@ a_a5Rr)
($dBits_a6ee :: Bits a_a5Rp)
($dIntegral_a6ef :: Integral a_a5Rr)
($dNum_a6eg :: Num a_a5Rp)
(a_a52Q :: a_a5Rr)
(i_a52R :: Int) ->
shiftL
@ a_a5Rp
$dBits_a6ee
(fromIntegral @ a_a5Rr @ a_a5Rp $dIntegral_a6ef $dNum_a6eg a_a52Q)
i_a52R } in
let {
i'_a52M :: Int
[LclId]
i'_a52M = * @ Int $fNumInt i0_a52L (I# 4#) } in
let {
peekByte_a52N :: Int -> IO Word8
[LclId]
peekByte_a52N
= \ (n_a52P :: Int) ->
peekByteOff
@ Word8
$fStorableWord8
@ a_a5QP
p_a52K
(+ @ Int
$fNumInt
(+ @ Int $fNumInt s6_addr_offset i'_a52M)
n_a52P) } in
>>=
@ IO
$fMonadIO
@ Word8
@ Word32
(peekByte_a52N (I# 0#))
(\ (a0_a52S :: Word8) ->
>>=
@ IO
$fMonadIO
@ Word8
@ Word32
(peekByte_a52N (I# 1#))
(\ (a1_a52T :: Word8) ->
>>=
@ IO
$fMonadIO
@ Word8
@ Word32
(peekByte_a52N (I# 2#))
(\ (a2_a52U :: Word8) ->
>>=
@ IO
$fMonadIO
@ Word8
@ Word32
(peekByte_a52N (I# 3#))
(\ (a3_a52V :: Word8) ->
return
@ IO
$fMonadIO
@ Word32
(.|.
@ Word32
$fBitsWord32
(.|.
@ Word32
$fBitsWord32
(.|.
@ Word32
$fBitsWord32
(sl_a52O
@ Word32
@ Word8
$fBitsWord32
$fIntegralWord8
$fNumWord32
a0_a52S
(I# 24#))
(sl_a52O
@ Word32
@ Word8
$fBitsWord32
$fIntegralWord8
$fNumWord32
a1_a52T
(I# 16#)))
(sl_a52O
@ Word32
@ Word8
$fBitsWord32
$fIntegralWord8
$fNumWord32
a2_a52U
(I# 8#)))
(sl_a52O
@ Word32
@ Word8
$fBitsWord32
$fIntegralWord8
$fNumWord32
a3_a52V
(I# 0#)))))))
$cpeek_a73j :: Ptr In6Addr -> IO In6Addr
[LclId]
$cpeek_a73j
= \ (p_a3Tx :: Ptr In6Addr) ->
>>=
@ IO
$fMonadIO
@ Word32
@ In6Addr
(peek32 @ In6Addr p_a3Tx (I# 0#))
(\ (a_a3Ty :: Word32) ->
>>=
@ IO
$fMonadIO
@ Word32
@ In6Addr
(peek32 @ In6Addr p_a3Tx (I# 1#))
(\ (b_a3Tz :: Word32) ->
>>=
@ IO
$fMonadIO
@ Word32
@ In6Addr
(peek32 @ In6Addr p_a3Tx (I# 2#))
(\ (c_a3TA :: Word32) ->
>>=
@ IO
$fMonadIO
@ Word32
@ In6Addr
(peek32 @ In6Addr p_a3Tx (I# 3#))
(\ (d_a3TB :: Word32) ->
$ @ 'LiftedRep
@ In6Addr
@ (IO In6Addr)
(return @ IO $fMonadIO @ In6Addr)
((a_a3Ty, b_a3Tz, c_a3TA, d_a3TB)
`cast` (Sym (N:In6Addr[0]) :: HostAddress6 ~R# In6Addr))))))
poke32 :: forall a. Ptr a -> Int -> Word32 -> IO ()
[LclId]
poke32
= \ (@ a_a6gg)
(p_a52W :: Ptr a_a6gg)
(i0_a52X :: Int)
(a_a52Y :: Word32) ->
let {
sr_a531 :: forall a. (Integral a, Bits a) => a -> Int -> Word8
[LclId]
sr_a531
= \ (@ a_a6gu)
($dIntegral_a6gE :: Integral a_a6gu)
($dBits_a6gF :: Bits a_a6gu)
(x_a533 :: a_a6gu)
(i_a534 :: Int) ->
fromIntegral
@ a_a6gu
@ Word8
$dIntegral_a6gE
$fNumWord8
(shiftR @ a_a6gu $dBits_a6gF x_a533 i_a534) } in
let {
i'_a52Z :: Int
[LclId]
i'_a52Z = * @ Int $fNumInt i0_a52X (I# 4#) } in
let {
pokeByte_a530 :: forall a. Storable a => Int -> a -> IO ()
[LclId]
pokeByte_a530
= \ (@ a_a6hg)
($dStorable_a6kk :: Storable a_a6hg)
(n_a532 :: Int) ->
pokeByteOff
@ a_a6hg
$dStorable_a6kk
@ a_a6gg
p_a52W
(+ @ Int
$fNumInt
(+ @ Int $fNumInt s6_addr_offset i'_a52Z)
n_a532) } in
>>
@ IO
$fMonadIO
@ ()
@ ()
(pokeByte_a530
@ Word8
$fStorableWord8
(I# 0#)
(sr_a531 @ Word32 $fIntegralWord32 $fBitsWord32 a_a52Y (I# 24#)))
(>>
@ IO
$fMonadIO
@ ()
@ ()
(pokeByte_a530
@ Word8
$fStorableWord8
(I# 1#)
(sr_a531 @ Word32 $fIntegralWord32 $fBitsWord32 a_a52Y (I# 16#)))
(>>
@ IO
$fMonadIO
@ ()
@ ()
(pokeByte_a530
@ Word8
$fStorableWord8
(I# 2#)
(sr_a531 @ Word32 $fIntegralWord32 $fBitsWord32 a_a52Y (I# 8#)))
(pokeByte_a530
@ Word8
$fStorableWord8
(I# 3#)
(sr_a531 @ Word32 $fIntegralWord32 $fBitsWord32 a_a52Y (I# 0#)))))
$cpoke_a73U :: Ptr In6Addr -> In6Addr -> IO ()
[LclId]
$cpoke_a73U
= \ (p_a3TC :: Ptr In6Addr) (ds_d7FH :: In6Addr) ->
case ds_d7FH `cast` (N:In6Addr[0] :: In6Addr ~R# HostAddress6) of
{ (a_a3TD, b_a3TE, c_a3TF, d_a3TG) ->
>>
@ IO
$fMonadIO
@ ()
@ ()
(poke32 @ In6Addr p_a3TC (I# 0#) a_a3TD)
(>>
@ IO
$fMonadIO
@ ()
@ ()
(poke32 @ In6Addr p_a3TC (I# 1#) b_a3TE)
(>>
@ IO
$fMonadIO
@ ()
@ ()
(poke32 @ In6Addr p_a3TC (I# 2#) c_a3TF)
(poke32 @ In6Addr p_a3TC (I# 3#) d_a3TG)))
}
Rec {
$fStorableIn6Addr [InlPrag=NOUSERINLINE CONLIKE]
:: Storable In6Addr
[LclIdX[DFunId],
Unf=DFun: \ ->
C:Storable TYPE: In6Addr
$csizeOf_a72x
$calignment_a72B
$cpeekElemOff_a72H
$cpokeElemOff_a72P
$cpeekByteOff_a72Y
$cpokeByteOff_a73a
$cpeek_a73j
$cpoke_a73U]
$fStorableIn6Addr
= C:Storable
@ In6Addr
$csizeOf_a72x
$calignment_a72B
$cpeekElemOff_a72H
$cpokeElemOff_a72P
$cpeekByteOff_a72Y
$cpokeByteOff_a73a
$cpeek_a73j
$cpoke_a73U
$cpeekByteOff_a72Y [Occ=LoopBreaker]
:: forall b. Ptr b -> Int -> IO In6Addr
[LclId]
$cpeekByteOff_a72Y
= \ (@ b_a730) ->
$dmpeekByteOff @ In6Addr $fStorableIn6Addr @ b_a730
$cpokeElemOff_a72P [Occ=LoopBreaker]
:: Ptr In6Addr -> Int -> In6Addr -> IO ()
[LclId]
$cpokeElemOff_a72P = $dmpokeElemOff @ In6Addr $fStorableIn6Addr
$cpokeByteOff_a73a [Occ=LoopBreaker]
:: forall b. Ptr b -> Int -> In6Addr -> IO ()
[LclId]
$cpokeByteOff_a73a
= \ (@ b_a73c) ->
$dmpokeByteOff @ In6Addr $fStorableIn6Addr @ b_a73c
$cpeekElemOff_a72H [Occ=LoopBreaker]
:: Ptr In6Addr -> Int -> IO In6Addr
[LclId]
$cpeekElemOff_a72H = $dmpeekElemOff @ In6Addr $fStorableIn6Addr
end Rec }
peekSockAddr :: Ptr SockAddr -> IO SockAddr
[LclIdX]
peekSockAddr
= \ (p_a51X :: Ptr SockAddr) ->
>>=
@ IO
$fMonadIO
@ CSaFamily
@ SockAddr
(peekByteOff
@ CSaFamily $fStorableWord16 @ SockAddr p_a51X (I# 0#))
(\ (family_a51Z :: CSaFamily) ->
case ==
@ CSaFamily
$fEqWord16
family_a51Z
(fromInteger @ CSaFamily $fNumWord16 1)
of {
False ->
case ==
@ CSaFamily
$fEqWord16
family_a51Z
(fromInteger @ CSaFamily $fNumWord16 2)
of {
False ->
case ==
@ CSaFamily
$fEqWord16
family_a51Z
(fromInteger @ CSaFamily $fNumWord16 10)
of {
False ->
case ==
@ CSaFamily
$fEqWord16
family_a51Z
(fromInteger @ CSaFamily $fNumWord16 29)
of {
False ->
$ @ 'LiftedRep
@ IOError
@ (IO SockAddr)
(ioError @ SockAddr)
($ @ 'LiftedRep
@ String
@ IOError
userError
(++
@ Char
(unpackCString#
"Network.Socket.Types.peekSockAddr: address family '"#)
(++
@ Char
(show @ CSaFamily $fShowWord16 family_a51Z)
(unpackCString# "' not supported."#))));
True ->
>>=
@ IO
$fMonadIO
@ Int32
@ SockAddr
(peekByteOff @ Int32 $fStorableInt32 @ SockAddr p_a51X (I# 4#))
(\ (ifidx_a52f :: Int32) ->
return @ IO $fMonadIO @ SockAddr (SockAddrCan ifidx_a52f))
};
True ->
>>=
@ IO
$fMonadIO
@ Word16
@ SockAddr
(peekByteOff @ Word16 $fStorableWord16 @ SockAddr p_a51X (I# 2#))
(\ (port_a527 :: Word16) ->
>>=
@ IO
$fMonadIO
@ FlowInfo
@ SockAddr
(peekByteOff @ FlowInfo $fStorableWord32 @ SockAddr p_a51X (I# 4#))
(\ (flow_a529 :: FlowInfo) ->
>>=
@ IO
$fMonadIO
@ In6Addr
@ SockAddr
(peekByteOff
@ In6Addr $fStorableIn6Addr @ SockAddr p_a51X (I# 8#))
(\ (ds_d7fY :: In6Addr) ->
>>=
@ IO
$fMonadIO
@ ScopeID
@ SockAddr
(peekByteOff
@ ScopeID $fStorableWord32 @ SockAddr p_a51X (I# 24#))
(\ (scope_a52d :: ScopeID) ->
return
@ IO
$fMonadIO
@ SockAddr
(SockAddrInet6
(port_a527
`cast` (Sym (N:PortNumber[0])
:: Word16 ~R# PortNumber))
flow_a529
(ds_d7fY
`cast` (N:In6Addr[0] :: In6Addr ~R# HostAddress6))
scope_a52d)))))
};
True ->
>>=
@ IO
$fMonadIO
@ HostAddress
@ SockAddr
(peekByteOff
@ HostAddress $fStorableWord32 @ SockAddr p_a51X (I# 4#))
(\ (addr_a523 :: HostAddress) ->
>>=
@ IO
$fMonadIO
@ Word16
@ SockAddr
(peekByteOff @ Word16 $fStorableWord16 @ SockAddr p_a51X (I# 2#))
(\ (port_a525 :: Word16) ->
return
@ IO
$fMonadIO
@ SockAddr
(SockAddrInet
(port_a525
`cast` (Sym (N:PortNumber[0]) :: Word16 ~R# PortNumber))
addr_a523)))
};
True ->
>>=
@ IO
$fMonadIO
@ String
@ SockAddr
(peekCString (plusPtr @ SockAddr @ CChar p_a51X (I# 2#)))
(\ (str_a521 :: String) ->
return @ IO $fMonadIO @ SockAddr (SockAddrUnix str_a521))
})
pokeSockAddr :: forall a. Ptr a -> SockAddr -> IO ()
[LclIdX]
pokeSockAddr
= \ (@ a_a6qN) (p_a4ZU :: Ptr a_a6qN) (ds_d7sI :: SockAddr) ->
case ds_d7sI of {
SockAddrInet ds_d7tP addr_a51G ->
>>
@ IO
$fMonadIO
@ ()
@ ()
(pokeByteOff
@ CSaFamily
$fStorableWord16
@ a_a6qN
p_a4ZU
(I# 0#)
(fromInteger @ CSaFamily $fNumWord16 2))
(>>
@ IO
$fMonadIO
@ ()
@ ()
(pokeByteOff
@ Word16
$fStorableWord16
@ a_a6qN
p_a4ZU
(I# 2#)
(ds_d7tP `cast` (N:PortNumber[0] :: PortNumber ~R# Word16)))
(pokeByteOff
@ HostAddress $fStorableWord32 @ a_a6qN p_a4ZU (I# 4#) addr_a51G));
SockAddrInet6 ds_d7tQ flow_a51M addr_a51N scope_a51O ->
>>
@ IO
$fMonadIO
@ ()
@ ()
(pokeByteOff
@ CSaFamily
$fStorableWord16
@ a_a6qN
p_a4ZU
(I# 0#)
(fromInteger @ CSaFamily $fNumWord16 10))
(>>
@ IO
$fMonadIO
@ ()
@ ()
(pokeByteOff
@ Word16
$fStorableWord16
@ a_a6qN
p_a4ZU
(I# 2#)
(ds_d7tQ `cast` (N:PortNumber[0] :: PortNumber ~R# Word16)))
(>>
@ IO
$fMonadIO
@ ()
@ ()
(pokeByteOff
@ FlowInfo $fStorableWord32 @ a_a6qN p_a4ZU (I# 4#) flow_a51M)
(>>
@ IO
$fMonadIO
@ ()
@ ()
(pokeByteOff
@ In6Addr
$fStorableIn6Addr
@ a_a6qN
p_a4ZU
(I# 8#)
(addr_a51N
`cast` (Sym (N:In6Addr[0]) :: HostAddress6 ~R# In6Addr)))
(pokeByteOff
@ ScopeID $fStorableWord32 @ a_a6qN p_a4ZU (I# 24#) scope_a51O))));
SockAddrUnix path_a4ZV ->
>>
@ IO
$fMonadIO
@ ()
@ ()
(join {
fail_d7sW :: Void# -> IO ()
[LclId[JoinId(1)], Str=<L,U>]
fail_d7sW _ [Occ=Dead, OS=OneShot]
= return @ IO $fMonadIO @ () () } in
case path_a4ZV of {
__DEFAULT -> jump fail_d7sW void#;
: ds_d7sT _ [Occ=Dead] ->
case ds_d7sT of { C# ds_d7sV ->
case ds_d7sV of {
__DEFAULT -> jump fail_d7sW void#;
'\NUL'# ->
zeroMemory @ a_a6qN p_a4ZU (fromInteger @ CSize $fNumCSize 110)
}
}
})
(>>
@ IO
$fMonadIO
@ ()
@ ()
(pokeByteOff
@ CSaFamily
$fStorableWord16
@ a_a6qN
p_a4ZU
(I# 0#)
(fromInteger @ CSaFamily $fNumWord16 1))
(let {
eta_B2 :: Ptr CChar
[LclId]
eta_B2 = plusPtr @ a_a6qN @ CChar p_a4ZU (I# 2#) } in
let {
eta_B1 :: [CChar]
[LclId]
eta_B1 = map @ Char @ CChar castCharToCChar path_a4ZV } in
join {
fail_d7tm :: Void# -> Ptr CChar -> [CChar] -> IO ()
[LclId[JoinId(1)], Str=<L,U>]
fail_d7tm _ [Occ=Dead, OS=OneShot]
= pokeArray0
@ CChar $fStorableCChar (fromInteger @ CChar $fNumCChar 0) } in
(case path_a4ZV of {
__DEFAULT -> jump fail_d7tm void#;
: ds_d7tj _ [Occ=Dead] ->
case ds_d7tj of { C# ds_d7tl ->
case ds_d7tl of {
__DEFAULT -> jump fail_d7tm void#;
'\NUL'# -> pokeArray @ CChar $fStorableCChar
}
}
})
eta_B2 eta_B1));
SockAddrCan ifIndex_a51V ->
pokeByteOff
@ Int32 $fStorableInt32 @ a_a6qN p_a4ZU (I# 4#) ifIndex_a51V
}
withSockAddr
:: forall a. SockAddr -> (Ptr SockAddr -> Int -> IO a) -> IO a
[LclIdX]
withSockAddr
= \ (@ a_a6x0)
(addr_a4ZM :: SockAddr)
(f_a4ZN :: Ptr SockAddr -> Int -> IO a_a6x0) ->
let {
sz_a4ZO :: Int
[LclId]
sz_a4ZO = sizeOfSockAddr addr_a4ZM } in
$ @ 'LiftedRep
@ (Ptr Any -> IO a_a6x0)
@ (IO a_a6x0)
(allocaBytes @ Any @ a_a6x0 sz_a4ZO)
(\ (p_a4ZP :: Ptr Any) ->
>>
@ IO
$fMonadIO
@ ()
@ a_a6x0
(pokeSockAddr @ Any p_a4ZP addr_a4ZM)
(f_a4ZN (castPtr @ Any @ SockAddr p_a4ZP) sz_a4ZO))
tupleToHostAddress6
:: (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16)
-> HostAddress6
[LclIdX]
tupleToHostAddress6
= \ (ds_d7eT
:: (Word16, Word16, Word16, Word16, Word16, Word16, Word16,
Word16)) ->
case ds_d7eT of
{ (w7_a52z, w6_a52A, w5_a52B, w4_a52C, w3_a52D, w2_a52E, w1_a52F,
w0_a52G) ->
let {
add_a52H :: Word16 -> Word16 -> Word32
[LclId]
add_a52H
= \ (high_a52I :: Word16) (low_a52J :: Word16) ->
.|.
@ Word32
$fBitsWord32
(shiftL
@ Word32
$fBitsWord32
(fromIntegral
@ Word16 @ Word32 $fIntegralWord16 $fNumWord32 high_a52I)
(I# 16#))
(fromIntegral
@ Word16 @ Word32 $fIntegralWord16 $fNumWord32 low_a52J) } in
(add_a52H w7_a52z w6_a52A, add_a52H w5_a52B w4_a52C,
add_a52H w3_a52D w2_a52E, add_a52H w1_a52F w0_a52G)
}
hostAddress6ToTuple
:: HostAddress6
-> (Word16, Word16, Word16, Word16, Word16, Word16, Word16, Word16)
[LclIdX]
hostAddress6ToTuple
= \ (ds_d7f5 :: (Word32, Word32, Word32, Word32)) ->
case ds_d7f5 of { (w3_a52r, w2_a52s, w1_a52t, w0_a52u) ->
let {
low_a52w :: Word32 -> Word16
[LclId]
low_a52w
= \ (w_a52y :: Word32) ->
fromIntegral
@ Word32 @ Word16 $fIntegralWord32 $fNumWord16 w_a52y } in
let {
high_a52v :: Word32 -> Word16
[LclId]
high_a52v
= \ (w_a52x :: Word32) ->
fromIntegral
@ Word32
@ Word16
$fIntegralWord32
$fNumWord16
(shiftR @ Word32 $fBitsWord32 w_a52x (I# 16#)) } in
(high_a52v w3_a52r, low_a52w w3_a52r, high_a52v w2_a52s,
low_a52w w2_a52s, high_a52v w1_a52t, low_a52w w1_a52t,
high_a52v w0_a52u, low_a52w w0_a52u)
}
tupleToHostAddress :: (Word8, Word8, Word8, Word8) -> HostAddress
[LclIdX]
tupleToHostAddress
= \ (ds_d7fe :: (Word8, Word8, Word8, Word8)) ->
case ds_d7fe of { (b3_a52k, b2_a52l, b1_a52m, b0_a52n) ->
let {
sl_a52o :: forall a. Integral a => a -> Int -> Word32
[LclId]
sl_a52o
= \ (@ a_a6m8)
($dIntegral_a6ml :: Integral a_a6m8)
(x_a52p :: a_a6m8)
(i_a52q :: Int) ->
shiftL
@ Word32
$fBitsWord32
(fromIntegral @ a_a6m8 @ Word32 $dIntegral_a6ml $fNumWord32 x_a52p)
i_a52q } in
$ @ 'LiftedRep
@ Word32
@ Word32
ntohl
(.|.
@ Word32
$fBitsWord32
(.|.
@ Word32
$fBitsWord32
(.|.
@ Word32
$fBitsWord32
(sl_a52o @ Word8 $fIntegralWord8 b3_a52k (I# 24#))
(sl_a52o @ Word8 $fIntegralWord8 b2_a52l (I# 16#)))
(sl_a52o @ Word8 $fIntegralWord8 b1_a52m (I# 8#)))
(sl_a52o @ Word8 $fIntegralWord8 b0_a52n (I# 0#)))
}
*** End of Offense ***
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment