Module Utils.Range

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.

type t = {

1. start : int;
   (*

   included

   *)
2. stop : int;
   (*

   excluded

   *)
3. step : int;

}

val upto : int -> t

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

val interval : int -> int -> t

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

val inclusive_interval : int -> int -> t

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

val iter : (int -> unit) -> t -> unit

val fold : (int -> 'acc -> 'acc) -> t -> 'acc -> 'acc

val forall : (int -> bool) -> t -> bool

val exists : (int -> bool) -> t -> bool

val sum : (int -> int) -> t -> int

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

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

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

val pp : Stdlib.Format.formatter -> t -> unit

val to_list : t -> int list

val to_seq : t -> int Stdlib.Seq.t