Module Brr_css.Highlight_registrySource

HighlightRegistry objects.

Sourcetype t

The type for HighlightRegistry objects.

Sourceval size : t -> int

size r is the size of r.

Sourceval has : t -> Jstr.t -> bool

has r n is true if r has a highlight for the name n.

Sourceval get : t -> Jstr.t -> Highlight.t option

get r n gets the highlight registered with n, if any.

Sourceval set : t -> Jstr.t -> Highlight.t -> unit

set r n h sets the entry named n to highlight h.

Sourceval delete : t -> Jstr.t -> bool

delete r n deletes the entry named by n and returns true if there was such an entry and false otherwise.

Sourceval clear : t -> unit

clear r removes all entries.

Sourceval fold : (Jstr.t -> Highlight.t -> 'acc -> 'acc) -> t -> 'acc -> 'acc

fold f r acc folds f over the entries of r starting with acc.