ck/io▲toc

Input/Output

A sample code using this module:

import ck/io

fun main()
  val a = read(int)
  val (b, c) = read(int, int)
  val s = read(string)
  println(a + b + c, s)
import ck/iock/io

fun main()
  val a = read(int)
  val (b, c) = read(int, int)
  val s = read(string)
  println(a + b + c, s)

.

fun char/print( c : charstd/core/types/char: V ) : consolestd/core/console/console: X ()

Print a character. Unlike the default print function, this function does not insert quotes.

fun char/println( c : charstd/core/types/char: V ) : consolestd/core/console/console: X ()

Print a character with a newline. Unlike the default println function, this function does not insert quotes.

fun default/double/print( a : a, b : b, ?a/print : (a) -> consolestd/core/console/console: X (), ?b/print : (b) -> consolestd/core/console/console: X () ) : consolestd/core/console/console: X ()
fun default/double/println( a : a, b : b, ?a/print : (a) -> consolestd/core/console/console: X (), ?b/print : (b) -> consolestd/core/console/console: X () ) : consolestd/core/console/console: X ()
fun default/quadruple/print( a : a, b : b, c : c, d : d, ?a/print : (a) -> consolestd/core/console/console: X (), ?b/print : (b) -> consolestd/core/console/console: X (), ?c/print : (c) -> consolestd/core/console/console: X (), ?d/print : (d) -> consolestd/core/console/console: X () ) : consolestd/core/console/console: X ()
fun default/quadruple/println( a : a, b : b, c : c, d : d, ?a/print : (a) -> consolestd/core/console/console: X (), ?b/print : (b) -> consolestd/core/console/console: X (), ?c/print : (c) -> consolestd/core/console/console: X (), ?d/print : (d) -> consolestd/core/console/console: X () ) : consolestd/core/console/console: X ()
fun default/quintuple/print( a : a, b : b, c : c, d : d, e : a1, ?a/print : (a) -> consolestd/core/console/console: X (), ?b/print : (b) -> consolestd/core/console/console: X (), ?c/print : (c) -> consolestd/core/console/console: X (), ?d/print : (d) -> consolestd/core/console/console: X (), ?e/print : (a1) -> consolestd/core/console/console: X () ) : consolestd/core/console/console: X ()
fun default/quintuple/println( a : a, b : b, c : c, d : d, e : a1, ?a/print : (a) -> consolestd/core/console/console: X (), ?b/print : (b) -> consolestd/core/console/console: X (), ?c/print : (c) -> consolestd/core/console/console: X (), ?d/print : (d) -> consolestd/core/console/console: X (), ?e/print : (a1) -> consolestd/core/console/console: X () ) : consolestd/core/console/console: X ()
fun default/triple/print( a : a, b : b, c : c, ?a/print : (a) -> consolestd/core/console/console: X (), ?b/print : (b) -> consolestd/core/console/console: X (), ?c/print : (c) -> consolestd/core/console/console: X () ) : consolestd/core/console/console: X ()
fun default/triple/println( a : a, b : b, c : c, ?a/print : (a) -> consolestd/core/console/console: X (), ?b/print : (b) -> consolestd/core/console/console: X (), ?c/print : (c) -> consolestd/core/console/console: X () ) : consolestd/core/console/console: X ()
fun list/print( l : liststd/core/types/list: V -> V<a>, sep : ? stringstd/core/types/string: V, ?print : (a) -> consolestd/core/console/console: X () ) : consolestd/core/console/console: X ()
fun list/println( l : liststd/core/types/list: V -> V<a>, sep : ? stringstd/core/types/string: V, ?print : (a) -> consolestd/core/console/console: X () ) : consolestd/core/console/console: X ()
fun single/read( parse : (s : stringstd/core/types/string: V) -> exnstd/core/exn/exn: (E, V) -> V a ) : <consolestd/core/console/console: X,exnstd/core/exn/exn: (E, V) -> V> a

Read a single value in a line.

fun tuple2/read( parse1 : (s : stringstd/core/types/string: V) -> exnstd/core/exn/exn: (E, V) -> V a, parse2 : (s : stringstd/core/types/string: V) -> exnstd/core/exn/exn: (E, V) -> V b ) : <consolestd/core/console/console: X,exnstd/core/exn/exn: (E, V) -> V> (a, b)

Read two values in a line. The values must be separated by a single space, and each value except the last must not contain spaces.

fun tuple3/read( parse1 : (s : stringstd/core/types/string: V) -> exnstd/core/exn/exn: (E, V) -> V a, parse2 : (s : stringstd/core/types/string: V) -> exnstd/core/exn/exn: (E, V) -> V b, parse3 : (s : stringstd/core/types/string: V) -> exnstd/core/exn/exn: (E, V) -> V c ) : <consolestd/core/console/console: X,exnstd/core/exn/exn: (E, V) -> V> (a, b, c)

Read three values in a line. The values must be separated by a single space, and each value except the last must not contain spaces.

fun tuple4/read( parse1 : (s : stringstd/core/types/string: V) -> exnstd/core/exn/exn: (E, V) -> V a, parse2 : (s : stringstd/core/types/string: V) -> exnstd/core/exn/exn: (E, V) -> V b, parse3 : (s : stringstd/core/types/string: V) -> exnstd/core/exn/exn: (E, V) -> V c, parse4 : (s : stringstd/core/types/string: V) -> exnstd/core/exn/exn: (E, V) -> V d ) : <consolestd/core/console/console: X,exnstd/core/exn/exn: (E, V) -> V> (a, b, c, d)

Read four values in a line. The values must be separated by a single space, and each value except the last must not contain spaces.

fun tuple5/read( parse1 : (s : stringstd/core/types/string: V) -> exnstd/core/exn/exn: (E, V) -> V a, parse2 : (s : stringstd/core/types/string: V) -> exnstd/core/exn/exn: (E, V) -> V b, parse3 : (s : stringstd/core/types/string: V) -> exnstd/core/exn/exn: (E, V) -> V c, parse4 : (s : stringstd/core/types/string: V) -> exnstd/core/exn/exn: (E, V) -> V d, parse5 : (s : stringstd/core/types/string: V) -> exnstd/core/exn/exn: (E, V) -> V a1 ) : <consolestd/core/console/console: X,exnstd/core/exn/exn: (E, V) -> V> (a, b, c, d, a1)

Read five values in a line. The values must be separated by a single space, and each value except the last must not contain spaces.

fun unsafe/read-float64(): consolestd/core/console/console: X float64std/core/types/float64: V

Unsafe: read float64 from the standard input This function is necessary for strict time limits.

fun unsafe/read-int64(): consolestd/core/console/console: X int64std/core/types/int64: V

Unsafe: read int64 from the standard input. This function is necessary for strict time limits.

fun vector/print( v : vectorstd/core/types/vector: V -> V<a>, sep : ? stringstd/core/types/string: V, ?print : (a) -> consolestd/core/console/console: X () ) : consolestd/core/console/console: X ()
fun vector/println( v : vectorstd/core/types/vector: V -> V<a>, sep : ? stringstd/core/types/string: V, ?print : (a) -> consolestd/core/console/console: X () ) : consolestd/core/console/console: X ()
fun flush(): consolestd/core/console/console: X ()
fun read-stdin(): <exnstd/core/exn/exn: (E, V) -> V,fsysstd/core/fsys: X> stringstd/core/types/string: V
private import std/core/typesstd/core/types, 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/maybe2std/core/maybe2, std/core/eitherstd/core/either, std/core/tuplestd/core/tuple, std/core/lazystd/core/lazy, std/core/showstd/core/show, std/core/debugstd/core/debug, std/core/delayedstd/core/delayed, std/core/consolestd/core/console, std/corestd/core, std/num/int64std/num/int64, std/os/pathstd/os/path, std/os/filestd/os/file, std/os/readlinestd/os/readline