Module Slot_repr.Range

Slot ranges

type t

An ordered range of slots, in increasing order.

Constructor

val create : min:int -> count:int -> t Mavryk_protocol_environment_alpha.Error_monad.tzresult

create ~min ~count creates a full slot range starting at min, of size count, i.e, min, min + count - 1.

create errors if

  • min < 0
  • count < 1
  • min + count - 1 > max_value

Iterators

val fold : ('a -> slot -> 'a) -> 'a -> t -> 'a

fold f acc range folds f over the values of range, in increasing order.

fold_es f acc range folds f over the values of range, in increasing order.

rev_fold_es f acc range folds f over the values of range, in decreasing order.