std:term リファレンス

@import 'std:term' で取得する端末制御モジュール。raw mode の切り替え・キー入力の読み取り・端末サイズの取得を提供する。

peek_key

peek_key()
peek_key: { Result(Int) }

先読みバッファの先頭 1 バイトを消費せず返す (無ければ empty)。

>>> term.peek_key()
Err({ kind="empty", message="term.peek_key: no buffered input" |})

raw_mode(block)
raw_mode: { { Any } | Result(Any) }

端末を raw mode にして block を実行し、終了時に必ず元へ復元する (同期)。

>>> term.raw_mode({| term.read_key(1000) })

read_key(timeout_ms)
read_key: { Int | Future(Result(Int)) }

標準入力から 1 バイト読む (timeout_ms 省略・0 でブロック)。

>>> key := term.read_key(1000)
>>> print key

size()
size: { Result({ rows, cols |}) }

端末の行数・列数を返す (同期)。

>>> dims := term.size()!
>>> print dims