4.88. kink/socket/SOCKET_ADDRESS

Provides socket_address type.

4.88.1. type socket_address

`socket_address` is a supertype of `ip_address_port` and `unix_domain_socket_path`.

4.88.1.1. Sa.protocol_family

`protocol_family` returns the protocol family of the socket address as `protocol_family` type.

See kink/socket/PROTOCOL_FAMILY for `protocol_family` type.

4.88.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.88.2. SOCKET_ADDRESS.is?(Val)

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