module test

import StdEnv => qualified return
import iTasks

gEditor{|{#Int}|} = emptyEditor
gText{|{#Int}|} = []
JSONEncode{|{#Int}|} x = [JSONArray [JSONInt e \\ e <-: x]
JSONDecode{|{#Int}|} _ (JSONArray a) = {#i\\JSONInt<-a}
gDefault{|{#Int}|} = {}
gEq{|{#Int}|} l r = size l == size r && and [l == r\\l<-l & r<-r]

Start w = startEngine t w

t :: Task {#Int}
t = treturn {0,0,0}