1 files changed, 93 insertions, 0 deletions
diff --git a/src/stdlib/types.h b/src/stdlib/types.h
new file mode 100644
index 00000000..c7b938a0
--- /dev/null
+++ b/src/stdlib/types.h
@@ -0,0 +1,93 @@
+#pragma once
+
+// Type information and methods for TypeInfos (i.e. runtime representations of types)
+
+#include <stdbool.h>
+#include <stdint.h>
+#include <stdio.h>
+
+#include "datatypes.h"
+
+typedef struct TypeInfo_s TypeInfo_t;
+
+typedef struct {
+    uint64_t (*hash)(const void*, const TypeInfo_t*);
+    int32_t (*compare)(const void*, const void*, const TypeInfo_t*);
+    bool (*equal)(const void*, const void*, const TypeInfo_t*);
+    Text_t (*as_text)(const void*, bool, const TypeInfo_t*);
+    bool (*is_none)(const void*, const TypeInfo_t*);
+    void (*serialize)(const void*, FILE*, Table_t*, const TypeInfo_t*);
+    void (*deserialize)(FILE*, void*, Array_t*, const TypeInfo_t*);
+} metamethods_t;
+
+typedef struct {
+    const char *name;
+    const TypeInfo_t *type;
+} NamedType_t;
+
+struct TypeInfo_s {
+    int64_t size, align;
+    metamethods_t metamethods;
+    struct { // Anonymous tagged union for convenience 
+        enum { OpaqueInfo, StructInfo, EnumInfo, PointerInfo, TextInfo, ArrayInfo, TableInfo, FunctionInfo,
+            OptionalInfo, MutexedDataInfo, TypeInfoInfo } tag;
+        union {
+            struct {} OpaqueInfo;
+            struct {
+                const char *sigil;
+                const TypeInfo_t *pointed;
+            } PointerInfo;
+            struct {
+                const char *lang;
+            } TextInfo;
+            struct {
+                const TypeInfo_t *item;
+            } ArrayInfo;
+            struct {
+                const TypeInfo_t *key, *value;
+            } TableInfo;
+            struct {
+                const char *type_str;
+            } FunctionInfo;
+            struct {
+                const char *type_str;
+            } TypeInfoInfo;
+            struct {
+                const TypeInfo_t *type;
+            } OptionalInfo, MutexedDataInfo;
+            struct {
+                const char *name;
+                int num_tags;
+                NamedType_t *tags;
+            } EnumInfo;
+            struct {
+                const char *name;
+                int num_fields;
+                bool is_secret:1, is_opaque:1;
+                NamedType_t *fields;
+            } StructInfo;
+        };
+    };
+};
+
+extern const TypeInfo_t Void$info;
+extern const TypeInfo_t Abort$info;
+#define Void_t void
+
+Text_t Type$as_text(const void *typeinfo, bool colorize, const TypeInfo_t *type);
+
+#define Type$info(typestr) &((TypeInfo_t){.size=sizeof(TypeInfo_t), .align=__alignof__(TypeInfo_t), \
+                             .tag=TypeInfoInfo, .TypeInfoInfo.type_str=typestr, \
+                             .metamethods={.serialize=cannot_serialize, .deserialize=cannot_deserialize, .as_text=Type$as_text}})
+
+#define DEFINE_OPTIONAL_TYPE(t, unpadded_size, name) \
+    typedef struct { \
+        union { \
+            t value; \
+            struct { \
+                char _padding[unpadded_size]; \
+                Bool_t is_none:1; \
+            }; \
+        }; \
+    } name
+// vim: ts=4 sw=0 et cino=L2,l1,(0,W4,m1,\:0