Data.StableTree.Key

Tools for working with StableTree keys.

Documentation

data Key t k

A wrapper for keys; this has an ephemeral t that will be either Terminal or Nonterminal depending on the result of byte k.

Instances

Eq k => Eq (Key t k)

Ord k => Ord (Key t k)

Show k => Show (Key t k)

data SomeKey k

A sum type to contain either a Terminal or a Nonterminal Key

Constructors

SomeKey_T (Key Terminal k)

SomeKey_N (Key Nonterminal k)

Instances

Eq k => Eq (SomeKey k)

Ord k => Ord (SomeKey k)

Show k => Show (SomeKey k)

data Terminal

Used to indicate that a Key is terminal

data Nonterminal

Used to indicate that a Key is not terminal

wrap :: Serialize k => k -> SomeKey k

Do the magic of wrapping up a key into a SomeKey

unwrap :: SomeKey k -> k

Extract the original key from a wrapped one