Oli Sturm
9 lines
395 B
Haskell
9 lines
395 B
Haskell
data Color = R | B
|
|
data RedBlackSet a = E | T Color (RedBlackSet a) a (RedBlackSet a)
|
|
|
|
balance B (T R (T R a x b) y c) z d = T R (T B a x b) y (T B c z d)
|
|
balance B (T R a x (T R b y c)) z d = T R (T B a x b) y (T B c z d)
|
|
balance B a x (T R (T R b y c) z d) = T R (T B a x b) y (T B c z d)
|
|
balance B a x (T R b y (T R c z d)) = T R (T B a x b) y (T B c z d)
|
|
balance color a x b = T color a x b
|