test.icl

   1 module test
   2 <<<<<<< HEAD
   3
   4 import StdEnv
   5 from Data.Func import $
   6 import System.Directory
   7 import System.Time
   8
   9 :: S s a = S .(s -> *(a, s))
  10 runS (S s) = s
  11
  12 (>>=) infixl 1 :: u:(S .a .b) v:(.b -> .(S .a .c)) -> w:(S .a .c), [w <= u,w <= v]
  13 (>>=) ma a2mb = S \s
  14         # (a, s) = runS ma s
  15         = runS (a2mb a) s
  16
  17 Start world = flip runS world
  18         $   (S time)
  19         >>= \_->S (readDirectory "/home/mrl")
  20 =======
  21 import qualified Data.Map as DM
  22 import iTasks
  23 import Data.Func
  24 import Data.Tuple
  25 import StdEnv
  26
  27 Start w = doTasksWithOptions (\a o->Ok $ flip tuple {o & autoLayout=True} $
  28         (parallel
  29                 [(Embedded, tab "tab1")
  30                 ,(Embedded, tab "tab2")
  31                 ]
  32                 [ OnAction (Action "New") (always (Embedded, tab "New tab"))
  33                 , OnAction (Action " ") (always (Embedded, tab "New tab"))
  34                 , OnAction (Action "Close") (never (Embedded, \_->treturn ()))
  35                 , OnAction (Action "Dis no icon") (never (Embedded, \_->treturn ()))
  36                 , OnAction (Action "+") (always (Embedded, tab "New tab"))
  37                 ]
  38         <<@ ArrangeWithTabs True
  39         <<@ ApplyLayout (setActionIcon ('DM'.put " " "new" 'DM'.newMap))
  40         )) w
  41
  42 tab title _ = tune (Title title)
  43         $   viewInformation [] ()
  44         >>* [OnAction (Action "Close") (always (treturn ()))]
  45 >>>>>>> 49f7dcc4c088dc816398a0c7854d75d7c2628f15