Fix some examples

Author: paf31

examples/adt.purs

@@ -1,23 +1,7 @@
 module Main where
 
-import Prelude ((++))
+data Person = Person String Number 
 
-class Show a where
-  show :: a -> String
-
-instance showString :: Show String where
-  show s = s
-
-instance showBoolean :: Show Boolean where
-  show true = "true"
-  show false = "false"
-
-instance showArray :: (Show a) => Show [a] where
-  show arr = "[" ++ go arr ++ "]"
-    where
-    go :: forall a. (Show a) => [a] -> String
-    go [] = ""
-    go [x] = show x
-    go (x:xs) = show x ++ ", " ++ go xs
-
-test = show [true, false]
+showPerson :: Person -> String
+showPerson (Person name age) =
+  name ++ ", aged " ++ show age

examples/ffi.purs

@@ -1,8 +1,15 @@
 module Main where
 
-foreign import data IO :: * -> *
+import Control.Monad.Eff
 
-foreign import log "function log(s) { return function() { console.log(s) }; }" :: String -> IO { }
+foreign import data Random :: !
 
-main = log "Hello World!"
+foreign import random 
+  "function random() { \
+  \  return function() { \
+  \    return Math.random(); \
+  \  }; \
+  \}" :: Eff (random :: Random) Number
+
+main = Debug.Trace.print <$> random
 

examples/tco.purs

@@ -2,8 +2,8 @@ module Main where
 
 import Prelude
 
-factHelper prod 0 = prod
-factHelper prod n = factHelper (prod * n) (n - 1)
-
-fact = factHelper 1
+fact = go 1
+  where
+  go prod 0 = prod
+  go prod n = go (prod * n) (n - 1)