Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module provides functions for testing invariants and properties on the uniquely-represented sets.
Documentation
sizesInBound :: Set a -> Bool Source #
Check that the sizes of the inner Braun trees obey the size bound.
inOrder :: (a -> a -> Ordering) -> Set a -> Bool Source #
Check that the elements are stored in the correct order.
allCorrectSizes :: Set a -> Bool Source #
Check that all inner trees store the correct size.