示例#1
0
文件: randomt.py 项目: LFY/RandomT
def RndVar(gen, *args):
    return mk_class_with_interface(type(gen()), evalapp_bind, Fmap, promote)(App(gen, *args))
示例#2
0
文件: randomt.py 项目: LFY/RandomT
def RndVar(gen, *args):
    return mk_class_with_interface(type(gen()), evalapp_bind, Fmap,
                                   promote)(App(gen, *args))
示例#3
0
文件: randomt.py 项目: 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)
示例#4
0
文件: randomt.py 项目: 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)