blob: 741c936815811150a49acadd4a7b7777597e993e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
implementation module StdAVLTree
import StdEnv
:: AVLTree a = ...
mkAVLLeaf :: AVLTree a
mkAVLLeaf ...
mkAVLNode :: a -> AVLTree a
mkAVLNode ...
isMemberAVLTree :: a (AVLTree a) -> Bool | Eq, Ord a
isMemberAVLTree ...
insertAVLTree :: a (AVLTree a) -> AVLTree a | Eq, Ord a
insertAVLTree ...
deleteAVLTree :: a (AVLTree a) -> AVLTree a | Eq, Ord a
deleteAVLTree ...
isAVLTree :: (AVLTree a) -> Bool | Eq, Ord a
isAVLTree ...
|
