HumHub Documentation (unofficial)

Zipper.php

Table of Contents

Classes

HTMLPurifier_Zipper
A zipper is a purely-functional data structure which contains a focus that can be efficiently manipulated. It is known as a "one-hole context". This mutable variant implements a zipper for a list as a pair of two arrays, laid out as follows:

        
On this page

Search results