~toastal/klossi
~toastal/klossi/lib/ncurses.sats
~toastal/klossi/lib/ncurses.sats
0 | // SPDX-FileCopyrightText: 2024 toastal <toastal@posteo.net> |
1 | // SPDX-License-Identifier: MPL-2.0 |
2 |
|
3 | (* curs_getch ****************************************************************) |
4 | fn getch : () -> int |
5 |
|
6 |
|
7 | (* curs_initscr **************************************************************) |
8 | absvtype window_vtype |
9 | vtypedef window = window_vtype |
10 | datavtype window = WINDOW of ptr |
11 | assume window_vtype = window |
12 |
|
13 | fn initscr : () -> window |
14 | fn endwin : window -> void |
15 |
|
16 |
|
17 | (* curs_inopts ***************************************************************) |
18 | fn cbreak : () -> void |
19 | fn nocbreak : () -> void |
20 | fn echo : () -> void |
21 | fn noecho : () -> void |
22 |
|
23 |
|
24 | (* curs_printw ***************************************************************) |
25 | fn printw : string -> void |
26 |
|
27 |
|
28 | (* curs_refresh **************************************************************) |
29 | fn refresh : () -> void |