From d2a4aac2226b5cca59be236d3228fe5e5b17b8de Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 14 Sep 2015 23:37:10 -0400
Subject: - Renamed "this" to "_jvm_this". - Movied lux/data/io to
 lux/codata/io.

---
 source/lux/codata/io.lux | 42 ++++++++++++++++++++++++++++++++++++++++++
 source/lux/data/io.lux   | 42 ------------------------------------------
 source/lux/host/io.lux   |  4 ++--
 3 files changed, 44 insertions(+), 44 deletions(-)
 create mode 100644 source/lux/codata/io.lux
 delete mode 100644 source/lux/data/io.lux

(limited to 'source')

diff --git a/source/lux/codata/io.lux b/source/lux/codata/io.lux
new file mode 100644
index 000000000..195aef616
--- /dev/null
+++ b/source/lux/codata/io.lux
@@ -0,0 +1,42 @@
+##  Copyright (c) Eduardo Julian. All rights reserved.
+##  This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
+##  If a copy of the MPL was not distributed with this file,
+##  You can obtain one at http://mozilla.org/MPL/2.0/.
+
+(;import lux
+         (lux (control (functor #as F)
+                       (monad #as M))
+              (data list)))
+
+## [Types]
+(deftype #export (IO a)
+  (-> (,) a))
+
+## [Syntax]
+(defmacro #export (@io tokens state)
+  (case tokens
+    (\ (@list value))
+    (let [blank (: AST [["" -1 -1] (#;SymbolS ["" ""])])]
+      (#;Right [state (@list (` (;_lux_lambda (~ blank) (~ blank) (~ value))))]))
+
+    _
+    (#;Left "Wrong syntax for @io")))
+
+## [Structures]
+(defstruct #export IO/Functor (F;Functor IO)
+  (def (map f ma)
+    (@io (f (ma [])))))
+
+(defstruct #export IO/Monad (M;Monad IO)
+  (def _functor IO/Functor)
+  
+  (def (wrap x)
+    (@io x))
+
+  (def (join mma)
+    (mma [])))
+
+## [Functions]
+(def #export (run-io io)
+  (All [a] (-> (IO a) a))
+  (io []))
diff --git a/source/lux/data/io.lux b/source/lux/data/io.lux
deleted file mode 100644
index 973d37e38..000000000
--- a/source/lux/data/io.lux
+++ /dev/null
@@ -1,42 +0,0 @@
-##  Copyright (c) Eduardo Julian. All rights reserved.
-##  This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
-##  If a copy of the MPL was not distributed with this file,
-##  You can obtain one at http://mozilla.org/MPL/2.0/.
-
-(;import lux
-         (lux (control (functor #as F)
-                       (monad #as M)))
-         (.. list))
-
-## [Types]
-(deftype #export (IO a)
-  (-> (,) a))
-
-## [Syntax]
-(defmacro #export (@io tokens state)
-  (case tokens
-    (\ (@list value))
-    (let [blank (: AST [["" -1 -1] (#;SymbolS ["" ""])])]
-      (#;Right [state (@list (` (;_lux_lambda (~ blank) (~ blank) (~ value))))]))
-
-    _
-    (#;Left "Wrong syntax for @io")))
-
-## [Structures]
-(defstruct #export IO/Functor (F;Functor IO)
-  (def (map f ma)
-    (@io (f (ma [])))))
-
-(defstruct #export IO/Monad (M;Monad IO)
-  (def _functor IO/Functor)
-  
-  (def (wrap x)
-    (@io x))
-
-  (def (join mma)
-    (mma [])))
-
-## [Functions]
-(def #export (run-io io)
-  (All [a] (-> (IO a) a))
-  (io []))
diff --git a/source/lux/host/io.lux b/source/lux/host/io.lux
index 99e15722d..220f089a2 100644
--- a/source/lux/host/io.lux
+++ b/source/lux/host/io.lux
@@ -4,8 +4,8 @@
 ##  You can obtain one at http://mozilla.org/MPL/2.0/.
 
 (;import lux
-         (lux (data io
-                    (list #refer #all #open ("" List/Fold)))
+         (lux (data (list #refer #all #open ("" List/Fold)))
+              (codata io)
               (meta ast
                     syntax
                     lux)
-- 
cgit v1.2.3