| 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.