1 files changed, 69 insertions, 0 deletions
diff --git a/src/lux/macros.clj b/src/lux/macros.clj
new file mode 100644
index 000000000..4d255a13c
--- /dev/null
+++ b/src/lux/macros.clj
@@ -0,0 +1,69 @@
+(ns lux.macros
+  (:require [lux.parser :as &parser]))
+
+;; [Utils]
+(defn ^:private ->lux+* [->lux loader xs]
+  (reduce (fn [tail x]
+            (doto (.newInstance (.loadClass loader "lux.Variant2"))
+              (-> .-tag (set! "Cons"))
+              (-> .-_1 (set! (->lux loader x)))
+              (-> .-_2 (set! tail))))
+          (doto (.newInstance (.loadClass loader "lux.Variant0"))
+            (-> .-tag (set! "Nil")))
+          (reverse xs)))
+
+(defn ^:private ->lux-one [loader tag value]
+  (doto (.newInstance (.loadClass loader "lux.Variant1"))
+    (-> .-tag (set! tag))
+    (-> .-_1  (set! value))))
+
+(defn ^:private ->lux-one [->lux loader tag values]
+  (doto (.newInstance (.loadClass loader "lux.Variant1"))
+    (-> .-tag (set! tag))
+    (-> .-_1  (set! (->lux+* ->lux loader values)))))
+
+(defn ^:private ->lux [loader x]
+  (match x
+    [::&parser/Bool ?bool]
+    (->lux-one loader "Bool" ?bool)
+    [::&parser/Int ?int]
+    (->lux-one loader "Int" ?bool)
+    [::&parser/Real ?real]
+    (->lux-one loader "Real" ?bool)
+    [::&parser/Char ?elem]
+    (->lux-one loader "Char" ?bool)
+    [::&parser/Text ?text]
+    (->lux-one loader "Text" ?bool)
+    [::&parser/Tag ?tag]
+    (->lux-one loader "Tag" ?bool)
+    [::&parser/Ident ?ident]
+    (->lux-one loader "Ident" ?bool)
+    [::&parser/Tuple ?elems]
+    (->lux-many ->lux loader "Tuple" ?elems)
+    [::&parser/Form ?elems]
+    (->lux-many ->lux loader "Form" ?elems)
+    ))
+
+(defn ^:private ->clojure+* [->clojure xs]
+  (case (.-tag xs)
+    "Nil"  (list)
+    "Cons" (cons (->clojure (.-_1 xs))
+                 (->clojure+* ->clojure (.-_2 xs)))
+    ))
+
+(defn ^:private ->clojure [x]
+  (case (.-tag x)
+    "Bool"  [::&parser/Bool  (.-_1 x)]
+    "Int"   [::&parser/Int   (.-_1 x)]
+    "Real"  [::&parser/Real  (.-_1 x)]
+    "Char"  [::&parser/Char  (.-_1 x)]
+    "Text"  [::&parser/Text  (.-_1 x)]
+    "Tag"   [::&parser/Tag   (.-_1 x)]
+    "Ident" [::&parser/Ident (.-_1 x)]
+    "Tuple" [::&parser/Tuple (->clojure+* ->clojure (.-_1 x))]
+    "Form"  [::&parser/Form  (->clojure+* ->clojure (.-_1 x))]))
+
+;; [Resources]
+(def ->lux+ (partial ->lux+* ->lux))
+
+(def ->clojure+ (partial ->clojure+* ->clojure))