Advertisement
Guest User

Untitled

a guest
Sep 26th, 2016
55
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.28 KB | None | 0 0
  1. data Tree = Leaf | Node Int Tree Tree deriving Show
  2.  
  3. sorted (Leaf) = True
  4. sorted (Node x l r) = (minOf l x) && (maxOf r x)
  5.  
  6. minOf (Leaf) _ = True
  7. minOf (Node x l r) c = (x<=c) && (minOf l x) && (maxOf r x)
  8.  
  9. maxOf (Leaf) _ = True
  10. maxOf (Node x l r) c = (c< x) && (minOf l x) && (maxOf r x)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement