refactor: Simplify types overloads (#219)

* fix: `binary` overlap

* fix: Simplify list constructors, `_Ordered`

* refactor: Use `_Tz` default

Author: dangotbanned

pyarrow-stubs/__lib_pxi/types.pyi

@@ -164,7 +164,7 @@ _IndexT = TypeVar(
 )
 _BasicValueT = TypeVar("_BasicValueT", bound=_BasicDataType)
 _ValueT = TypeVar("_ValueT", bound=DataType)
-_Ordered = TypeVar("_Ordered", bound=Literal[True, False], default=Literal[False])
+_Ordered = TypeVar("_Ordered", Literal[True], Literal[False], default=Literal[False])
 
 class DictionaryType(DataType, Generic[_IndexT, _BasicValueT, _Ordered]):
     @property
@@ -380,7 +380,7 @@ def uint64() -> Uint64Type: ...
 def tzinfo_to_string(tz: dt.tzinfo) -> str: ...
 def string_to_tzinfo(name: str) -> dt.tzinfo: ...
 @overload
-def timestamp(unit: _Unit) -> TimestampType[_Unit, None]: ...
+def timestamp(unit: _Unit) -> TimestampType[_Unit, _Tz]: ...
 @overload
 def timestamp(unit: _Unit, tz: _Tz) -> TimestampType[_Unit, _Tz]: ...
 def time32(unit: _Time32Unit) -> Time32Type[_Time32Unit]: ...
@@ -413,9 +413,7 @@ def string() -> StringType: ...
 utf8 = string
 
 @overload
-def binary() -> BinaryType: ...
-@overload
-def binary(length: Literal[-1]) -> BinaryType: ...  # type: ignore[overload-overlap]
+def binary(length: Literal[-1] = ...) -> BinaryType: ...
 @overload
 def binary(length: int) -> FixedSizeBinaryType: ...
 def large_binary() -> LargeBinaryType: ...
@@ -433,28 +431,21 @@ def list_(
 def list_(
     value_type: _DataTypeT | Field[_DataTypeT], list_size: _Size
 ) -> FixedSizeListType[_DataTypeT, _Size]: ...
+def large_list(value_type: _DataTypeT | Field[_DataTypeT]) -> LargeListType[_DataTypeT]: ...
+def list_view(value_type: _DataTypeT | Field[_DataTypeT]) -> ListViewType[_DataTypeT]: ...
+def large_list_view(
+    value_type: _DataTypeT | Field[_DataTypeT],
+) -> LargeListViewType[_DataTypeT]: ...
 @overload
-def large_list(value_type: Field[_DataTypeT]) -> LargeListType[_DataTypeT]: ...
-@overload
-def large_list(value_type: _DataTypeT) -> LargeListType[_DataTypeT]: ...
-@overload
-def list_view(value_type: Field[_DataTypeT]) -> ListViewType[_DataTypeT]: ...
-@overload
-def list_view(value_type: _DataTypeT) -> ListViewType[_DataTypeT]: ...
-@overload
-def large_list_view(value_type: Field[_DataTypeT]) -> LargeListViewType[_DataTypeT]: ...
-@overload
-def large_list_view(value_type: _DataTypeT) -> LargeListViewType[_DataTypeT]: ...
-@overload
-def map_(key_type: _K, item_type: _ValueT) -> MapType[_K, _ValueT, Literal[False]]: ...
+def map_(key_type: _K, item_type: _ValueT) -> MapType[_K, _ValueT, _Ordered]: ...
 @overload
 def map_(
     key_type: _K, item_type: _ValueT, key_sorted: _Ordered
 ) -> MapType[_K, _ValueT, _Ordered]: ...
 @overload
 def dictionary(
     index_type: _IndexT, value_type: _BasicValueT
-) -> DictionaryType[_IndexT, _BasicValueT, Literal[False]]: ...
+) -> DictionaryType[_IndexT, _BasicValueT, _Ordered]: ...
 @overload
 def dictionary(
     index_type: _IndexT, value_type: _BasicValueT, ordered: _Ordered