pyanalyze: A semi-static typechecker¶
Contents:
- Frequently asked questions
- Configuration
- Type system
- Design
- Type evaluation
- Support for
annotated_types - Glossary
- pyanalyze.annotations
- pyanalyze.ast_annotator
- pyanalyze.extensions
CustomCheckLiteralOnlyNoAnyAsynqCallableParameterTypeGuardNoReturnGuardHasAttrGuardTypeGuardExternalTypereveal_type()reveal_locals()assert_type()assert_error()deprecated()get_overloads()get_type_evaluations()overload()patch_typing_overload()evaluated()is_provided()is_positional()is_keyword()is_of_type()show_error()has_extra_keys()
- pyanalyze.name_check_visitor
ComprehensionLengthInferenceLimitUnionSimplificationLimitDisallowCallsToDundersDisallowedImportsForLoopAlwaysEnteredIgnoreNoneAttributesUnimportableModulesExtraBuiltinsIgnoredPathsIgnoredEndOfReferenceIgnoredForIncompatibleOverrideIgnoredUnusedAttributesIgnoredUnusedClassAttributesCheckForDuplicateValuesAllowDuplicateValuesIgnoredTypesForAttributeCheckingClassAttributeCheckerStackedContextsCallSiteCollectorNameCheckVisitor
- pyanalyze.runtime
- pyanalyze.signature
- pyanalyze.stacked_scopes
- pyanalyze.value
ValueCanAssignContextCanAssignErrorassert_is_value()dump_value()AnySourceAnyValueUNRESOLVED_VALUEVoidValueTypeAliasTypeAliasValueUninitializedValueUNINITIALIZED_VALUEKnownValueKnownValueWithTypeVarsSyntheticModuleValueUnboundMethodValueTypedValueNewTypeValueGenericValueSequenceValueKVPairDictIncompleteValueTypedDictEntryTypedDictValueAsyncTaskIncompleteValueCallableValueSubclassValueMultiValuedValueNO_RETURN_VALUEReferencingValueBoundLowerBoundUpperBoundOrBoundIsOneOfTypeVarValueParamSpecArgsValueParamSpecKwargsValueExtensionCustomCheckExtensionParameterTypeGuardExtensionNoReturnGuardExtensionTypeGuardExtensionTypeIsExtensionHasAttrGuardExtensionHasAttrExtensionConstraintExtensionNoReturnConstraintExtensionAlwaysPresentExtensionAssertErrorExtensionSkipDeprecatedExtensionDeprecatedExtensionSysPlatformExtensionSysVersionInfoExtensionDefiniteValueExtensionAnnotatedValueUnpackedValueVariableNameValueflatten_values()unite_values()concrete_values_from_iterable()kv_pairs_from_mapping()check_hashability()unpack_values()is_iterable()is_async_iterable()replace_known_sequence_value()
- Changelog
- Unreleased
- Version 0.12.0 (February 25, 2024)
- Other bugs
- Version 0.11.0 (October 3, 2023)
- Version 0.10.1 (May 22, 2023)
- Version 0.10.0 (May 10, 2023)
- Version 0.9.0 (January 16, 2023)
- Version 0.8.0 (November 5, 2022)
- Version 0.7.0 (April 13, 2022)
- Version 0.6.0 (January 12, 2022)
- Version 0.5.0 (December 12, 2021)
- Version 0.4.0 (November 18, 2021)
- Version 0.3.1 (August 11, 2021)
- Version 0.3.0 (August 1, 2021)
- Version 0.2.0 (May 17, 2021)
- Version 0.1.0 (May 29, 2020)