Module starlark::typing

Types required to support the typecheck function.

Structs

• Approximation
  A typing operation wasn’t able to produce a precise result, so made some kind of approximation.
• Interface
  Interface representing the types of all bindings in a module.
• OracleDocs
  A TypingOracle based on information from documentation.
• OracleNoAttributes
  Declare that there are no attributes, usually used at the end of a Vec.
• OracleNoBuiltins
  Declare that there are no builtins, usually used at the end of a Vec.
• OracleNone
  Returns no information for everything.
• OracleStandard
  A TypingOracle based on information from documentation.
• Param
  A parameter argument to a function
• TyFunction
  A function.
• TyName
  The name of an atomic type.
• TyUnion
  A series of types that are unioned together. Must be at least two elements, all distinct elements, with no nested Union types directly inside it.
• TypeMap
  Structure containing all the inferred types.

Enums

• Arg
  An argument being passed to a function
• ParamMode
  The type of a parameter - can be positional, by name, *args or **kwargs.
• Ty
  A Starlark type.

Traits

• TypingOracle
  Callbacks which provide types when typechecking a module.