import * as tsplus_module_1 from "@effect/core/io/Effect/operations/succeed";
import * as tsplus_module_2 from "@effect/core/stream/Stream/operations/whenCaseEffect";
/**
 * Returns the resulting stream when the given partial function is defined
 * for the given value, otherwise returns an empty stream.
 *
 * @tsplus static ets/Stream/Ops whenCase
 */

export function whenCase(a, pf, __tsplusTrace) {
  return tsplus_module_2.whenCaseEffect(() => tsplus_module_1.succeed(a, __tsplusTrace), pf, __tsplusTrace);
}
//# sourceMappingURL=whenCase.mjs.map