Use Union not |

Author: james-d-mitchell

etc/replace-strings-in-doc.py

@@ -6,9 +6,7 @@
 
 def dict_sub(replacements, string):
     """replacements has the form {"regex1": "replacement", "regex2": "replacement2", ...}"""
-    global_expression = re.compile(
-        "|".join("(" + x + ")" for x in replacements)
-    )
+    global_expression = re.compile("|".join("(" + x + ")" for x in replacements))
     replacements_by_group = {}
     group = 1
     for expr, replacement in replacements.items():
@@ -42,7 +40,7 @@ def dive(path):
     "PresentationStrings": "Presentation",
     r"_libsemigroups_pybind11.": "",
     "libsemigroups::Presentation<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > >": "Presentation",
-    "RightActionPPerm16List": "Action",
+    "RightActionPPerm1List": "Action",
     "libsemigroups::BMat8": "BMat8",
     "libsemigroups_pybind11.bmat8": "bmat8",
     "libsemigroups_pybind11.knuth_bendix": "knuth_bendix",

libsemigroups_pybind11/knuth_bendix.py

@@ -14,7 +14,7 @@
 the KnuthBendix class from libsemigroups.
 """
 
-from typing import List, Iterator
+from typing import List, Iterator, Union
 
 from _libsemigroups_pybind11 import (
     KnuthBendixRewriteFromLeft as _KnuthBendixRewriteFromLeft,
@@ -99,7 +99,7 @@ def non_trivial_classes(
     kb1: KnuthBendix,
     kb2: KnuthBendix,
     **kwargs,  # pylint: disable=unused-argument
-) -> List[List[str | List[int]]]:
+) -> List[List[Union[str, List[int]]]]:
     r"""
     Find the non-trivial classes of the quotient of one KnuthBendix instance in
     another.
@@ -176,7 +176,7 @@ def non_trivial_classes(
         List[int]: _knuth_bendix_word_normal_forms,
     }
 )
-def normal_forms(kb: KnuthBendix, **kwargs) -> Iterator[str | List[int]]:  # pylint: disable=unused-argument
+def normal_forms(kb: KnuthBendix, **kwargs) -> Iterator[Union[str, List[int]]]:  # pylint: disable=unused-argument
     r"""
     Returns an iterator yielding normal forms.
 

libsemigroups_pybind11/todd_coxeter.py

@@ -125,7 +125,7 @@ def noop():
 @_template_params_as_kwargs(
     Word={str: _str_normal_forms, List[int]: _word_normal_forms}
 )
-def normal_forms(kb: ToddCoxeter, **kwargs) -> Iterator[str | List[int]]:  # pylint: disable=unused-argument
+def normal_forms(kb: ToddCoxeter, **kwargs) -> Iterator[Union[str, List[int]]]:  # pylint: disable=unused-argument
     r"""
     Returns an iterator yielding normal forms.
 
@@ -156,7 +156,7 @@ def normal_forms(kb: ToddCoxeter, **kwargs) -> Iterator[str | List[int]]:  # pyl
 @_template_params_as_kwargs(
     Word={str: _str_class_by_index, List[int]: _word_class_by_index}
 )
-def class_by_index(kb: ToddCoxeter, **kwargs) -> Iterator[str | List[int]]:  # pylint: disable=unused-argument
+def class_by_index(kb: ToddCoxeter, **kwargs) -> Iterator[Union[str, List[int]]]:  # pylint: disable=unused-argument
     """
     Returns an iterator yielding every word ``List[int]`` or ``str`` in the
     congruence class with given index.