pycroscope: A semi-static typechecker¶
Contents:
- Frequently asked questions
- Configuration
- Type system
- Design
- Type Parameter Scope Design
- Type evaluation
- Support for
annotated_types - Glossary
- pycroscope.annotations
- pycroscope.ast_annotator
- pycroscope.extensions
CustomCheckPredicateCheckLiteralOnlyNoAnyValidRegexAsynqCallableIntersectionOverlappingParameterTypeGuardNoReturnGuardTypeGuardExternalTypereveal_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()EnumName
- pycroscope.name_check_visitor
ComprehensionLengthInferenceLimitUnionSimplificationLimitOutputFormatOptionDisallowCallsToDundersDisallowedImportsForLoopAlwaysEnteredIgnoreNoneAttributesUnimportableModulesExtraBuiltinsIgnoredPathsIgnoredEndOfReferenceIgnoredForIncompatibleOverrideIgnoredUnusedAttributesIgnoredUnusedAttributePathsIgnoredUnusedClassAttributesIgnoreUnusedAttributePredicatesUnusedClassAttributeCheckForDuplicateValuesAllowDuplicateValuesTransformGlobalsIgnoredTypesForAttributeCheckingClassAttributeCheckerStackedContextsCallSiteCollectorNameCheckVisitorget_task_cls()
- pycroscope.runtime
- pycroscope.signature
- pycroscope.stacked_scopes
- pycroscope.value
TypeVarMapClassOwnerValueCanAssignContextCanAssignErrorassert_is_value()dump_value()get_mro()get_attribute()AnySourceAnyValueUNRESOLVED_VALUEPartialValueOperationPartialValuePartialCallValueSuperValueVoidValueFunctionOwnerAliasOwnerTypeVarParamParamSpecParamTypeVarTupleParamTypeAliasTypeAliasValueUninitializedValueUNINITIALIZED_VALUEKnownValueKnownValueWithTypeVarsSyntheticModuleValueUnboundMethodValueTypedValueNewTypeValueGenericValueSequenceValueKVPairDictIncompleteValueTypedDictEntryTypedDictValueSyntheticClassObjectValueAsyncTaskIncompleteValueCallableValueSubclassValueIntersectionValueOverlappingValueMultiValuedValueNO_RETURN_VALUEReferencingValueBoundLowerBoundUpperBoundOrBoundIsOneOfTypeVarValueInferenceVarValueTypeVarTupleValueTypeVarTupleBindingValueParamSpecArgsValueParamSpecKwargsValueExtensionSelfOwnerExtensionCustomCheckExtensionParameterTypeGuardExtensionNoReturnGuardExtensionTypeGuardExtensionTypeIsExtensionTypeFormValueSyntheticTypeFormValueAddPredicateExtensionConstraintExtensionNoReturnConstraintExtensionAlwaysPresentExtensionAssertErrorExtensionSkipDeprecatedExtensionDeprecatedExtensionSysPlatformExtensionSysVersionInfoExtensionDefiniteValueExtensionDataclassTransformInfoDataclassInfoDataclassFieldInfoPropertyInfoDataclassTransformExtensionDataclassTransformDecoratorExtensionAnnotatedValueVariableNameValuePredicatePredicateValueNotAGradualTypeflatten_values()unite_values()concrete_values_from_iterable()kv_pairs_from_mapping()unpack_values()is_iterable()is_async_iterable()replace_known_sequence_value()ClassSymbolAnnotationExpr
- Changelog