Lines Matching defs:Annotated
45 'Annotated',
2103 At its core 'Annotated[t, dec1, dec2, ...]' is an alias for the type 't'
2124 return "typing.Annotated[{}, {}]".format(
2131 Annotated, (self.__origin__,) + self.__metadata__
2145 return 'Annotated'
2149 class Annotated:
2152 Example: Annotated[int, runtime_check.Unsigned] indicates to the
2157 The first argument to Annotated must be a valid type.
2161 - It's an error to call `Annotated` with less than two arguments.
2164 assert Annotated[int, '$'].__metadata__ == ('$',)
2166 - Nested Annotated are flattened::
2168 assert Annotated[Annotated[T, Ann1, Ann2], Ann3] == Annotated[T, Ann1, Ann2, Ann3]
2173 assert Annotated[C, Ann1](5) == C(5)
2175 - Annotated can be used as a generic type alias::
2177 Optimized = Annotated[T, runtime.Optimize()]
2178 assert Optimized[int] == Annotated[int, runtime.Optimize()]
2180 OptimizedList = Annotated[List[T], runtime.Optimize()]
2181 assert OptimizedList[int] == Annotated[List[int], runtime.Optimize()]
2183 - Annotated cannot be used with an unpacked TypeVarTuple::
2185 Annotated[*Ts, Ann1] # NOT valid
2189 Annotated[T1, T2, T3, ..., Ann1]
2192 only one type should be passed to Annotated.
2198 raise TypeError("Type Annotated cannot be instantiated.")
2203 raise TypeError("Annotated[...] should be used "
2207 raise TypeError("Annotated[...] should not be used with an "
2209 msg = "Annotated[t, ...]: t must be a type."
2216 "Cannot subclass {}.Annotated".format(cls.__module__)
2283 'Annotated[T, ...]' with 'T' (unless 'include_extras=True').
2406 Annotated, and others. Return None for unsupported types. Examples::
2418 return Annotated
2968 if annotation_origin is Annotated: