List (hardcaml_step_testbench.Hardcaml_step

val init : 
  Hardcaml_step_testbench__Import.Int.t ->
  f:( Hardcaml_step_testbench__Import.Int.t -> 'a t ) ->
  'a Hardcaml_step_testbench__Import.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 Hardcaml_step_testbench__Import.List.t ->
  f:( 'a -> Hardcaml_step_testbench__Import.Unit.t t ) ->
  Hardcaml_step_testbench__Import.Unit.t t

val iteri : 
  'a Hardcaml_step_testbench__Import.List.t ->
  f:
    ( Hardcaml_step_testbench__Import.Int.t ->
      'a ->
      Hardcaml_step_testbench__Import.Unit.t t ) ->
  Hardcaml_step_testbench__Import.Unit.t t

val iter2_exn : 
  'a Hardcaml_step_testbench__Import.List.t ->
  'b Hardcaml_step_testbench__Import.List.t ->
  f:( 'a -> 'b -> Hardcaml_step_testbench__Import.Unit.t t ) ->
  Hardcaml_step_testbench__Import.Unit.t t

val map : 
  'a Hardcaml_step_testbench__Import.List.t ->
  f:( 'a -> 'b t ) ->
  'b Hardcaml_step_testbench__Import.List.t t

val mapi : 
  'a Hardcaml_step_testbench__Import.List.t ->
  f:( Hardcaml_step_testbench__Import.Int.t -> 'a -> 'b t ) ->
  'b Hardcaml_step_testbench__Import.List.t t