@typed/fx 1.25.0 → 1.27.0

package/src/Match.ts

@@ -2,6 +2,7 @@
  * @since 1.18.0
  */
 
+import { getGuard, type GuardInput } from "@typed/guard"
 import * as Cause from "effect/Cause"
 import * as Chunk from "effect/Chunk"
 import * as Effect from "effect/Effect"
@@ -14,7 +15,6 @@ import * as Option from "effect/Option"
 import { isNonEmptyReadonlyArray, reduce } from "effect/ReadonlyArray"
 import * as Scope from "effect/Scope"
 import * as Fx from "./Fx.js"
-import type { Guard } from "./Guard.js"
 import { withScopedFork } from "./internal/helpers.js"
 import { FxBase } from "./internal/protos.js"
 import * as RefSubject from "./RefSubject.js"
@@ -39,12 +39,12 @@ export interface TypeMatcher<I, O = never, E = never, R = never> {
   readonly [MatcherTypeId]: Matcher.Variance<I, O, E, R>
 
   readonly when: <R2 = never, E2 = never, A = never, R3 = never, E3 = never, B = never>(
-    guard: Guard<I, A, E2, R2> | AsGuard<I, A, E2, R2>,
+    guard: GuardInput<I, A, E2, R2>,
     onMatch: (value: RefSubject.RefSubject<A>) => Fx.Fx<B, E3, R3>
   ) => TypeMatcher<I, O | B, E | E2 | E3, R | R2 | R3>
 
   readonly to: <R2 = never, E2 = never, A = never, B = never>(
-    guard: Guard<I, A, E2, R2> | AsGuard<I, A, E2, R2>,
+    guard: GuardInput<I, A, E2, R2>,
     onMatch: B
   ) => TypeMatcher<I, O | B, E | E2, R | R2>
 
@@ -64,12 +64,12 @@ export interface ValueMatcher<I, O = never, E = never, R = never> extends Fx.Fx<
   readonly value: Fx.Fx<I, E, R>
 
   readonly when: <A, E2, R2, R3 = never, E3 = never, B = never>(
-    guard: Guard<I, A, E2, R2> | AsGuard<I, A, E2, R2>,
+    guard: GuardInput<I, A, E2, R2>,
     onMatch: (value: RefSubject.RefSubject<A>) => Fx.Fx<B, E3, R3>
   ) => ValueMatcher<I, O | B, E | E2 | E3, R | R2 | R3>
 
   readonly to: <A, E2, R2, B>(
-    guard: Guard<I, A, E2, R2> | AsGuard<I, A, E2, R2>,
+    guard: GuardInput<I, A, E2, R2>,
     onMatch: B
   ) => ValueMatcher<I, O | B, E | E2, R | R2>
 
@@ -139,7 +139,7 @@ class TypeMatcherImpl<I, O, E, R> implements TypeMatcher<I, O, E, R> {
   }
 
   when<A, E2, R2, R3 = never, E3 = never, B = never>(
-    guard: Guard<I, A, E2, R2> | AsGuard<I, A, E2, R2>,
+    guard: GuardInput<I, A, E2, R2>,
     onMatch: (value: RefSubject.RefSubject<A>) => Fx.Fx<B, E3, R3>
   ): TypeMatcher<I, O | B, E | E2 | E3, R | R2 | R3> {
     return new TypeMatcherImpl<I, O | B, E | E2 | E3, R | R2 | R3>(
@@ -148,7 +148,7 @@ class TypeMatcherImpl<I, O, E, R> implements TypeMatcher<I, O, E, R> {
   }
 
   to<A, E2, R2, B>(
-    guard: Guard<I, A, E2, R2> | AsGuard<I, A, E2, R2>,
+    guard: GuardInput<I, A, E2, R2>,
     onMatch: B
   ): TypeMatcher<I, O | B, E | E2, R | R2> {
     return this.when(guard, () => Fx.succeed(onMatch))
@@ -296,7 +296,7 @@ class ValueMatcherImpl<I, O, E, R> extends FxBase<Option.Option<O>, E, R | Scope
   }
 
   when<A, E2, R2, R3 = never, E3 = never, B = never>(
-    guard: Guard<I, A, E2, R2> | AsGuard<I, A, E2, R2>,
+    guard: GuardInput<I, A, E2, R2>,
     onMatch: (value: RefSubject.RefSubject<A>) => Fx.Fx<B, E3, R3>
   ): ValueMatcher<I, O | B, E | E2 | E3, R | R2 | R3> {
     return new ValueMatcherImpl<I, O | B, E | E2 | E3, R | R2 | R3>(
@@ -306,7 +306,7 @@ class ValueMatcherImpl<I, O, E, R> extends FxBase<Option.Option<O>, E, R | Scope
   }
 
   to<A, E2, R2, B>(
-    guard: Guard<I, A, E2, R2> | AsGuard<I, A, E2, R2>,
+    guard: GuardInput<I, A, E2, R2>,
     onMatch: B
   ): ValueMatcher<I, O | B, E | E2, R | R2> {
     return this.when(guard, () => Fx.succeed(onMatch))
@@ -314,15 +314,3 @@ class ValueMatcherImpl<I, O, E, R> extends FxBase<Option.Option<O>, E, R | Scope
 
   getOrElse: ValueMatcher<I, O, E, R>["getOrElse"] = (f) => Fx.getOrElse(this.matcher.run(this.value), f)
 }
-
-/**
- * @since 1.18.0
- */
-export interface AsGuard<I, A, E = never, R = never> {
-  readonly asGuard: () => Guard<I, A, E, R>
-}
-
-function getGuard<I, A, E = never, R = never>(guard: Guard<I, A, E, R> | AsGuard<I, A, E, R>): Guard<I, A, E, R> {
-  if (typeof guard === "function") return guard
-  return guard.asGuard()
-}

package/src/Pull.ts

@@ -26,7 +26,7 @@ function schedulePull<A, E, R, R2, R3>(
   f: (effect: Effect.Effect<unknown, never, R | R3>) => Effect.Effect<unknown, never, R2>,
   sink: Sink<A, E, R3>
 ): Effect.Effect<void, never, R2> {
-  return Effect.asyncEffect<void, never, never, void, never, R2>((resume) =>
+  return Effect.asyncEffect<void, never, never, R2, never, R2>((resume) =>
     Effect.matchCauseEffect(pull, {
       onFailure: (cause: Cause.Cause<Option.Option<E>>) =>
         Cause.failureOrCause(cause).pipe(
@@ -53,18 +53,18 @@ function schedulePull<A, E, R, R2, R3>(
  */
 export const schedule: {
   <R2, A, E, R3>(
-    schedule: Schedule.Schedule<R2, unknown, unknown>,
+    schedule: Schedule.Schedule<unknown, unknown, R2>,
     sink: Sink<A, E, R3>
   ): <R>(pull: Pull<A, E, R>) => Effect.Effect<unknown, never, R | R2 | R3>
 
   <A, E, R, R2, R3>(
     pull: Pull<A, E, R>,
-    schedule: Schedule.Schedule<R2, unknown, unknown>,
+    schedule: Schedule.Schedule<unknown, unknown, R2>,
     sink: Sink<A, E, R3>
   ): Effect.Effect<unknown, never, R | R2 | R3>
 } = dual(3, function schedule<A, E, R, R2, R3>(
   pull: Pull<A, E, R>,
-  schedule: Schedule.Schedule<R2, unknown, unknown>,
+  schedule: Schedule.Schedule<unknown, unknown, R2>,
   sink: Sink<A, E, R3>
 ): Effect.Effect<void, never, R | R2 | R3> {
   return schedulePull(pull, Effect.schedule(schedule), sink)
@@ -77,18 +77,18 @@ export const schedule: {
  */
 export const repeat: {
   <R2, A, E, R3>(
-    schedule: Schedule.Schedule<R2, unknown, unknown>,
+    schedule: Schedule.Schedule<unknown, unknown, R2>,
     sink: Sink<A, E, R3>
   ): <R>(pull: Pull<A, E, R>) => Effect.Effect<unknown, never, R | R2 | R3>
 
   <A, E, R, R2, R3>(
     pull: Pull<A, E, R>,
-    schedule: Schedule.Schedule<R2, unknown, unknown>,
+    schedule: Schedule.Schedule<unknown, unknown, R2>,
     sink: Sink<A, E, R3>
   ): Effect.Effect<unknown, never, R | R2 | R3>
 } = dual(3, function repeat<A, E, R, R2, R3>(
   pull: Pull<A, E, R>,
-  schedule: Schedule.Schedule<R2, unknown, unknown>,
+  schedule: Schedule.Schedule<unknown, unknown, R2>,
   sink: Sink<A, E, R3>
 ): Effect.Effect<void, never, R | R2 | R3> {
   return schedulePull(pull, Effect.repeat(schedule), sink)

package/src/RefSubject.ts

@@ -5,7 +5,7 @@
 
 import * as C from "@typed/context"
 import type { Equivalence, FiberId, Runtime } from "effect"
-import { Fiber, MutableRef } from "effect"
+import { Fiber, MutableRef, Unify } from "effect"
 import * as Boolean from "effect/Boolean"
 import * as Cause from "effect/Cause"
 import * as Effect from "effect/Effect"
@@ -581,7 +581,7 @@ export const runUpdates: {
             (initial) =>
               f(ref).pipe(
                 restore,
-                Effect.tapErrorCause(Effect.unifiedFn((cause) =>
+                Effect.tapErrorCause(Unify.unify((cause) =>
                   Cause.isInterruptedOnly(cause)
                     ? options.onInterrupt(initial)
                     : Effect.unit
@@ -595,7 +595,7 @@ export const runUpdates: {
         Effect.uninterruptibleMask((restore) =>
           f(ref).pipe(
             restore,
-            Effect.tapErrorCause(Effect.unifiedFn((cause) =>
+            Effect.tapErrorCause(Unify.unify((cause) =>
               Cause.isInterruptedOnly(cause)
                 ? Effect.flatMap(ref.get, options.onInterrupt)
                 : Effect.unit

package/src/Sink.ts

@@ -95,16 +95,16 @@ export function withEarlyExit<A, E, R, B, R2>(
   sink: Sink<A, E, R>,
   f: (sink: WithEarlyExit<A, E, R>) => Effect.Effect<B, E, R2>
 ): Effect.Effect<void, never, R | R2> {
-  return Effect.asyncEffect<void, never, never, void, never, R | R2>((resume) => {
+  return Effect.asyncEffect((resume: (effect: Effect.Effect<void>) => void) => {
     const earlyExit: WithEarlyExit<A, E, R> = {
       ...sink,
       earlyExit: Effect.sync(() => resume(Effect.unit))
     }
 
-    return Effect.matchCauseEffect(f(earlyExit), {
+    return Effect.asUnit(Effect.matchCauseEffect(f(earlyExit), {
       onFailure: (cause) => sink.onFailure(cause),
       onSuccess: () => earlyExit.earlyExit
-    })
+    }))
   })
 }
 

package/src/Subject.ts

@@ -111,7 +111,7 @@ export class SubjectImpl<A, E> extends FxBase<A, E, Scope.Scope> implements Subj
     )
   )
 
-  protected addSink<R, R2, B>(
+  protected addSink<R, B, R2>(
     sink: Sink<A, E, R>,
     f: (scope: Scope.Scope) => Effect.Effect<B, never, R2>
   ): Effect.Effect<B, never, R2 | Scope.Scope> {

package/src/Typeclass.ts

@@ -302,7 +302,7 @@ export const Applicative: App.Applicative<FxTypeLambda> = {
  * @category Filterable
  */
 export const Filterable: Filter.Filterable<FxTypeLambda> = {
-  partitionMap: dual(2, <A, E, R, B, C>(self: Fx.Fx<A, E, R>, f: (a: A) => Either<B, C>) => {
+  partitionMap: dual(2, <A, E, R, B, C>(self: Fx.Fx<A, E, R>, f: (a: A) => Either<C, B>) => {
     const m = multicast(Fx.map(self, f))
 
     return [

package/src/index.ts

@@ -39,12 +39,6 @@ export * as Form from "./Form.js"
  */
 export * as FormEntry from "./FormEntry.js"
 
-/**
- * [Guard documentation](https://tylors.github.io/typed/fx/Guard.ts.html)
- * @since 1.18.0
- */
-export * as Guard from "./Guard.js"
-
 /**
  * [Idle documentation](https://tylors.github.io/typed/fx/Idle.ts.html)
  * @since 1.18.0

package/src/internal/core.ts

@@ -1,16 +1,17 @@
 import * as Context from "@typed/context"
-import type {
-  ConfigProvider,
-  Duration,
-  Equivalence,
-  FiberId,
-  FiberRef,
-  HashSet,
-  Queue,
-  Request,
-  Runtime,
-  Schedule,
-  Scheduler
+import {
+  type ConfigProvider,
+  type Duration,
+  type Equivalence,
+  type FiberId,
+  type FiberRef,
+  type HashSet,
+  type Queue,
+  type Request,
+  type Runtime,
+  type Schedule,
+  type Scheduler,
+  Unify
 } from "effect"
 import * as Boolean from "effect/Boolean"
 import * as Cause from "effect/Cause"
@@ -138,12 +139,12 @@ export const fromEffect = <A, E, R>(effect: Effect.Effect<A, E, R>): Fx<A, E, R>
 
 export const fromScheduled = <R, E, I, R2, O>(
   input: Effect.Effect<I, E, R>,
-  schedule: Schedule.Schedule<R2, I, O>
+  schedule: Schedule.Schedule<O, I, R2>
 ): Fx<O, E, R | R2> => new ProducerEffect(EffectProducer.FromScheduled(input, schedule))
 
 export const schedule = <A, E, R, R2, O>(
   input: Effect.Effect<A, E, R>,
-  schedule: Schedule.Schedule<R2, unknown, O>
+  schedule: Schedule.Schedule<O, unknown, R2>
 ): Fx<A, E, R | R2> => new ProducerEffect(EffectProducer.Scheduled(input, schedule))
 
 class FailCause<E> extends FxBase<never, E, never> {
@@ -325,13 +326,13 @@ class Observe<A, E, R, B, E2, R2> extends EffectBase<void, E | E2, R | R2> {
               SyncProducer.effectOnce(() => SyncProducer.runEffect(fx.i0, (a) => f(op.f(a)))),
             Filter: (op) =>
               SyncProducer.effectOnce(() =>
-                SyncProducer.runEffect(fx.i0, Effect.unifiedFn((a) => op.f(a) ? f(a) : Effect.unit))
+                SyncProducer.runEffect(fx.i0, Unify.unify((a) => op.f(a) ? f(a) : Effect.unit))
               ),
             FilterMap: (op) =>
               SyncProducer.effectOnce(() =>
                 SyncProducer.runEffect(
                   fx.i0,
-                  Effect.unifiedFn((a) => Option.match(op.f(a), { onNone: () => Effect.unit, onSome: f }))
+                  Unify.unify((a) => Option.match(op.f(a), { onNone: () => Effect.unit, onSome: f }))
                 )
               )
           }),
@@ -341,12 +342,12 @@ class Observe<A, E, R, B, E2, R2> extends EffectBase<void, E | E2, R | R2> {
               SyncProducer.runEffect(fx.i0, (a) => Effect.flatMap(op.f(a), f)),
             FilterMapEffect: (op) =>
               SyncProducer.runEffect(fx.i0, (a) =>
-                Effect.flatMap(op.f(a), Effect.unifiedFn(Option.match({ onNone: () => Effect.unit, onSome: f })))),
+                Effect.flatMap(op.f(a), Unify.unify(Option.match({ onNone: () => Effect.unit, onSome: f })))),
             FilterEffect: (op) =>
               SyncProducer.runEffect(
                 fx.i0,
-                Effect.unifiedFn((a) =>
-                  Effect.flatMap(op.f(a), Effect.unifiedFn((b) => b ? f(a) : Effect.unit))
+                Unify.unify((a) =>
+                  Effect.flatMap(op.f(a), Unify.unify((b) => b ? f(a) : Effect.unit))
                 )
               ),
             TapEffect: (op) => SyncProducer.runEffect(fx.i0, (a) => Effect.flatMap(op.f(a), () => f(a)))
@@ -399,13 +400,13 @@ class Observe<A, E, R, B, E2, R2> extends EffectBase<void, E | E2, R | R2> {
               SyncProducer.effectOnce(() => EffectProducer.runEffect(fx.i0, (a) => f(op.f(a)))),
             Filter: (op) =>
               SyncProducer.effectOnce(() =>
-                EffectProducer.runEffect(fx.i0, Effect.unifiedFn((a) => op.f(a) ? f(a) : Effect.unit))
+                EffectProducer.runEffect(fx.i0, Unify.unify((a) => op.f(a) ? f(a) : Effect.unit))
               ),
             FilterMap: (op) =>
               SyncProducer.effectOnce(() =>
                 EffectProducer.runEffect(
                   fx.i0,
-                  Effect.unifiedFn((a) => Option.match(op.f(a), { onNone: () => Effect.unit, onSome: f }))
+                  Unify.unify((a) => Option.match(op.f(a), { onNone: () => Effect.unit, onSome: f }))
                 )
               )
           }),
@@ -415,12 +416,12 @@ class Observe<A, E, R, B, E2, R2> extends EffectBase<void, E | E2, R | R2> {
               EffectProducer.runEffect(fx.i0, (a) => Effect.flatMap(op.f(a), f)),
             FilterMapEffect: (op) =>
               EffectProducer.runEffect(fx.i0, (a) =>
-                Effect.flatMap(op.f(a), Effect.unifiedFn(Option.match({ onNone: () => Effect.unit, onSome: f })))),
+                Effect.flatMap(op.f(a), Unify.unify(Option.match({ onNone: () => Effect.unit, onSome: f })))),
             FilterEffect: (op) =>
               EffectProducer.runEffect(
                 fx.i0,
-                Effect.unifiedFn((a) =>
-                  Effect.flatMap(op.f(a), Effect.unifiedFn((b) => b ? f(a) : Effect.unit))
+                Unify.unify((a) =>
+                  Effect.flatMap(op.f(a), Unify.unify((b) => b ? f(a) : Effect.unit))
                 )
               ),
             TapEffect: (op) => EffectProducer.runEffect(fx.i0, (a) => Effect.flatMap(op.f(a), () => f(a)))
@@ -1100,8 +1101,8 @@ class OrElse<
 
   run<R3>(sink: Sink.Sink<A | B, E | E2, R3>): Effect.Effect<unknown, never, R | R2 | R3> {
     return Effect.catchAll(
-      Effect.asyncEffect<unknown, E, never, void, never, R | R2 | R3>((resume) =>
-        Effect.zipRight(
+      Effect.asyncEffect<unknown, E, never, never, never, R | R2 | R3>((resume) =>
+        Effect.asUnit(Effect.zipRight(
           this.i0.run(
             Sink.make(
               (cause) =>
@@ -1113,7 +1114,7 @@ class OrElse<
             )
           ),
           Effect.sync(() => resume(Effect.unit))
-        )
+        ))
       ),
       (error: E) => this.i1(error).run(sink)
     )
@@ -2474,17 +2475,17 @@ class FromAsyncIterable<A> extends FxBase<A, never, never> {
   }
 
   run<R>(sink: Sink.Sink<A, never, R>): Effect.Effect<unknown, never, R> {
-    return Effect.asyncEffect((cb) => {
+    return Effect.asyncEffect<unknown, never, R, R, never, R>((cb) => {
       const iterator = this.i0[Symbol.asyncIterator]()
       const loop = (result: IteratorResult<A>): Effect.Effect<unknown, never, R> =>
         result.done
           ? Effect.sync(() => cb(Effect.unit))
           : Effect.zipRight(sink.onSuccess(result.value), Effect.flatMap(Effect.promise(() => iterator.next()), loop))
 
-      return Effect.flatMap(
+      return Effect.asUnit(Effect.flatMap(
         Effect.promise(() => iterator.next()),
         loop
-      )
+      ))
     })
   }
 }
@@ -2499,16 +2500,16 @@ export function first<A, E, R>(fx: Fx<A, E, R>): Effect.Effect<A, E, R> {
   return findFirst(fx, constTrue)
 }
 
-export function either<A, E, R>(fx: Fx<A, E, R>): Fx<Either.Either<E, A>, never, R> {
+export function either<A, E, R>(fx: Fx<A, E, R>): Fx<Either.Either<A, E>, never, R> {
   return new EitherFx(fx)
 }
 
-class EitherFx<A, E, R> extends FxBase<Either.Either<E, A>, never, R> {
+class EitherFx<A, E, R> extends FxBase<Either.Either<A, E>, never, R> {
   constructor(readonly i0: Fx<A, E, R>) {
     super()
   }
 
-  run<R2>(sink: Sink.Sink<Either.Either<E, A>, never, R2>): Effect.Effect<unknown, never, R | R2> {
+  run<R2>(sink: Sink.Sink<Either.Either<A, E>, never, R2>): Effect.Effect<unknown, never, R | R2> {
     return this.i0.run(
       Sink.make(
         (cause) =>

package/src/internal/effect-producer.ts

@@ -20,12 +20,12 @@ export function FromEffect<A, E, R>(source: Effect.Effect<A, E, R>): FromEffect<
 export interface FromScheduled<I, E, R, O> {
   readonly _tag: "FromScheduled"
   readonly input: Effect.Effect<I, E, R>
-  readonly schedule: Schedule.Schedule<R, I, O>
+  readonly schedule: Schedule.Schedule<O, I, R>
 }
 
 export function FromScheduled<I, E, R, R2, O>(
   input: Effect.Effect<I, E, R>,
-  schedule: Schedule.Schedule<R2, I, O>
+  schedule: Schedule.Schedule<O, I, R2>
 ): FromScheduled<I, E, R | R2, O> {
   return { _tag: "FromScheduled", schedule, input }
 }
@@ -33,12 +33,12 @@ export function FromScheduled<I, E, R, R2, O>(
 export interface Scheduled<A, E, R, O> {
   readonly _tag: "Scheduled"
   readonly input: Effect.Effect<A, E, R>
-  readonly schedule: Schedule.Schedule<R, unknown, O>
+  readonly schedule: Schedule.Schedule<O, unknown, R>
 }
 
 export function Scheduled<A, E, R, R2, O>(
   input: Effect.Effect<A, E, R>,
-  schedule: Schedule.Schedule<R2, unknown, O>
+  schedule: Schedule.Schedule<O, unknown, R2>
 ): Scheduled<A, E, R | R2, O> {
   return { _tag: "Scheduled", schedule, input }
 }
@@ -91,10 +91,10 @@ export function runEffect<A, E, R, B, E2, R2>(
       return Effect.flatMap(
         producer.input,
         (i) =>
-          Effect.asyncEffect<unknown, E | E2, never, unknown, never, R | R2>((resume) => {
+          Effect.asyncEffect((resume) => {
             const onFailure = (cause: Cause.Cause<E | E2>) => Effect.succeed(resume(Effect.failCause(cause)))
 
-            return Effect.matchCauseEffect(
+            return Effect.asUnit(Effect.matchCauseEffect(
               Effect.scheduleFrom(
                 producer.input,
                 i,
@@ -104,7 +104,7 @@ export function runEffect<A, E, R, B, E2, R2>(
                 )
               ),
               { onFailure, onSuccess: () => Effect.succeed(resume(Effect.unit)) }
-            )
+            ))
           })
       )
     case "Scheduled":

package/src/internal/helpers.ts

@@ -1,5 +1,5 @@
 import { getOption } from "@typed/context"
-import { Equivalence } from "effect"
+import { Equivalence, Unify } from "effect"
 import type { Duration, Exit } from "effect"
 import * as Cause from "effect/Cause"
 import * as Effect from "effect/Effect"
@@ -327,7 +327,7 @@ export function matchEffectPrimitive<A, E, R, Z>(
 export function adjustTime(input: Duration.DurationInput = 1) {
   return Effect.flatMap(
     Effect.context<never>(),
-    Effect.unifiedFn((ctx) => {
+    Unify.unify((ctx) => {
       const testClock = getOption(ctx, TestClock.TestClock)
 
       if (Option.isSome(testClock)) {
@@ -450,7 +450,7 @@ export class RingBuffer<A> {
 }
 
 export function awaitScopeClose(scope: Scope.Scope) {
-  return Effect.asyncEffect<unknown, never, never, void, never, never>((cb) =>
+  return Effect.asyncEffect<unknown, never, never, never, never, never>((cb) =>
     Scope.addFinalizerExit(scope, () => Effect.sync(() => cb(Effect.unit)))
   )
 }

package/src/internal/loop-operator.ts

@@ -43,12 +43,12 @@ export function SliceOperator(bounds: Bounds): SliceOperator {
 export interface FilterMapSliceOperator<A, B, C> {
   readonly _tag: "FilterMapSlice"
   readonly seed: B
-  readonly f: (acc: B, a: A) => Either.Either<Option.Option<C>, readonly [Option.Option<C>, B]>
+  readonly f: (acc: B, a: A) => Either.Either<readonly [Option.Option<C>, B], Option.Option<C>>
 }
 
 export function FilterMapSliceOperator<const B, A, C>(
   seed: B,
-  f: (acc: B, a: A) => Either.Either<Option.Option<C>, readonly [Option.Option<C>, B]>
+  f: (acc: B, a: A) => Either.Either<readonly [Option.Option<C>, B], Option.Option<C>>
 ): FilterMapSliceOperator<A, B, C> {
   return { _tag: "FilterMapSlice", seed, f }
 }

package/Guard/package.json

@@ -1,6 +0,0 @@
-{
-  "main": "../dist/cjs/Guard.js",
-  "module": "../dist/esm/Guard.js",
-  "types": "../dist/dts/Guard.d.ts",
-  "sideEffects": []
-}

package/dist/cjs/Guard.js

@@ -1,75 +0,0 @@
-"use strict";
-
-Object.defineProperty(exports, "__esModule", {
-  value: true
-});
-exports.any = any;
-exports.filterMap = exports.filter = exports.compose = void 0;
-exports.liftPredicate = liftPredicate;
-exports.tap = exports.mapEffect = exports.map = void 0;
-var Effect = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("effect/Effect"));
-var _Function = /*#__PURE__*/require("effect/Function");
-var Option = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("effect/Option"));
-function _getRequireWildcardCache(e) { if ("function" != typeof WeakMap) return null; var r = new WeakMap(), t = new WeakMap(); return (_getRequireWildcardCache = function (e) { return e ? t : r; })(e); }
-function _interopRequireWildcard(e, r) { if (!r && e && e.__esModule) return e; if (null === e || "object" != typeof e && "function" != typeof e) return { default: e }; var t = _getRequireWildcardCache(r); if (t && t.has(e)) return t.get(e); var n = { __proto__: null }, a = Object.defineProperty && Object.getOwnPropertyDescriptor; for (var u in e) if ("default" !== u && Object.prototype.hasOwnProperty.call(e, u)) { var i = a ? Object.getOwnPropertyDescriptor(e, u) : null; i && (i.get || i.set) ? Object.defineProperty(n, u, i) : n[u] = e[u]; } return n.default = e, t && t.set(e, n), n; }
-/**
- * @since 1.18.0
- */
-
-/**
- * @since 1.18.0
- */
-const compose = exports.compose = /*#__PURE__*/(0, _Function.dual)(2, function flatMap(input, output) {
-  return i => Effect.flatMap(input(i), Option.match({
-    onNone: () => Effect.succeedNone,
-    onSome: output
-  }));
-});
-/**
- * @since 1.18.0
- */
-const mapEffect = exports.mapEffect = /*#__PURE__*/(0, _Function.dual)(2, function mapEffect(guard, f) {
-  return compose(guard, o => Effect.asSome(f(o)));
-});
-/**
- * @since 1.18.0
- */
-const map = exports.map = /*#__PURE__*/(0, _Function.dual)(2, function map(guard, f) {
-  return mapEffect(guard, o => Effect.sync(() => f(o)));
-});
-/**
- * @since 1.18.0
- */
-const tap = exports.tap = /*#__PURE__*/(0, _Function.dual)(2, function tap(guard, f) {
-  return compose(guard, o => Effect.as(f(o), Option.some(o)));
-});
-/**
- * @since 1.18.0
- */
-const filterMap = exports.filterMap = /*#__PURE__*/(0, _Function.dual)(2, (guard, f) => i => Effect.map(guard(i), Option.filterMap(f)));
-/**
- * @since 1.18.0
- */
-const filter = exports.filter = /*#__PURE__*/(0, _Function.dual)(2, (guard, predicate) => i => Effect.map(guard(i), Option.filter(predicate)));
-/**
- * @since 1.18.0
- */
-function any(guards) {
-  const entries = Object.entries(guards);
-  return i => Effect.gen(function* (_) {
-    for (const [_tag, guard] of entries) {
-      const match = yield* _(guard(i));
-      if (Option.isSome(match)) {
-        return Option.some({
-          _tag,
-          value: match.value
-        });
-      }
-    }
-    return Option.none();
-  });
-}
-function liftPredicate(predicate) {
-  return a => Effect.sync(() => predicate(a) ? Option.some(a) : Option.none());
-}
-//# sourceMappingURL=Guard.js.map

package/dist/cjs/Guard.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"Guard.js","names":["Effect","_interopRequireWildcard","require","_Function","Option","_getRequireWildcardCache","e","WeakMap","r","t","__esModule","default","has","get","n","__proto__","a","Object","defineProperty","getOwnPropertyDescriptor","u","prototype","hasOwnProperty","call","i","set","compose","exports","dual","flatMap","input","output","match","onNone","succeedNone","onSome","mapEffect","guard","f","o","asSome","map","sync","tap","as","some","filterMap","filter","predicate","any","guards","entries","gen","_","_tag","isSome","value","none","liftPredicate"],"sources":["../../src/Guard.ts"],"sourcesContent":[null],"mappings":";;;;;;;;;AAKA,IAAAA,MAAA,gBAAAC,uBAAA,eAAAC,OAAA;AACA,IAAAC,SAAA,gBAAAD,OAAA;AACA,IAAAE,MAAA,gBAAAH,uBAAA,eAAAC,OAAA;AAAuC,SAAAG,yBAAAC,CAAA,6BAAAC,OAAA,mBAAAC,CAAA,OAAAD,OAAA,IAAAE,CAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,CAAA,WAAAA,CAAA,GAAAG,CAAA,GAAAD,CAAA,KAAAF,CAAA;AAAA,SAAAL,wBAAAK,CAAA,EAAAE,CAAA,SAAAA,CAAA,IAAAF,CAAA,IAAAA,CAAA,CAAAI,UAAA,SAAAJ,CAAA,eAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,WAAAK,OAAA,EAAAL,CAAA,QAAAG,CAAA,GAAAJ,wBAAA,CAAAG,CAAA,OAAAC,CAAA,IAAAA,CAAA,CAAAG,GAAA,CAAAN,CAAA,UAAAG,CAAA,CAAAI,GAAA,CAAAP,CAAA,OAAAQ,CAAA,KAAAC,SAAA,UAAAC,CAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,CAAA,IAAAd,CAAA,oBAAAc,CAAA,IAAAH,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAAjB,CAAA,EAAAc,CAAA,SAAAI,CAAA,GAAAR,CAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAb,CAAA,EAAAc,CAAA,UAAAI,CAAA,KAAAA,CAAA,CAAAX,GAAA,IAAAW,CAAA,CAAAC,GAAA,IAAAR,MAAA,CAAAC,cAAA,CAAAJ,CAAA,EAAAM,CAAA,EAAAI,CAAA,IAAAV,CAAA,CAAAM,CAAA,IAAAd,CAAA,CAAAc,CAAA,YAAAN,CAAA,CAAAH,OAAA,GAAAL,CAAA,EAAAG,CAAA,IAAAA,CAAA,CAAAgB,GAAA,CAAAnB,CAAA,EAAAQ,CAAA,GAAAA,CAAA;AAPvC;;;;AAoCA;;;AAGO,MAAMY,OAAO,GAAAC,OAAA,CAAAD,OAAA,gBAGhB,IAAAE,cAAI,EAAC,CAAC,EAAE,SAASC,OAAOA,CAC1BC,KAAwB,EACxBC,MAA2B;EAE3B,OAAQP,CAAC,IACPxB,MAAM,CAAC6B,OAAO,CACZC,KAAK,CAACN,CAAC,CAAC,EACRpB,MAAM,CAAC4B,KAAK,CAAC;IACXC,MAAM,EAAEA,CAAA,KAAMjC,MAAM,CAACkC,WAAW;IAChCC,MAAM,EAAEJ;GACT,CAAC,CACH;AACL,CAAC,CAAC;AAEF;;;AAGO,MAAMK,SAAS,GAAAT,OAAA,CAAAS,SAAA,gBAKlB,IAAAR,cAAI,EAAC,CAAC,EAAE,SAASQ,SAASA,CAC5BC,KAAwB,EACxBC,CAAqC;EAErC,OAAOZ,OAAO,CAACW,KAAK,EAAGE,CAAC,IAAKvC,MAAM,CAACwC,MAAM,CAACF,CAAC,CAACC,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC,CAAC;AAEF;;;AAGO,MAAME,GAAG,GAAAd,OAAA,CAAAc,GAAA,gBAGZ,IAAAb,cAAI,EAAC,CAAC,EAAE,SAASa,GAAGA,CACtBJ,KAAwB,EACxBC,CAAc;EAEd,OAAOF,SAAS,CAACC,KAAK,EAAGE,CAAC,IAAKvC,MAAM,CAAC0C,IAAI,CAAC,MAAMJ,CAAC,CAACC,CAAC,CAAC,CAAC,CAAC;AACzD,CAAC,CAAC;AAEF;;;AAGO,MAAMI,GAAG,GAAAhB,OAAA,CAAAgB,GAAA,gBAKZ,IAAAf,cAAI,EAAC,CAAC,EAAE,SAASe,GAAGA,CACtBN,KAAwB,EACxBC,CAAqC;EAErC,OAAOZ,OAAO,CAACW,KAAK,EAAGE,CAAC,IAAKvC,MAAM,CAAC4C,EAAE,CAACN,CAAC,CAACC,CAAC,CAAC,EAAEnC,MAAM,CAACyC,IAAI,CAACN,CAAC,CAAC,CAAC,CAAC;AAC/D,CAAC,CAAC;AAEF;;;AAGO,MAAMO,SAAS,GAAAnB,OAAA,CAAAmB,SAAA,gBAGlB,IAAAlB,cAAI,EACN,CAAC,EACD,CAAgBS,KAAwB,EAAEC,CAA6B,KAAyBd,CAAC,IAC/FxB,MAAM,CAACyC,GAAG,CAACJ,KAAK,CAACb,CAAC,CAAC,EAAEpB,MAAM,CAAC0C,SAAS,CAACR,CAAC,CAAC,CAAC,CAC5C;AAED;;;AAGO,MAAMS,MAAM,GAAApB,OAAA,CAAAoB,MAAA,gBAKf,IAAAnB,cAAI,EACN,CAAC,EACD,CAAaS,KAAwB,EAAEW,SAA4B,KAAyBxB,CAAC,IAC3FxB,MAAM,CAACyC,GAAG,CAACJ,KAAK,CAACb,CAAC,CAAC,EAAEpB,MAAM,CAAC2C,MAAM,CAACC,SAAS,CAAC,CAAC,CACjD;AAED;;;AAGM,SAAUC,GAAGA,CACjBC,MAAU;EAEV,MAAMC,OAAO,GAAGlC,MAAM,CAACkC,OAAO,CAACD,MAAM,CAAC;EACtC,OAAQ1B,CAAe,IACrBxB,MAAM,CAACoD,GAAG,CAAC,WAAUC,CAAC;IACpB,KAAK,MAAM,CAACC,IAAI,EAAEjB,KAAK,CAAC,IAAIc,OAAO,EAAE;MACnC,MAAMnB,KAAK,GAAG,OAAOqB,CAAC,CAAChB,KAAK,CAACb,CAAC,CAAC,CAAC;MAChC,IAAIpB,MAAM,CAACmD,MAAM,CAACvB,KAAK,CAAC,EAAE;QACxB,OAAO5B,MAAM,CAACyC,IAAI,CAAC;UAAES,IAAI;UAAEE,KAAK,EAAExB,KAAK,CAACwB;QAAK,CAAmB,CAAC;MACnE;IACF;IACA,OAAOpD,MAAM,CAACqD,IAAI,EAAE;EACtB,CAAC,CAAC;AACN;AAyBM,SAAUC,aAAaA,CAAIV,SAAiC;EAChE,OAAQhC,CAAC,IAAKhB,MAAM,CAAC0C,IAAI,CAAC,MAAOM,SAAS,CAAChC,CAAC,CAAC,GAAGZ,MAAM,CAACyC,IAAI,CAAC7B,CAAC,CAAC,GAAGZ,MAAM,CAACqD,IAAI,EAAG,CAAC;AAClF"}