module documentation
(source)

Undocumented

Class ​Expand​Type​Visitor Visitor that substitutes type variables with values.
Function expand​_type Substitute any type variable references in a type given by a type environment.
Function expand​_type​_by​_instance Substitute type variables in type using values from an Instance. Type variables are considered to be bound by the class declaration.
Function freshen​_function​_type​_vars Substitute fresh type variables for generic function type variables.
Constant F Undocumented
def expand_type(typ, env): (source)
Substitute any type variable references in a type given by a type environment.
Parameters
typ:TypeUndocumented
env:Mapping[TypeVarId, Type]Undocumented
Returns
TypeUndocumented
def expand_type_by_instance(typ, instance): (source)
Substitute type variables in type using values from an Instance. Type variables are considered to be bound by the class declaration.
Parameters
typ:TypeUndocumented
instance:InstanceUndocumented
Returns
TypeUndocumented
def freshen_function_type_vars(callee): (source)
Substitute fresh type variables for generic function type variables.
Parameters
callee:FUndocumented
Returns
FUndocumented

Undocumented

Value
TypeVar('F',
        bound=FunctionLike)