Ejemplos de mk_class_with_interface en Python

Ejemplo n.º 1

Archivo: randomt.py Proyecto: LFY/RandomT

def RndVar(gen, *args):
    return mk_class_with_interface(type(gen()), evalapp_bind, Fmap, promote)(App(gen, *args))

Ejemplo n.º 2

Archivo: randomt.py Proyecto: LFY/RandomT

def RndVar(gen, *args):
    return mk_class_with_interface(type(gen()), evalapp_bind, Fmap,
                                   promote)(App(gen, *args))

Ejemplo n.º 3

Archivo: randomt.py Proyecto: LFY/RandomT

 def call(*args):
     other_exprs = map(lambda e: e.expr, map(promote, args))
     app_node = Bind(f, *other_exprs)
     result = interp(app_node)
     return mk_class_with_interface(type(result), interp, Fmap, promote)(app_node)

Ejemplo n.º 4

Archivo: randomt.py Proyecto: LFY/RandomT

 def call(*args):
     other_exprs = map(lambda e: e.expr, map(promote, args))
     app_node = Bind(f, *other_exprs)
     result = interp(app_node)
     return mk_class_with_interface(type(result), interp, Fmap,
                                    promote)(app_node)