1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
use std
pkg sdl =
const INIT_VIDEO : uint32 = 32
extern const init : (flags : uint32 -> int)
extern const quit : (-> void)
type win = void#
const WIN_POS_UNSPEC : int = 536805376
const WIN_OPENGL : uint32 = 2
extern const mkwin : (title : byte#, x : int, y : int, w : int, h : int, flags : uint32 -> win)
extern const freewin : (win : win -> void)
type renderer = void#
const RENDERER_ACCEL : uint32 = 2
extern const mkrenderer : (win : win, index : int, flags: uint32 -> renderer)
extern const copy : (r : renderer, tex : texture -> int)
extern const present : (r : renderer -> void)
extern const freerenderer : (r : renderer -> void)
type texture = void#
const PIXFMT_RGB332 : uint32 = 336660481
const TEXACCESS_STREAM : int = 1
extern const mktexture : (r : renderer, fmt : uint32, access : int, w : int, h : int -> texture)
extern const update : (tex : texture, pixels : void#, pitch : int -> int)
extern const freetexture : (tex : texture -> void)
extern const delay : (ms : uint32 -> void)
;;
|
