Module Utils.RangeSource

Integer ranges (0..n or lo..high), for quick iteration. Inspired by python's range used in for loop, but with a more functional approach.

Sourcetype t = {
  1. start : int;
    (*

    included

    *)
  2. stop : int;
    (*

    excluded

    *)
  3. step : int;
}
Sourceval upto : int -> t

upto x is range 0,1,..,x-1

Sourceval interval : int -> int -> t

interval los high is range lo, lo+1, .., high-1

Sourceval inclusive_interval : int -> int -> t

inclusive_interval los high is range lo, lo+1, .., high

Sourceval iter : (int -> unit) -> t -> unit
Sourceval fold : (int -> 'acc -> 'acc) -> t -> 'acc -> 'acc
Sourceval forall : (int -> bool) -> t -> bool
Sourceval exists : (int -> bool) -> t -> bool
Sourceval sum : (int -> int) -> t -> int

sum f r is the f r.start + f (r.start+r.step) + ...

Sourceval count : (int -> bool) -> t -> int

count f r counts the number of elements of r that satisfy f

Sourceval pp : Format.formatter -> t -> unit
Sourceval to_list : t -> int list
Sourceval to_seq : t -> int Seq.t