На этом шаге мы приведем задачи для самостоятельного решения..
1. Напишите тестовые примеры ко всем функциям библиотеки по работе с красно-чёрными деревьями (RBTree.lsp из 171 шага).
2. Проанализируйте каждую функцию библиотеки по работе с красно-чёрными деревьями (TreeRB.hs из 173 шага) на предмет полноты набора условий:
- (1) постройте отрицание к каждому последующему условию функции;
- (2) подберите тестовый пример для проверки каждого условия функции;
- (3) для выявленных отсутствующих условий создайте удачные тестовые примеры.
Со следующего шага мы начнем рассматривать представление графов средствами Haskell.
