Weight Balanced Trees

Weight Balanced Trees with an SRFI interface. Implementation based on Parallel Ordered Sets Using Join.

Benefits of using this library:

• Written in modern Scheme (R7RS).
• Low level access to implementation using (mcgoron weight-balanced-trees internal) library.
• Implements interface for mapping and set SRFIs.
• Interfaces with other SRFIs, like generators and streams.
• Extensively tested using property testing (like QuickCheck).
• Permissive license (Apache 2.0)

Included Libraries

• (mcgoron weight-balanced-trees internal): low-level operations on tree nodes. Includes join, split, and binary set operations.
• (mcgoron weight-balanced-trees srfi 113 set): Exposes an interface like SRFI-113, but with extra procedures. This can be used to implement the other SRFIs using disjoint container types.

Implementation Notes

Tests of set operations are implemented in terms of the SRFI-1 list-set operations.

The linear update procedures are the same as the functional procedures.