toc▲toc

std
core

Core functions.

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.

This is the main index of the standard Koka libraries.

See the Koka book for further information on the Koka language.

fun main(): consolestd/core/console/console: X ()
private import std/core/hndstd/core/hnd, std/core/exnstd/core/exn, std/core/boolstd/core/bool, std/core/orderstd/core/order, std/core/charstd/core/char, std/core/intstd/core/int, std/core/vectorstd/core/vector, std/core/stringstd/core/string, std/core/sslicestd/core/sslice, std/core/liststd/core/list, std/core/maybestd/core/maybe, std/core/eitherstd/core/either, std/core/tuplestd/core/tuple, std/core/showstd/core/show, std/core/debugstd/core/debug, std/core/delayedstd/core/delayed, std/core/consolestd/core/console, std/time/durationstd/time/duration, std/time/instantstd/time/instant, std/time/utcstd/time/utc, std/time/chronostd/time/chrono, std/time/timerstd/time/timer, std/time/datestd/time/date, std/time/calendarstd/time/calendar, std/time/calendarsstd/time/calendars, std/time/timestd/time/time, std/time/localestd/time/locale, std/time/formatstd/time/format, std/time/parsestd/time/parse