forked from ParkerTewell/Typed-Iniquity
-
Notifications
You must be signed in to change notification settings - Fork 0
/
values.h
75 lines (60 loc) · 1.27 KB
/
values.h
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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
#ifndef VALUES_H
#define VALUES_H
#include <stdint.h>
/* any abstract value */
typedef int64_t val_t;
typedef enum type_t {
T_INVALID = -1,
/* immediates */
T_INT,
T_BOOL,
T_CHAR,
T_EOF,
T_VOID,
T_EMPTY,
/* pointers */
T_BOX,
T_CONS,
T_VECT,
T_STR,
} type_t;
typedef uint32_t val_char_t;
typedef struct val_box_t {
val_t val;
} val_box_t;
typedef struct val_cons_t {
val_t snd;
val_t fst;
} val_cons_t;
typedef struct val_vect_t {
uint64_t len;
val_t elems[];
} val_vect_t;
typedef struct val_str_t {
uint64_t len;
val_char_t codepoints[];
} val_str_t;
/* return the type of x */
type_t val_typeof(val_t x);
/**
* Wrap/unwrap values
*
* The behavior of unwrap functions are undefined on type mismatch.
*/
int64_t val_unwrap_int(val_t x);
val_t val_wrap_int(int64_t i);
int val_unwrap_bool(val_t x);
val_t val_wrap_bool(int b);
val_char_t val_unwrap_char(val_t x);
val_t val_wrap_char(val_char_t b);
val_t val_wrap_eof();
val_t val_wrap_void();
val_box_t* val_unwrap_box(val_t x);
val_t val_wrap_box(val_box_t* b);
val_cons_t* val_unwrap_cons(val_t x);
val_t val_wrap_cons(val_cons_t* c);
val_vect_t* val_unwrap_vect(val_t x);
val_t val_wrap_vect(val_vect_t* c);
val_str_t* val_unwrap_str(val_t x);
val_t val_wrap_str(val_str_t* c);
#endif