Added output to examples.

Author: joneshf

examples/At.purs

@@ -12,18 +12,18 @@ module Examples.Control.Lens.At where
 
   main = do
     print "Starting with:"
-    print foo
+    print foo -- fromList [Tuple ("foo") (2),Tuple ("bar") (3)]
     print "Removing `foo`"
     -- This doesn't compile, as it can't infer the `Maybe Number`.
     -- print (foo # at "foo" .~ Nothing)
-    print (foo # at "foo" .~ (Nothing :: Maybe Number))
+    print (foo # at "foo" .~ (Nothing :: Maybe Number)) -- fromList [Tuple ("bar") (3)]
     print "Inserting `baz`"
-    print (foo # at "baz" ?~ 5)
+    print (foo # at "baz" ?~ 5) -- fromList [Tuple ("foo") (2),Tuple ("bar") (3),Tuple ("baz") (5)]
     print "Inserting `baz` and incrementing"
     -- Neither of these compile.
     -- This one has an `occurs check` failure.
-    -- print (foo # at "baz" ?~ 5 # ix "baz" +~ 12)
+    -- print (foo # at "baz" ?~ 5 # ix "baz" +~ 12) -- fromList [Tuple ("foo") (2),Tuple ("bar") (3),Tuple ("baz") (17)]
     -- This one doesn't infer the type variable for `MonadState` properly.
     -- print (foo #~ do
     --   at "baz" ?= 5
-    --   ix "baz" += 12)
+    --   ix "baz" += 12) -- fromList [Tuple ("foo") (2),Tuple ("bar") (3),Tuple ("baz") (17)]

examples/Each.purs

@@ -1,4 +1,4 @@
-module Example.Control.Lens.Each where
+module Examples.Control.Lens.Each where
 
   import Control.Lens
   -- Have to import typeclass because re-exporting doesn't work yet.
@@ -27,7 +27,7 @@ module Example.Control.Lens.Each where
   baz = RGBA 0 128 255 1
 
   main = do
-    print foo
-    print bar
+    print foo -- [3,4,5]
+    print bar -- Tuple (2) (10)
     -- Another case of broken inference...
-    print ((baz # each +~ 10) :: RGBA)
+    print ((baz # each +~ 10) :: RGBA) -- RGBA (10) (138) (265) (11)

examples/Extend.purs

@@ -1,4 +1,4 @@
-module Control.Lens.Examples.Extend where
+module Examples.Control.Lens.Extend where
 
   import Control.Lens ((.~), (^.), (<#>), lens, Lens(), Setter())
 
@@ -15,7 +15,7 @@ module Control.Lens.Examples.Extend where
 
   main = do
     let bar = {bar: 3}
-    trace ((bar # fooExt.~"one")^.foo)
-    trace ((bar # fooExt.~"two").foo)
+    trace ((bar # fooExt.~"one")^.foo) -- "one"
+    trace ((bar # fooExt.~"two").foo) -- "two"
     -- This will not compile.
     -- trace $ {bar: 3}^.fooExt

examples/nested.purs examples/Nested.pursexamples/nested.purs renamed to examples/Nested.purs

@@ -1,4 +1,4 @@
-module Examples.Nested where
+module Examples.Control.Lens.Nested where
 
   import Control.Lens
 
@@ -28,15 +28,15 @@ module Examples.Nested where
 
   foreign import showFooImpl
     "function showFooImpl(foo) {\
-    \  return JSON.stringify(foo, null, 4);\
+    \  return JSON.stringify(foo);\
     \}" :: forall a. a -> String
 
   main = do
-    trace $ showFooImpl obj
-    trace $ showFooImpl $ baz.~10 $ obj
-    trace $ showFooImpl $ baz.~"wat" $ obj
-    trace $ showFooImpl $ foo'..bar.~10 $ obj
-    trace $ showFooImpl $ fooBar+~40 $ obj
-    trace $ showFooImpl $ obj^.fooBar
-    trace $ showFooImpl (obj#fooBar%~succ)
-    trace $ showFooImpl (over (fooBar) succ obj)
+    trace $ showFooImpl obj -- {"foo":{"bar":0},"baz":true}
+    trace $ showFooImpl $ baz.~10 $ obj -- {"foo":{"bar":0},"baz":10}
+    trace $ showFooImpl $ baz.~"wat" $ obj -- {"foo":{"bar":0},"baz":"wat"}
+    trace $ showFooImpl $ foo'..bar.~10 $ obj -- {"foo":{"bar":10},"baz":true}
+    trace $ showFooImpl $ fooBar+~40 $ obj -- {"foo":{"bar":40},"baz":true}
+    trace $ showFooImpl $ obj^.fooBar -- 0
+    trace $ showFooImpl (obj#fooBar%~succ) -- {"foo":{"bar":1},"baz":true}
+    trace $ showFooImpl (over (fooBar) succ obj) -- {"foo":{"bar":1},"baz":true}

examples/Tuples.purs

@@ -1,4 +1,4 @@
-module Examples.Tuples where
+module Examples.Control.Lens.Tuples where
 
   import Control.Lens
 
@@ -7,7 +7,7 @@ module Examples.Tuples where
   succ x = x + 1
 
   main = do
-    print $ ("hello" ~ "world")^._2
-    print $ (_2.~42) ("hello" ~ "world")
-    print $ ("hello" ~ "world" ~ "!!!")^._2.._1
-    print $ over _1 succ (1 ~ 2)
+    print $ ("hello" ~ "world")^._2 -- "world"
+    print $ (_2.~42) ("hello" ~ "world") -- Tuple ("hello") (42)
+    print $ ("hello" ~ "world" ~ "!!!")^._2.._1 -- "world"
+    print $ over _1 succ (1 ~ 2) -- Tuple (2) (2)