eo-phi-normalizer-2.0.0: data/0.41.2/org/eolang/net/socket.phi
{
⟦
org ↦ ⟦
eolang ↦ ⟦
net ↦ ⟦
socket ↦ ⟦
address ↦ ∅,
port ↦ ∅,
φ ↦ Φ.org.eolang.sys.os.is-windows.if(
α0 ↦ ξ.win-socket(
α0 ↦ ξ.address,
α1 ↦ ξ.port
),
α1 ↦ ξ.posix-socket(
α0 ↦ ξ.address,
α1 ↦ ξ.port
)
),
htons ↦ ⟦
port ↦ ∅,
bts ↦ ξ.port.as-i16.as-bytes,
φ ↦ ξ.bts.and(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ FF-
)
).left(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 40-20-00-00-00-00-00-00
)
)
).or(
α0 ↦ ξ.bts.right(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 40-20-00-00-00-00-00-00
)
)
).and(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ FF-
)
)
).as-i16
⟧,
as-input ↦ ⟦
recv ↦ ∅,
read ↦ ⟦
size ↦ ∅,
φ ↦ ξ.input-block(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ --
)
).read(
α0 ↦ ξ.size
).self,
input-block ↦ ⟦
buffer ↦ ∅,
self ↦ ξ,
φ ↦ ξ.buffer,
read ↦ ⟦
size ↦ ∅,
read-bytes ↦ ξ.ρ.ρ.ρ.recv(
α0 ↦ ξ.size
).as-bytes,
φ ↦ Φ.org.eolang.seq(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.read-bytes
),
α1 ↦ ξ.ρ.ρ.input-block(
α0 ↦ ξ.read-bytes
)
)
).self
⟧
⟧
⟧
⟧,
as-output ↦ ⟦
send ↦ ∅,
write ↦ ⟦
buffer ↦ ∅,
φ ↦ ξ.output-block.write(
α0 ↦ ξ.buffer
).self,
output-block ↦ ⟦
self ↦ ξ,
φ ↦ Φ.org.eolang.true,
write ↦ ⟦
buffer ↦ ∅,
φ ↦ Φ.org.eolang.seq(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.ρ.ρ.ρ.send(
α0 ↦ ξ.buffer
)
),
α1 ↦ ξ.ρ.ρ.output-block
)
).self
⟧
⟧
⟧
⟧,
posix-socket ↦ ⟦
address ↦ ∅,
port ↦ ∅,
sd ↦ Φ.org.eolang.sys.posix(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 73-6F-63-6B-65-74
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ Φ.org.eolang.sys.posix.af-inet
),
α1 ↦ Φ.org.eolang.sys.posix.sock-stream
),
α1 ↦ Φ.org.eolang.sys.posix.ipproto-tcp
)
).code,
inet-addr ↦ Φ.org.eolang.sys.posix(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 69-6E-65-74-5F-61-64-64-72
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.address
)
).code,
inet-addr-as-int ↦ ξ.inet-addr.eq(
α0 ↦ Φ.org.eolang.sys.posix.inaddr-none
).if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.txt.sprintf(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 43-6F-75-6C-64-6E-27-74-20-63-6F-6E-76-65-72-74-20-61-6E-20-49-50-76-34-20-61-64-64-72-65-73-73-20-27-25-73-27-20-69-6E-74-6F-20-61-20-33-32-2D-62-69-74-20-69-6E-74-65-67-65-72-20-76-69-61-20-27-69-6E-65-74-5F-61-64-64-72-27-20-70-6F-73-69-78-20-73-79-73-63-61-6C-6C-2C-20-72-65-61-73-6F-6E-3A-20-27-25-73-27
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.address
),
α1 ↦ ξ.strerror.code
)
)
),
α1 ↦ ξ.inet-addr.as-i32
),
sockaddr ↦ Φ.org.eolang.sys.posix.sockaddr-in(
α0 ↦ Φ.org.eolang.sys.posix.af-inet.as-i16,
α1 ↦ ξ.ρ.htons(
α0 ↦ ξ.port
),
α2 ↦ ξ.inet-addr-as-int
),
scoped-socket ↦ ⟦
sockfd ↦ ∅,
as-input ↦ ξ.ρ.ρ.ρ.as-input(
α0 ↦ ξ.recv
),
as-output ↦ ξ.ρ.ρ.ρ.as-output(
α0 ↦ ξ.send
),
send ↦ ⟦
buffer ↦ ∅,
buff ↦ Φ.org.eolang.dataized(
α0 ↦ ξ.buffer
).as-bytes,
sent ↦ Φ.org.eolang.sys.posix(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 73-65-6E-64
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.ρ.sockfd
),
α1 ↦ ξ.buff
),
α1 ↦ ξ.buff.size
),
α1 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
)
)
).code,
φ ↦ ξ.sent.eq(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ BF-F0-00-00-00-00-00-00
)
)
).if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.txt.sprintf(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 46-61-69-6C-65-64-20-74-6F-20-73-65-6E-64-20-6D-65-73-73-61-67-65-20-74-68-72-6F-75-67-68-20-74-68-65-20-73-6F-63-6B-65-74-20-27-25-64-27-2C-20-72-65-61-73-6F-6E-3A-20-25-73
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.ρ.sockfd
),
α1 ↦ ξ.ρ.ρ.strerror.code
)
)
),
α1 ↦ ξ.sent
)
⟧,
recv ↦ ⟦
size ↦ ∅,
received ↦ Φ.org.eolang.sys.posix(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 72-65-63-76
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.ρ.sockfd
),
α1 ↦ ξ.size
),
α1 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
)
)
).called,
φ ↦ ξ.received.code.eq(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ BF-F0-00-00-00-00-00-00
)
)
).if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.txt.sprintf(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 46-61-69-6C-65-64-20-74-6F-20-72-65-63-65-69-76-65-20-64-61-74-61-20-66-72-6F-6D-20-74-68-65-20-73-6F-63-6B-65-74-20-27-25-64-27-2C-20-72-65-61-73-6F-6E-3A-20-25-73
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.ρ.sockfd
),
α1 ↦ ξ.ρ.ρ.strerror.code
)
)
),
α1 ↦ ξ.received.output
)
⟧
⟧,
strerror ↦ ⟦
φ ↦ Φ.org.eolang.sys.posix(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 73-74-72-65-72-72-6F-72
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ Φ.org.eolang.sys.posix(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 65-72-72-6E-6F
)
),
α1 ↦ Φ.org.eolang.tuple.empty
).code
)
)
⟧,
closed-socket ↦ ⟦
sockfd ↦ ∅,
closed ↦ Φ.org.eolang.sys.posix(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 63-6C-6F-73-65
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sockfd
)
).code,
φ ↦ ξ.closed.eq(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ BF-F0-00-00-00-00-00-00
)
)
).if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.txt.sprintf(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 43-6F-75-6C-64-6E-27-74-20-63-6C-6F-73-65-20-61-20-70-6F-73-69-78-20-73-6F-63-6B-65-74-20-27-25-64-27-2C-20-72-65-61-73-6F-6E-3A-20-27-25-73-27
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sockfd
),
α1 ↦ ξ.ρ.strerror.code
)
)
),
α1 ↦ Φ.org.eolang.true
)
⟧,
safe-socket ↦ ⟦
scope ↦ ∅,
φ ↦ ξ.ρ.sd.eq(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ BF-F0-00-00-00-00-00-00
)
)
).if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.txt.sprintf(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 43-6F-75-6C-64-6E-27-74-20-63-72-65-61-74-65-20-61-20-70-6F-73-69-78-20-73-6F-63-6B-65-74-2C-20-72-65-61-73-6F-6E-3A-20-27-25-73-27
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.ρ.strerror.code
)
)
),
α1 ↦ Φ.org.eolang.try(
α0 ↦ ξ.scope,
α1 ↦ ⟦
φ ↦ Φ.org.eolang.error(
α0 ↦ ξ.ex
),
ex ↦ ∅
⟧,
α2 ↦ ξ.ρ.closed-socket(
α0 ↦ ξ.ρ.sd
)
)
)
⟧,
connect ↦ ⟦
scope ↦ ∅,
φ ↦ ξ.ρ.safe-socket(
α0 ↦ ξ.auto-named-attr-at-278-10
),
auto-named-attr-at-278-10 ↦ ⟦
sock ↦ ξ.ρ.ρ,
connected ↦ Φ.org.eolang.sys.posix(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 63-6F-6E-6E-65-63-74
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sock.sd
),
α1 ↦ ξ.sock.sockaddr
),
α1 ↦ ξ.sock.sockaddr.size
)
).code,
φ ↦ ξ.connected.eq(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ BF-F0-00-00-00-00-00-00
)
)
).if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.txt.sprintf(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 43-6F-75-6C-64-6E-27-74-20-63-6F-6E-6E-65-63-74-20-74-6F-20-27-25-73-3A-25-64-27-20-6F-6E-20-70-6F-73-69-78-20-73-6F-63-6B-65-74-20-27-25-64-27-2C-20-72-65-61-73-6F-6E-3A-20-27-25-73-27
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sock.address
),
α1 ↦ ξ.sock.port
),
α1 ↦ ξ.sock.sd
),
α1 ↦ ξ.sock.strerror.code
)
)
),
α1 ↦ Φ.org.eolang.dataized(
α0 ↦ ξ.ρ.scope(
α0 ↦ ξ.sock.scoped-socket(
α0 ↦ ξ.sock.sd
)
)
).as-bytes
)
⟧
⟧,
listen ↦ ⟦
scope ↦ ∅,
φ ↦ ξ.ρ.safe-socket(
α0 ↦ ξ.auto-named-attr-at-302-10
),
auto-named-attr-at-302-10 ↦ ⟦
sock ↦ ξ.ρ.ρ,
bound ↦ Φ.org.eolang.sys.posix(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 62-69-6E-64
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sock.sd
),
α1 ↦ ξ.sock.sockaddr
),
α1 ↦ ξ.sock.sockaddr.size
)
).code,
listened ↦ Φ.org.eolang.sys.posix(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 6C-69-73-74-65-6E
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sock.sd
),
α1 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 40-A0-00-00-00-00-00-00
)
)
)
).code,
φ ↦ ξ.bound.eq(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ BF-F0-00-00-00-00-00-00
)
)
).if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.txt.sprintf(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 43-6F-75-6C-64-6E-27-74-20-62-69-6E-64-20-70-6F-73-69-78-20-73-6F-63-6B-65-74-20-27-25-64-27-20-74-6F-20-27-25-73-3A-25-64-27-2C-20-72-65-61-73-6F-6E-3A-20-27-25-73-27
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sock.sd
),
α1 ↦ ξ.sock.address
),
α1 ↦ ξ.sock.port
),
α1 ↦ ξ.sock.strerror.code
)
)
),
α1 ↦ ξ.listened.eq(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ BF-F0-00-00-00-00-00-00
)
)
).if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.txt.sprintf(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 46-61-69-6C-65-64-20-74-6F-20-6C-69-73-74-65-6E-20-66-6F-72-20-63-6F-6E-6E-65-63-74-69-6F-6E-73-20-74-6F-20-27-25-73-3A-25-64-27-20-6F-6E-20-73-6F-63-6B-65-74-20-27-25-64-27-2C-20-72-65-61-73-6F-6E-3A-20-27-25-73-27
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sock.address
),
α1 ↦ ξ.sock.port
),
α1 ↦ ξ.sock.sd
),
α1 ↦ ξ.sock.strerror.code
)
)
),
α1 ↦ Φ.org.eolang.dataized(
α0 ↦ ξ.ρ.scope(
α0 ↦ ξ.auto-named-attr-at-327-22
)
).as-bytes
)
),
auto-named-attr-at-327-22 ↦ ⟦
φ ↦ ξ.ρ.sock.scoped-socket(
α0 ↦ ξ.ρ.sock.sd
),
accept ↦ ⟦
scope ↦ ∅,
sock ↦ ξ.ρ.ρ.sock,
client-sockfd ↦ Φ.org.eolang.sys.posix(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 61-63-63-65-70-74
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sock.sd
),
α1 ↦ ξ.sock.sockaddr
),
α1 ↦ ξ.sock.sockaddr.size
)
).code,
φ ↦ Φ.org.eolang.try(
α0 ↦ ξ.client-sockfd.eq(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ BF-F0-00-00-00-00-00-00
)
)
).if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.txt.sprintf(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 46-61-69-6C-65-64-20-74-6F-20-61-63-63-65-70-74-20-61-20-63-6F-6E-6E-65-63-74-69-6F-6E-20-6F-6E-20-70-6F-73-69-78-20-73-6F-63-6B-65-74-20-27-25-64-27-2C-20-72-65-61-73-6F-6E-3A-20-25-73
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sock.sd
),
α1 ↦ ξ.sock.strerror.code
)
)
),
α1 ↦ Φ.org.eolang.dataized(
α0 ↦ ξ.scope(
α0 ↦ ξ.sock.scoped-socket(
α0 ↦ ξ.client-sockfd
)
)
).as-bytes
),
α1 ↦ ⟦
φ ↦ Φ.org.eolang.error(
α0 ↦ ξ.ex
),
ex ↦ ∅
⟧,
α2 ↦ ξ.sock.closed-socket(
α0 ↦ ξ.client-sockfd
)
)
⟧
⟧
⟧
⟧
⟧,
win-socket ↦ ⟦
address ↦ ∅,
port ↦ ∅,
sd ↦ Φ.org.eolang.sys.win32(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 73-6F-63-6B-65-74
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ Φ.org.eolang.sys.win32.af-inet
),
α1 ↦ Φ.org.eolang.sys.win32.sock-stream
),
α1 ↦ Φ.org.eolang.sys.win32.ipproto-tcp
)
).code,
inet-addr ↦ Φ.org.eolang.sys.win32(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 69-6E-65-74-5F-61-64-64-72
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.address
)
).code,
inet-addr-as-int ↦ ξ.inet-addr.eq(
α0 ↦ Φ.org.eolang.sys.win32.inaddr-none
).if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.txt.sprintf(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 43-6F-75-6C-64-6E-27-74-20-63-6F-6E-76-65-72-74-20-61-6E-20-49-50-76-34-20-61-64-64-72-65-73-73-20-27-25-73-27-20-69-6E-74-6F-20-61-20-33-32-2D-62-69-74-20-69-6E-74-65-67-65-72-20-76-69-61-20-27-69-6E-65-74-5F-61-64-64-72-27-20-77-69-6E-33-32-20-66-75-6E-63-74-69-6F-6E-20-63-61-6C-6C-2C-20-57-53-41-20-65-72-72-6F-72-20-63-6F-64-65-3A-20-25-64
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.address
),
α1 ↦ ξ.last-error.code
)
)
),
α1 ↦ ξ.inet-addr.as-i32
),
sockaddr ↦ Φ.org.eolang.sys.win32.sockaddr-in(
α0 ↦ Φ.org.eolang.sys.win32.af-inet.as-i16,
α1 ↦ ξ.ρ.htons(
α0 ↦ ξ.port
),
α2 ↦ ξ.inet-addr-as-int
),
scoped-socket ↦ ⟦
sockfd ↦ ∅,
as-input ↦ ξ.ρ.ρ.ρ.as-input(
α0 ↦ ξ.recv
),
as-output ↦ ξ.ρ.ρ.ρ.as-output(
α0 ↦ ξ.send
),
send ↦ ⟦
buffer ↦ ∅,
buff ↦ Φ.org.eolang.dataized(
α0 ↦ ξ.buffer
).as-bytes,
sent ↦ Φ.org.eolang.sys.win32(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 73-65-6E-64
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.ρ.sockfd
),
α1 ↦ ξ.buff
),
α1 ↦ ξ.buff.size
),
α1 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
)
)
).code,
φ ↦ ξ.sent.eq(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ BF-F0-00-00-00-00-00-00
)
)
).if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.txt.sprintf(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 46-61-69-6C-65-64-20-74-6F-20-73-65-6E-64-20-6D-65-73-73-61-67-65-20-74-68-72-6F-75-67-68-20-74-68-65-20-73-6F-63-6B-65-74-20-27-25-64-27-2C-20-57-53-41-20-65-72-72-6F-72-20-63-6F-64-65-3A-20-25-64
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.ρ.sockfd
),
α1 ↦ ξ.ρ.ρ.last-error.code
)
)
),
α1 ↦ ξ.sent
)
⟧,
recv ↦ ⟦
size ↦ ∅,
received ↦ Φ.org.eolang.sys.win32(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 72-65-63-76
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.ρ.sockfd
),
α1 ↦ ξ.size
),
α1 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
)
)
).called,
φ ↦ ξ.received.code.eq(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ BF-F0-00-00-00-00-00-00
)
)
).if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.txt.sprintf(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 46-61-69-6C-65-64-20-74-6F-20-72-65-63-65-69-76-65-20-64-61-74-61-20-66-72-6F-6D-20-74-68-65-20-73-6F-63-6B-65-74-20-27-25-64-27-2C-20-57-53-41-20-65-72-72-6F-72-20-63-6F-64-65-3A-20-25-64
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.ρ.sockfd
),
α1 ↦ ξ.ρ.ρ.last-error.code
)
)
),
α1 ↦ ξ.received.output
)
⟧
⟧,
last-error ↦ ⟦
φ ↦ Φ.org.eolang.sys.win32(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 57-53-41-47-65-74-4C-61-73-74-45-72-72-6F-72
)
),
α1 ↦ Φ.org.eolang.tuple.empty
)
⟧,
closed-socket ↦ ⟦
sockfd ↦ ∅,
closed ↦ Φ.org.eolang.sys.win32(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 63-6C-6F-73-65-73-6F-63-6B-65-74
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sockfd
)
).code,
φ ↦ ξ.closed.eq(
α0 ↦ Φ.org.eolang.sys.win32.socket-error
).if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.txt.sprintf(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 43-6F-75-6C-64-6E-27-74-20-63-6C-6F-73-65-20-61-20-77-69-6E-33-32-20-73-6F-63-6B-65-74-20-27-25-64-27-2C-20-57-53-41-20-65-72-72-6F-72-20-63-6F-64-65-3A-20-25-64
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sockfd
),
α1 ↦ ξ.ρ.last-error.code
)
)
),
α1 ↦ Φ.org.eolang.true
)
⟧,
safe-socket ↦ ⟦
scope ↦ ∅,
started-up ↦ Φ.org.eolang.sys.win32(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 57-53-41-53-74-61-72-74-75-70
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ Φ.org.eolang.sys.win32.winsock-version-2-2
)
).code,
cleaned-up ↦ Φ.org.eolang.sys.win32(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 57-53-41-43-6C-65-61-6E-75-70
)
),
α1 ↦ Φ.org.eolang.tuple.empty
).code,
φ ↦ ξ.started-up.eq(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 00-00-00-00-00-00-00-00
)
)
).not.if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.txt.sprintf(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 43-6F-75-6C-64-6E-27-74-20-69-6E-69-74-69-61-6C-69-7A-65-20-57-69-6E-73-6F-63-6B-20-76-69-61-20-27-57-53-41-53-74-61-72-74-75-70-27-20-63-61-6C-6C-2C-20-57-53-41-20-65-72-72-6F-72-20-63-6F-64-65-3A-20-25-64
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.started-up
)
)
),
α1 ↦ Φ.org.eolang.try(
α0 ↦ ξ.ρ.sd.eq(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ BF-F0-00-00-00-00-00-00
)
)
).if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.txt.sprintf(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 43-6F-75-6C-64-6E-27-74-20-63-72-65-61-74-65-20-61-20-77-69-6E-33-32-20-73-6F-63-6B-65-74-2C-20-57-53-41-20-65-72-72-6F-72-20-63-6F-64-65-3A-20-25-64
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.ρ.last-error.code
)
)
),
α1 ↦ Φ.org.eolang.try(
α0 ↦ ξ.scope,
α1 ↦ ⟦
φ ↦ Φ.org.eolang.error(
α0 ↦ ξ.ex
),
ex ↦ ∅
⟧,
α2 ↦ ξ.ρ.closed-socket(
α0 ↦ ξ.ρ.sd
)
)
),
α1 ↦ ⟦
φ ↦ Φ.org.eolang.error(
α0 ↦ ξ.ex
),
ex ↦ ∅
⟧,
α2 ↦ ξ.cleaned-up.eq(
α0 ↦ Φ.org.eolang.sys.win32.socket-error
).if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 43-6F-75-6C-64-6E-27-74-20-63-6C-65-61-6E-75-70-20-57-69-6E-73-6F-63-6B-20-72-65-73-6F-75-72-63-65-73
)
)
),
α1 ↦ Φ.org.eolang.true
)
)
)
⟧,
connect ↦ ⟦
scope ↦ ∅,
φ ↦ ξ.ρ.safe-socket(
α0 ↦ ξ.auto-named-attr-at-487-10
),
auto-named-attr-at-487-10 ↦ ⟦
sock ↦ ξ.ρ.ρ,
connected ↦ Φ.org.eolang.sys.win32(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 63-6F-6E-6E-65-63-74
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sock.sd
),
α1 ↦ ξ.sock.sockaddr
),
α1 ↦ ξ.sock.sockaddr.size
)
).code,
φ ↦ ξ.connected.eq(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ BF-F0-00-00-00-00-00-00
)
)
).if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.txt.sprintf(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 43-6F-75-6C-64-6E-27-74-20-63-6F-6E-6E-65-63-74-20-74-6F-20-27-25-73-3A-25-64-27-20-6F-6E-20-77-69-6E-33-32-20-73-6F-63-6B-65-74-20-27-25-64-27-2C-20-57-53-41-20-65-72-72-6F-72-20-63-6F-64-65-3A-20-25-64
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sock.address
),
α1 ↦ ξ.sock.port
),
α1 ↦ ξ.sock.sd
),
α1 ↦ ξ.sock.last-error.code
)
)
),
α1 ↦ Φ.org.eolang.dataized(
α0 ↦ ξ.ρ.scope(
α0 ↦ ξ.sock.scoped-socket(
α0 ↦ ξ.sock.sd
)
)
).as-bytes
)
⟧
⟧,
listen ↦ ⟦
scope ↦ ∅,
φ ↦ ξ.ρ.safe-socket(
α0 ↦ ξ.auto-named-attr-at-511-10
),
auto-named-attr-at-511-10 ↦ ⟦
sock ↦ ξ.ρ.ρ,
bound ↦ Φ.org.eolang.sys.win32(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 62-69-6E-64
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sock.sd
),
α1 ↦ ξ.sock.sockaddr
),
α1 ↦ ξ.sock.sockaddr.size
)
).code,
listened ↦ Φ.org.eolang.sys.win32(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 6C-69-73-74-65-6E
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sock.sd
),
α1 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 40-A0-00-00-00-00-00-00
)
)
)
).code,
φ ↦ ξ.bound.eq(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ BF-F0-00-00-00-00-00-00
)
)
).if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.txt.sprintf(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 43-6F-75-6C-64-6E-27-74-20-62-69-6E-64-20-77-69-6E-33-32-20-73-6F-63-6B-65-74-20-27-25-64-27-20-74-6F-20-27-25-73-3A-25-64-27-2C-20-57-53-41-20-65-72-72-6F-72-20-63-6F-64-65-3A-20-25-64
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sock.sd
),
α1 ↦ ξ.sock.address
),
α1 ↦ ξ.sock.port
),
α1 ↦ ξ.sock.last-error.code
)
)
),
α1 ↦ ξ.listened.eq(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ BF-F0-00-00-00-00-00-00
)
)
).if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.txt.sprintf(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 46-61-69-6C-65-64-20-74-6F-20-6C-69-73-74-65-6E-20-66-6F-72-20-63-6F-6E-6E-65-63-74-69-6F-6E-73-20-74-6F-20-27-25-73-3A-25-64-27-20-6F-6E-20-73-6F-63-6B-65-74-20-27-25-64-27-2C-20-57-53-41-20-65-72-72-6F-72-20-63-6F-64-65-3A-20-25-64
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sock.address
),
α1 ↦ ξ.sock.port
),
α1 ↦ ξ.sock.sd
),
α1 ↦ ξ.sock.last-error.code
)
)
),
α1 ↦ Φ.org.eolang.dataized(
α0 ↦ ξ.ρ.scope(
α0 ↦ ξ.auto-named-attr-at-536-22
)
).as-bytes
)
),
auto-named-attr-at-536-22 ↦ ⟦
φ ↦ ξ.ρ.sock.scoped-socket(
α0 ↦ ξ.ρ.sock.sd
),
accept ↦ ⟦
scope ↦ ∅,
sock ↦ ξ.ρ.ρ.sock,
client-sockfd ↦ Φ.org.eolang.sys.win32(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 61-63-63-65-70-74
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sock.sd
),
α1 ↦ ξ.sock.sockaddr
),
α1 ↦ ξ.sock.sockaddr.size
)
).code,
φ ↦ Φ.org.eolang.try(
α0 ↦ ξ.client-sockfd.eq(
α0 ↦ Φ.org.eolang.number(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ BF-F0-00-00-00-00-00-00
)
)
).if(
α0 ↦ Φ.org.eolang.error(
α0 ↦ Φ.org.eolang.txt.sprintf(
α0 ↦ Φ.org.eolang.string(
α0 ↦ Φ.org.eolang.bytes(
Δ ⤍ 46-61-69-6C-65-64-20-74-6F-20-61-63-63-65-70-74-20-61-20-63-6F-6E-6E-65-63-74-69-6F-6E-20-6F-6E-20-77-69-6E-33-32-20-73-6F-63-6B-65-74-20-27-25-64-27-2C-20-57-53-41-20-65-72-72-6F-72-20-63-6F-64-65-3A-20-25-64
)
),
α1 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple(
α0 ↦ Φ.org.eolang.tuple.empty,
α1 ↦ ξ.sock.sd
),
α1 ↦ ξ.sock.last-error.code
)
)
),
α1 ↦ Φ.org.eolang.dataized(
α0 ↦ ξ.scope(
α0 ↦ ξ.sock.scoped-socket(
α0 ↦ ξ.client-sockfd
)
)
).as-bytes
),
α1 ↦ ⟦
φ ↦ Φ.org.eolang.error(
α0 ↦ ξ.ex
),
ex ↦ ∅
⟧,
α2 ↦ ξ.sock.closed-socket(
α0 ↦ ξ.client-sockfd
)
)
⟧
⟧
⟧
⟧
⟧
⟧,
λ ⤍ Package
⟧,
λ ⤍ Package
⟧,
λ ⤍ Package
⟧
⟧
}