Main.purs

module Main where

import Prelude

import Control.Monad.Eff (Eff)
import Data.Foldable (fold)
import TryPureScript (DOM, p, render, text)

data Maybe a = Just a | Nothing

map :: forall a b. (a -> b) -> Maybe a -> Maybe b
map f n =
  case n of
   Just n -> Just (f n) 
   Nothing -> Nothing


toString x =
  case x of
    Just x -> "Just(" <> show x <> ")"
    Nothing -> "Nothing"

main :: Eff (dom :: DOM) Unit
main =
    render $ fold
      [ p (text $ toString $ Just 1),
       p (text $ toString $ map(\x -> x * x) $ Just 10)]