@typed/fx 1.6.2 → 1.8.0

package/src/internal/typeclass/SemiApplicative.ts

@@ -1,43 +0,0 @@
-import * as SA from '@effect/data/typeclass/SemiApplicative'
-import type { Semigroup } from '@effect/data/typeclass/Semigroup'
-
-import type { Fx, FxTypeLambda } from '@typed/fx/internal/Fx'
-import { Covariant } from '@typed/fx/internal/typeclass/Covariant'
-import { SemiProduct } from '@typed/fx/internal/typeclass/SemiProduct'
-
-export const SemiApplicative: SA.SemiApplicative<FxTypeLambda> = {
-  ...SemiProduct,
-  ...Covariant,
-}
-
-export const ap: {
-  <R2, E2, A>(that: Fx<R2, E2, A>): <R1, E1, B>(
-    self: Fx<R1, E1, (a: A) => B>,
-  ) => Fx<R2 | R1, E2 | E1, B>
-  <R1, E1, A, B, R2, E2>(self: Fx<R1, E1, (a: A) => B>, that: Fx<R2, E2, A>): Fx<
-    R1 | R2,
-    E1 | E2,
-    B
-  >
-} = SA.ap(SemiApplicative)
-
-export const getSemigroup: <R, E, A>(S: Semigroup<A>) => Semigroup<Fx<R, E, A>> =
-  SA.getSemigroup(SemiApplicative)
-
-export const lift2: <A, B, C>(
-  f: (a: A, b: B) => C,
-) => {
-  <R2, E2>(that: Fx<R2, E2, B>): <R1, E1>(self: Fx<R1, E1, A>) => Fx<R2 | R1, E2 | E1, C>
-  <R1, E1, R2, E2>(self: Fx<R1, E1, A>, that: Fx<R2, E2, B>): Fx<R1 | R2, E1 | E2, C>
-} = SA.lift2(SemiApplicative)
-
-export const zipWith: {
-  <R2, E2, B, A, C>(that: Fx<R2, E2, B>, f: (a: A, b: B) => C): <R1, E1>(
-    self: Fx<R1, E1, A>,
-  ) => Fx<R2 | R1, E2 | E1, C>
-  <R1, E1, A, R2, E2, B, C>(self: Fx<R1, E1, A>, that: Fx<R2, E2, B>, f: (a: A, b: B) => C): Fx<
-    R1 | R2,
-    E1 | E2,
-    C
-  >
-} = SA.zipWith(SemiApplicative)

package/src/internal/typeclass/SemiProduct.ts

@@ -1,51 +0,0 @@
-import * as SP from '@effect/data/typeclass/SemiProduct'
-
-import type { Fx, FxTypeLambda } from '@typed/fx/internal/Fx'
-import { flatMap, map } from '@typed/fx/internal/operator/index'
-import { imap } from '@typed/fx/internal/typeclass/Covariant'
-
-export const product: SP.SemiProduct<FxTypeLambda>['product'] = (self, that) =>
-  flatMap(self, (a) => map(that, (b) => [a, b]))
-
-export const SemiProduct: SP.SemiProduct<FxTypeLambda> = {
-  product,
-  productMany: SP.productMany<FxTypeLambda>(map, product),
-  imap,
-}
-
-export const bindDiscard: {
-  <N extends string, A extends object, R2, E2, B>(name: Exclude<N, keyof A>, that: Fx<R2, E2, B>): <
-    R1,
-    E1,
-  >(
-    self: Fx<R1, E1, A>,
-  ) => Fx<R2 | R1, E2 | E1, { [K in N | keyof A]: K extends keyof A ? A[K] : B }>
-  <R1, E1, A extends object, N extends string, O2, E2, B>(
-    self: Fx<R1, E1, A>,
-    name: Exclude<N, keyof A>,
-    that: Fx<O2, E2, B>,
-  ): Fx<R1 | O2, E1 | E2, { [K in N | keyof A]: K extends keyof A ? A[K] : B }>
-} = SP.bindDiscard(SemiProduct)
-
-export const appendElement: {
-  <R2, E2, B>(that: Fx<R2, E2, B>): <R1, E1, const A extends ReadonlyArray<any>>(
-    self: Fx<R1, E1, A>,
-  ) => Fx<R2 | R1, E2 | E1, [...A, B]>
-  <R1, E1, const A extends ReadonlyArray<any>, O2, E2, B>(
-    self: Fx<R1, E1, A>,
-    that: Fx<O2, E2, B>,
-  ): Fx<R1 | O2, E1 | E2, [...A, B]>
-} = SP.appendElement(SemiProduct)
-
-export const nonEmptyStruct: <R extends Readonly<Record<string, Fx<any, any, any>>>>(
-  fields: keyof R extends never ? never : R,
-) => Fx<
-  Fx.ResourcesOf<R[string]>,
-  Fx.ErrorsOf<R[string]>,
-  { readonly [K in keyof R]: Fx.OutputOf<R[K]> }
-> = SP.nonEmptyStruct(SemiProduct) as any
-
-export const nonEmptyTuple: <T extends readonly [Fx<any, any, any>, ...Array<Fx<any, any, any>>]>(
-  ...elements: T
-) => Fx<Fx.ResourcesOf<T[number]>, Fx.ErrorsOf<T[number]>, { [I in keyof T]: Fx.OutputOf<T[I]> }> =
-  SP.nonEmptyTuple(SemiProduct) as any

package/src/internal/typeclass/index.ts

@@ -1,16 +0,0 @@
-export * from './Alternative.js'
-export * from './Applicative.js'
-export * from './Bicovariant.js'
-export * from './Chainable.js'
-export * from './Coproduct.js'
-export * from './Covariant.js'
-export * from './Filterable.js'
-export * from './FlatMap.js'
-export * from './Monad.js'
-export * from './Of.js'
-export * from './Pointed.js'
-export * from './Product.js'
-export * from './SemiAlternative.js'
-export * from './SemiApplicative.js'
-export * from './SemiCoproduct.js'
-export * from './SemiProduct.js'

package/src/internal/withEarlyExit.ts

@@ -1,17 +0,0 @@
-import { Effect } from './externals.js'
-
-export function withEarlyExit<R, E, A>(
-  f: (earlyExit: Effect.Effect<never, never, never>) => Effect.Effect<R, E, A>,
-): Effect.Effect<R, E, void> {
-  return Effect.asyncEffect((cb) =>
-    Effect.gen(function* ($) {
-      const earlyExit = Effect.flatMap(
-        Effect.sync(() => cb(Effect.unit())),
-        Effect.never,
-      )
-      const result = yield* $(f(earlyExit))
-
-      cb(Effect.succeed(result))
-    }),
-  )
-}