diff options
| author | tslil <tslil@posteo.de> | 2025-10-22 21:02:01 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2025-10-22 21:52:43 +0100 |
| commit | 20674aa65148558fb849eb1bb9c8a5e4a0cf483d (patch) | |
| tree | d2b54ae8b20ca0a7041b9d29f19f50944f47ed35 /rprt.md | |
| parent | 9f3e21628231f3fa91ab8ff45872a76e7e11fcc4 (diff) | |
Implement two basic selection functions
Diffstat (limited to 'rprt.md')
| -rw-r--r-- | rprt.md | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -167,7 +167,7 @@ There are ten core selection functions in RPRT. All ten have nullary and monadic | Function | Nullary semantics | Output rank | |------------|------------------------------------------------------------|-------------| -| `e` | Empty selection | 2 | +| `e` | Empty selection | 3 | | `$` | End of buffer | 0 | | `#n` (n∈ℕ) | Character n in buffer | 0 | | `n` (n∈ℕ) | Line n in buffer | 1 | @@ -181,7 +181,7 @@ In the monadic case, functions have distinct rank 0 and rank 1 semantics. For ra | Function | Semantics for rank 0 `α` | Semantics for rank 1 `α` | |-----------|----------------------------------|------------------------------------------| -| `α e` | Empty selection (rank 2) | Empty selection (rank 2) | +| `α e` | Empty selection (rank 3) | Empty selection (rank 3) | | `α $` | `α` | End position of `α` | | `α #n` | `α` | Char n within `α` | | `α n` | `α` | Line n within `α` | |