Data.Tree.Braun.Sized.Properties

This module provides functions to test Braun trees for invariants and properties.

Documentation

validSize :: Braun a -> Bool

Returns True iff the stored size in the Braun tree is its actual size.

isBraun :: Braun a -> Bool

Returns True iff the tree is a proper Braun tree.

inOrder :: (a -> a -> Ordering) -> Braun a -> Bool

Returns True iff the elements of the tree are in order.