From f3dcea48560bb9b1c694eb5ad40064206b3cbaff Mon Sep 17 00:00:00 2001
From: marehr <marehr-github@marehr.dialup.fu-berlin.de>
Date: Fri, 29 Dec 2023 18:26:17 +0100
Subject: [PATCH] FEATURE: add seqan3::default_printer

This PR will resolve seqan/product_backlog#63.

This issue is a long-standing regret of mine. I hope that you can take it over and push it over the finishing line.
The state of the current PR is just a draft of an idea.

I'll comment on multiple code locations to point out the advantages of the new design.

# The old design

The major idea of the design is due to the following observation:

> We use overload resolution and in particular overload ordering via concepts to determine the order in which we should print

Just to give a small example (the more down, the more specialized):

```cpp
  std::cout //-printable [1]
< seqan3::tuple_like // [4]
< std::ranges::input_range // [2]
< std::vector<uint8_t> // [3]
< seqan3::sequence // [3]
< char * // [2]

  std::cout //-printable [1]
< char // [5]
< seqan3::tuple_like // [4]
< seqan3::alphabet // [5]
< seqan3::mask // [6]
```

NOTE: that using concepts as overload resolution always uses a partially ordered set, which can be depicted by as a [Hasse Diagram](https://en.wikipedia.org/wiki/Hasse_diagram), and by using the except clauses via `requires` we give it a total order.

# The new design

### Before anything, note that the new design does not break any existing code. As existing `seqan3::debugstream << ` overloads, still take place in overload resolution ().

The idea is simple:
* Have a list of printers.
* The order of the printers dictates in which order an object should be printed.
* We allow that multiple printers might be viable to print a type.
* Each `printer<type>` either has a function object / lambda `print` or not; depending on whether the `printer` can print that `type` or not (implemented by [template specialization](https://en.cppreference.com/w/cpp/language/template_specialization) )

So put together: For a given type, ask every printer in order whether it can print that type and the first one to answer yes, is the selected printer.

----

[1] If all overloads do not work, use `std::ostream`
https://github.com/seqan/seqan3/blob/6b681fb2eae5ab2997d293e99fc6a7f869a20316/include/seqan3/core/debug_stream/debug_stream_type.hpp#L242-L247
[2] Use this for all `std::ranges::input_range`s except if type is something like `std::filesystem` (type == range_value_t) or `char *`
https://github.com/seqan/seqan3/blob/6b681fb2eae5ab2997d293e99fc6a7f869a20316/include/seqan3/core/debug_stream/range.hpp#L96-L98
https://github.com/seqan/seqan3/blob/6b681fb2eae5ab2997d293e99fc6a7f869a20316/include/seqan3/core/debug_stream/range.hpp#L38-L45
[3] Same as [2] where value_type is an alphabet but only if the alphabet is not an `unsigned int` (this condition has no test case?!)
https://github.com/seqan/seqan3/blob/6b681fb2eae5ab2997d293e99fc6a7f869a20316/include/seqan3/core/debug_stream/range.hpp#L138-L141
[4] Use this for all `std::tuple`-like types except if it is a `std::ranges::input_range` (what is a tuple and ranges at the same time?!) and an `seqan3::alphabet` (basically `seqan3::alphabet_tuple_base` derived types)
https://github.com/seqan/seqan3/blob/6b681fb2eae5ab2997d293e99fc6a7f869a20316/include/seqan3/core/debug_stream/tuple.hpp#L53-L56
[5] Use this for all `seqan3::alphabet`s except if it can be printed by `std::cout` (like `char`)
https://github.com/seqan/seqan3/blob/6b681fb2eae5ab2997d293e99fc6a7f869a20316/include/seqan3/alphabet/detail/debug_stream_alphabet.hpp#L30-L32
[6] Type must be `seqan3::semialphabet` and `seqan3::mask`
https://github.com/seqan/seqan3/blob/6b681fb2eae5ab2997d293e99fc6a7f869a20316/include/seqan3/alphabet/detail/debug_stream_alphabet.hpp#L46-L48
---
 .../debug_stream_alignment.hpp                | 13 +++
 .../advanceable_alignment_coordinate.hpp      | 14 ++++
 .../alignment/matrix/detail/debug_matrix.hpp  | 15 ++++
 .../matrix/detail/trace_directions.hpp        | 13 +++
 .../alignment/pairwise/alignment_result.hpp   | 19 +++++
 include/seqan3/alphabet/cigar/cigar.hpp       |  2 +
 .../alphabet/detail/debug_stream_alphabet.hpp | 24 ++++++
 include/seqan3/argument_parser/auxiliary.hpp  |  2 +
 include/seqan3/core/debug_stream/byte.hpp     |  2 +
 .../core/debug_stream/debug_stream_type.hpp   | 67 +++++++++++++++
 .../core/debug_stream/default_printer.hpp     | 81 +++++++++++++++++++
 include/seqan3/core/debug_stream/optional.hpp | 29 +++++++
 include/seqan3/core/debug_stream/range.hpp    | 28 +++++++
 include/seqan3/core/debug_stream/tuple.hpp    | 14 ++++
 include/seqan3/core/debug_stream/variant.hpp  |  2 +
 include/seqan3/core/detail/strong_type.hpp    |  2 +
 include/seqan3/io/sam_file/sam_flag.hpp       |  2 +
 include/seqan3/search/search_result.hpp       |  2 +
 .../utility/container/dynamic_bitset.hpp      |  2 +
 .../utility/simd/detail/debug_stream_simd.hpp |  2 +
 test/unit/io/record_test.cpp                  |  2 +
 test/unit/search/helper.hpp                   |  2 +
 test/unit/test/pretty_printing_test.cpp       |  4 +
 23 files changed, 343 insertions(+)
 create mode 100644 include/seqan3/core/debug_stream/default_printer.hpp

diff --git a/include/seqan3/alignment/aligned_sequence/debug_stream_alignment.hpp b/include/seqan3/alignment/aligned_sequence/debug_stream_alignment.hpp
index 5c8396ff837..eb9784bdea8 100644
--- a/include/seqan3/alignment/aligned_sequence/debug_stream_alignment.hpp
+++ b/include/seqan3/alignment/aligned_sequence/debug_stream_alignment.hpp
@@ -104,17 +104,30 @@ namespace seqan3
  *
  * \return The given stream to which the alignment representation is appended.
  */
+#if 0
 template <typename char_t, typename alignment_t>
     requires (detail::debug_streamable_tuple<alignment_t>
               && detail::all_model_aligned_seq<detail::tuple_type_list_t<std::remove_cvref_t<alignment_t>>>)
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & stream, alignment_t && alignment)
 {
+#else
+template <typename alignment_t>
+    requires (tuple_like<std::remove_cvref_t<alignment_t>> && detail::all_model_aligned_seq<detail::tuple_type_list_t<std::remove_cvref_t<alignment_t>>>)
+struct alignment_printer<alignment_t>
+{
+    constexpr static auto print = [](auto & stream, auto && alignment)
+    {
     constexpr size_t sequence_count = std::tuple_size_v<std::remove_cvref_t<alignment_t>>;
 
     static_assert(sequence_count >= 2, "An alignment requires at least two sequences.");
 
     detail::stream_alignment(stream, alignment, std::make_index_sequence<sequence_count - 1>{});
+    };
+};
+#endif
+#if 0
     return stream;
 }
+#endif
 
 } // namespace seqan3
diff --git a/include/seqan3/alignment/matrix/detail/advanceable_alignment_coordinate.hpp b/include/seqan3/alignment/matrix/detail/advanceable_alignment_coordinate.hpp
index 31f16c1653a..143eb7a3afb 100644
--- a/include/seqan3/alignment/matrix/detail/advanceable_alignment_coordinate.hpp
+++ b/include/seqan3/alignment/matrix/detail/advanceable_alignment_coordinate.hpp
@@ -307,13 +307,27 @@ namespace seqan3
  *
  * Prints the alignment coordinate as a tuple.
  */
+#if 0
 template <typename char_t, typename coordinate_type>
     requires detail::is_value_specialisation_of_v<std::remove_cvref_t<coordinate_type>,
                                                   detail::advanceable_alignment_coordinate>
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, coordinate_type && c)
 {
+#else
+template <typename coordinate_type>
+    requires detail::is_value_specialisation_of_v<std::remove_cvref_t<coordinate_type>,
+                                                  detail::advanceable_alignment_coordinate>
+struct advanceable_alignment_coordinate_printer<coordinate_type>
+{
+    constexpr static auto print = [](auto & s, coordinate_type const & c)
+    {
     s << std::tie(c.first, c.second);
+    };
+};
+#endif
+#if 0
     return s;
 }
+#endif
 
 } // namespace seqan3
diff --git a/include/seqan3/alignment/matrix/detail/debug_matrix.hpp b/include/seqan3/alignment/matrix/detail/debug_matrix.hpp
index 96264f3bc6b..90a03ab411f 100644
--- a/include/seqan3/alignment/matrix/detail/debug_matrix.hpp
+++ b/include/seqan3/alignment/matrix/detail/debug_matrix.hpp
@@ -479,17 +479,31 @@ namespace seqan3
  *
  * This prints out an alignment matrix which can be a score matrix or a trace matrix.
  */
+#if 0
 template <typename char_t, detail::matrix alignment_matrix_t>
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, alignment_matrix_t && matrix)
 {
+#else
+template <typename alignment_matrix_t>
+    requires detail::matrix<std::remove_cvref_t<alignment_matrix_t>>
+struct alignment_matrix_printer<alignment_matrix_t>
+{
+    constexpr static auto print = [](auto & s, auto && matrix)
+    {
     detail::debug_matrix debug{std::forward<alignment_matrix_t>(matrix)};
 
     std::stringstream sstream{};
     debug.stream_matrix(sstream, s.flags2());
     s << sstream.str();
+    };
+};
+#endif
+#if 0
     return s;
 }
+#endif
 
+#if 0
 //!\overload
 template <typename char_t, std::ranges::input_range alignment_matrix_t>
     requires detail::debug_stream_range_guard<alignment_matrix_t> && detail::matrix<alignment_matrix_t>
@@ -497,5 +511,6 @@ inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, ali
 {
     return s << detail::debug_matrix{std::forward<alignment_matrix_t>(matrix)};
 }
+#endif
 
 } // namespace seqan3
diff --git a/include/seqan3/alignment/matrix/detail/trace_directions.hpp b/include/seqan3/alignment/matrix/detail/trace_directions.hpp
index 4d1ca11615d..2e72c4aecae 100644
--- a/include/seqan3/alignment/matrix/detail/trace_directions.hpp
+++ b/include/seqan3/alignment/matrix/detail/trace_directions.hpp
@@ -75,9 +75,17 @@ constexpr bool add_enum_bitwise_operators<seqan3::detail::trace_directions> = tr
  * | seqan3::detail::trace_directions::left_open | ←    | L     |
  * | seqan3::detail::trace_directions::left      | ⇠    | l     |
  */
+#if 0
 template <typename char_t>
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, detail::trace_directions const trace)
 {
+#else
+template <typename trace_directions_t>
+    requires std::is_same_v<std::remove_cvref_t<trace_directions_t>, detail::trace_directions>
+struct trace_directions_printer<trace_directions_t>
+{
+    constexpr static auto print = [](auto & s, detail::trace_directions const trace)
+    {
     static char const * unicode[32]{"↺",   "↖",    "↑",   "↖↑",  "⇡",    "↖⇡",   "↑⇡",  "↖↑⇡",  "←",    "↖←",   "↑←",
                                     "↖↑←", "⇡←",   "↖⇡←", "↑⇡←", "↖↑⇡←", "⇠",    "↖⇠",  "↑⇠",   "↖↑⇠",  "⇡⇠",   "↖⇡⇠",
                                     "↑⇡⇠", "↖↑⇡⇠", "←⇠",  "↖←⇠", "↑←⇠",  "↖↑←⇠", "⇡←⇠", "↖⇡←⇠", "↑⇡←⇠", "↖↑⇡←⇠"};
@@ -90,7 +98,12 @@ inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, det
     auto const & trace_dir = is_unicode ? unicode : csv;
 
     s << trace_dir[static_cast<size_t>(trace)];
+    };
+};
+#endif
+#if 0
     return s;
 }
+#endif
 
 } // namespace seqan3
diff --git a/include/seqan3/alignment/pairwise/alignment_result.hpp b/include/seqan3/alignment/pairwise/alignment_result.hpp
index 798d7737f90..960759fbbf9 100644
--- a/include/seqan3/alignment/pairwise/alignment_result.hpp
+++ b/include/seqan3/alignment/pairwise/alignment_result.hpp
@@ -384,10 +384,24 @@ namespace seqan3
  * \param[in] result The alignment result to print.
  * \relates seqan3::debug_stream_type
  */
+#if 0
 template <typename char_t, typename alignment_result_t>
     requires detail::is_type_specialisation_of_v<std::remove_cvref_t<alignment_result_t>, alignment_result>
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & stream, alignment_result_t && result)
 {
+#else
+template <typename T>
+    requires (!std::is_same_v<T, std::remove_cvref_t<T>>)
+struct alignment_result_printer<T> : public alignment_result_printer<std::remove_cvref_t<T>>
+{
+};
+
+template <typename result_value_t>
+struct alignment_result_printer<alignment_result<result_value_t>>
+{
+    constexpr static auto print = [](auto & stream, alignment_result<result_value_t> const & result)
+    {
+    using alignment_result_t = alignment_result<result_value_t>;
     using disabled_t = std::nullopt_t *;
     using result_data_t =
         typename detail::alignment_result_value_type_accessor<std::remove_cvref_t<alignment_result_t>>::type;
@@ -423,6 +437,11 @@ inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & stream
         append_to_stream("\nalignment:\n", result.alignment());
     stream << '}';
 
+    };
+};
+#endif
+#if 0
     return stream;
 }
+#endif
 } // namespace seqan3
diff --git a/include/seqan3/alphabet/cigar/cigar.hpp b/include/seqan3/alphabet/cigar/cigar.hpp
index 5b24ba41af6..5ec4e5205db 100644
--- a/include/seqan3/alphabet/cigar/cigar.hpp
+++ b/include/seqan3/alphabet/cigar/cigar.hpp
@@ -210,6 +210,7 @@ class cigar : public alphabet_tuple_base<cigar, uint32_t, exposition_only::cigar
     //!\}
 };
 
+#if 1
 //!\brief Overload for the seqan3::debug_stream's operator.
 template <typename char_t>
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, cigar const c)
@@ -217,6 +218,7 @@ inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, cig
     s << c.to_string();
     return s;
 }
+#endif
 
 inline namespace literals
 {
diff --git a/include/seqan3/alphabet/detail/debug_stream_alphabet.hpp b/include/seqan3/alphabet/detail/debug_stream_alphabet.hpp
index c85a41d4f16..32a6268fdf6 100644
--- a/include/seqan3/alphabet/detail/debug_stream_alphabet.hpp
+++ b/include/seqan3/alphabet/detail/debug_stream_alphabet.hpp
@@ -18,6 +18,7 @@
 
 namespace seqan3
 {
+#if 0
 /*!\name Formatted output overloads
  * \{
  */
@@ -33,10 +34,22 @@ inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, alp
 {
     return s << to_char(l);
 }
+#else
+template <typename alphabet_t>
+    requires alphabet<alphabet_t>
+struct alphabet_printer<alphabet_t>
+{
+    constexpr static auto print = [](auto & s, alphabet_t l)
+    {
+        s << to_char(l);
+    };
+};
+#endif
 
 // forward declare seqan3::mask
 class mask;
 
+#if 0
 /*!\brief Overload for the seqan3::mask alphabet.
  * \tparam char_t Type char type of the debug_stream.
  * \param s The seqan3::debug_stream.
@@ -51,5 +64,16 @@ inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, alp
 }
 
 //!\}
+#else
+template <typename alphabet_t>
+    requires std::same_as<std::remove_cvref_t<alphabet_t>, mask>
+struct mask_printer<alphabet_t>
+{
+    constexpr static auto print = [](auto & s, alphabet_t const l)
+    {
+        s << (l == std::remove_cvref_t<alphabet_t>{} ? "UNMASKED" : "MASKED");
+    };
+};
+#endif
 
 } // namespace seqan3
diff --git a/include/seqan3/argument_parser/auxiliary.hpp b/include/seqan3/argument_parser/auxiliary.hpp
index 53fb59b96d3..f94df10669f 100644
--- a/include/seqan3/argument_parser/auxiliary.hpp
+++ b/include/seqan3/argument_parser/auxiliary.hpp
@@ -222,6 +222,7 @@ concept argument_parser_compatible_option =
  * This searches the seqan3::enumeration_names of the respective type for the value \p op and prints the
  * respective string if found or '\<UNKNOWN_VALUE\>' if the value cannot be found in the map.
  */
+#if 1
 template <typename char_t, typename option_type>
     requires named_enumeration<std::remove_cvref_t<option_type>>
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, option_type && op)
@@ -234,6 +235,7 @@ inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, opt
 
     return s << "<UNKNOWN_VALUE>";
 }
+#endif
 //!\}
 
 /*!\brief Used to further specify argument_parser options/flags.
diff --git a/include/seqan3/core/debug_stream/byte.hpp b/include/seqan3/core/debug_stream/byte.hpp
index cbcec8479e7..4342ac259ab 100644
--- a/include/seqan3/core/debug_stream/byte.hpp
+++ b/include/seqan3/core/debug_stream/byte.hpp
@@ -28,6 +28,7 @@ namespace seqan3
  * \param[in] arg           The std::byte.
  * \relates seqan3::debug_stream_type
  */
+#if 1
 template <typename char_t, typename byte_type>
     requires std::same_as<std::remove_cvref_t<byte_type>, std::byte>
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, byte_type && arg)
@@ -35,6 +36,7 @@ inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, byt
     s << std::to_integer<uint8_t>(arg);
     return s;
 }
+#endif
 
 //!\}
 
diff --git a/include/seqan3/core/debug_stream/debug_stream_type.hpp b/include/seqan3/core/debug_stream/debug_stream_type.hpp
index f4b346a9179..9612c9cc2b5 100644
--- a/include/seqan3/core/debug_stream/debug_stream_type.hpp
+++ b/include/seqan3/core/debug_stream/debug_stream_type.hpp
@@ -13,8 +13,10 @@
 #pragma once
 
 #include <iosfwd>
+#include <stdexcept>
 
 #include <seqan3/core/add_enum_bitwise_operators.hpp>
+#include <seqan3/core/debug_stream/default_printer.hpp>
 
 namespace seqan3
 {
@@ -124,7 +126,22 @@ class debug_stream_type
      */
     //!\brief Forwards to the underlying stream object.
     template <typename other_char_t, typename t>
+#if 0
     friend debug_stream_type<other_char_t> & operator<<(debug_stream_type<other_char_t> & s, t && v);
+#else
+    friend debug_stream_type<other_char_t> & operator<<(debug_stream_type<other_char_t> & s, t && v)
+    {
+        using t_ = std::remove_cvref_t<t>;
+
+        if constexpr(default_printer::is_printable<t_>) {
+            default_printer::print(s, v);
+        } else {
+            std::string const msg = std::string{"debug_stream has no print overload for type: "} + typeid(v).name();
+            throw std::runtime_error{msg};
+        }
+        return s;
+    }
+#endif
 
     //!\brief This overloads enables forwarding std::endl and other manipulators.
     debug_stream_type & operator<<(std::ostream & (*fp)(std::ostream &))
@@ -133,6 +150,7 @@ class debug_stream_type
         return *this;
     }
 
+#if 0
     //!\cond
     debug_stream_type & operator<<(int8_t const v)
     {
@@ -151,6 +169,15 @@ class debug_stream_type
             *stream << v;
         return *this;
     }
+#else
+
+    template<typename T>
+    friend struct debug_stream_printer;
+
+    template<typename T>
+    friend struct std_printer;
+
+#endif
     //!\endcond
     //!\}
 
@@ -185,6 +212,7 @@ class debug_stream_type
         stream->unsetf(flag);
     }
 
+#if 0
     //!\copybrief setf()
     debug_stream_type & operator<<(fmtflags const flag)
     {
@@ -192,6 +220,7 @@ class debug_stream_type
         return *this;
     }
     //!\}
+#endif
 
     /*!\name Format flags (seqan3::fmtflags2)
      * \brief SeqAn specific debug flags for the debug stream.
@@ -222,6 +251,7 @@ class debug_stream_type
         flgs2 &= ~flag;
     }
 
+#if 0
     //!\copybrief setf()
     debug_stream_type & operator<<(fmtflags2 const flag)
     {
@@ -229,6 +259,7 @@ class debug_stream_type
         return *this;
     }
     //!\}
+#endif
 
 private:
     //!\brief Pointer to the output stream.
@@ -238,6 +269,41 @@ class debug_stream_type
     fmtflags2 flgs2{fmtflags2::default_};
 };
 
+template <typename value_t>
+    requires (std::is_same_v<std::remove_cvref_t<value_t>, int8_t> || std::is_same_v<std::remove_cvref_t<value_t>, uint8_t> || std::is_same_v<std::remove_cvref_t<value_t>, fmtflags2>)
+struct debug_stream_printer<value_t>
+{
+    struct print_fn
+    {
+        template <typename stream_t>
+        constexpr void operator()(stream_t & s, int8_t const v) const
+        {
+            if ((s.flags2() & fmtflags2::small_int_as_number) == fmtflags2::small_int_as_number)
+                *s.stream << static_cast<int>(v);
+            else
+                *s.stream << v;
+        }
+
+        template <typename stream_t>
+        constexpr void operator()(stream_t & s, uint8_t const v) const
+        {
+            if ((s.flags2() & fmtflags2::small_int_as_number) == fmtflags2::small_int_as_number)
+                *s.stream << static_cast<unsigned>(v);
+            else
+                *s.stream << v;
+        }
+
+        template <typename stream_t>
+        constexpr void operator()(stream_t & s, fmtflags2 const flag) const
+        {
+            s.setf(flag);
+        }
+    };
+
+    static constexpr print_fn print{};
+};
+
+#if 0
 //!\brief Forwards to the underlying stream object.
 template <typename char_t, typename t>
 debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, t && v)
@@ -245,5 +311,6 @@ debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, t && v)
     (*s.stream) << v;
     return s;
 }
+#endif
 
 } // namespace seqan3
diff --git a/include/seqan3/core/debug_stream/default_printer.hpp b/include/seqan3/core/debug_stream/default_printer.hpp
new file mode 100644
index 00000000000..39606c905ea
--- /dev/null
+++ b/include/seqan3/core/debug_stream/default_printer.hpp
@@ -0,0 +1,81 @@
+#pragma once
+
+#include <iosfwd>
+
+namespace seqan3
+{
+
+struct no_printer_found{};
+template <typename> struct advanceable_alignment_coordinate_printer {};
+template <typename> struct alignment_matrix_printer {};
+template <typename> struct alignment_printer {};
+template <typename> struct alignment_result_printer {};
+template <typename> struct alphabet_printer {};
+template <typename> struct debug_stream_printer {};
+template <typename> struct mask_printer {};
+template <typename> struct optional_printer {};
+template <typename> struct range_printer {};
+template <typename> struct sequence_printer {};
+template <typename> struct std_printer {};
+template <typename> struct trace_directions_printer {};
+template <typename> struct tuple_printer {};
+
+template <typename type_t>
+    requires requires(std::ostream & cout, type_t value)
+    {
+        {cout << value};
+    }
+struct std_printer<type_t>
+{
+    static constexpr auto print = [](auto & s, auto && value)
+    {
+        *s.stream << std::forward<decltype(value)>(value);
+    };
+};
+
+template <typename printer_t>
+concept printable = requires() { { printer_t::print }; };
+
+template <template<typename> typename ...printers_t>
+struct printer_order
+{
+    template <typename type_t, typename ...types>
+    static constexpr std::ptrdiff_t find_index()
+    {
+            std::ptrdiff_t i = 0;
+            return ((printable<types> ? false : ++i) && ...) ? -1 : i;
+    }
+
+    template <typename type_t, std::ptrdiff_t i = find_index<type_t, printers_t<type_t>...>()>
+    using printer_for_t = std::tuple_element_t<
+        i == -1 ? sizeof...(printers_t) : i,
+        std::tuple<printers_t<type_t>..., no_printer_found>>;
+
+    template <typename type_t>
+    static constexpr bool is_printable = printable<printer_for_t<type_t>>;
+
+    static constexpr auto print = [](auto & s, auto && arg)
+    {
+        using printer_t = printer_for_t<decltype(arg)>;
+        printer_t::print(s, std::forward<decltype(arg)>(arg));
+    };
+};
+
+struct default_printer : printer_order<
+    debug_stream_printer,
+    std_printer,
+    advanceable_alignment_coordinate_printer,
+    alignment_result_printer,
+    alignment_matrix_printer,
+    alignment_printer,
+    trace_directions_printer,
+    mask_printer,
+    alphabet_printer,
+    sequence_printer,
+    range_printer,
+    optional_printer,
+    tuple_printer
+>
+{};
+
+} // namespace seqan3
diff --git a/include/seqan3/core/debug_stream/optional.hpp b/include/seqan3/core/debug_stream/optional.hpp
index 637e791fdec..5e5b74d05a3 100644
--- a/include/seqan3/core/debug_stream/optional.hpp
+++ b/include/seqan3/core/debug_stream/optional.hpp
@@ -29,6 +29,7 @@ namespace seqan3
  * \param[in] arg           This is std::nullopt.
  * \relates seqan3::debug_stream_type
  */
+#if 0
 template <typename char_t>
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, std::nullopt_t SEQAN3_DOXYGEN_ONLY(arg))
 {
@@ -52,6 +53,34 @@ inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, opt
         s << "<VALUELESS_OPTIONAL>";
     return s;
 }
+#else
+template <typename T>
+    requires (!std::is_same_v<T, std::remove_cvref_t<T>>)
+struct optional_printer<T> : public optional_printer<std::remove_cvref_t<T>>
+{
+};
+
+template <>
+struct optional_printer<std::nullopt_t>
+{
+    constexpr static auto print = [](auto & s, std::nullopt_t SEQAN3_DOXYGEN_ONLY(arg))
+    {
+        s << "<VALUELESS_OPTIONAL>";
+    };
+};
+
+template <typename T>
+struct optional_printer<std::optional<T>>
+{
+    constexpr static auto print = [](auto & s, auto && arg)
+    {
+        if (arg.has_value())
+            s << *arg;
+        else
+            s << "<VALUELESS_OPTIONAL>";
+    };
+};
+#endif
 
 //!\}
 
diff --git a/include/seqan3/core/debug_stream/range.hpp b/include/seqan3/core/debug_stream/range.hpp
index d56cd132f77..9afae8026a1 100644
--- a/include/seqan3/core/debug_stream/range.hpp
+++ b/include/seqan3/core/debug_stream/range.hpp
@@ -93,12 +93,22 @@ namespace seqan3
  * to avoid ambiguous function calls.
  * \endif
  */
+#if 0
 template <typename char_t, std::ranges::input_range rng_t>
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, rng_t && r)
     requires detail::debug_stream_range_guard<rng_t>
 {
+#else
+template <typename rng_t>
+    requires std::ranges::range<rng_t>
+struct range_printer<rng_t>
+{
+    constexpr static auto print = [](auto & s, auto && r)
+    {
+#if 0
     static_assert(detail::reference_type_is_streamable_v<rng_t, char_t>,
                   "The reference type of the passed range cannot be streamed into the debug_stream.");
+#endif
 
     s << '[';
     auto b = std::ranges::begin(r);
@@ -115,9 +125,14 @@ inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, rng
         ++b;
     }
     s << ']';
+    };
+};
+#endif
+#if 0
 
     return s;
 }
+#endif
 
 /*!\brief All biological sequences can be printed to the seqan3::debug_stream.
  * \tparam sequence_t Type of the (biological) sequence to be printed; must model seqan3::sequence.
@@ -135,15 +150,28 @@ inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, rng
  * to avoid ambiguous function calls.
  * \endif
  */
+#if 0
 template <typename char_t, sequence sequence_t>
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, sequence_t && sequence)
     requires detail::debug_stream_range_guard<sequence_t>
           && (!detail::is_uint_adaptation_v<std::remove_cvref_t<std::ranges::range_reference_t<sequence_t>>>)
 {
+#else
+template <typename sequence_t>
+    requires sequence<sequence_t>
+struct sequence_printer<sequence_t>
+{
+    constexpr static auto print = [](auto & s, auto && sequence)
+    {
     for (auto && chr : sequence)
         s << chr;
+    };
+};
+#endif
+#if 0
     return s;
 }
+#endif
 
 //!\}
 
diff --git a/include/seqan3/core/debug_stream/tuple.hpp b/include/seqan3/core/debug_stream/tuple.hpp
index e4430e6a57c..a25a3943bf2 100644
--- a/include/seqan3/core/debug_stream/tuple.hpp
+++ b/include/seqan3/core/debug_stream/tuple.hpp
@@ -60,6 +60,7 @@ std::ranges::input_range<tuple_t> && !alphabet<tuple_t> && // exclude alphabet_t
 namespace seqan3
 {
 
+#if 0
 /*!\brief All tuples can be printed by printing their elements separately.
  * \tparam tuple_t Type of the tuple to be printed; must model seqan3::tuple_like.
  * \param s The seqan3::debug_stream.
@@ -70,11 +71,24 @@ template <typename char_t, typename tuple_t>
     requires (detail::debug_streamable_tuple<tuple_t>)
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, tuple_t && t)
 {
+#else
+template <typename tuple_type>
+    requires tuple_like<tuple_type>
+struct tuple_printer<tuple_type>
+{
+    constexpr static auto print = [](auto & s, auto && t)
+    {
+    using tuple_t = decltype(t);
     detail::print_tuple(s,
                         std::forward<tuple_t>(t),
                         std::make_index_sequence<std::tuple_size_v<std::remove_cvref_t<tuple_t>>>{});
+    };
+};
+#endif
+#if 0
     return s;
 }
+#endif
 
 //!\}
 
diff --git a/include/seqan3/core/debug_stream/variant.hpp b/include/seqan3/core/debug_stream/variant.hpp
index 1d7ba97760b..a4badc597e2 100644
--- a/include/seqan3/core/debug_stream/variant.hpp
+++ b/include/seqan3/core/debug_stream/variant.hpp
@@ -33,6 +33,7 @@ namespace seqan3
  *
  * Note that in case the variant is valueless(_by_exception), nothing is printed.
  */
+#if 1
 template <typename char_t, typename variant_type>
     requires detail::is_type_specialisation_of_v<std::remove_cvref_t<variant_type>, std::variant>
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, variant_type && v)
@@ -48,6 +49,7 @@ inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, var
         s << "<VALUELESS_VARIANT>";
     return s;
 }
+#endif
 
 //!\}
 
diff --git a/include/seqan3/core/detail/strong_type.hpp b/include/seqan3/core/detail/strong_type.hpp
index ef0b12fe44b..0d556eb1aa0 100644
--- a/include/seqan3/core/detail/strong_type.hpp
+++ b/include/seqan3/core/detail/strong_type.hpp
@@ -475,12 +475,14 @@ class strong_type
  *
  * \returns `stream_t &` A reference to the given stream.
  */
+#if 1
 template <typename char_t, derived_from_strong_type strong_type_t>
 debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & stream, strong_type_t && value)
 {
     stream << value.get();
     return stream;
 }
+#endif
 //!\}
 
 } // namespace seqan3::detail
diff --git a/include/seqan3/io/sam_file/sam_flag.hpp b/include/seqan3/io/sam_file/sam_flag.hpp
index 63838164224..089230c5ecb 100644
--- a/include/seqan3/io/sam_file/sam_flag.hpp
+++ b/include/seqan3/io/sam_file/sam_flag.hpp
@@ -103,10 +103,12 @@ constexpr bool add_enum_bitwise_operators<sam_flag> = true;
  * \param flag The flag to print.
  * \relates seqan3::debug_stream_type
  */
+#if 1
 template <typename char_t>
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & stream, sam_flag const flag)
 {
     return stream << static_cast<int16_t>(flag);
 }
+#endif
 
 } // namespace seqan3
diff --git a/include/seqan3/search/search_result.hpp b/include/seqan3/search/search_result.hpp
index c9a82022590..058ee6dc369 100644
--- a/include/seqan3/search/search_result.hpp
+++ b/include/seqan3/search/search_result.hpp
@@ -191,6 +191,7 @@ class search_result
  * \param result The search result to print.
  * \relates seqan3::debug_stream_type
  */
+#if 1
 template <typename char_t, typename search_result_t>
     requires detail::is_type_specialisation_of_v<std::remove_cvref_t<search_result_t>, search_result>
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & stream, search_result_t && result)
@@ -210,5 +211,6 @@ inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & stream
 
     return stream;
 }
+#endif
 
 } // namespace seqan3
diff --git a/include/seqan3/utility/container/dynamic_bitset.hpp b/include/seqan3/utility/container/dynamic_bitset.hpp
index c8a2b097be5..7e9247ee10f 100644
--- a/include/seqan3/utility/container/dynamic_bitset.hpp
+++ b/include/seqan3/utility/container/dynamic_bitset.hpp
@@ -1939,6 +1939,7 @@ class dynamic_bitset
      *
      * \experimentalapi{Experimental since version 3.1.}
      */
+#if 1
     template <typename char_t>
     friend debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, dynamic_bitset arg)
     {
@@ -1946,6 +1947,7 @@ class dynamic_bitset
               | ranges::to<std::string>());
         return s;
     }
+#endif
     //!\}
 
     //!\cond DEV
diff --git a/include/seqan3/utility/simd/detail/debug_stream_simd.hpp b/include/seqan3/utility/simd/detail/debug_stream_simd.hpp
index 59ffb168d88..ea7a82ca2f2 100644
--- a/include/seqan3/utility/simd/detail/debug_stream_simd.hpp
+++ b/include/seqan3/utility/simd/detail/debug_stream_simd.hpp
@@ -27,6 +27,7 @@ namespace seqan3
  * the API was not in shape yet. Remove the `private` and `todo` commands and remove `seqan3::simd` from
  * SEQAN3_DOXYGEN_EXCLUDE_SYMBOLS in `seqan3-doxygen.cmake`.
  */
+#if 1
 template <typename char_t, typename simd_t>
     requires simd::simd_concept<std::remove_cvref_t<simd_t>>
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, simd_t && simd)
@@ -41,5 +42,6 @@ inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, sim
     s << array;
     return s;
 }
+#endif
 
 } // namespace seqan3
diff --git a/test/unit/io/record_test.cpp b/test/unit/io/record_test.cpp
index 5dede3aba73..75153de1145 100644
--- a/test/unit/io/record_test.cpp
+++ b/test/unit/io/record_test.cpp
@@ -24,12 +24,14 @@ using default_fields = seqan3::fields<seqan3::field::seq, seqan3::field::id, seq
 // This is needed for EXPECT_RANGE_EQ:
 namespace seqan3
 {
+#if 1
 template <typename char_t>
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & stream, field f)
 {
     stream << "<field: " << static_cast<size_t>(f) << ">";
     return stream;
 }
+#endif
 } // namespace seqan3
 
 // ----------------------------------------------------------------------------
diff --git a/test/unit/search/helper.hpp b/test/unit/search/helper.hpp
index c4b550b3d1f..874faf3344e 100644
--- a/test/unit/search/helper.hpp
+++ b/test/unit/search/helper.hpp
@@ -18,6 +18,7 @@
 
 namespace seqan3
 {
+#if 1
 template <typename char_t, typename index_t>
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, seqan3::fm_index_cursor<index_t> const &)
 {
@@ -30,6 +31,7 @@ inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s,
 {
     return s << ("bi_fm_index_cursor");
 }
+#endif
 
 template <typename result_range_t>
 std::vector<std::ranges::range_value_t<result_range_t>> uniquify(result_range_t && result_range)
diff --git a/test/unit/test/pretty_printing_test.cpp b/test/unit/test/pretty_printing_test.cpp
index f618ec95cf7..74dfad43ef7 100644
--- a/test/unit/test/pretty_printing_test.cpp
+++ b/test/unit/test/pretty_printing_test.cpp
@@ -121,6 +121,7 @@ struct my_type
 namespace seqan3
 {
 
+#if 1
 template <typename char_t, typename my_type>
     requires std::same_as<std::decay_t<my_type>, detail::my_type>
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, my_type && m)
@@ -128,6 +129,7 @@ inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, my_
     s << m.str;
     return s;
 }
+#endif
 
 } // namespace seqan3
 
@@ -144,6 +146,7 @@ namespace seqan3
 struct your_type : public detail::my_type
 {};
 
+#if 1
 template <typename char_t, typename your_type>
     requires std::same_as<std::decay_t<your_type>, ::seqan3::your_type>
 inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, your_type && m)
@@ -151,6 +154,7 @@ inline debug_stream_type<char_t> & operator<<(debug_stream_type<char_t> & s, you
     s << m.str;
     return s;
 }
+#endif
 
 } // namespace seqan3