Data.StableTree.Fragment

This is the implementation of tree fragments, which are stand-alone chunks of data representing each branch within a Tree. This module is also used by the Tree code for generating each branch's ObjectID.

Documentation

data Fragment k v

A Fragment is a user-visible part of a tree, i.e. a single node in the tree that can actually be manipulated by a user. This is useful when doing the work of persisting trees.

Constructors

FragmentBranch

Fields

fragmentDepth :: Depth

fragmentChildren :: Map k (ValueCount, ObjectID)

FragmentBottom

Fields

fragmentMap :: Map k v

Instances

(Eq k, Eq v) => Eq (Fragment k v)

(Ord k, Ord v) => Ord (Fragment k v)

(Show k, Show v) => Show (Fragment k v)

(Ord k, Serialize k, Serialize v) => Serialize (Fragment k v)