Home
last modified time | relevance | path

Searched refs:TypeVarType (Results 1 – 25 of 50) sorted by relevance

12

/dports/devel/py-mypy/mypy-0.910/mypy/
H A Dtypeops.py15 TypeVarType, UninhabitedType, FormalArgument, UnionType, NoneType, TypedDictType,
183 return (isinstance(typ, TypeVarType) or
245 and isinstance(original_type, (Instance, TypeVarType, TupleType))):
282 if isinstance(t, TypeVarType):
285 if isinstance(t.item, TypeVarType):
494 def erase_to_union_or_bound(typ: TypeVarType) -> ProperType: argument
633 elif isinstance(t, TypeVarType):
766 def get_type_vars(tp: Type) -> List[TypeVarType]:
770 class TypeVarExtractor(TypeQuery[List[TypeVarType]]):
774 def _merge(self, iter: Iterable[List[TypeVarType]]) -> List[TypeVarType]: argument
[all …]
H A Dtypevars.py6 from mypy.types import Instance, TypeVarType, TupleType, Type, TypeOfAny, AnyType
17 tv.append(TypeVarType(typ.defn.type_vars[i]))
H A Dsemanal_infer.py7 Type, CallableType, AnyType, TypeOfAny, TypeVarType, ProperType, get_proper_type
70 if isinstance(sig.arg_types[0], TypeVarType) and isinstance(sig.ret_type, TypeVarType):
H A Derasetype.py4 Type, TypeVisitor, UnboundType, AnyType, NoneType, TypeVarId, Instance, TypeVarType,
57 def visit_type_var(self, t: TypeVarType) -> ProperType: argument
126 def visit_type_var(self, t: TypeVarType) -> Type: argument
H A Dexpandtype.py5 NoneType, TypeVarType, Overloaded, TupleType, TypedDictType, UnionType,
47 tvmap[v.id] = TypeVarType(tvdef)
88 def visit_type_var(self, t: TypeVarType) -> Type: argument
H A Dsametypes.py5 UnionType, CallableType, TypeVarType, Instance, TypeVisitor, ErasedType,
95 def visit_type_var(self, left: TypeVarType) -> bool: argument
96 return (isinstance(self.right, TypeVarType) and
H A Dapplytype.py7 Type, TypeVarId, TypeVarType, CallableType, AnyType, PartialType, get_proper_types,
27 if isinstance(type, TypeVarType) and type.values:
H A Dtypetraverser.py7 TypeVarType, LiteralType, Instance, CallableType, TupleType, TypedDictType, UnionType,
34 def visit_type_var(self, t: TypeVarType) -> None: argument
H A Dtype_visitor.py24 UnionType, TypeVarType, PartialType, DeletedType, UninhabitedType, TypeVarLikeDef,
63 def visit_type_var(self, t: TypeVarType) -> T: argument
183 def visit_type_var(self, t: TypeVarType) -> Type: argument
298 def visit_type_var(self, t: TypeVarType) -> T: argument
H A Dsemanal_typeargs.py12 Type, Instance, TypeVarType, AnyType, get_proper_types, TypeAliasType, get_proper_type
72 if isinstance(arg, TypeVarType):
H A Dmeet.py8 Type, AnyType, TypeVisitor, UnboundType, NoneType, TypeVarType, Instance, CallableType,
120 if isinstance(typ, TypeVarType):
211 return isinstance(t1, NoneType) and isinstance(t2, TypeVarType)
218 or isinstance(left, TypeVarType) or isinstance(right, TypeVarType)):
485 def visit_type_var(self, t: TypeVarType) -> ProperType: argument
486 if isinstance(self.s, TypeVarType) and self.s.id == t.id:
H A Djoin.py7 Type, AnyType, NoneType, TypeVisitor, Instance, UnboundType, TypeVarType, CallableType,
158 def visit_type_var(self, t: TypeVarType) -> ProperType: argument
159 if isinstance(self.s, TypeVarType) and self.s.id == t.id:
361 elif isinstance(typ, TypeVarType):
525 elif isinstance(typ, TypeVarType) and isinstance(typ.upper_bound, ProperType):
H A Dsubtypes.py8 Instance, TypeVarType, CallableType, TupleType, TypedDictType, UnionType, Overloaded,
142 if not isinstance(left, TypeVarType):
299 def visit_type_var(self, left: TypeVarType) -> bool: argument
301 if isinstance(right, TypeVarType) and left.id == right.id:
496 if isinstance(item, TypeVarType):
1305 def visit_type_var(self, left: TypeVarType) -> bool: argument
1306 if isinstance(self.right, TypeVarType) and left.id == self.right.id:
1410 if isinstance(item, TypeVarType):
H A Dconstraints.py7 CallableType, Type, TypeVisitor, UnboundType, AnyType, NoneType, TypeVarType, Instance,
133 if isinstance(template, TypeVarType):
190 if (direction == SUPERTYPE_OF and isinstance(template, TypeVarType) and
309 def visit_type_var(self, template: TypeVarType) -> List[Constraint]: argument
H A Dstats.py14 Type, AnyType, Instance, FunctionLike, TupleType, TypeVarType, TypeQuery, CallableType,
378 elif isinstance(typ, TypeVarType):
453 TypeVarType))
/dports/devel/py-pydantic/pydantic-1.8.2/pydantic/
H A Dgenerics.py30 TypeVarType = Any # since mypy doesn't allow the use of TypeVar as a type variable
41 __parameters__: ClassVar[Tuple[TypeVarType, ...]]
69 typevars_map: Dict[TypeVarType, Type[Any]] = dict(zip(cls.__parameters__, params))
220 def iter_contained_typevars(v: Any) -> Iterator[TypeVarType]:
/dports/devel/py-mypy/mypy-0.910/mypy/test/
H A Dtestsolve.py9 from mypy.types import Type, TypeVarType, TypeVarId
127 def supc(self, type_var: TypeVarType, bound: Type) -> Constraint: argument
130 def subc(self, type_var: TypeVarType, bound: Type) -> Constraint: argument
H A Dtypefixture.py9 Type, TypeVarType, AnyType, NoneType, Instance, CallableType, TypeVarDef, TypeType,
32 variance: int) -> TypeVarType:
33 return TypeVarType(TypeVarDef(name, name, id, values, upper_bound, variance))
/dports/devel/py-mypy/mypy-0.910/mypyc/irbuild/
H A Dmapper.py8 UninhabitedType, Overloaded, UnionType, TypeType, AnyType, NoneTyp, TupleType, TypeVarType,
90 elif isinstance(typ, TypeVarType):
/dports/devel/py-mypy/mypy-0.910/mypy/server/
H A Dastdiff.py61 ErasedType, DeletedType, Instance, TypeVarType, CallableType, TupleType, TypedDictType,
216 tuple(snapshot_type(TypeVarType(tdef)) for tdef in node.defn.type_vars),
299 def visit_type_var(self, typ: TypeVarType) -> SnapshotItem: argument
/dports/devel/py-mypy/mypy-0.910/mypy/plugins/
H A Ddataclasses.py17 Type, Instance, NoneType, TypeVarDef, TypeVarType, CallableType,
86 if not isinstance(self.type, TypeVarType):
151 order_other_type = TypeVarType(order_tvar_def)
H A Ddefault.py13 TypeVarDef, TypeVarType, TPDICT_FB_NAMES, get_proper_type, LiteralType
223 tv = TypeVarType(signature.variables[0])
288 tv = TypeVarType(signature.variables[0])
/dports/databases/py-sqlalchemy14/SQLAlchemy-1.4.27/lib/sqlalchemy/ext/mypy/
H A Dutil.py33 from mypy.types import TypeVarType
68 if not isinstance(self.type, TypeVarType):
/dports/math/teyjus/teyjus-2.1-7-ge63f40a/source/compiler/
H A Dabsyn.ml43 | TypeVarType of (atypevarinfo) Constructor
398 | TypeVarType(FreeTypeVar(_)) ->
413 | TypeVarType(_), TypeVarType(_) -> true
428 | TypeVarType(BindableTypeVar(r)) ->
431 | TypeVarType(FreeTypeVar(r, _)) ->
561 | TypeVarType(info) ->
570 TypeVarType(r) ->
584 | TypeVarType(r) ->
597 | TypeVarType(r) ->
617 | TypeVarType(FreeTypeVar(_)) -> true
[all …]
H A Dtypes.ml68 | Absyn.TypeVarType(_) -> ty'
218 | Absyn.TypeVarType(_) -> (string_of_var bindings)
286 Absyn.TypeVarType(r) ->
360 | Absyn.TypeVarType(_) ->
395 | Absyn.TypeVarType(r)::vs ->
716 | Absyn.TypeVarType(varInfo) ->
843 | Absyn.TypeVarType(_) ->
889 | Absyn.TypeVarType(_)

12