_.md

https://bucklescript.github.io/bucklescript-playground//?code=bW9kdWxlJTIwSXRlcmF0b3IlM0ElMjBzaWclMEElMjAlMjB0eXBlJTIwJ2ElMjB0JTBBJTIwJTIwdmFsJTIwbmV4dCUzQSUyMCdhJTIwdCUyMC0lM0UlMjAnYSUyMG9wdGlvbiUwQWVuZCUyMCUzRCUyMHN0cnVjdCUwQSUyMCUyMHR5cGUlMjAnYSUyMHQlMEElMEElMjAlMjB0eXBlJTIwJ2ElMjByZXMlMjAlM0QlMjAlN0IlMEElMjAlMjAlMjAlMjBfZG9uZSUzQSUyMGJvb2wlMjAlNUIlNDBicy5hcyUyMCUyMmRvbmUlMjIlNUQlM0IlMEElMjAlMjAlMjAlMjB2YWx1ZSUzQSUyMCdhJTNCJTBBJTIwJTIwJTdEJTIwJTVCJTQwJTQwYnMuZGVyaXZpbmclMjBhYnN0cmFjdCU1RCUwQSUwQSUyMCUyMGV4dGVybmFsJTIwX25leHQlM0ElMjAnYSUyMHQlMjAtJTNFJTIwJ2ElMjByZXMlMjAlM0QlMjAlMjJuZXh0JTIyJTIwJTVCJTQwJTQwYnMuc2VuZCU1RCUwQSUwQSUyMCUyMGxldCUyMG5leHQlMjBpdGVyJTIwJTNEJTBBJTIwJTIwJTIwJTIwbGV0JTIweCUyMCUzRCUyMF9uZXh0JTIwaXRlciUyMGluJTBBJTIwJTIwJTIwJTIwaWYlMjBfZG9uZSUyMHglMjB0aGVuJTIwTm9uZSUyMGVsc2UlMjBTb21lJTIwKHZhbHVlJTIweCklMEFlbmQlMEElMEElMEFtb2R1bGUlMjB0eXBlJTIwSXRlcmFibGUlMjAlM0QlMjBzaWclMEElMjAlMjB0eXBlJTIwKCdhJTJDJTIwJ2IpJTIwdCUwQSUyMCUyMHR5cGUlMjAoJ2ElMkMlMjAnYiklMjB2YWx1ZSUwQSUwQSUyMCUyMHZhbCUyMGl0ZXJhdG9yJTNBJTIwKCdhJTJDJTIwJ2IpJTIwdCUyMC0lM0UlMjAoJ2ElMkMlMjAnYiklMjB2YWx1ZSUyMEl0ZXJhdG9yLnQlMEFlbmQlMEElMEFtb2R1bGUlMjBJdGVyYXRpb24lMjAoSSUzQSUyMEl0ZXJhYmxlKSUzQSUyMHNpZyUwQSUyMCUyMHZhbCUyMGl0ZXJhdGUlM0ElMjAoJ2ElMkMlMjAnYiklMjBJLnQlMjAtJTNFJTIwZiUzQSgoJ2ElMkMlMjAnYiklMjBJLnZhbHVlJTIwLSUzRSUyMHVuaXQpJTIwLSUzRSUyMHVuaXQlMEFlbmQlMjAlM0QlMjBzdHJ1Y3QlMEElMjAlMjBsZXQlMjBpdGVyYXRlJTIwaXRlcmFibGUlMjB+ZiUyMCUzRCUwQSUyMCUyMCUyMCUyMGxldCUyMGl0ZXJhdG9yJTIwJTNEJTIwSS5pdGVyYXRvciUyMGl0ZXJhYmxlJTIwaW4lMEElMjAlMjAlMjAlMjBsZXQlMjByZWMlMjBsb29wJTIwKCklMjAlM0QlMEElMjAlMjAlMjAlMjAlMjAlMjBtYXRjaCUyMEl0ZXJhdG9yLm5leHQlMjBpdGVyYXRvciUyMHdpdGglMEElMjAlMjAlMjAlMjAlMjAlMjAlN0MlMjBTb21lJTIweCUyMC0lM0UlMjBmJTIweCUzQiUyMGxvb3AlMjAoKSUwQSUyMCUyMCUyMCUyMCUyMCUyMCU3QyUyME5vbmUlMjAtJTNFJTIwKCklMEElMjAlMjAlMjAlMjBpbiUyMGxvb3AlMjAoKSUwQWVuZCUwQSUwQSUwQW1vZHVsZSUyMEFycmF5JTIwJTNEJTIwc3RydWN0JTBBJTIwJTIwbW9kdWxlJTIwSXRlcmFibGUlM0ElMjBJdGVyYWJsZSUyMHdpdGglMjB0eXBlJTIwKCdhJTJDJTIwJ2IpJTIwdCUyMCUzRCUyMCdiJTIwYXJyYXklMjBhbmQlMjB0eXBlJTIwKCdhJTJDJTIwJ2IpJTIwdmFsdWUlMjAlM0QlMjAnYiUyMCUzRCUyMHN0cnVjdCUwQSUyMCUyMCUyMCUyMHR5cGUlMjAoJ2ElMkMlMjAnYiklMjB0JTIwJTNEJTIwJ2IlMjBhcnJheSUwQSUyMCUyMCUyMCUyMHR5cGUlMjAoJ2ElMkMlMjAnYiklMjB2YWx1ZSUyMCUzRCUyMCdiJTBBJTIwJTIwJTIwJTIwbGV0JTIwaXRlcmF0b3IlMjAlM0QlMjAlNUIlMjVyYXclMjAlN0IlN0MlMjB4JTIwJTNEJTNFJTIweCU1QlN5bWJvbC5pdGVyYXRvciU1RCgpJTIwJTdDJTdEJTVEJTBBJTIwJTIwZW5kJTBBJTBBJTIwJTIwaW5jbHVkZSUyMEl0ZXJhdGlvbiUyMChJdGVyYWJsZSklMEFlbmQlMEElMEFtb2R1bGUlMjBTdHJpbmclMjAlM0QlMjBzdHJ1Y3QlMEElMjAlMjBtb2R1bGUlMjBJdGVyYWJsZSUzQSUyMEl0ZXJhYmxlJTIwd2l0aCUyMHR5cGUlMjAoJ2ElMkMlMjAnYiklMjB0JTIwJTNEJTIwc3RyaW5nJTIwYW5kJTIwdHlwZSUyMCgnYSUyQyUyMCdiKSUyMHZhbHVlJTIwJTNEJTIwc3RyaW5nJTIwJTNEJTIwc3RydWN0JTBBJTIwJTIwJTIwJTIwdHlwZSUyMCgnYSUyQyUyMCdiKSUyMHQlMjAlM0QlMjBzdHJpbmclMEElMjAlMjAlMjAlMjB0eXBlJTIwKCdhJTJDJTIwJ2IpJTIwdmFsdWUlMjAlM0QlMjBzdHJpbmclMEElMjAlMjAlMjAlMjBsZXQlMjBpdGVyYXRvciUyMCUzRCUyMCU1QiUyNXJhdyUyMCU3QiU3QyUyMHglMjAlM0QlM0UlMjB4JTVCU3ltYm9sLml0ZXJhdG9yJTVEKCklMjAlN0MlN0QlNUQlMEElMjAlMjBlbmQlMEElMEElMjAlMjBpbmNsdWRlJTIwSXRlcmF0aW9uJTIwKEl0ZXJhYmxlKSUwQWVuZCUwQSUwQW1vZHVsZSUyME1hcCUyMCUzRCUyMHN0cnVjdCUwQSUyMCUyMHR5cGUlMjAoJ2slMkMlMjAndiklMjBtYXAlMEElMEElMjAlMjBtb2R1bGUlMjBJdGVyYWJsZSUzQSUyMEl0ZXJhYmxlJTIwd2l0aCUyMHR5cGUlMjAoJ2ElMkMlMjAnYiklMjB0JTIwJTNEJTIwKCdhJTJDJTIwJ2IpJTIwbWFwJTIwYW5kJTIwdHlwZSUyMCgnYSUyQyUyMCdiKSUyMHZhbHVlJTIwJTNEJTIwJ2ElMjAqJTIwJ2IlMjAlM0QlMjBzdHJ1Y3QlMEElMjAlMjAlMjAlMjB0eXBlJTIwKCdhJTJDJTIwJ2IpJTIwdCUyMCUzRCUyMCgnYSUyQyUyMCdiKSUyMG1hcCUwQSUyMCUyMCUyMCUyMHR5cGUlMjAoJ2ElMkMlMjAnYiklMjB2YWx1ZSUyMCUzRCUyMCdhJTIwKiUyMCdiJTBBJTIwJTIwJTIwJTIwbGV0JTIwaXRlcmF0b3IlMjAlM0QlMjAlNUIlMjVyYXclMjAlN0IlN0MlMjB4JTIwJTNEJTNFJTIweCU1QlN5bWJvbC5pdGVyYXRvciU1RCgpJTIwJTdDJTdEJTVEJTBBJTIwJTIwZW5kJTBBJTBBJTIwJTIwaW5jbHVkZSUyMEl0ZXJhdGlvbiUyMChJdGVyYWJsZSklMEFlbmQlMEElMEFsZXQlMjAoKSUyMCUzRCUwQSUyMCUyMEFycmF5Lml0ZXJhdGUlMjAlNUIlN0MxJTNCJTIwMiUzQiUyMDMlN0MlNUQlMjB+ZiUzQShmdW4lMjBuJTIwLSUzRSUwQSUyMCUyMCUyMCUyMCUyMCUyMEpzLmxvZyUyMChuJTIwJTJCJTIwMSklMEElMjAlMjAlMjAlMjApJTBBJTBBbGV0JTIwKCklMjAlM0QlMEElMjAlMjBBcnJheS5pdGVyYXRlJTIwJTVCJTdDJTIyZm9vJTIyJTNCJTIwJTIyYmFyJTIyJTNCJTIwJTIyYmF6JTIyJTdDJTVEJTIwfmYlM0EoZnVuJTIwbXNnJTIwLSUzRSUwQSUyMCUyMCUyMCUyMCUyMCUyMEpzLmxvZyUyMChtc2clMjAlNUUlMjAlMjIhJTIyKSUwQSUyMCUyMCUyMCUyMCklMEElMEFsZXQlMjAoKSUyMCUzRCUwQSUyMCUyMFN0cmluZy5pdGVyYXRlJTIwJTIybnlhJTIyJTIwfmYlM0EoZnVuJTIwYyUyMC0lM0UlMEElMjAlMjAlMjAlMjAlMjAlMjBKcy5sb2clMjAoYyUyMCU1RSUyMCUyMiUzRiUyMiklMEElMjAlMjAlMjAlMjApJTBBJTBBbGV0JTIwKCklMjAlM0QlMEElMjAlMjBsZXQlMjBtJTNBJTIwKHN0cmluZyUyQyUyMGludCklMjBNYXAubWFwJTIwJTNEJTIwJTVCJTI1cmF3JTIwJTdCJTdDJTBBJTIwJTIwJTIwJTIwbmV3JTIwTWFwKCU1QiUwQSUyMCUyMCUyMCUyMCUyMCUyMCU1QiUyMmZvbyUyMiUyQyUyMDElNUQlMkMlMEElMjAlMjAlMjAlMjAlMjAlMjAlNUIlMjJiYXIlMjIlMkMlMjAyJTVEJTJDJTBBJTIwJTIwJTIwJTIwJTVEKSUwQSUyMCUyMCU3QyU3RCU1RCUyMGluJTBBJTIwJTIwTWFwLml0ZXJhdGUlMjBtJTIwfmYlM0EoZnVuJTIwKGslMkMlMjB2KSUyMC0lM0UlMEElMjAlMjAlMjAlMjAlMjAlMjBKcy5sb2clMjAoayUyMCU1RSUyMCUyMiUyMC0lM0UlMjAlMjIlMjAlNUUlMjAoc3RyaW5nX29mX2ludCUyMHYpKSUwQSUyMCUyMCUyMCUyMCklMEE=

iterator.ml

module Iterator: sig
  type 'a t
  val next: 'a t -> 'a option
end = struct
  type 'a t

  type 'a res = {
    _done: bool [@bs.as "done"];
    value: 'a;
  } [@@bs.deriving abstract]

  external _next: 'a t -> 'a res = "next" [@@bs.send]

  let next iter =
    let x = _next iter in
    if _doneGet x then None else Some (valueGet x)
end


module type Iterable = sig
  type ('a, 'b) t
  type ('a, 'b) value

  val iterator: ('a, 'b) t -> ('a, 'b) value Iterator.t
end

module Iteration (I: Iterable): sig
  val iterate: ('a, 'b) I.t -> f:(('a, 'b) I.value -> unit) -> unit
end = struct
  let iterate iterable ~f =
    let iterator = I.iterator iterable in
    let rec loop () =
      match Iterator.next iterator with
      | Some x -> f x; loop ()
      | None -> ()
    in loop ()
end


module Array = struct
  module Iterable: Iterable with type ('a, 'b) t = 'b array and type ('a, 'b) value = 'b = struct
    type ('a, 'b) t = 'b array
    type ('a, 'b) value = 'b
    let iterator = [%raw {| x => x[Symbol.iterator]() |}]
  end

  include Iteration (Iterable)
end

module String = struct
  module Iterable: Iterable with type ('a, 'b) t = string and type ('a, 'b) value = string = struct
    type ('a, 'b) t = string
    type ('a, 'b) value = string
    let iterator = [%raw {| x => x[Symbol.iterator]() |}]
  end

  include Iteration (Iterable)
end

module Map = struct
  type ('k, 'v) map

  module Iterable: Iterable with type ('a, 'b) t = ('a, 'b) map and type ('a, 'b) value = 'a * 'b = struct
    type ('a, 'b) t = ('a, 'b) map
    type ('a, 'b) value = 'a * 'b
    let iterator = [%raw {| x => x[Symbol.iterator]() |}]
  end

  include Iteration (Iterable)
end

let () =
  Array.iterate [|1; 2; 3|] ~f:(fun n ->
      Js.log (n + 1)
    )

let () =
  Array.iterate [|"foo"; "bar"; "baz"|] ~f:(fun msg ->
      Js.log (msg ^ "!")
    )

let () =
  String.iterate "nya" ~f:(fun c ->
      Js.log (c ^ "?")
    )

let () =
  let m: (string, int) Map.map = [%raw {|
    new Map([
      ["foo", 1],
      ["bar", 2],
    ])
  |}] in
  Map.iterate m ~f:(fun (k, v) ->
      Js.log (k ^ " -> " ^ (string_of_int v))
    )