test.icl

   1 module test
   2
   3 //import StdEnv
   4 //import Data.Error
   5 //import Data.Maybe
   6 //import Network.IP
   7 //import System.Socket
   8 //import System.Socket.Ipv4
   9 ////import System.Select
  10 //
  11 import Data.Map => qualified get, updateAt
  12 import Data.Map.GenJSON
  13 import Data.Func
  14 import iTasks
  15
  16 Start w = doTasks t2 w
  17
  18 t2 = enterInformation "bork" []
  19         >>* [OnAction ActionOk $ ifValue ((==)42) return]
  20
  21 t = parallel
  22         [(Embedded,
  23                     \stl->appendTask Embedded (\_->viewInformation "int" [] 42 <<@ markActive <<@ markActive) stl
  24                 >>= \tid->viewInformation "go" [] "go" @! 42
  25 //              >>* [OnAction ActionOk $ always $ set
  26 //                      ([(tid, put "answer" "42" (singleton "bork" "bork"))])
  27 //                      (sdsFocus {onlyIndex=Nothing,onlyTaskId=Just [tid],onlySelf=False,includeValue=True,includeAttributes=True,includeProgress=True} stl)]
  28 //              >>= \_->viewSharedInformation "parallel task list" []
  29 //                      (sdsFocus {onlyIndex=Nothing,onlyTaskId=Nothing,onlySelf=False,includeValue=True,includeProgress=True,includeAttributes=True} stl)
  30 //              @! 42
  31 //      ),(Embedded, \stl->viewSharedInformation "parallel task list" []
  32 //              (sdsFocus {onlyIndex=Nothing,onlyTaskId=Nothing,onlySelf=False,includeValue=True,includeProgress=True,includeAttributes=True} stl)
  33 //              @! 42
  34         )] []
  35 //      [OnAction (Action "bork") $ ifValue (\v->not (v =: []))
  36 //              \_->(Embedded, \stl->
  37 //                      get (sdsFocus defaultValue stl) >>= \(_, [_,{TaskListItem|taskId}:_])->
  38 //                              set (singleton "title" "true")
  39 //                                      (sdsFocus taskId (taskListEntryMeta stl)) @! ())
  40 //                              set [(taskId, singleton "title" "true")]
  41 //                                      (sdsFocus listFilter stl) @! ())]
  42         <<@ ArrangeWithTabs True
  43 where
  44         markActive = ApplyAttribute "class" "focus"
  45
  46
  47 //import StdGeneric
  48 //
  49 //generic g a :: a
  50 //
  51 //g{|*|} = 42
  52
  53 //Start :: *World -> (MaybeOSError String, *World)
  54 //Start w
  55 //      = case socket SocketStream w of
  56 //              (Error e, w) = (Error e, w)
  57 //              (Ok sockfd, w)
  58 //                      #! (merr, sockfd) = connect {ipv4_socket_port=8124,ipv4_socket_addr=Just (fromString "127.0.0.1")} sockfd
  59 //                      | isError merr = (liftError merr, w)
  60 //                      #! (merr, sockfd) = recv 128 [] sockfd
  61 //                      | isError merr = (merr, w)
  62 //                      # (Ok msg) = merr
  63 //                      # (merr, w) = close sockfd w
  64 //                      | isError merr = (liftError merr, w)
  65 //                      = (Ok msg, w)