Python pt示例

示例#1

文件： typing.py 项目： renjiec/blaze-core

def resolve(ctx, ty):

    # parameterized type
    if isinstance(ty, N.pt):
        con = resolve(ctx, ty.con)
        args = map(partial(resolve, ctx), ty.args)
        return N.pt(con, args)

    # function type
    elif isinstance(ty, N.fn):
        dom = resolve(ctx, ty.dom)
        cod = resolve(ctx, ty.cod)
        return N.fn(dom, cod)

    # uncurried domain, ick
    elif isinstance(ty, (list, tuple)):
        return map(partial(resolve, ctx), ty)

    # type variables
    else:
        # Either a named constant or a polymorphic type variable
        return ctx.get(ty, N.pv(ty))

示例#2

文件： parser.py 项目： help-lazybones/blaze-core

def p_sig9(p):
    'sig : NAME NAME'
    p[0] = N.pt(p[1], [p[2]])

示例#3

文件： parser.py 项目： help-lazybones/blaze-core

def p_sig8(p):
    'sig : NAME NAME NAME'
    p[0] = N.pt(p[1], [p[2], p[3]])

示例#4

文件： parser.py 项目： renjiec/blaze-core

def p_sig9(p):
    'sig : NAME NAME'
    p[0] = N.pt(p[1], [p[2]])

示例#5

文件： parser.py 项目： renjiec/blaze-core

def p_sig8(p):
    'sig : NAME NAME NAME'
    p[0] = N.pt(p[1], [p[2], p[3]])