uniquely-represented-sets-0.1.0.0

Safe HaskellNone
LanguageHaskell2010

Data.Set.Unique.Properties

Description

This module provides functions for testing invariants and properties on the uniquely-represented sets.

Synopsis

Documentation

sizesInBound :: Set a -> Bool Source #

Check that the sizes of the inner Braun trees obey the size bound.

allBraun :: Set a -> Bool Source #

Check that all inner trees are Braun trees.

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.

validSize :: Set a -> Bool Source #

Check that the stored size is correct.