std | |
core | |
types | Primitive types and functions. |
undiv | Unsafe primitives to dismiss divergence. |
unsafe | Unsafe primitives to dismiss effects. |
num | |
ddouble | 128-bit double-double floating point numbers. |
decimal | Arbitrary precision decimal numbers. |
float64 | 64-bit IEEE floating point numbers. |
int32 | 32-bit signed integers. |
int64 | 64-bit signed integers. |
random | Random numbers. |
os | |
dir | Directory operations. |
env | Access to the program environment and command line arguments. |
file | File operations. |
flags | Parsing of command line flags. |
path | File system paths. |
process | Run processes. |
readline | Read input from stdin. |
task | Experimental: Parallel tasks. |
text | |
parse | Parser combinators. |
regex | Regular expressions. |
unicode | Basic unicode support. |
time | Date and time functionality. |
astro | Time scales for astronomy (TT, TCG, TDB, and TCB). |
timestamp | Low level time spans and time stamps. |
See the Koka book for further information on the Koka language.
Core functions.