pytype.matcher

module documentation
(source)

Matching logic for abstract values.

Class AbstractMatcher Matcher for abstract values.
Class BadMatch An expected type/actual value mismatch.
Class ErrorDetails Undocumented
Class GoodMatch A correct type/actual value match.
Class MatchResult The result of a compute_one_match call.
Exception NonIterableStrError Error for matching `str` against `Iterable[str]`/`Sequence[str]`/etc.
Exception ProtocolError Undocumented
Exception ProtocolMissingAttributesError Undocumented
Exception ProtocolTypeError Undocumented
Exception TypedDictError Undocumented
Variable log Undocumented
Class _TypeParams Collection of TypeParameter objects encountered during matching.
Class _UniqueMatches A collection of matches that discards duplicates.
Function _compute_superset_info Compute whether subst_key1 is a superset of subst_key2 and vice versa.
Function _is_callback_protocol Undocumented
Constant _COMPATIBLE_BUILTINS Undocumented
Type Alias _SubstKeyType Undocumented
Type Alias _ViewKeyType Undocumented
Variable _SubstType Undocumented
Variable _ViewType Undocumented
log = (source)

Undocumented

def _compute_superset_info(subst_key1, subst_key2): (source)

Compute whether subst_key1 is a superset of subst_key2 and vice versa.

def _is_callback_protocol(typ): (source)

Undocumented

_COMPATIBLE_BUILTINS = (source)

Undocumented

Value
[('builtins.' + compatible_builtin, 'builtins.' + builtin) for 
    compatible_builtin, builtin in pep484.COMPAT_ITEMS]
_SubstKeyType = (source)

Undocumented

Value
Dict[cfg.Variable, Any]
_ViewKeyType = (source)

Undocumented

Value
Tuple[Tuple[int, Any], ...]
_SubstType = (source)

Undocumented

_ViewType = (source)

Undocumented