Сортировка турнира - Tournament sort

импорт Данные.Дерево- | По материалам «TOURNAMENT-SORT!» Из доклада Степанова и Кершенбаума.турнирSort :: Ord т       => [т]  - ^ Ввод: несортированный список       -> [т]  - ^ Результат: отсортированная версия вводатурнирSort список        = идти (чистый<$>список) - сначала оберните каждый элемент как лес из одного дерева куда идти [] = []       идти деревья = (rootLabel победитель) : (идти (сублес победитель))        куда победитель = playTournament деревья- | По материалам «ТУРНИР!» В отчете Степанова и КершенбаумаplayTournament :: Ord т         => лес т - ^ Входной лес         -> Дерево т   - ^ Последнее продвинутое дерево во входных данныхplayTournament [дерево] = деревоplayTournament деревья = playTournament (playRound деревья [])- | По материалам доклада Степанова и Кершенбаума «ТУРНИР-РАУНД!»playRound :: Ord т       => лес т - ^ Лес деревьев, которые еще не участвовали в раунде       -> лес т - ^ Лес деревьев, выигравших в раунде       -> лес т - ^ Вывод: лес, содержащий продвинутые версии                   - деревьев, выигравших свои игрыplayRound [] сделано = сделаноplayRound [дерево] сделано = дерево:сделаноplayRound (дерево0:дерево1:деревья) сделано = playRound деревья (победитель:сделано) куда победитель = играть в игру дерево0 дерево1- | По материалам доклада Степанова и Кершенбаума «ТУРНИР-ИГРА!»играть в игру :: Ord т         => Дерево т  - ^ Ввод: ...         -> Дерево т  - ^ ... два дерева         -> Дерево т  - ^ Результат: `продвинуть победителя проигравшего`, где` победитель`                    - дерево с * меньшим * корнем из двух входовиграть в игру дерево1 дерево2    | rootLabel дерево1 <= rootLabel дерево2  = продвигать дерево1 дерево2    | иначе                           = продвигать дерево2 дерево1- | По материалам доклада Степанова и Кершенбаума «GRAB!»продвигать :: Дерево т  - ^ `Победитель`        -> Дерево т  - ^ `Проигравший`        -> Дерево т  - ^ Результат: дерево, корень которого является корнем победителя.                   - и чьи дети:                   - * `неудачник`,                   - * все дочерние элементы из `Winner`продвигать победитель неудачник = Узел {    rootLabel = rootLabel победитель,    сублес = неудачник : сублес победитель}главный :: IO ()главный = Распечатать $ турнирSort testList куда testList = [0, 1, 2, 3, 4, 5]