mypy.applytype

def apply_generic_arguments(callable, orig_types, report_incompatible_typevar_value, context, skip_unsatisfied=False): (source)

Apply generic type arguments to a callable type.

For example, applying [int] to 'def [T] (T) -> T' results in 'def (int) -> int'.

Note that each type can be None; in this case, it will not be applied.

If skip_unsatisfied is True, then just skip the types that don't satisfy type variable bound or constraints, instead of giving an error.

Parameters
callable:`CallableType`	Undocumented
orig_types:`Sequence[Optional[Type]]`	Undocumented
report_incompatible_typevar_value:`Callable[[CallableType, Type, str, Context], None]`	Undocumented
context:`Context`	Undocumented
skip_unsatisfied:`bool`	Undocumented
Returns
`CallableType`	Undocumented

def get_target_type(tvar, type, callable, report_incompatible_typevar_value, context, skip_unsatisfied): (source)

Undocumented

Parameters
tvar:`TypeVarLikeType`	Undocumented
type:`ProperType`	Undocumented
callable:`CallableType`	Undocumented
report_incompatible_typevar_value:`Callable[[CallableType, Type, str, Context], None]`	Undocumented
context:`Context`	Undocumented
skip_unsatisfied:`bool`	Undocumented
Returns
`Optional[Type]`	Undocumented

Function	`apply_generic_arguments`	Apply generic type arguments to a callable type.
Function	`get_target_type`	Undocumented