Brr_css.Highlight
Highlight
objects.
The type for Highlight
objects.
val create : unit -> t
create ()
is a new highlight object.
val has : t -> Brr.Range.t -> bool
has h r
is true
if h
has the range r
.
val add : t -> Brr.Range.t -> unit
add h r
adds adds the range r
to h
.
val delete : t -> Brr.Range.t -> bool
delete h r
deletes the range r
and returns true
if there was such an range and false
otherwise.
val fold : (Brr.Range.t -> 'acc -> 'acc) -> t -> 'acc -> 'acc
fold f h acc
folds f
over the ranges of h
starting with acc
.