test.icl

   1 module test
   2
   3 import iTasks
   4
   5 Start w = doTasks t w
   6
   7 t:==palindrome
   8
   9 palindrome :: Task (Maybe String)
  10 palindrome
  11         =       enterInformation "Enter a palindrome" []
  12         >>*     [ OnAction  ActionOk     (ifValue palindrome (\v -> return (Just v)))
  13             , OnAction  ActionCancel (always (return Nothing))
  14             ]
  15     >>=         viewInformation "Result is:" []
  16 where
  17         palindrome s = lc == reverse lc
  18         where
  19                 lc :: [Char]
  20                 lc = fromString s
  21
  22 //t :: Task (Int, Int)
  23 //t = enterInformation "Left" [] -&&- enterInformation "Right" []
  24 //      >>= viewInformation "Result" []
  25
  26 //import Data.GenDefault
  27 //
  28 //:: T =
  29 //      { a0 :: Int
  30 //      , a1 :: Int
  31 //      , a2 :: Int
  32 //      , a3 :: Int
  33 //      , a4 :: Int
  34 //      , a5 :: Int
  35 //      , a6 :: Int
  36 //      , a7 :: Int
  37 //      , a8 :: Int
  38 //      , a9 :: Int
  39 //      , a10 :: Int
  40 //      , a11 :: Int
  41 //      , a12 :: Int
  42 //      , a14 :: Int
  43 //      , a15 :: Int
  44 //      , a16 :: Int
  45 //      , a17 :: Int
  46 //      , a18 :: Int
  47 //      , a19 :: Int
  48 //      , a20 :: Int
  49 //      , a21 :: Int
  50 //      , a22 :: Int
  51 //      , a23 :: Int
  52 //      , a24 :: Int
  53 //      , a25 :: Int
  54 //      , a26 :: Int
  55 //      , a27 :: Int
  56 //      , a28 :: Int
  57 //      , a29 :: Int
  58 //      , a30 :: Int
  59 //      , a31 :: Int
  60 //      , a32 :: Int
  61 //      }
  62 //
  63 //class c a
  64 //where
  65 //      a0 :: a
  66 //      a1 :: a
  67 //      a2 :: a
  68 //      a3 :: a
  69 //      a4 :: a
  70 //      a5 :: a
  71 //      a6 :: a
  72 //      a7 :: a
  73 //      a8 :: a
  74 //      a9 :: a
  75 //      a10 :: a
  76 //      a11 :: a
  77 //      a12 :: a
  78 //      a14 :: a
  79 //      a15 :: a
  80 //      a16 :: a
  81 //      a17 :: a
  82 //      a18 :: a
  83 //      a19 :: a
  84 //      a20 :: a
  85 //      a21 :: a
  86 //      a22 :: a
  87 //      a23 :: a
  88 //      a24 :: a
  89 //      a25 :: a
  90 //      a26 :: a
  91 //      a27 :: a
  92 //      a28 :: a
  93 //      a29 :: a
  94 //      a30 :: a
  95 //      a31 :: a
  96 //      a32 :: a
  97 //      a33 :: a
  98 //
  99 //
 100 //derive gDefault T
 101 //
 102 //Start :: T
 103 //Start = gDefault{|*|}