Index
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
K
|
L
|
M
|
N
|
O
|
P
|
R
|
S
|
T
|
U
|
V
|
W
A
AbstractConstraint (class in pyanalyze.stacked_scopes)
ActualArguments (class in pyanalyze.signature)
add() (pyanalyze.name_check_visitor.StackedContexts method)
add_constraint() (pyanalyze.stacked_scopes.FunctionScope method)
(pyanalyze.stacked_scopes.Scope method)
add_evaluation() (pyanalyze.annotations.Context method)
add_scope() (pyanalyze.stacked_scopes.StackedScopes method)
allow_call (pyanalyze.signature.Signature attribute)
allow_only_module_scope() (pyanalyze.stacked_scopes.StackedScopes method)
AllowDuplicateValues (class in pyanalyze.name_check_visitor)
allowed_sources (pyanalyze.extensions.NoAny attribute)
AlwaysPresentExtension (class in pyanalyze.value)
AndConstraint (class in pyanalyze.stacked_scopes)
annotate_code() (in module pyanalyze.ast_annotator)
annotate_file() (in module pyanalyze.ast_annotator)
AnnotatedValue (class in pyanalyze.value)
annotation (pyanalyze.signature.SigParameter attribute)
ANY_SIGNATURE (in module pyanalyze.signature)
AnySource (class in pyanalyze.value)
AnyValue (class in pyanalyze.value)
apply() (pyanalyze.stacked_scopes.AbstractConstraint method)
apply_to_value() (pyanalyze.stacked_scopes.Constraint method)
args (pyanalyze.value.GenericValue attribute)
assert_error() (in module pyanalyze.extensions)
assert_is_value() (in module pyanalyze.value)
assert_type() (in module pyanalyze.extensions)
AssertErrorExtension (class in pyanalyze.value)
AsyncTaskIncompleteValue (class in pyanalyze.value)
AsynqCallable (class in pyanalyze.extensions)
attr_name (pyanalyze.value.UnboundMethodValue attribute)
B
bind_arguments() (pyanalyze.signature.Signature method)
Bound (class in pyanalyze.value)
BoundMethodSignature (class in pyanalyze.signature)
C
callable (pyanalyze.signature.Signature attribute)
CallableValue (class in pyanalyze.value)
CallContext (class in pyanalyze.signature)
CallReturn (class in pyanalyze.signature)
CallSiteCollector (class in pyanalyze.name_check_visitor)
can_assign() (pyanalyze.signature.Signature method)
(pyanalyze.value.Value method)
CanAssignContext (class in pyanalyze.value)
CanAssignError (class in pyanalyze.value)
check() (pyanalyze.name_check_visitor.NameCheckVisitor method)
check_attribute_reads() (pyanalyze.name_check_visitor.ClassAttributeChecker method)
check_call() (pyanalyze.signature.OverloadedSignature method)
(pyanalyze.signature.Signature method)
check_hashability() (in module pyanalyze.value)
check_unused_attributes() (pyanalyze.name_check_visitor.ClassAttributeChecker method)
CheckForDuplicateValues (class in pyanalyze.name_check_visitor)
ClassAttributeChecker (class in pyanalyze.name_check_visitor)
combine_subscopes() (pyanalyze.stacked_scopes.StackedScopes method)
Composite (class in pyanalyze.stacked_scopes)
composite (pyanalyze.value.UnboundMethodValue attribute)
CompositeVariable (class in pyanalyze.stacked_scopes)
ComprehensionLengthInferenceLimit (class in pyanalyze.name_check_visitor)
compute_function_info() (pyanalyze.name_check_visitor.NameCheckVisitor method)
concrete_values_from_iterable() (in module pyanalyze.value)
config_filename (pyanalyze.name_check_visitor.NameCheckVisitor attribute)
constrain_value() (in module pyanalyze.stacked_scopes)
constraint
Constraint (class in pyanalyze.stacked_scopes)
constraint (pyanalyze.signature.ImplReturn attribute)
constraint_type (pyanalyze.stacked_scopes.Constraint attribute)
ConstraintExtension (class in pyanalyze.value)
contains_scope_of_type() (pyanalyze.stacked_scopes.StackedScopes method)
Context (class in pyanalyze.annotations)
current_scope() (pyanalyze.stacked_scopes.StackedScopes method)
CustomCheck (class in pyanalyze.extensions)
CustomCheckExtension (class in pyanalyze.value)
D
DecoratorValue (class in pyanalyze.annotations)
deep (pyanalyze.extensions.NoAny attribute)
default (pyanalyze.signature.SigParameter attribute)
(pyanalyze.value.AnySource attribute)
DefiniteValueExtension (class in pyanalyze.value)
deprecated (pyanalyze.signature.Signature attribute)
deprecated() (in module pyanalyze.extensions)
DeprecatedExtension (class in pyanalyze.value)
DictIncompleteValue (class in pyanalyze.value)
DisallowCallsToDunders (class in pyanalyze.name_check_visitor)
DisallowedImports (class in pyanalyze.name_check_visitor)
display() (pyanalyze.value.CanAssignError method)
display_value() (pyanalyze.value.CanAssignContext method)
dump_annotated_code() (in module pyanalyze.ast_annotator)
dump_value() (in module pyanalyze.value)
E
ELLIPSIS (pyanalyze.signature.ParameterKind attribute)
ellipsis_callable (pyanalyze.value.AnySource attribute)
empty (pyanalyze.signature.SigParameter attribute)
EquivalentConstraint (class in pyanalyze.stacked_scopes)
error (pyanalyze.value.AnySource attribute)
evaluate_type_params (pyanalyze.value.TypeAlias attribute)
evaluated() (in module pyanalyze.extensions)
evaluated_value (pyanalyze.value.TypeAlias attribute)
evaluator (pyanalyze.signature.Signature attribute)
(pyanalyze.value.TypeAlias attribute)
exactly (pyanalyze.value.SubclassValue attribute)
explicit (pyanalyze.value.AnySource attribute)
Extension (class in pyanalyze.value)
ExternalType (class in pyanalyze.extensions)
extra_keys (pyanalyze.value.TypedDictValue attribute)
extra_keys_readonly (pyanalyze.value.TypedDictValue attribute)
ExtraBuiltins (class in pyanalyze.name_check_visitor)
F
flatten_values() (in module pyanalyze.value)
ForLoopAlwaysEntered (class in pyanalyze.name_check_visitor)
from_another (pyanalyze.value.AnySource attribute)
from_varname() (pyanalyze.value.VariableNameValue class method)
FunctionScope (class in pyanalyze.stacked_scopes)
G
generic_argument (pyanalyze.value.AnySource attribute)
GenericValue (class in pyanalyze.value)
get() (pyanalyze.stacked_scopes.StackedScopes method)
get_all_definition_nodes() (pyanalyze.stacked_scopes.FunctionScope method)
get_asynq_value() (pyanalyze.signature.Signature method)
(pyanalyze.value.CallableValue method)
get_attribute() (pyanalyze.name_check_visitor.NameCheckVisitor method)
get_attribute_value() (pyanalyze.name_check_visitor.ClassAttributeChecker method)
get_compatibility_error() (in module pyanalyze.runtime)
get_custom_check_of_type() (pyanalyze.value.AnnotatedValue method)
get_generic_bases() (pyanalyze.value.CanAssignContext method)
get_member_sequence() (pyanalyze.value.SequenceValue method)
get_metadata_of_type() (pyanalyze.value.AnnotatedValue method)
get_method() (pyanalyze.value.UnboundMethodValue method)
get_name() (pyanalyze.annotations.Context method)
(pyanalyze.annotations.RuntimeEvaluator method)
(pyanalyze.annotations.SyntheticEvaluator method)
get_nonlocal_scope() (pyanalyze.stacked_scopes.StackedScopes method)
get_overloads() (in module pyanalyze.extensions)
get_signature() (pyanalyze.value.CanAssignContext method)
get_type() (pyanalyze.value.Value method)
get_type_evaluations() (in module pyanalyze.extensions)
get_type_value() (pyanalyze.value.Value method)
get_value() (pyanalyze.value.DictIncompleteValue method)
get_with_scope() (pyanalyze.stacked_scopes.StackedScopes method)
H
has_extra_keys() (in module pyanalyze.extensions)
has_metadata_of_type() (pyanalyze.value.AnnotatedValue method)
has_used_any_match() (pyanalyze.name_check_visitor.NameCheckVisitor method)
(pyanalyze.value.CanAssignContext method)
HasAttrExtension (class in pyanalyze.value)
HasAttrGuard (class in pyanalyze.extensions)
HasAttrGuardExtension (class in pyanalyze.value)
I
ignore_topmost_scope() (pyanalyze.stacked_scopes.StackedScopes method)
IgnoredEndOfReference (class in pyanalyze.name_check_visitor)
IgnoredForIncompatibleOverride (class in pyanalyze.name_check_visitor)
IgnoredPaths (class in pyanalyze.name_check_visitor)
IgnoredTypesForAttributeChecking (class in pyanalyze.name_check_visitor)
IgnoredUnusedAttributes (class in pyanalyze.name_check_visitor)
IgnoredUnusedClassAttributes (class in pyanalyze.name_check_visitor)
IgnoreNoneAttributes (class in pyanalyze.name_check_visitor)
impl
(pyanalyze.signature.Signature attribute)
ImplReturn (class in pyanalyze.signature)
incomplete_annotation (pyanalyze.value.AnySource attribute)
inference (pyanalyze.value.AnySource attribute)
InvalidSignature
invert() (pyanalyze.stacked_scopes.AbstractConstraint method)
is_assignable() (pyanalyze.value.Value method)
is_async_iterable() (in module pyanalyze.value)
is_asynq (pyanalyze.signature.Signature attribute)
is_compatible() (in module pyanalyze.runtime)
is_error (pyanalyze.signature.CallReturn attribute)
is_iterable() (in module pyanalyze.value)
is_keyword() (in module pyanalyze.extensions)
is_many (pyanalyze.value.KVPair attribute)
is_nested_function() (pyanalyze.stacked_scopes.StackedScopes method)
is_of_type() (in module pyanalyze.extensions)
is_positional() (in module pyanalyze.extensions)
is_provided() (in module pyanalyze.extensions)
is_required (pyanalyze.value.KVPair attribute)
is_type() (pyanalyze.value.Value method)
IsOneOf (class in pyanalyze.value)
items (pyanalyze.value.DictIncompleteValue property)
(pyanalyze.value.TypedDictValue attribute)
K
key (pyanalyze.value.KVPair attribute)
kind (pyanalyze.signature.SigParameter attribute)
KnownValue (class in pyanalyze.value)
KnownValueWithTypeVars (class in pyanalyze.value)
kv_pairs (pyanalyze.value.DictIncompleteValue attribute)
kv_pairs_from_mapping() (in module pyanalyze.value)
KVPair (class in pyanalyze.value)
L
literal_only (pyanalyze.value.TypedValue attribute)
LiteralOnly (class in pyanalyze.extensions)
loop_scope() (pyanalyze.stacked_scopes.StackedScopes method)
LowerBound (class in pyanalyze.value)
M
make() (pyanalyze.signature.Signature class method)
make_known_value() (pyanalyze.value.SequenceValue method)
make_type_object() (pyanalyze.value.CanAssignContext method)
marker (pyanalyze.value.AnySource attribute)
MaximumPositionalArgs (class in pyanalyze.signature)
maybe_show_too_many_pos_args_error() (pyanalyze.signature.Signature method)
members (pyanalyze.value.SequenceValue attribute)
metadata (pyanalyze.value.AnnotatedValue attribute)
module
pyanalyze.annotations
pyanalyze.ast_annotator
pyanalyze.extensions
pyanalyze.name_check_visitor
pyanalyze.runtime
pyanalyze.signature
pyanalyze.stacked_scopes
pyanalyze.value
module (pyanalyze.value.TypeAliasValue attribute)
module_scope() (pyanalyze.stacked_scopes.StackedScopes method)
multiple_overload_matches (pyanalyze.value.AnySource attribute)
MultiValuedValue (class in pyanalyze.value)
N
name (pyanalyze.signature.SigParameter attribute)
(pyanalyze.value.NewTypeValue attribute)
(pyanalyze.value.TypeAliasValue attribute)
NameCheckVisitor (class in pyanalyze.name_check_visitor)
newtype (pyanalyze.value.NewTypeValue attribute)
NewTypeValue (class in pyanalyze.value)
no_return_unless (pyanalyze.signature.ImplReturn attribute)
NO_RETURN_VALUE (in module pyanalyze.value)
NoAny (class in pyanalyze.extensions)
node (pyanalyze.signature.CallContext attribute)
(pyanalyze.stacked_scopes.Composite attribute)
NoReturnConstraintExtension (class in pyanalyze.value)
NoReturnGuard (class in pyanalyze.extensions)
NoReturnGuardExtension (class in pyanalyze.value)
NULL_CONSTRAINT (in module pyanalyze.stacked_scopes)
NullConstraint (class in pyanalyze.stacked_scopes)
O
OrBound (class in pyanalyze.value)
OrConstraint (class in pyanalyze.stacked_scopes)
overload() (in module pyanalyze.extensions)
OverloadedSignature (class in pyanalyze.signature)
P
ParameterKind (class in pyanalyze.signature)
parameters (pyanalyze.signature.Signature attribute)
ParameterTypeGuard (class in pyanalyze.extensions)
ParameterTypeGuardExtension (class in pyanalyze.value)
ParamSpecArgsValue (class in pyanalyze.value)
ParamSpecKwargsValue (class in pyanalyze.value)
patch_typing_overload() (in module pyanalyze.extensions)
phase
positive (pyanalyze.stacked_scopes.Constraint attribute)
PosOrKeyword (class in pyanalyze.signature)
PossibleArg (class in pyanalyze.signature)
PredicateProvider (class in pyanalyze.stacked_scopes)
preprocess_args() (in module pyanalyze.signature)
pyanalyze.annotations
module
pyanalyze.ast_annotator
module
pyanalyze.extensions
module
pyanalyze.name_check_visitor
module
pyanalyze.runtime
module
pyanalyze.signature
module
pyanalyze.stacked_scopes
module
pyanalyze.value
module
R
record_any_used() (pyanalyze.name_check_visitor.NameCheckVisitor method)
(pyanalyze.value.CanAssignContext method)
record_attribute_read() (pyanalyze.name_check_visitor.ClassAttributeChecker method)
record_attribute_set() (pyanalyze.name_check_visitor.ClassAttributeChecker method)
record_class_examined() (pyanalyze.name_check_visitor.ClassAttributeChecker method)
ReferencingValue (class in pyanalyze.value)
remaining_arguments (pyanalyze.signature.CallReturn attribute)
replace_known_sequence_value() (in module pyanalyze.value)
reset_any_used() (pyanalyze.name_check_visitor.NameCheckVisitor method)
(pyanalyze.value.CanAssignContext method)
resolve_name() (pyanalyze.name_check_visitor.NameCheckVisitor method)
return_value (pyanalyze.signature.CallReturn attribute)
(pyanalyze.signature.ImplReturn attribute)
(pyanalyze.signature.Signature attribute)
reveal_locals() (in module pyanalyze.extensions)
reveal_type() (in module pyanalyze.extensions)
RuntimeEvaluator (class in pyanalyze.annotations)
S
Scope (class in pyanalyze.stacked_scopes)
scope_type() (pyanalyze.stacked_scopes.StackedScopes method)
scope_used_as_parent() (pyanalyze.stacked_scopes.Scope method)
secondary_attr_name (pyanalyze.value.UnboundMethodValue attribute)
SequenceValue (class in pyanalyze.value)
serialize_type() (pyanalyze.name_check_visitor.ClassAttributeChecker method)
set() (pyanalyze.stacked_scopes.StackedScopes method)
set_exclude_any() (pyanalyze.name_check_visitor.NameCheckVisitor method)
(pyanalyze.value.CanAssignContext method)
should_exclude_any() (pyanalyze.name_check_visitor.NameCheckVisitor method)
(pyanalyze.value.CanAssignContext method)
should_suppress_undefined_names (pyanalyze.annotations.Context attribute)
show_error() (in module pyanalyze.extensions)
(pyanalyze.annotations.Context method)
(pyanalyze.signature.CallContext method)
sig (pyanalyze.signature.CallReturn attribute)
Signature (class in pyanalyze.signature)
signature_from_value() (pyanalyze.value.CanAssignContext method)
SigParameter (class in pyanalyze.signature)
simplify() (pyanalyze.value.Value method)
SkipDeprecatedExtension (class in pyanalyze.value)
source (pyanalyze.value.AnyValue attribute)
StackedContexts (class in pyanalyze.name_check_visitor)
StackedScopes (class in pyanalyze.stacked_scopes)
SubclassValue (class in pyanalyze.value)
subscope() (pyanalyze.stacked_scopes.FunctionScope method)
(pyanalyze.stacked_scopes.StackedScopes method)
substitute_typevars() (pyanalyze.value.Value method)
suppress_undefined_names() (pyanalyze.annotations.Context method)
suppressing_subscope() (pyanalyze.stacked_scopes.FunctionScope method)
SyntheticEvaluator (class in pyanalyze.annotations)
SyntheticModuleValue (class in pyanalyze.value)
SysPlatformExtension (class in pyanalyze.value)
SysVersionInfoExtension (class in pyanalyze.value)
T
typ (pyanalyze.value.SubclassValue attribute)
(pyanalyze.value.TypedValue attribute)
type_from_ast() (in module pyanalyze.annotations)
type_from_runtime() (in module pyanalyze.annotations)
type_from_value() (in module pyanalyze.annotations)
type_params (pyanalyze.value.TypeAlias attribute)
TypeAlias (class in pyanalyze.value)
TypeAliasValue (class in pyanalyze.value)
TypedDictEntry (class in pyanalyze.value)
TypedDictValue (class in pyanalyze.value)
TypedValue (class in pyanalyze.value)
TypeGuard (class in pyanalyze.extensions)
TypeGuardExtension (class in pyanalyze.value)
TypeIsExtension (class in pyanalyze.value)
TypeQualifierValue (class in pyanalyze.annotations)
typevars (pyanalyze.value.KnownValueWithTypeVars attribute)
(pyanalyze.value.UnboundMethodValue attribute)
TypeVarValue (class in pyanalyze.value)
U
unannotated (pyanalyze.value.AnySource attribute)
UnboundMethodValue (class in pyanalyze.value)
UnimportableModules (class in pyanalyze.name_check_visitor)
UNINITIALIZED_VALUE (in module pyanalyze.value)
UninitializedValue (class in pyanalyze.value)
UnionSimplificationLimit (class in pyanalyze.name_check_visitor)
uniq_chain() (in module pyanalyze.stacked_scopes)
unite_values() (in module pyanalyze.value)
unpack_values() (in module pyanalyze.value)
UnpackedValue (class in pyanalyze.value)
unreachable (pyanalyze.value.AnySource attribute)
unresolved_import (pyanalyze.value.AnySource attribute)
UNRESOLVED_VALUE (in module pyanalyze.value)
UpperBound (class in pyanalyze.value)
used_any_for_match (pyanalyze.signature.CallReturn attribute)
V
val (pyanalyze.value.KnownValue attribute)
vals (pyanalyze.value.MultiValuedValue attribute)
value
Value (class in pyanalyze.value)
value (pyanalyze.stacked_scopes.Composite attribute)
(pyanalyze.stacked_scopes.Constraint attribute)
(pyanalyze.value.AnnotatedValue attribute)
(pyanalyze.value.AsyncTaskIncompleteValue attribute)
(pyanalyze.value.KVPair attribute)
variable_name (pyanalyze.value.AnySource attribute)
VariableNameValue (class in pyanalyze.value)
varname
(pyanalyze.stacked_scopes.Composite attribute)
(pyanalyze.stacked_scopes.Constraint attribute)
varname_for_arg() (pyanalyze.signature.CallContext method)
varname_for_constraint() (pyanalyze.name_check_visitor.NameCheckVisitor method)
varname_for_self_constraint() (pyanalyze.name_check_visitor.NameCheckVisitor method)
VarnameWithOrigin (class in pyanalyze.stacked_scopes)
vars (pyanalyze.signature.CallContext attribute)
visit() (pyanalyze.name_check_visitor.NameCheckVisitor method)
visitor (pyanalyze.signature.CallContext attribute)
VisitorState (class in pyanalyze.stacked_scopes)
VoidValue (class in pyanalyze.value)
W
walk_values() (pyanalyze.value.Value method)
pyanalyze
Navigation
Contents:
Frequently asked questions
Configuration
Type system
Design
Type evaluation
Support for
annotated_types
Glossary
pyanalyze.annotations
pyanalyze.ast_annotator
pyanalyze.extensions
pyanalyze.name_check_visitor
pyanalyze.runtime
pyanalyze.signature
pyanalyze.stacked_scopes
pyanalyze.value
Changelog
Related Topics
Documentation overview
Quick search