Refine APIs of ref-type adts
Move kink/charset/CHARSET to kink/CHARSET
Closed by [f291c5]
merge sf00247-move-charset
close sf00247-move-charset
update changelog
add Japanese translation of CHARSET
move kink/charset/CHARSET to kink/CHARSET
Working on sf00247-move-charset
Move kink/charset/CHARSET to kink/CHARSET
Make the arg of .any? optional
Closed by [66e026]
merge sf00246-any_p-for-presence
close sf00246-any_p-for-presence
fix changelog
fix changelog
remove .empty?
use .any? instead of .empty? in the test code
use .any? instead of .empty?
rename Dyn.have_val? and Varref.have_val? to any?
refactor tests of varref
update changelog
add Map.any?
add Bin.any?
add Str.any?
update changelog
make the arg of Iter.any? optional
make the arg of Hash_set.any? optional
make the arg of Tree_set.any? optional
make the arg of Flat_set.any? optional
make the arg of Vec.any? optional
add tests for Vec.any?
Rename .get_maybe to .get_opt
Move kink/charset/CHARSET to kink/CHARSET
Working on sf00246-any_p-for-presence
Make the arg of .any? optional
Make the arg of .any? optional
Add Vec.with_elems
Closed by [d91976]
merge sf00245-vec-with_elems
close sf00245-vec-with_elems
remove Vec.with_just_or
update the manual
add kinkdoc to Vec.with_elems
replace uses of Vec.with_just_or by .with_elems
add Vec.with_elems
Working on sf00245-vec-with_elems
Add Vec.with_elems
Rename IP_ADDRESS_PORT to IP_PORT, IP_ADDRESS to IP
Closed by [8fbfa8]
merge sf00244-rename-address-types
close sf00244-rename-address-types
add Japanese translation of kinkdoc of IP_PORT
add Japanese translation of IP funs
add Japanese translation of methods of type ip
rename IP_ADDRESS to IP
rename IP_ADDRESS_PORT to IP_PORT
Add Vec.with_elems
Rename IP_ADDRESS_PORT to IP_PORT, IP_ADDRESS to IP
Work on sf00244-rename-address-types
Socket options must be merged to ref-type adts
Refine APIs of ref-type adts
Use ENUM_GROUP for DAY_OF_WEEK
Unpaired surrogates of JSON encoding and decoding
Rename IP_ADDRESS_PORT to IP_PORT, IP_ADDRESS to IP, SOCKET_ADDRESS to ADDRESS
Cancellation of .connect and .accept
Closed by [6643d5]
merge sf00166-socket-timeout
close sf00166-socket-timeout
update changelog
add Japanese translation of kinkdoc of Tcp.close and Tcp.close_unless_connected
add Japanese translation of Tcp.connect
fix a test
fix a test
test real async close
add Tcp.close_unless_connected
add tcp connection status for async closure
remove handling of unexpected non-blocking mode
add C.on_closed to Tcp.connect
refactor TCP
open selector with tcp connecting socket
refactor Tcp.close
improve STOPWATCH
refactor TCP and tests
add Japanese translation of kinkdoc of TCP_SERVER
check whether the socket is listening explicitly
fix a test
add cancel operation to TCP_SERVER
make server socket non-blocking
make Serv.accept check whether the listening socket is bound
refacor TCP_SERVER
have Selector in TCP_SERVER
use _CLOSE.close_resources in TCP_SERVER
add _CLOSE.close_resources
add _CLOSE.close_maybe_exception
use _CLOSE.close_on_error
add _CLOSE.close_on_error
refactor TCP_SERVER.open
Rename IP_ADDRESS_PORT to IP_PORT, IP_ADDRESS to IP, SOCKET_ADDRESS to ADDRESS
Rename IP_ADDRESS_PORT to IP_PORT, IP_ADDRESS to IP