Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- data Tree = Leaf | Node Int Tree Tree deriving Show
- sorted (Leaf) = True
- sorted (Node x l r) = (minOf l x) && (maxOf r x)
- minOf (Leaf) _ = True
- minOf (Node x l r) c = (x<=c) && (minOf l x) && (maxOf r x)
- maxOf (Leaf) _ = True
- maxOf (Node x l r) c = (c< x) && (minOf l x) && (maxOf r x)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement