Compleately redid file structure.

1 files changed, 30 insertions, 0 deletions

diff --git a/monad/either.scm b/monad/either.scm
new file mode 100644
index 0000000..c597a60
--- /dev/null
+++ b/monad/either.scm
@@ -0,0 +1,30 @@
+;;; TODO UNFINISHED
+
+(define-module (data either)
+  #:use-module (oop goops)
+  #:use-module (ice-9 match))
+
+(define-class <either> ()
+  (slot #:init-keyword #:slot)
+  (dir #:init-keyword #:dir #:init-value 'left))
+
+(define (left val)
+  "Error values"
+  (make <either> #:slot val #:dir 'left))
+
+(define (right val)
+  "Good values"
+  (make <either> #:slot val #:dir 'right))
+
+(define-method (write (this <either>) port)
+  (format port "[~a ~s]"
+          (slot-ref this 'dir)
+          (slot-ref this 'slot)))
+
+(define-method (>>= (this <either>)
+                    (proc <procedure>))
+  (case (slot-ref this 'dir)
+    ((left) this)
+    ((right) (match this (($ <either> slot) (proc slot))))))
+
+(define return-either right)