Commit 1bda4fd

committed

added: AVL tree

1 parent 4ac335f commit 1bda4fdCopy full SHA for 1bda4fd

File tree

-0

lines changed

-0

lines changed

Lines changed: 8 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -31,6 +31,14 @@ f 1 = Cons 1 Nil`
`31`	`31`	`'f 0' binds 'List a Z' to the type of 'f'`
`32`	`32`	`The compiler will shout at us because expected 'List a Z' will not match the impossible 'List a (S Z)'`
`33`	`33`
	`34`	`+AVL Tree`
	`35`	`+`
	`36`	`+>data AVL a n where`
	`37`	`+> Empty :: AVL a Z`
	`38`	`+> Node :: AVL a b -> AVL a b -> AVL a (S b)`
	`39`	`+> LNode :: AVL a (S b) -> AVL a b -> AVL a (S (S b))`
	`40`	`+> RNode :: AVL a b -> AVL a (S b) -> AVL a (S (S b))`
	`41`	`+`
`34`	`42`	`Existential Quantification`
`35`	`43`
`36`	`44`	`Useless`

Comments

(0)