Type Alias Zipper<T>

The zipper represents the cursor of non-empty list.

type Zipper<T> = {
    current: T;
    left: List.List<T>;
    right: List.List<T>;
}

Type Parameters

T

Index

Properties

current left right

Properties

`Readonly`current

current: T

The current element picked up.

`Readonly`left

left: List.List<T>

The left side of zipper, its order is reversed from the source list.

`Readonly`right

right: List.List<T>

The right side of zipper, its order is same as the source list.