test.icl

   1 module test
   2
   3 import iTasks
   4
   5 import iTasks.Extensions.DateTime
   6 import iTasks.UI.Layout.Minimal
   7
   8 Start w = doTasksWithOptions opt p2 w
   9 where
  10         t :: Task DateTime
  11         t = waitForTimer 7
  12         t2 :: Task Int
  13         t2 = enterInformation () [] >>= viewInformation () []
  14         t3 :: Task String
  15         t3 = withShared 3 \sh->
  16                 withTemporaryDirectory (viewInformation () [])
  17                 >>= viewInformation () []
  18         t4 = updateInformation () [] 42
  19
  20         t5 = sequence [return i\\i<-[0..1000]] >>= viewInformation () []
  21         t6 = waitForTimer 10
  22
  23         t7 :: Int -> Task Int
  24         t7 i = viewInformation () [] i >>= \x->t7 (x + 1)
  25
  26         p = parallel [(Embedded, \_->waitForTimer 5)] []
  27         p1 = waitForTimer 5 -||- waitForTimer 10
  28         p2 = withShared 3 \sh->watch sh
  29
  30         opt args eo = Ok eo
  31 //      opt args eo = Ok {eo & autoLayout=False}
  32
  33 /*
  34 //import StdEnv
  35 //import Data.Error
  36 //import Data.Maybe
  37 //import Network.IP
  38 //import System.Socket
  39 //import System.Socket.Ipv4
  40 ////import System.Select
  41 //
  42 from Data.Map import singleton
  43 import Data.Map.GenJSON
  44 //import Data.Func
  45 import iTasks
  46
  47 import iTasks.Extensions.Files
  48
  49 //Start w = doTasks (onStartup (copyFile "/home/mrl/test.txt" "/home/mrl/test2.txt")) w
  50 //Start w = doTasks (onStartup (workAs SystemUser (return 42))) w
  51 Start w = doTasks t w
  52
  53 t = viewInformation () [] ()
  54         >>* [OnAction ActionOk (always (return ()))
  55             ,OnAction ActionQuit (always (return ()))
  56                 ]
  57
  58 //Start w = doTasks t w
  59 //
  60 //t :: Task [(Int, TaskValue Int)]
  61 //t = parallel
  62 //      [(Embedded, \stl->
  63 //              appendTask Embedded (\_->viewInformation "Int" [] 42) stl
  64 //              >>! \i->set (singleton "focus" "true") (sdsFocus i (taskListEntryMeta stl))
  65 //              >>~ \_->viewSharedInformation "Parallel task list" []
  66 //                      (sdsFocus {onlyIndex=Nothing,onlyTaskId=Nothing,onlySelf=False,includeValue=True,includeProgress=True,includeAttributes=True} stl)
  67 //              @! 42
  68 //      )] []
  69
  70
  71 //import StdGeneric
  72 //
  73 //generic g a :: a
  74 //
  75 //g{|*|} = 42
  76
  77 //Start :: *World -> (MaybeOSError String, *World)
  78 //Start w
  79 //      = case socket SocketStream w of
  80 //              (Error e, w) = (Error e, w)
  81 //              (Ok sockfd, w)
  82 //                      #! (merr, sockfd) = connect {ipv4_socket_port=8124,ipv4_socket_addr=Just (fromString "127.0.0.1")} sockfd
  83 //                      | isError merr = (liftError merr, w)
  84 //                      #! (merr, sockfd) = recv 128 [] sockfd
  85 //                      | isError merr = (merr, w)
  86 //                      # (Ok msg) = merr
  87 //                      # (merr, w) = close sockfd w
  88 //                      | isError merr = (liftError merr, w)
  89 //                      = (Ok msg, w)
  90 */