def type_fun(in_type): if in_type is None: return None try: (a, c) = in_type.type except ValueError: raise types.FTypeException("%s not of type (a * c)" % in_type) return types.FType((ef1.type_fun(types.FType(a)).type, c))
def type_fun(a): if a is None or c_type is None: return None eftype = ef1.type_fun(types.FType((a.type, c_type.type))) if eftype is None: return None (b, c) = eftype.type if not types.is_of_type(c_type, types.FType(c)): raise types.FTypeException("%s is not of type %s" % (c, c_type)) return types.FType(b)
def type_fun(t): if t is None or init_type is None: return None try: (c, a) = t.type except (TypeError, ValueError): raise types.FTypeException("%s not an instance of (c * E a)" % a) f_out_type = f.type_fun(types.FType((init_type.type, a.type))) if not types.is_of_type(f_out_type, init_type): raise types.FTypeException( "%s not of expected type: f generates %s instead of %s" % (t, f_out_type, init_type)) return types.FType((c, init_type.type))
def Split(e): e1 = None e2 = None def prepare(): e1.fresh = False e2.fresh = False for l in e1.listeners.itervalues(): l.prepare() for l in e2.listeners.itervalues(): l.prepare() def push((x1, x2)): for l in e1.listeners.itervalues(): l.push(x1) for l in e2.listeners.itervalues(): l.push(x2) def finish(): for l in e1.listeners.itervalues(): l.finish() for l in e2.listeners.itervalues(): l.finish() e1.fresh = True e2.fresh = True def terminate(): for l in e1.listeners.itervalues(): l.terminate() for l in e2.listeners.itervalues(): l.terminate() t1 = t2 = None if e.type is not None: try: (r1, r2) = e.type.type (t1, t2) = (types.FType(r1), types.FType(r2)) except (TypeError, ValueError): raise types.FTypeException("%s not of type %s" % (e.type, "a * b")) e1 = FEvent(type=t1) e2 = FEvent(type=t2) e.add_listener(FListener(prepare, push, finish, terminate)) return (e1, e2)
def type_fun(a): if a is not None and b_type is not None: return types.FType((b_type.type, types.FEventType(a.type))) else: return None
def Merge(e1, e2): e = None def prepare(): e.fresh = False for l in e.listeners.itervalues(): l.prepare() def push1(x1): if e2.fresh or e2.cell.get() != None: x2 = e2.cell.get() for l in e.listeners.itervalues(): l.push((x1, x2)) e2.cell.set(None) else: e1.cell.set(x1) def push2(x2): if e1.fresh or e1.cell.get() != None: x1 = e1.cell.get() for l in e.listeners.itervalues(): l.push((x1, x2)) e1.cell.set(None) else: e2.cell.set(x2) def finish(): x1 = e1.cell.get() x2 = e2.cell.get() e1.cell.set(None) e2.cell.set(None) if x2 != None: for l in e.listeners.itervalues(): l.push((None, x2)) if x1 != None: for l in e.listeners.itervalues(): l.push((x1, None)) for l in e.listeners.itervalues(): l.finish() e.fresh = True def terminate1(): e.term1 = True if e.term2: for l in e.listeners.itervalues(): l.terminate() def terminate2(): e.term2 = True if e.term1: for l in e.listeners.itervalues(): l.terminate() e1.add_listener(FListener(prepare, push1, finish, terminate1)) e2.add_listener(FListener(prepare, push2, finish, terminate2)) if e1.type is None or e2.type is None: out_type = None else: # TODO(astory): option out_type = types.FType((e1.type.type, e2.type.type)) e = FEvent(type=out_type) e.term1 = False e.term2 = False e1.cell = util.FRef() e2.cell = util.FRef() return e