package hardcaml_step_testbench

  1. Overview
  2. Docs
val init : Base.Int.t -> f:(Base.Int.t -> 'a t) -> 'a Base.List.t t

Construct a list of step monad results. The binds occurs from 0, 1, ... which is the same as Deferred.List.init but opposite to Base.List.init.

val iter : 'a Base.List.t -> f:('a -> Base.Unit.t t) -> Base.Unit.t t
val iteri : 'a Base.List.t -> f:(Base.Int.t -> 'a -> Base.Unit.t t) -> Base.Unit.t t
val map : 'a Base.List.t -> f:('a -> 'b t) -> 'b Base.List.t t
val mapi : 'a Base.List.t -> f:(Base.Int.t -> 'a -> 'b t) -> 'b Base.List.t t