array_itasks/test.icl

   1 module test
   2
   3 import StdEnv => qualified return
   4 import iTasks
   5
   6 gEditor{|{#Int}|} = emptyEditor
   7 gText{|{#Int}|} = []
   8 JSONEncode{|{#Int}|} x = [JSONArray [JSONInt e \\ e <-: x]
   9 JSONDecode{|{#Int}|} _ (JSONArray a) = {#i\\JSONInt<-a}
  10 gDefault{|{#Int}|} = {}
  11 gEq{|{#Int}|} l r = size l == size r && and [l == r\\l<-l & r<-r]
  12
  13 Start w = startEngine t w
  14
  15 t :: Task {#Int}
  16 t = treturn {0,0,0}