Data.R2Tree.Float.Debug

Functions that expose the innerworkings of an R2Tree, but are completely safe to use otherwise.

Documentation

showsTree :: (a -> ShowS) -> R2Tree a -> ShowS

\(\mathcal{O}(n)\). Shows the internal structure of the R-tree.

data Validity

Whether the tree is well-formed.

Constructors

Valid

Invalid Reason

Instances

Show Validity

Defined in Data.R2Tree.Float.Debug

Methods

showsPrec :: Int -> Validity -> ShowS

show :: Validity -> String

showList :: [Validity] -> ShowS

data Reason

Reason for why the tree is considered malformed.

Constructors

UnbalancedTree

Not all nodes are at the same depth.

MalformedNode MBR

Node does not enclose all inner MBRs properly.

FoundLeaf1

Found a Leaf1 node not at root level.

FoundEmpty

Found an Empty node not at root level.

Instances

Show Reason

Defined in Data.R2Tree.Float.Debug

Methods

showsPrec :: Int -> Reason -> ShowS

show :: Reason -> String

showList :: [Reason] -> ShowS

validate :: R2Tree a -> Validity

\(\mathcal{O}(n)\). Checks whether the tree is well-formed.