토너먼트 정렬

수입하다 데이터.트리  -- 스테파노프와 케르센바움 보고서의 TOURNAMENT-SORT!에서 각색한 것. 토너먼트 소트 :: 서드 t        => [t]  --^ 입력: 정렬되지 않은 목록        -> [t]  -- ^ 결과: 입력의 정렬된 버전 토너먼트 소트 앨리스트         = 가다 (순수의<$$BODY$$gt;앨리스트) -- 먼저 각 원소를 단나무 숲으로 포장하십시오.  어디에 가다 [] = []        가다 나무들 = (rootLabel 승자) : (가다 (하위 포리스트 승자))         어디에 승자 = playTournament 나무들  -- 스테파노프와 케르센바움 보고서의 TOURNAMENT!에서 각색됨. playTournament :: 서드 t          => 숲 t --^ 입력 포리스트          -> 나무 t   -- ^ 입력에서 마지막으로 승격된 트리 playTournament [나무] = 나무 playTournament 나무들 = playTournament (플레이 라운드 나무들 [])  - 스테파노프·케르센바움 보고서의 TOURNAMENT-RUND!를 각색한 작품 플레이 라운드 :: 서드 t        => 숲 t - ^ 아직 라운드에 출전하지 않은 나무 숲        -> 숲 t - ^ 라운드에서 승리한 나무의 숲        -> 숲 t -- ^ 출력: 승격 버전을 포함하는 포리스트                    - 게임에서 우승한 나무들 중에서. 플레이 라운드 [] 끝냈다 = 끝냈다 플레이 라운드 [나무] 끝냈다 = 나무:끝냈다 플레이 라운드 (트리0:트리1:나무들) 끝냈다 = 플레이 라운드 나무들 (승자:끝냈다)  어디에 승자 = 게임을 하다 트리0 트리1  - 스테파노프·케르센바움 보고서의 TOURNAMENT-PLAY!를 각색한 작품 게임을 하다 :: 서드 t          => 나무 t  --^ 입력: ...          -> 나무 t  --^^ … 두 그루의 나무          -> 나무 t  - ^ 결과: '승자'가 있는 '승자' 패자 홍보                     -- 두 입력의 *beat* 루트가 있는 트리 게임을 하다 트리1 트리2       rootLabel 트리1 <= rootLabel 트리2  = 진급시키다 트리1 트리2       그렇지 않으면                           = 진급시키다 트리2 트리1  - 스테파노프·케르센바움 보고서의 GRAB!에서 각색한 것 진급시키다 :: 나무 t  - ^ '승자'         -> 나무 t  - ^ '로저'         -> 나무 t  - ^ 결과 : '승자'의 뿌리가 되는 나무                    &shy; 그리고 누구의 자녀:                    - * * 'loser' ,                    * * '승자'의 모든 자녀 진급시키다 승자 패자 = 노드. {     rootLabel = rootLabel 승자,     하위 포리스트 = 패자 : 하위 포리스트 승자}  본래의 :: IO () 본래의 = 인쇄하다 $ 토너먼트 소트 테스트 목록  어디에 테스트 목록 = [0, 1, 2, 3, 4, 5]