Module opshin.typed_ast

Classes

class RawPlutoExpr (*args, **kwargs)

expr = BoolOp(boolop op, expr values) | NamedExpr(expr target, expr value) | BinOp(expr left, operator op, expr right) | UnaryOp(unaryop op, expr operand) | Lambda(arguments args, expr body) | IfExp(expr test, expr body, expr orelse) | Dict(expr keys, expr values) | Set(expr elts) | ListComp(expr elt, comprehension generators) | SetComp(expr elt, comprehension generators) | DictComp(expr key, expr value, comprehension generators) | GeneratorExp(expr elt, comprehension generators) | Await(expr value) | Yield(expr? value) | YieldFrom(expr value) | Compare(expr left, cmpop ops, expr comparators) | Call(expr func, expr args, keyword keywords) | FormattedValue(expr value, int conversion, expr? format_spec) | JoinedStr(expr values) | Constant(constant value, string? kind) | Attribute(expr value, identifier attr, expr_context ctx) | Subscript(expr value, expr slice, expr_context ctx) | Starred(expr value, expr_context ctx) | Name(identifier id, expr_context ctx) | List(expr elts, expr_context ctx) | Tuple(expr* elts, expr_context ctx) | Slice(expr? lower, expr? upper, expr? step)

Expand source code

class RawPlutoExpr(typedexpr):
    typ: "Type"
    expr: _plt.AST

    _attributes = ["lineno", "col_offset", "end_lineno", "end_col_offset"]
    _fields = []

Ancestors

• typedexpr
• TypedAST
• ast.expr
• ast.AST

Class variables

var expr : pluthon.pluthon_ast.AST

var typ : Type

Methods

def typechecks(self) ‑> Dict[str, Type]

Inherited from: typedexpr.typechecks

Successful typechecks if this expression evaluates to True

class TypedAST (*args, **kwargs)

Expand source code

class TypedAST(_ast.AST):
    typ: "Type"

Ancestors

• ast.AST

Subclasses

• TypedConstant
• Typedkeyword
• typedarg
• typedarguments
• typedexpr
• typedstmt

Class variables

var typ : Type

class TypedAnnAssign (*args, **kwargs)

AnnAssign(expr target, expr annotation, expr? value, int simple)

Expand source code

class TypedAnnAssign(typedstmt, _ast.AnnAssign):
    target: typedexpr
    annotation: "Type"
    value: typedexpr

Ancestors

• typedstmt
• TypedAST
• ast.AnnAssign
• ast.stmt
• ast.AST

Class variables

var annotation : Type

var target : typedexpr

var value : typedexpr

class TypedAssert (*args, **kwargs)

Assert(expr test, expr? msg)

Expand source code

class TypedAssert(typedstmt, _ast.Assert):
    test: typedexpr
    msg: typedexpr

Ancestors

• typedstmt
• TypedAST
• ast.Assert
• ast.stmt
• ast.AST

Class variables

var msg : typedexpr

var test : typedexpr

class TypedAssign (*args, **kwargs)

Assign(expr* targets, expr value, string? type_comment)

Expand source code

class TypedAssign(typedstmt, _ast.Assign):
    targets: _typing.List[typedexpr]
    value: typedexpr

Ancestors

• typedstmt
• TypedAST
• ast.Assign
• ast.stmt
• ast.AST

Class variables

var targets : List[typedexpr]

var value : typedexpr

class TypedAttribute (*args, **kwargs)

Attribute(expr value, identifier attr, expr_context ctx)

Expand source code

class TypedAttribute(typedexpr, _ast.Attribute):
    value: typedexpr
    pos: int

Ancestors

• typedexpr
• TypedAST
• ast.Attribute
• ast.expr
• ast.AST

Class variables

var pos : int

var value : typedexpr

Methods

def typechecks(self) ‑> Dict[str, Type]

Inherited from: typedexpr.typechecks

Successful typechecks if this expression evaluates to True

class TypedBinOp (*args, **kwargs)

BinOp(expr left, operator op, expr right)

Expand source code

class TypedBinOp(typedexpr, _ast.BinOp):
    left: typedexpr
    right: typedexpr

Ancestors

• typedexpr
• TypedAST
• ast.BinOp
• ast.expr
• ast.AST

Class variables

var left : typedexpr

var right : typedexpr

Methods

def typechecks(self) ‑> Dict[str, Type]

Inherited from: typedexpr.typechecks

Successful typechecks if this expression evaluates to True

class TypedBoolOp (*args, **kwargs)

BoolOp(boolop op, expr* values)

Expand source code

class TypedBoolOp(typedexpr, _ast.BoolOp):
    values: _typing.List[typedexpr]

Ancestors

• typedexpr
• TypedAST
• ast.BoolOp
• ast.expr
• ast.AST

Class variables

var values : List[typedexpr]

Methods

def typechecks(self) ‑> Dict[str, Type]

Inherited from: typedexpr.typechecks

Successful typechecks if this expression evaluates to True

class TypedCall (*args, **kwargs)

Call(expr func, expr args, keyword keywords)

Expand source code

class TypedCall(typedexpr, _ast.Call):
    func: typedexpr
    args: _typing.List[typedexpr]

Ancestors

• typedexpr
• TypedAST
• ast.Call
• ast.expr
• ast.AST

Class variables

var args : List[typedexpr]

var func : typedexpr

Methods

def typechecks(self) ‑> Dict[str, Type]

Inherited from: typedexpr.typechecks

Successful typechecks if this expression evaluates to True

class TypedClassDef (*args, **kwargs)

ClassDef(identifier name, expr bases, keyword keywords, stmt body, expr decorator_list, type_param* type_params)

Expand source code

class TypedClassDef(typedstmt, _ast.ClassDef):
    class_typ: "Type"

Ancestors

• typedstmt
• TypedAST
• ast.ClassDef
• ast.stmt
• ast.AST

Class variables

var class_typ : Type

class TypedCompare (*args, **kwargs)

Compare(expr left, cmpop ops, expr comparators)

Expand source code

class TypedCompare(typedexpr, _ast.Compare):
    left: typedexpr
    ops: _typing.List[_ast.cmpop]
    comparators: _typing.List[typedexpr]

Ancestors

• typedexpr
• TypedAST
• ast.Compare
• ast.expr
• ast.AST

Class variables

var comparators : List[typedexpr]

var left : typedexpr

var ops : List[ast.cmpop]

Methods

def typechecks(self) ‑> Dict[str, Type]

Inherited from: typedexpr.typechecks

Successful typechecks if this expression evaluates to True

class TypedConstant (*args, **kwargs)

Constant(constant value, string? kind)

Expand source code

class TypedConstant(TypedAST, _ast.Constant):
    pass

Ancestors

• TypedAST
• ast.Constant
• ast.expr
• ast.AST

class TypedDict (*args, **kwargs)

Dict(expr keys, expr values)

Expand source code

class TypedDict(typedexpr, _ast.Dict):
    pass

Ancestors

• typedexpr
• TypedAST
• ast.Dict
• ast.expr
• ast.AST

Methods

def typechecks(self) ‑> Dict[str, Type]

Inherited from: typedexpr.typechecks

Successful typechecks if this expression evaluates to True

class TypedDictComp (*args, **kwargs)

DictComp(expr key, expr value, comprehension* generators)

Expand source code

class TypedDictComp(typedexpr, _ast.DictComp):
    key: typedexpr
    value: typedexpr
    generators: _typing.List[typedcomprehension]

Ancestors

• typedexpr
• TypedAST
• ast.DictComp
• ast.expr
• ast.AST

Class variables

var generators : List[typedcomprehension]

var key : typedexpr

var value : typedexpr

Methods

def typechecks(self) ‑> Dict[str, Type]

Inherited from: typedexpr.typechecks

Successful typechecks if this expression evaluates to True

class TypedExpr (*args, **kwargs)

Expr(expr value)

Expand source code

class TypedExpr(typedstmt, _ast.Expr):
    value: typedexpr

Ancestors

• typedstmt
• TypedAST
• ast.Expr
• ast.stmt
• ast.AST

Class variables

var value : typedexpr

class TypedExpression (*args, **kwargs)

stmt = FunctionDef(identifier name, arguments args, stmt body, expr decorator_list, expr? returns, string? type_comment, type_param type_params) | AsyncFunctionDef(identifier name, arguments args, stmt body, expr decorator_list, expr? returns, string? type_comment, type_param type_params) | ClassDef(identifier name, expr bases, keyword keywords, stmt body, expr decorator_list, type_param type_params) | Return(expr? value) | Delete(expr targets) | Assign(expr targets, expr value, string? type_comment) | TypeAlias(expr name, type_param type_params, expr value) | AugAssign(expr target, operator op, expr value) | AnnAssign(expr target, expr annotation, expr? value, int simple) | For(expr target, expr iter, stmt body, stmt orelse, string? type_comment) | AsyncFor(expr target, expr iter, stmt body, stmt orelse, string? type_comment) | While(expr test, stmt body, stmt orelse) | If(expr test, stmt body, stmt orelse) | With(withitem items, stmt body, string? type_comment) | AsyncWith(withitem items, stmt body, string? type_comment) | Match(expr subject, match_case cases) | Raise(expr? exc, expr? cause) | Try(stmt body, excepthandler handlers, stmt orelse, stmt finalbody) | TryStar(stmt body, excepthandler handlers, stmt orelse, stmt finalbody) | Assert(expr test, expr? msg) | Import(alias names) | ImportFrom(identifier? module, alias names, int? level) | Global(identifier names) | Nonlocal(identifier* names) | Expr(expr value) | Pass | Break | Continue

Expand source code

class TypedExpression(typedstmt, _ast.Expression):
    body: typedexpr

Ancestors

• typedstmt
• TypedAST
• ast.stmt
• ast.Expression
• ast.mod
• ast.AST

Class variables

var body : typedexpr

class TypedFor (*args, **kwargs)

For(expr target, expr iter, stmt body, stmt orelse, string? type_comment)

Expand source code

class TypedFor(typedstmt, _ast.For):
    target: typedexpr
    iter: typedexpr
    body: _typing.List[typedstmt]
    orelse: _typing.List[typedstmt]

Ancestors

• typedstmt
• TypedAST
• ast.For
• ast.stmt
• ast.AST

Class variables

var body : List[typedstmt]

var iter : typedexpr

var orelse : List[typedstmt]

var target : typedexpr

class TypedFormattedValue (*args, **kwargs)

FormattedValue(expr value, int conversion, expr? format_spec)

Expand source code

class TypedFormattedValue(typedexpr, _ast.FormattedValue):
    value: typedexpr
    conversion: int
    format_spec: _typing.Optional[_ast.JoinedStr]

Ancestors

• typedexpr
• TypedAST
• ast.FormattedValue
• ast.expr
• ast.AST

Class variables

var conversion : int

var format_spec : ast.JoinedStr | None

var value : typedexpr

Methods

def typechecks(self) ‑> Dict[str, Type]

Inherited from: typedexpr.typechecks

Successful typechecks if this expression evaluates to True

class TypedFunctionDef (*args, **kwargs)

FunctionDef(identifier name, arguments args, stmt body, expr decorator_list, expr? returns, string? type_comment, type_param* type_params)

Expand source code

class TypedFunctionDef(typedstmt, _ast.FunctionDef):
    body: _typing.List[typedstmt]
    args: typedarguments
    orig_name: str

Ancestors

• typedstmt
• TypedAST
• ast.FunctionDef
• ast.stmt
• ast.AST

Class variables

var args : typedarguments

var body : List[typedstmt]

var orig_name : str

class TypedIf (*args, **kwargs)

If(expr test, stmt body, stmt orelse)

Expand source code

class TypedIf(typedstmt, _ast.If):
    test: typedexpr
    body: _typing.List[typedstmt]
    orelse: _typing.List[typedstmt]

Ancestors

• typedstmt
• TypedAST
• ast.If
• ast.stmt
• ast.AST

Class variables

var body : List[typedstmt]

var orelse : List[typedstmt]

var test : typedexpr

class TypedIfExp (*args, **kwargs)

stmt = FunctionDef(identifier name, arguments args, stmt body, expr decorator_list, expr? returns, string? type_comment, type_param type_params) | AsyncFunctionDef(identifier name, arguments args, stmt body, expr decorator_list, expr? returns, string? type_comment, type_param type_params) | ClassDef(identifier name, expr bases, keyword keywords, stmt body, expr decorator_list, type_param type_params) | Return(expr? value) | Delete(expr targets) | Assign(expr targets, expr value, string? type_comment) | TypeAlias(expr name, type_param type_params, expr value) | AugAssign(expr target, operator op, expr value) | AnnAssign(expr target, expr annotation, expr? value, int simple) | For(expr target, expr iter, stmt body, stmt orelse, string? type_comment) | AsyncFor(expr target, expr iter, stmt body, stmt orelse, string? type_comment) | While(expr test, stmt body, stmt orelse) | If(expr test, stmt body, stmt orelse) | With(withitem items, stmt body, string? type_comment) | AsyncWith(withitem items, stmt body, string? type_comment) | Match(expr subject, match_case cases) | Raise(expr? exc, expr? cause) | Try(stmt body, excepthandler handlers, stmt orelse, stmt finalbody) | TryStar(stmt body, excepthandler handlers, stmt orelse, stmt finalbody) | Assert(expr test, expr? msg) | Import(alias names) | ImportFrom(identifier? module, alias names, int? level) | Global(identifier names) | Nonlocal(identifier* names) | Expr(expr value) | Pass | Break | Continue

Expand source code

class TypedIfExp(typedstmt, _ast.IfExp):
    test: typedexpr
    body: typedexpr
    orelse: typedexpr

Ancestors

• typedstmt
• TypedAST
• ast.stmt
• ast.IfExp
• ast.expr
• ast.AST

Class variables

var body : typedexpr

var orelse : typedexpr

var test : typedexpr

class TypedJoinedStr (*args, **kwargs)

JoinedStr(expr* values)

Expand source code

class TypedJoinedStr(typedexpr, _ast.JoinedStr):
    values: _typing.List[typedexpr]

Ancestors

• typedexpr
• TypedAST
• ast.JoinedStr
• ast.expr
• ast.AST

Class variables

var values : List[typedexpr]

Methods

def typechecks(self) ‑> Dict[str, Type]

Inherited from: typedexpr.typechecks

Successful typechecks if this expression evaluates to True

class TypedList (*args, **kwargs)

List(expr* elts, expr_context ctx)

Expand source code

class TypedList(typedexpr, _ast.List):
    pass

Ancestors

• typedexpr
• TypedAST
• ast.List
• ast.expr
• ast.AST

Methods

def typechecks(self) ‑> Dict[str, Type]

Inherited from: typedexpr.typechecks

Successful typechecks if this expression evaluates to True

class TypedListComp (*args, **kwargs)

ListComp(expr elt, comprehension* generators)

Expand source code

class TypedListComp(typedexpr, _ast.ListComp):
    elt: typedexpr
    generators: _typing.List[typedcomprehension]

Ancestors

• typedexpr
• TypedAST
• ast.ListComp
• ast.expr
• ast.AST

Class variables

var elt : typedexpr

var generators : List[typedcomprehension]

Methods

def typechecks(self) ‑> Dict[str, Type]

Inherited from: typedexpr.typechecks

Successful typechecks if this expression evaluates to True

class TypedModule (*args, **kwargs)

stmt = FunctionDef(identifier name, arguments args, stmt body, expr decorator_list, expr? returns, string? type_comment, type_param type_params) | AsyncFunctionDef(identifier name, arguments args, stmt body, expr decorator_list, expr? returns, string? type_comment, type_param type_params) | ClassDef(identifier name, expr bases, keyword keywords, stmt body, expr decorator_list, type_param type_params) | Return(expr? value) | Delete(expr targets) | Assign(expr targets, expr value, string? type_comment) | TypeAlias(expr name, type_param type_params, expr value) | AugAssign(expr target, operator op, expr value) | AnnAssign(expr target, expr annotation, expr? value, int simple) | For(expr target, expr iter, stmt body, stmt orelse, string? type_comment) | AsyncFor(expr target, expr iter, stmt body, stmt orelse, string? type_comment) | While(expr test, stmt body, stmt orelse) | If(expr test, stmt body, stmt orelse) | With(withitem items, stmt body, string? type_comment) | AsyncWith(withitem items, stmt body, string? type_comment) | Match(expr subject, match_case cases) | Raise(expr? exc, expr? cause) | Try(stmt body, excepthandler handlers, stmt orelse, stmt finalbody) | TryStar(stmt body, excepthandler handlers, stmt orelse, stmt finalbody) | Assert(expr test, expr? msg) | Import(alias names) | ImportFrom(identifier? module, alias names, int? level) | Global(identifier names) | Nonlocal(identifier* names) | Expr(expr value) | Pass | Break | Continue

Expand source code

class TypedModule(typedstmt, _ast.Module):
    body: _typing.List[typedstmt]

Ancestors

• typedstmt
• TypedAST
• ast.stmt
• ast.Module
• ast.mod
• ast.AST

Class variables

var body : List[typedstmt]

class TypedName (*args, **kwargs)

Name(identifier id, expr_context ctx)

Expand source code

class TypedName(typedexpr, _ast.Name):
    pass

Ancestors

• typedexpr
• TypedAST
• ast.Name
• ast.expr
• ast.AST

Methods

def typechecks(self) ‑> Dict[str, Type]

Inherited from: typedexpr.typechecks

Successful typechecks if this expression evaluates to True

class TypedPass (*args, **kwargs)

Pass

Expand source code

class TypedPass(typedstmt, _ast.Pass):
    pass

Ancestors

• typedstmt
• TypedAST
• ast.Pass
• ast.stmt
• ast.AST

class TypedReturn (*args, **kwargs)

Return(expr? value)

Expand source code

class TypedReturn(typedstmt, _ast.Return):
    value: typedexpr

Ancestors

• typedstmt
• TypedAST
• ast.Return
• ast.stmt
• ast.AST

Class variables

var value : typedexpr

class TypedSlice (*args, **kwargs)

Slice(expr? lower, expr? upper, expr? step)

Expand source code

class TypedSlice(typedexpr, _ast.Slice):
    lower: _typing.Optional[typedexpr]
    upper: _typing.Optional[typedexpr]
    step: _typing.Optional[typedexpr]

Ancestors

• typedexpr
• TypedAST
• ast.Slice
• ast.expr
• ast.AST

Class variables

var lower : typedexpr | None

var step : typedexpr | None

var upper : typedexpr | None

Methods

def typechecks(self) ‑> Dict[str, Type]

Inherited from: typedexpr.typechecks

Successful typechecks if this expression evaluates to True

class TypedSubscript (*args, **kwargs)

Subscript(expr value, expr slice, expr_context ctx)

Expand source code

class TypedSubscript(typedexpr, _ast.Subscript):
    value: typedexpr

Ancestors

• typedexpr
• TypedAST
• ast.Subscript
• ast.expr
• ast.AST

Class variables

var value : typedexpr

Methods

def typechecks(self) ‑> Dict[str, Type]

Inherited from: typedexpr.typechecks

Successful typechecks if this expression evaluates to True

class TypedTuple (*args, **kwargs)

Tuple(expr* elts, expr_context ctx)

Expand source code

class TypedTuple(typedexpr, _ast.Tuple):
    pass

Ancestors

• typedexpr
• TypedAST
• ast.Tuple
• ast.expr
• ast.AST

Methods

def typechecks(self) ‑> Dict[str, Type]

Inherited from: typedexpr.typechecks

Successful typechecks if this expression evaluates to True

class TypedUnaryOp (*args, **kwargs)

UnaryOp(unaryop op, expr operand)

Expand source code

class TypedUnaryOp(typedexpr, _ast.UnaryOp):
    operand: typedexpr

Ancestors

• typedexpr
• TypedAST
• ast.UnaryOp
• ast.expr
• ast.AST

Class variables

var operand : typedexpr

Methods

def typechecks(self) ‑> Dict[str, Type]

Inherited from: typedexpr.typechecks

Successful typechecks if this expression evaluates to True

class TypedWhile (*args, **kwargs)

While(expr test, stmt body, stmt orelse)

Expand source code

class TypedWhile(typedstmt, _ast.While):
    test: typedexpr
    body: _typing.List[typedstmt]
    orelse: _typing.List[typedstmt]

Ancestors

• typedstmt
• TypedAST
• ast.While
• ast.stmt
• ast.AST

Class variables

var body : List[typedstmt]

var orelse : List[typedstmt]

var test : typedexpr

class Typedkeyword (*args, **kwargs)

keyword(identifier? arg, expr value)

Expand source code

class Typedkeyword(TypedAST, _ast.keyword):
    arg: typedexpr
    value: typedexpr

Ancestors

• TypedAST
• ast.keyword
• ast.AST

Class variables

var arg : typedexpr

var value : typedexpr

class typedarg (*args, **kwargs)

arg(identifier arg, expr? annotation, string? type_comment)

Expand source code

class typedarg(TypedAST, _ast.arg):
    pass

Ancestors

• TypedAST
• ast.arg
• ast.AST

class typedarguments (*args, **kwargs)

arguments(arg posonlyargs, arg args, arg? vararg, arg kwonlyargs, expr kw_defaults, arg? kwarg, expr* defaults)

Expand source code

class typedarguments(TypedAST, _ast.arguments):
    args: _typing.List[typedarg]
    vararg: _typing.Union[typedarg, None]
    kwonlyargs: _typing.List[typedarg]
    kw_defaults: _typing.List[_typing.Union[typedexpr, None]]
    kwarg: _typing.Union[typedarg, None]
    defaults: _typing.List[typedexpr]

Ancestors

• TypedAST
• ast.arguments
• ast.AST

Class variables

var args : List[typedarg]

var defaults : List[typedexpr]

var kw_defaults : List[typedexpr | None]

var kwarg : typedarg | None

var kwonlyargs : List[typedarg]

var vararg : typedarg | None

class typedcomprehension (*args, **kwargs)

expr = BoolOp(boolop op, expr values) | NamedExpr(expr target, expr value) | BinOp(expr left, operator op, expr right) | UnaryOp(unaryop op, expr operand) | Lambda(arguments args, expr body) | IfExp(expr test, expr body, expr orelse) | Dict(expr keys, expr values) | Set(expr elts) | ListComp(expr elt, comprehension generators) | SetComp(expr elt, comprehension generators) | DictComp(expr key, expr value, comprehension generators) | GeneratorExp(expr elt, comprehension generators) | Await(expr value) | Yield(expr? value) | YieldFrom(expr value) | Compare(expr left, cmpop ops, expr comparators) | Call(expr func, expr args, keyword keywords) | FormattedValue(expr value, int conversion, expr? format_spec) | JoinedStr(expr values) | Constant(constant value, string? kind) | Attribute(expr value, identifier attr, expr_context ctx) | Subscript(expr value, expr slice, expr_context ctx) | Starred(expr value, expr_context ctx) | Name(identifier id, expr_context ctx) | List(expr elts, expr_context ctx) | Tuple(expr* elts, expr_context ctx) | Slice(expr? lower, expr? upper, expr? step)

Expand source code

class typedcomprehension(typedexpr, _ast.comprehension):
    target: typedexpr
    iter: typedexpr
    ifs: _typing.List[typedexpr]

Ancestors

• typedexpr
• TypedAST
• ast.expr
• ast.comprehension
• ast.AST

Class variables

var ifs : List[typedexpr]

var iter : typedexpr

var target : typedexpr

Methods

def typechecks(self) ‑> Dict[str, Type]

Inherited from: typedexpr.typechecks

Successful typechecks if this expression evaluates to True

class typedexpr (*args, **kwargs)

expr = BoolOp(boolop op, expr values) | NamedExpr(expr target, expr value) | BinOp(expr left, operator op, expr right) | UnaryOp(unaryop op, expr operand) | Lambda(arguments args, expr body) | IfExp(expr test, expr body, expr orelse) | Dict(expr keys, expr values) | Set(expr elts) | ListComp(expr elt, comprehension generators) | SetComp(expr elt, comprehension generators) | DictComp(expr key, expr value, comprehension generators) | GeneratorExp(expr elt, comprehension generators) | Await(expr value) | Yield(expr? value) | YieldFrom(expr value) | Compare(expr left, cmpop ops, expr comparators) | Call(expr func, expr args, keyword keywords) | FormattedValue(expr value, int conversion, expr? format_spec) | JoinedStr(expr values) | Constant(constant value, string? kind) | Attribute(expr value, identifier attr, expr_context ctx) | Subscript(expr value, expr slice, expr_context ctx) | Starred(expr value, expr_context ctx) | Name(identifier id, expr_context ctx) | List(expr elts, expr_context ctx) | Tuple(expr* elts, expr_context ctx) | Slice(expr? lower, expr? upper, expr? step)

Expand source code

class typedexpr(TypedAST, _ast.expr):
    def typechecks(self) -> _typing.Dict[str, "Type"]:
        """Successful typechecks if this expression evaluates to True"""
        return {}

Ancestors

• TypedAST
• ast.expr
• ast.AST

Subclasses

• RawPlutoExpr
• TypedAttribute
• TypedBinOp
• TypedBoolOp
• TypedCall
• TypedCompare
• TypedDict
• TypedDictComp
• TypedFormattedValue
• TypedJoinedStr
• TypedList
• TypedListComp
• TypedName
• TypedSlice
• TypedSubscript
• TypedTuple
• TypedUnaryOp
• typedcomprehension

Methods

def typechecks(self) ‑> Dict[str, Type]

Successful typechecks if this expression evaluates to True

Expand source code

def typechecks(self) -> _typing.Dict[str, "Type"]:
    """Successful typechecks if this expression evaluates to True"""
    return {}

class typedstmt (*args, **kwargs)

stmt = FunctionDef(identifier name, arguments args, stmt body, expr decorator_list, expr? returns, string? type_comment, type_param type_params) | AsyncFunctionDef(identifier name, arguments args, stmt body, expr decorator_list, expr? returns, string? type_comment, type_param type_params) | ClassDef(identifier name, expr bases, keyword keywords, stmt body, expr decorator_list, type_param type_params) | Return(expr? value) | Delete(expr targets) | Assign(expr targets, expr value, string? type_comment) | TypeAlias(expr name, type_param type_params, expr value) | AugAssign(expr target, operator op, expr value) | AnnAssign(expr target, expr annotation, expr? value, int simple) | For(expr target, expr iter, stmt body, stmt orelse, string? type_comment) | AsyncFor(expr target, expr iter, stmt body, stmt orelse, string? type_comment) | While(expr test, stmt body, stmt orelse) | If(expr test, stmt body, stmt orelse) | With(withitem items, stmt body, string? type_comment) | AsyncWith(withitem items, stmt body, string? type_comment) | Match(expr subject, match_case cases) | Raise(expr? exc, expr? cause) | Try(stmt body, excepthandler handlers, stmt orelse, stmt finalbody) | TryStar(stmt body, excepthandler handlers, stmt orelse, stmt finalbody) | Assert(expr test, expr? msg) | Import(alias names) | ImportFrom(identifier? module, alias names, int? level) | Global(identifier names) | Nonlocal(identifier* names) | Expr(expr value) | Pass | Break | Continue

Expand source code

class typedstmt(TypedAST, _ast.stmt):
    # Statements always have type None
    typ = NoneInstanceType

Ancestors

• TypedAST
• ast.stmt
• ast.AST

Subclasses

• TypedAnnAssign
• TypedAssert
• TypedAssign
• TypedClassDef
• TypedExpr
• TypedExpression
• TypedFor
• TypedFunctionDef
• TypedIf
• TypedIfExp
• TypedModule
• TypedPass
• TypedReturn
• TypedWhile

Class variables

var typ : Type