Data.Zebra.Word.Debug

Safe functions for datatype introspection.

Show

showsTree :: Zebra -> 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.Zebra.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

FoundNil

Nil is in the tree.

ZeroKey

Tip has a value of zero despite not being the root.

NoSwitch Color Key

Key has the same color as the key to the left of it.

Instances

Show Reason

Defined in Data.Zebra.Word.Debug

Methods

showsPrec :: Int -> Reason -> ShowS

show :: Reason -> String

showList :: [Reason] -> ShowS

validate :: Zebra -> Validity

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