From ef8fd8851a883eefd7bd55ffc31d6e00f67d50a8 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Tue, 9 Nov 2021 09:03:54 -0800 Subject: [PATCH] . --- vocabulary.md | 18 ++++++++++-------- 1 file changed, 10 insertions(+), 8 deletions(-) diff --git a/vocabulary.md b/vocabulary.md index 9047a2fd..e0beb090 100644 --- a/vocabulary.md +++ b/vocabulary.md @@ -43,9 +43,9 @@ how they work under the hood. - Code-points: integer representing a Unicode character. Must be representable in 32 bits as utf-8; largest supported value is 0x10000. -Mu will let you convert between bytes, code-point-utf8s and code-points using `copy`, -and trust that you know what you're doing. Be aware that doing so is only -correct for English/Latin characters, digits and symbols. +Mu will let you convert between `byte`, `code-point-utf8` and `code-point` +using `copy`, and trust that you know what you're doing. Be aware that doing +so is only correct for English/Latin characters, digits and symbols (ASCII). ### Functions @@ -120,8 +120,8 @@ signatures.mu for their full type signatures. - `append-byte-hex`: writes textual representation of lowest byte in hex to a stream of bytes. Does not write a '0x' prefix. - `read-byte`: reads a single byte from a stream of bytes. -- `read-code-point-utf8`: reads a single unicode code-point-utf8 (up to 4 bytes) from a - stream of bytes. +- `read-code-point-utf8`: reads a single unicode code-point-utf8 (up to 4 + bytes) from a stream of bytes. #### reading/writing hex representations of integers @@ -197,7 +197,8 @@ automatically read and update the cursor position in various ways. These primitives always silently fail if the desired movement would go out of screen bounds. - `move-cursor-to-left-margin-of-next-line` -- `move-cursor-rightward-and-downward`: move cursor one code-point-utf8 to the right +- `move-cursor-rightward-and-downward`: move cursor one code-point-utf8 to the + right. - `draw-text-rightward-from-cursor`: truncate at some right margin. - `draw-text-rightward-from-cursor-over-full-screen`: truncate at right edge @@ -254,8 +255,9 @@ Assertions for tests: #### events `read-key` reads a single key from the keyboard and returns it if it exists. -Returns 0 if no key has been pressed. Currently only support single-byte keys, -which are identical to their code-point and code-point-utf8 representations. +Returns 0 if no key has been pressed. Currently only supports single-byte +(ASCII) keys, which are identical to their code-point and code-point-utf8 +representations. `read-line-from-keyboard` reads keys from keyboard, echoes them to screen (with given fg/bg colors) and accumulates them in a stream until it encounters