Header menu logo Encodings

FenwickTree<'a> Type

A Fenwick tree over values of type 'a. 'combine' must be associative: combine (combine a b) c = combine a (combine b c) 'identity' must be a left/right identity for combine.

Record fields

Record Field Description

Combine

Full Usage: Combine

Field type: 'a -> 'a -> 'a

Associative combining operation (e.g. (+), (^^^), Set.union).

Field type: 'a -> 'a -> 'a

Data

Full Usage: Data

Field type: 'a array

The underlying storage (1-indexed internally; slot 0 unused).

Field type: 'a array

Identity

Full Usage: Identity

Field type: 'a

Identity element for the combine operation.

Field type: 'a

Type something to start searching.