mypy.types.ParamSpecType

class documentation

class ParamSpecType(TypeVarLikeType): (source)

View In Hierarchy

Type that refers to a ParamSpec. A ParamSpec is a type variable that represents the parameter types, names and kinds of a callable (i.e., the signature without the return type). This can be one of these forms * P (ParamSpecFlavor.BARE) * P.args (ParamSpecFlavor.ARGS) * P.kwargs (ParamSpecFLavor.KWARGS) The upper_bound is really used as a fallback type -- it's shared with TypeVarType for simplicity. It can't be specified by the user and the value is directly derived from the flavor (currently always just 'object').

Class Method deserialize Undocumented
Static Method new_unification_variable Undocumented
Method __eq__ Undocumented
Method __hash__ Undocumented
Method __init__ Undocumented
Method accept Undocumented
Method copy_modified Undocumented
Method name_with_suffix Undocumented
Method serialize Undocumented
Method with_flavor Undocumented
Class Variable __slots__ Undocumented
Instance Variable flavor Undocumented
Instance Variable prefix Undocumented

Inherited from TypeVarLikeType:

Instance Variable fullname Undocumented
Instance Variable id Undocumented
Instance Variable name Undocumented
Instance Variable upper_bound Undocumented

Inherited from Type (via TypeVarLikeType, ProperType):

Method __repr__ Undocumented
Method can_be_false.setter Undocumented
Method can_be_false_default Undocumented
Method can_be_true.setter Undocumented
Method can_be_true_default Undocumented
Method is_singleton_type Undocumented
Property can_be_false Undocumented
Property can_be_true Undocumented
Instance Variable _can_be_false Undocumented
Instance Variable _can_be_true Undocumented

Inherited from Context (via TypeVarLikeType, ProperType, Type):

Method set_line If target is a node, pull line (and column) information into this node. If column is specified, this will override any column information coming from a node.
Instance Variable column Undocumented
Instance Variable end_column Undocumented
Instance Variable end_line Undocumented
Instance Variable line Undocumented
@classmethod
def deserialize(cls, data: JsonDict) -> ParamSpecType: (source)
overrides mypy.types.TypeVarLikeType.deserialize

Undocumented

@staticmethod
def new_unification_variable(old: ParamSpecType) -> ParamSpecType: (source)

Undocumented

def __eq__(self, other: object) -> bool: (source)

Undocumented

def __hash__(self) -> int: (source)

Undocumented

def __init__(self, name: str, fullname: str, id: TypeVarId|int, flavor: int, upper_bound: Type, *, line: int = -1, column: int = -1, prefix: Parameters|None = None): (source)
overrides mypy.types.TypeVarLikeType.__init__

Undocumented

def accept(self, visitor: TypeVisitor[T]) -> T: (source)
overrides mypy.types.Type.accept

Undocumented

def copy_modified(self, *, id: Bogus[TypeVarId|int] = _dummy, flavor: int = _dummy_int, prefix: Bogus[Parameters] = _dummy) -> ParamSpecType: (source)

Undocumented

def name_with_suffix(self) -> str: (source)

Undocumented

def serialize(self) -> JsonDict: (source)
overrides mypy.types.TypeVarLikeType.serialize

Undocumented

def with_flavor(self, flavor: int) -> ParamSpecType: (source)

Undocumented

__slots__: tuple[str, ...] = (source)
overrides mypy.types.TypeVarLikeType.__slots__

Undocumented

flavor = (source)

Undocumented

prefix = (source)

Undocumented