Кто-нибудь определял класс Ord для кастомизированных тьюплов, чтобы можно было множество построить?
достаточно того инанса Ord, что уже есть
он из коробки уже есть и работает лексикографически
Для суммарных типов сам бог велел использоывать лексиграфический подход, интересно, как они там все решают типами зависящими от произведения параметров. В моем случае этого не проишодит, но просто любопытно
кортеж — это произведение, там бог велел лексикографику использовать, а вот с сумтипами я не уверен. почему?
что именно вы ожидаете и не происходит?
Обсуждают сегодня