Data.Patricia.Word.Strict.Debug

Safe functions for datatype introspection.

Show

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

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

Validate

data Validity

Whether the tree is well-formed.

Constructors

Valid

Invalid Reason

Instances

Show Validity

Defined in Data.Patricia.Word.Debug

Methods

showsPrec :: Int -> Validity -> ShowS

show :: Validity -> String

showList :: [Validity] -> ShowS

data Reason

Reason for why the tree is considered malformed.

Constructors

ZeroPrefix

Prefix is 0.

PrefixBelow Prefix Prefix

Prefix below diverges from the prefix above.

KeyBelow Prefix Key

Key diverges the prefix above.

MalformedBin Prefix

One of the branches is empty.

Instances

Show Reason

Defined in Data.Patricia.Word.Debug

Methods

showsPrec :: Int -> Reason -> ShowS

show :: Reason -> String

showList :: [Reason] -> ShowS

validate :: Patricia a -> Validity

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