From f7047f1c3966bd1727c1a3729295def3c9913ab8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 29 Jul 2017 11:18:12 -0400
Subject: - Added Functor, Applicative and Monad implementations for Lazy.

---
 stdlib/test/test/lux/data/lazy.lux | 40 +++++++++++++++++++++++++++++++++-----
 1 file changed, 35 insertions(+), 5 deletions(-)

(limited to 'stdlib/test')

diff --git a/stdlib/test/test/lux/data/lazy.lux b/stdlib/test/test/lux/data/lazy.lux
index bf395bcfa..926157a07 100644
--- a/stdlib/test/test/lux/data/lazy.lux
+++ b/stdlib/test/test/lux/data/lazy.lux
@@ -1,14 +1,14 @@
 (;module:
   lux
   (lux [io]
-       (control ["M" monad #+ do Monad])
+       (control [monad #+ do Monad])
        (data ["&" lazy])
-       ["R" math/random])
+       ["r" math/random])
   lux/test)
 
 (context: "Lazy."
-  [left R;nat
-   right R;nat
+  [left r;nat
+   right r;nat
    #let [lazy (&;freeze (n.* left right))
          expected (n.* left right)]]
   ($_ seq
@@ -17,7 +17,37 @@
                  (&;thaw lazy)))
       (test "Lazy values only evaluate once."
             (and (not (is expected
-                          (: Nat (&;thaw lazy))))
+                          (&;thaw lazy)))
                  (is (&;thaw lazy)
                      (&;thaw lazy))))
       ))
+
+(context: "Functor, Applicative, Monad."
+  [sample r;nat]
+  ($_ seq
+      (test "Functor map."
+            (|> (&;freeze sample)
+                (:: &;Functor<Lazy> map n.inc)
+                &;thaw
+                (n.= (n.inc sample))))
+
+      (test "Applicative wrap."
+            (|> sample
+                (:: &;Applicative<Lazy> wrap)
+                &;thaw
+                (n.= sample)))
+      
+      (test "Applicative apply."
+            (let [(^open "&/") &;Applicative<Lazy>]
+              (|> (&/apply (&/wrap n.inc) (&/wrap sample))
+                  &;thaw
+                  (n.= (n.inc sample)))))
+      
+      (test "Monad."
+            (|> (do &;Monad<Lazy>
+                  [f (wrap n.inc)
+                   a (wrap sample)]
+                  (wrap (f a)))
+                &;thaw
+                (n.= (n.inc sample))))
+      ))
-- 
cgit v1.2.3