4.85. kink/socket/SOCKET_ADDRESS

Provides socket_address type.

4.85.1. type socket_address

`socket_address` is a supertype of either `ip_address_port` or `unix_domain_socket_path`.

4.85.1.1. Sa.branch_socket_address($iap_cont $uds_path_cont)

If `Sa` is an ip_address_port val, `branch_socket_address` tail-calls $iap_cont with no arg.

If `Sa` is a unix_domain_socket_path val, `branch_socket_address` tail-calls $uds_path_cont with no arg.

4.85.1.2. Sa.op_eq(Arg_sa)

`op_eq` returns true if and only if one of the following conditions is met.

• `Sa` and `Arg_sa` are both vals of `ip_address_port` type, and they have the same ip address and the port number.

• `Sa` and `Arg_sa` are both vals of `unix_domain_socket_path` type, and they have the same path.

Precondition

• `Arg_sa` must be a `socket_address` val.

4.85.2. SOCKET_ADDRESS.is?(Val)

`is?` returns whether `Val` is a socket_address.