// ets_tracing: off

import * as core from "../../../../Effect/core.js"
import type { Effect } from "../../../../Effect/effect.js"
import * as O from "../../../../Option/index.js"
import type * as Tp from "../../Tuple/index.js"
import type { Chunk } from "../core.js"
import { append_, empty } from "../core.js"

function loop<A, R, E, S>(
  s: S,
  f: (s: S) => Effect<R, E, O.Option<Tp.Tuple<[A, S]>>>,
  builder: Chunk<A>
): Effect<R, E, Chunk<A>> {
  return core.chain_(f(s), (o) => {
    if (O.isSome(o)) {
      return loop(o.value.get(1), f, append_(builder, o.value.get(0)))
    } else {
      return core.succeed(builder)
    }
  })
}

/**
 * Constructs a `Chunk` by repeatedly applying the effectual function `f` as
 * long as it returns `Some`.
 */
export function unfoldEffect<A, R, E, S>(
  s: S,
  f: (s: S) => Effect<R, E, O.Option<Tp.Tuple<[A, S]>>>
): Effect<R, E, Chunk<A>> {
  return loop(s, f, empty())
}