5. Builtin library API

This chapter describes API of builtin modules and value types.

Value types are described in the page of its companion module. For example, methods of str values are described in the page of kink/STR module.

• 5.1. type `val`: the supertype of all other types
• 5.2. kink/ARGV_PARSER
• 5.3. kink/BIN
• 5.4. kink/BINDING
• 5.5. kink/BOOL
• 5.6. kink/COMPARE
• 5.7. kink/CONFIG_FUN_RUNNER
• 5.8. kink/CONTROL
• 5.9. kink/DYN
• 5.10. kink/ENUM_GROUP
• 5.11. kink/EXCEPTION
• 5.12. kink/FUN
• 5.13. kink/KONT_TAG
• 5.14. kink/LOCALE
• 5.15. kink/LOCATION
• 5.16. kink/MOD
• 5.17. kink/NUM
• 5.18. kink/NUM_DIV
• 5.19. kink/PROCESS
• 5.20. kink/PROGRAM
• 5.21. kink/RUNTIME
• 5.22. kink/STOPWATCH
• 5.23. kink/STR
• 5.24. kink/TRACE
• 5.25. kink/VAL
• 5.26. kink/VARREF
• 5.27. kink/VEC
• 5.28. kink/charset/CHARSET
• 5.29. kink/container/FLAT_MAP
• 5.30. kink/container/FLAT_SET
• 5.31. kink/container/HASH_MAP
• 5.32. kink/container/HASH_SET
• 5.33. kink/container/MAP
• 5.34. kink/container/ORDERED_MAP
• 5.35. kink/container/ORDERED_SET
• 5.36. kink/container/SET
• 5.37. kink/container/TREE_MAP
• 5.38. kink/container/TREE_SET
• 5.39. kink/datetime/DATETIME
• 5.40. kink/datetime/DAY_OF_WEEK
• 5.41. kink/datetime/INSTANT
• 5.42. kink/datetime/OFFSET
• 5.43. kink/datetime/OFFSET_DATETIME
• 5.44. kink/datetime/TIMEZONE
• 5.45. kink/doc/DOC_PARSE_TOOL
• 5.46. kink/doc/model/BLOCK
• 5.47. kink/doc/model/BLOCK_TYPE
• 5.48. kink/doc/model/SECTION
• 5.49. kink/doc/render/html/HTML_RENDER_TOOL
• 5.50. kink/doc/render/sphinx/SPHINX_RENDER_TOOL
• 5.51. kink/hash/BIN_HASHER
• 5.52. kink/hash/SHA256
• 5.53. kink/io/BIN_INPUT
• 5.54. kink/io/BIN_OUTPUT
• 5.55. kink/io/BUFFER_INPUT
• 5.56. kink/io/BUFFER_OUTPUT
• 5.57. kink/io/FILE
• 5.58. kink/io/INPUT
• 5.59. kink/io/INPUT_SCANNER
• 5.60. kink/io/OUTPUT
• 5.61. kink/io/OUTPUT_PRINTER
• 5.62. kink/io/PRINTER
• 5.63. kink/io/SCANNER
• 5.64. kink/io/STR_PRINTER
• 5.65. kink/io/STR_SCANNER
• 5.66. kink/iter/IFUN
• 5.67. kink/iter/ITER
• 5.68. kink/javahost/JAVA
• 5.69. kink/javahost/JAVA_CHANNEL_INPUT
• 5.70. kink/javahost/JAVA_CHANNEL_OUTPUT
• 5.71. kink/javahost/JAVA_PROXY
• 5.72. kink/javahost/JAVA_STREAM_INPUT
• 5.73. kink/javahost/JAVA_STREAM_OUTPUT
• 5.74. kink/javahost/JAVA_THROW
• 5.75. kink/json/JSON
• 5.76. kink/json/JSON_VAL
• 5.77. kink/param/OPT_PARAM
• 5.78. kink/param/PLAIN_PARAM
• 5.79. kink/param/REST_PARAM
• 5.80. kink/random/CSRNG
• 5.81. kink/random/PRNG
• 5.82. kink/random/RNG
• 5.83. kink/regex/GROUP
• 5.84. kink/regex/MATCH
• 5.85. kink/regex/REGEX
• 5.86. kink/repl/REPL
• 5.87. kink/socket/DATAGRAM
• 5.88. kink/socket/IP_ADDRESS
• 5.89. kink/socket/IP_ADDRESS_PORT
• 5.90. kink/socket/PROTOCOL_FAMILY
• 5.91. kink/socket/SELECTOR
• 5.92. kink/socket/SOCKET_ADDRESS
• 5.93. kink/socket/TCP_CONNECTION
• 5.94. kink/socket/TCP_SERVER
• 5.95. kink/socket/UDP_SOCKET
• 5.96. kink/socket/UNIX_DOMAIN_SOCKET_PATH
• 5.97. kink/test/COLLECT_FROM_FILE
• 5.98. kink/test/TEST
• 5.99. kink/test/TEST_TOOL
• 5.100. kink/thread/ATOMIC
• 5.101. kink/thread/COUNT_DOWN_LATCH
• 5.102. kink/thread/MUTEX
• 5.103. kink/thread/THREAD