ck/io ▲toc

effect stream
fun stream
fun stream
fun parse-ints
fun println
fun read-ints

fun read-stdin
fun read-until
fun sint
fun skip-until
fun skip-whitespaces
fun sstring

Input/Output

A sample code of stream:

import ck/io

fun main()
  read-stdin().stream
    val a = sint().unjust
    val b = sint().unjust
    val c = sint().unjust
    val s = sstring()
    (a + b + c).print
    " ".print
    s.println
import ck/io

fun main()
  read-stdinck/io/read-stdin: () -> <exn,fsys> string().stream
    val a = sintck/io/sint: () -> <div,stream> maybe<int>().unjuststd/core/unjust: forall<a> (m : maybe<a>) -> exn a
    val b = sintck/io/sint: () -> <div,stream> maybe<int>().unjuststd/core/unjust: forall<a> (m : maybe<a>) -> exn a
    val c = sintck/io/sint: () -> <div,stream> maybe<int>().unjuststd/core/unjust: forall<a> (m : maybe<a>) -> exn a
    val s = sstringck/io/sstring: () -> stream string()
    (a + b + c).print
    " ".print
    s.println

Reasonably fast stream.

Parse integers separated by whitespaces.

Read integers from standard input. Warning: if a line to be read contains more than 1,022 characters, this function does not work properly. Use read-stdinck/io/read-stdin: () -> <exn,fsys> string and parse-intsck/io/parse-ints: (s : string) -> exn list<int> instead.

call read-untilck/io/read-until: (p : (char) -> bool) -> stream string operation of the streamck/io/stream: HX1 effect.

Read an integer from a stream.

call skip-untilck/io/skip-until: (p : (char) -> bool) -> stream () operation of the streamck/io/stream: HX1 effect.

Read a string from a stream. This function first skips whitespaces, and then reads characters until reaching whitespace.

ck/io▲toc

Input/Output

ck/io ▲toc