~toastal/klossi

~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