Esempi in Python per mk_class_with_interface

Esempio n. 1

File: randomt.py Progetto: LFY/RandomT

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

Esempio n. 2

File: randomt.py Progetto: LFY/RandomT

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

Esempio n. 3

File: randomt.py Progetto: 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)

Esempio n. 4

File: randomt.py Progetto: 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)