uniquely-represented-sets-0.1.0.0
Data.Tree.Braun.Sized.Properties
Description
This module provides functions to test Braun trees for invariants and properties.
Synopsis
validSize :: Braun a -> Bool Source #
Returns True iff the stored size in the Braun tree is its actual size.
isBraun :: Braun a -> Bool Source #
Returns True iff the tree is a proper Braun tree.
inOrder :: (a -> a -> Ordering) -> Braun a -> Bool Source #
Returns True iff the elements of the tree are in order.