fp-pack 0.1.0 → 0.2.0

package/dist/implement/async/pipeAsyncSideEffectStrict.d.ts

@@ -0,0 +1,57 @@
+import { default as SideEffect } from '../composition/sideEffect';
+type AnyFn = (...args: any[]) => any;
+type MaybeSideEffect<T, E> = T | SideEffect<E>;
+type NonSideEffect<T> = Exclude<T, SideEffect<any>>;
+type AsyncOrSync<A, R> = (a: A) => R | Promise<R>;
+type ZeroFn<R> = () => R | Promise<R>;
+type EffectOfReturn<R> = R extends SideEffect<infer E> ? E : never;
+type EffectOfFn<F> = F extends (...args: any[]) => infer R ? EffectOfReturn<Awaited<R>> : never;
+type EffectsOf<Fns extends AnyFn[]> = EffectOfFn<Fns[number]>;
+type PipeValueOutputUnary<Fns extends AsyncOrSync<any, any>[]> = Fns extends [AsyncOrSync<any, infer R>] ? NonSideEffect<Awaited<R>> : Fns extends [AsyncOrSync<any, infer R>, ...infer Rest] ? Rest extends [AsyncOrSync<NonSideEffect<Awaited<R>>, any>, ...AsyncOrSync<any, any>[]] ? PipeValueOutputUnary<Rest> : never : never;
+type PipeValueOutputStrict<Fns extends [AnyFn, ...AnyFn[]]> = Fns extends [ZeroFn<infer R>] ? NonSideEffect<Awaited<R>> : Fns extends [ZeroFn<infer R>, ...infer Rest] ? Rest extends [AsyncOrSync<NonSideEffect<Awaited<R>>, any>, ...AsyncOrSync<any, any>[]] ? PipeValueOutputUnary<Rest> : never : Fns extends [AsyncOrSync<any, any>, ...AsyncOrSync<any, any>[]] ? PipeValueOutputUnary<Fns> : never;
+type PipeInputStrict<Fns extends [AnyFn, ...AnyFn[]]> = Fns extends [ZeroFn<any>, ...AnyFn[]] ? never : Fns extends [AsyncOrSync<infer A, any>, ...AnyFn[]] ? A : never;
+type Resolve<T> = T extends infer R ? R : never;
+type PipeAsyncSideEffectStrictUnary<Fns extends [AnyFn, ...AnyFn[]]> = {
+    (input: PipeInputStrict<Fns>): Promise<Resolve<MaybeSideEffect<PipeValueOutputStrict<Fns>, EffectsOf<Fns>>>>;
+    <EIn>(input: PipeInputStrict<Fns> | SideEffect<EIn>): Promise<Resolve<MaybeSideEffect<PipeValueOutputStrict<Fns>, EffectsOf<Fns> | EIn>>>;
+};
+type PipeAsyncSideEffectStrict<Fns extends [AnyFn, ...AnyFn[]]> = Fns extends [ZeroFn<any>, ...AnyFn[]] ? () => Promise<Resolve<MaybeSideEffect<PipeValueOutputStrict<Fns>, EffectsOf<Fns>>>> : PipeAsyncSideEffectStrictUnary<Fns>;
+declare function pipeAsyncSideEffectStrict<R>(ab: ZeroFn<R>): PipeAsyncSideEffectStrict<[ZeroFn<R>]>;
+declare function pipeAsyncSideEffectStrict<B, R>(ab: ZeroFn<B>, bc: AsyncOrSync<NonSideEffect<Awaited<B>>, R>): PipeAsyncSideEffectStrict<[ZeroFn<B>, AsyncOrSync<NonSideEffect<Awaited<B>>, R>]>;
+declare function pipeAsyncSideEffectStrict<B, C, R>(ab: ZeroFn<B>, bc: AsyncOrSync<NonSideEffect<Awaited<B>>, C>, cd: AsyncOrSync<NonSideEffect<Awaited<C>>, R>): PipeAsyncSideEffectStrict<[ZeroFn<B>, AsyncOrSync<NonSideEffect<Awaited<B>>, C>, AsyncOrSync<NonSideEffect<Awaited<C>>, R>]>;
+declare function pipeAsyncSideEffectStrict<B, C, D, R>(ab: ZeroFn<B>, bc: AsyncOrSync<NonSideEffect<Awaited<B>>, C>, cd: AsyncOrSync<NonSideEffect<Awaited<C>>, D>, de: AsyncOrSync<NonSideEffect<Awaited<D>>, R>): PipeAsyncSideEffectStrict<[
+    ZeroFn<B>,
+    AsyncOrSync<NonSideEffect<Awaited<B>>, C>,
+    AsyncOrSync<NonSideEffect<Awaited<C>>, D>,
+    AsyncOrSync<NonSideEffect<Awaited<D>>, R>
+]>;
+declare function pipeAsyncSideEffectStrict<B, C, D, E, R>(ab: ZeroFn<B>, bc: AsyncOrSync<NonSideEffect<Awaited<B>>, C>, cd: AsyncOrSync<NonSideEffect<Awaited<C>>, D>, de: AsyncOrSync<NonSideEffect<Awaited<D>>, E>, ef: AsyncOrSync<NonSideEffect<Awaited<E>>, R>): PipeAsyncSideEffectStrict<[
+    ZeroFn<B>,
+    AsyncOrSync<NonSideEffect<Awaited<B>>, C>,
+    AsyncOrSync<NonSideEffect<Awaited<C>>, D>,
+    AsyncOrSync<NonSideEffect<Awaited<D>>, E>,
+    AsyncOrSync<NonSideEffect<Awaited<E>>, R>
+]>;
+declare function pipeAsyncSideEffectStrict<A, R>(ab: AsyncOrSync<A, R>): PipeAsyncSideEffectStrict<[AsyncOrSync<A, R>]>;
+declare function pipeAsyncSideEffectStrict<A, B, R>(ab: AsyncOrSync<A, B>, bc: AsyncOrSync<NonSideEffect<Awaited<B>>, R>): PipeAsyncSideEffectStrict<[AsyncOrSync<A, B>, AsyncOrSync<NonSideEffect<Awaited<B>>, R>]>;
+declare function pipeAsyncSideEffectStrict<A, B, C, R>(ab: AsyncOrSync<A, B>, bc: AsyncOrSync<NonSideEffect<Awaited<B>>, C>, cd: AsyncOrSync<NonSideEffect<Awaited<C>>, R>): PipeAsyncSideEffectStrict<[
+    AsyncOrSync<A, B>,
+    AsyncOrSync<NonSideEffect<Awaited<B>>, C>,
+    AsyncOrSync<NonSideEffect<Awaited<C>>, R>
+]>;
+declare function pipeAsyncSideEffectStrict<A, B, C, D, R>(ab: AsyncOrSync<A, B>, bc: AsyncOrSync<NonSideEffect<Awaited<B>>, C>, cd: AsyncOrSync<NonSideEffect<Awaited<C>>, D>, de: AsyncOrSync<NonSideEffect<Awaited<D>>, R>): PipeAsyncSideEffectStrict<[
+    AsyncOrSync<A, B>,
+    AsyncOrSync<NonSideEffect<Awaited<B>>, C>,
+    AsyncOrSync<NonSideEffect<Awaited<C>>, D>,
+    AsyncOrSync<NonSideEffect<Awaited<D>>, R>
+]>;
+declare function pipeAsyncSideEffectStrict<A, B, C, D, E, R>(ab: AsyncOrSync<A, B>, bc: AsyncOrSync<NonSideEffect<Awaited<B>>, C>, cd: AsyncOrSync<NonSideEffect<Awaited<C>>, D>, de: AsyncOrSync<NonSideEffect<Awaited<D>>, E>, ef: AsyncOrSync<NonSideEffect<Awaited<E>>, R>): PipeAsyncSideEffectStrict<[
+    AsyncOrSync<A, B>,
+    AsyncOrSync<NonSideEffect<Awaited<B>>, C>,
+    AsyncOrSync<NonSideEffect<Awaited<C>>, D>,
+    AsyncOrSync<NonSideEffect<Awaited<D>>, E>,
+    AsyncOrSync<NonSideEffect<Awaited<E>>, R>
+]>;
+declare function pipeAsyncSideEffectStrict<Fns extends [AnyFn, ...AnyFn[]]>(...funcs: Fns): PipeAsyncSideEffectStrict<Fns>;
+export default pipeAsyncSideEffectStrict;
+//# sourceMappingURL=pipeAsyncSideEffectStrict.d.ts.map

package/dist/implement/async/pipeAsyncSideEffectStrict.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipeAsyncSideEffectStrict.d.ts","sourceRoot":"","sources":["../../../src/implement/async/pipeAsyncSideEffectStrict.ts"],"names":[],"mappings":"AAAA,OAAO,UAA4B,MAAM,2BAA2B,CAAC;AAErE,KAAK,KAAK,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC;AACrC,KAAK,eAAe,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;AAC/C,KAAK,aAAa,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;AACpD,KAAK,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAClD,KAAK,MAAM,CAAC,CAAC,IAAI,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;AAEtC,KAAK,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AACnE,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,MAAM,CAAC,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;AAChG,KAAK,SAAS,CAAC,GAAG,SAAS,KAAK,EAAE,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AAE9D,KAAK,oBAAoB,CAAC,GAAG,SAAS,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,WAAW,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GACpG,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GACzB,GAAG,SAAS,CAAC,WAAW,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,MAAM,IAAI,CAAC,GACpD,IAAI,SAAS,CAAC,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GACpF,oBAAoB,CAAC,IAAI,CAAC,GAC1B,KAAK,GACP,KAAK,CAAC;AAEZ,KAAK,qBAAqB,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,KAAK,EAAE,CAAC,IACxD,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GACzB,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GACzB,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,MAAM,IAAI,CAAC,GAC1C,IAAI,SAAS,CAAC,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GACpF,oBAAoB,CAAC,IAAI,CAAC,GAC1B,KAAK,GACP,GAAG,SAAS,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAC7D,oBAAoB,CAAC,GAAG,CAAC,GACzB,KAAK,CAAC;AAEhB,KAAK,eAAe,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,KAAK,EAAE,CAAC,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,GACzF,KAAK,GACL,GAAG,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,GACjD,CAAC,GACD,KAAK,CAAC;AAEZ,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAEhD,KAAK,8BAA8B,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,KAAK,EAAE,CAAC,IAAI;IACrE,CAAC,KAAK,EAAE,eAAe,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7G,CAAC,GAAG,EACF,KAAK,EAAE,eAAe,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,GAC5C,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;CACxF,CAAC;AAEF,KAAK,yBAAyB,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,KAAK,EAAE,CAAC,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,GACnG,MAAM,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GACnF,8BAA8B,CAAC,GAAG,CAAC,CAAC;AAExC,iBAAS,yBAAyB,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7F,iBAAS,yBAAyB,CAAC,CAAC,EAAE,CAAC,EACrC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EACb,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC5C,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACrF,iBAAS,yBAAyB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EACxC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EACb,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAC7C,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC5C,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAChI,iBAAS,yBAAyB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC3C,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EACb,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAC7C,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAC7C,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC5C,yBAAyB,CAAC;IAC3B,MAAM,CAAC,CAAC,CAAC;IACT,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzC,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzC,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CAC1C,CAAC,CAAC;AACH,iBAAS,yBAAyB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC9C,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EACb,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAC7C,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAC7C,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAC7C,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC5C,yBAAyB,CAAC;IAC3B,MAAM,CAAC,CAAC,CAAC;IACT,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzC,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzC,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzC,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CAC1C,CAAC,CAAC;AACH,iBAAS,yBAAyB,CAAC,CAAC,EAAE,CAAC,EACrC,EAAE,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GACpB,yBAAyB,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,iBAAS,yBAAyB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EACxC,EAAE,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EACrB,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC5C,yBAAyB,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7F,iBAAS,yBAAyB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC3C,EAAE,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EACrB,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAC7C,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC5C,yBAAyB,CAAC;IAC3B,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC;IACjB,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzC,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CAC1C,CAAC,CAAC;AACH,iBAAS,yBAAyB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC9C,EAAE,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EACrB,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAC7C,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAC7C,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC5C,yBAAyB,CAAC;IAC3B,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC;IACjB,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzC,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzC,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CAC1C,CAAC,CAAC;AACH,iBAAS,yBAAyB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACjD,EAAE,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EACrB,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAC7C,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAC7C,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAC7C,EAAE,EAAE,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC5C,yBAAyB,CAAC;IAC3B,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC;IACjB,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzC,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzC,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzC,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CAC1C,CAAC,CAAC;AAEH,iBAAS,yBAAyB,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,KAAK,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC;AAcnH,eAAe,yBAAyB,CAAC"}

package/dist/implement/async/pipeAsyncSideEffectStrict.mjs

@@ -0,0 +1,16 @@
+import { isSideEffect as c } from "../composition/sideEffect.mjs";
+function n(...e) {
+  return async (f) => {
+    let t = f;
+    for (const r of e) {
+      if (c(t))
+        return t;
+      t = await r(t);
+    }
+    return t;
+  };
+}
+export {
+  n as default
+};
+//# sourceMappingURL=pipeAsyncSideEffectStrict.mjs.map

package/dist/implement/async/pipeAsyncSideEffectStrict.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipeAsyncSideEffectStrict.mjs","sources":["../../../src/implement/async/pipeAsyncSideEffectStrict.ts"],"sourcesContent":["import SideEffect, { isSideEffect } from '../composition/sideEffect';\n\ntype AnyFn = (...args: any[]) => any;\ntype MaybeSideEffect<T, E> = T | SideEffect<E>;\ntype NonSideEffect<T> = Exclude<T, SideEffect<any>>;\ntype AsyncOrSync<A, R> = (a: A) => R | Promise<R>;\ntype ZeroFn<R> = () => R | Promise<R>;\n\ntype EffectOfReturn<R> = R extends SideEffect<infer E> ? E : never;\ntype EffectOfFn<F> = F extends (...args: any[]) => infer R ? EffectOfReturn<Awaited<R>> : never;\ntype EffectsOf<Fns extends AnyFn[]> = EffectOfFn<Fns[number]>;\n\ntype PipeValueOutputUnary<Fns extends AsyncOrSync<any, any>[]> = Fns extends [AsyncOrSync<any, infer R>]\n  ? NonSideEffect<Awaited<R>>\n  : Fns extends [AsyncOrSync<any, infer R>, ...infer Rest]\n    ? Rest extends [AsyncOrSync<NonSideEffect<Awaited<R>>, any>, ...AsyncOrSync<any, any>[]]\n      ? PipeValueOutputUnary<Rest>\n      : never\n    : never;\n\ntype PipeValueOutputStrict<Fns extends [AnyFn, ...AnyFn[]]> =\n  Fns extends [ZeroFn<infer R>]\n    ? NonSideEffect<Awaited<R>>\n    : Fns extends [ZeroFn<infer R>, ...infer Rest]\n      ? Rest extends [AsyncOrSync<NonSideEffect<Awaited<R>>, any>, ...AsyncOrSync<any, any>[]]\n        ? PipeValueOutputUnary<Rest>\n        : never\n      : Fns extends [AsyncOrSync<any, any>, ...AsyncOrSync<any, any>[]]\n        ? PipeValueOutputUnary<Fns>\n        : never;\n\ntype PipeInputStrict<Fns extends [AnyFn, ...AnyFn[]]> = Fns extends [ZeroFn<any>, ...AnyFn[]]\n  ? never\n  : Fns extends [AsyncOrSync<infer A, any>, ...AnyFn[]]\n    ? A\n    : never;\n\ntype Resolve<T> = T extends infer R ? R : never;\n\ntype PipeAsyncSideEffectStrictUnary<Fns extends [AnyFn, ...AnyFn[]]> = {\n  (input: PipeInputStrict<Fns>): Promise<Resolve<MaybeSideEffect<PipeValueOutputStrict<Fns>, EffectsOf<Fns>>>>;\n  <EIn>(\n    input: PipeInputStrict<Fns> | SideEffect<EIn>\n  ): Promise<Resolve<MaybeSideEffect<PipeValueOutputStrict<Fns>, EffectsOf<Fns> | EIn>>>;\n};\n\ntype PipeAsyncSideEffectStrict<Fns extends [AnyFn, ...AnyFn[]]> = Fns extends [ZeroFn<any>, ...AnyFn[]]\n  ? () => Promise<Resolve<MaybeSideEffect<PipeValueOutputStrict<Fns>, EffectsOf<Fns>>>>\n  : PipeAsyncSideEffectStrictUnary<Fns>;\n\nfunction pipeAsyncSideEffectStrict<R>(ab: ZeroFn<R>): PipeAsyncSideEffectStrict<[ZeroFn<R>]>;\nfunction pipeAsyncSideEffectStrict<B, R>(\n  ab: ZeroFn<B>,\n  bc: AsyncOrSync<NonSideEffect<Awaited<B>>, R>\n): PipeAsyncSideEffectStrict<[ZeroFn<B>, AsyncOrSync<NonSideEffect<Awaited<B>>, R>]>;\nfunction pipeAsyncSideEffectStrict<B, C, R>(\n  ab: ZeroFn<B>,\n  bc: AsyncOrSync<NonSideEffect<Awaited<B>>, C>,\n  cd: AsyncOrSync<NonSideEffect<Awaited<C>>, R>\n): PipeAsyncSideEffectStrict<[ZeroFn<B>, AsyncOrSync<NonSideEffect<Awaited<B>>, C>, AsyncOrSync<NonSideEffect<Awaited<C>>, R>]>;\nfunction pipeAsyncSideEffectStrict<B, C, D, R>(\n  ab: ZeroFn<B>,\n  bc: AsyncOrSync<NonSideEffect<Awaited<B>>, C>,\n  cd: AsyncOrSync<NonSideEffect<Awaited<C>>, D>,\n  de: AsyncOrSync<NonSideEffect<Awaited<D>>, R>\n): PipeAsyncSideEffectStrict<[\n  ZeroFn<B>,\n  AsyncOrSync<NonSideEffect<Awaited<B>>, C>,\n  AsyncOrSync<NonSideEffect<Awaited<C>>, D>,\n  AsyncOrSync<NonSideEffect<Awaited<D>>, R>\n]>;\nfunction pipeAsyncSideEffectStrict<B, C, D, E, R>(\n  ab: ZeroFn<B>,\n  bc: AsyncOrSync<NonSideEffect<Awaited<B>>, C>,\n  cd: AsyncOrSync<NonSideEffect<Awaited<C>>, D>,\n  de: AsyncOrSync<NonSideEffect<Awaited<D>>, E>,\n  ef: AsyncOrSync<NonSideEffect<Awaited<E>>, R>\n): PipeAsyncSideEffectStrict<[\n  ZeroFn<B>,\n  AsyncOrSync<NonSideEffect<Awaited<B>>, C>,\n  AsyncOrSync<NonSideEffect<Awaited<C>>, D>,\n  AsyncOrSync<NonSideEffect<Awaited<D>>, E>,\n  AsyncOrSync<NonSideEffect<Awaited<E>>, R>\n]>;\nfunction pipeAsyncSideEffectStrict<A, R>(\n  ab: AsyncOrSync<A, R>\n): PipeAsyncSideEffectStrict<[AsyncOrSync<A, R>]>;\nfunction pipeAsyncSideEffectStrict<A, B, R>(\n  ab: AsyncOrSync<A, B>,\n  bc: AsyncOrSync<NonSideEffect<Awaited<B>>, R>\n): PipeAsyncSideEffectStrict<[AsyncOrSync<A, B>, AsyncOrSync<NonSideEffect<Awaited<B>>, R>]>;\nfunction pipeAsyncSideEffectStrict<A, B, C, R>(\n  ab: AsyncOrSync<A, B>,\n  bc: AsyncOrSync<NonSideEffect<Awaited<B>>, C>,\n  cd: AsyncOrSync<NonSideEffect<Awaited<C>>, R>\n): PipeAsyncSideEffectStrict<[\n  AsyncOrSync<A, B>,\n  AsyncOrSync<NonSideEffect<Awaited<B>>, C>,\n  AsyncOrSync<NonSideEffect<Awaited<C>>, R>\n]>;\nfunction pipeAsyncSideEffectStrict<A, B, C, D, R>(\n  ab: AsyncOrSync<A, B>,\n  bc: AsyncOrSync<NonSideEffect<Awaited<B>>, C>,\n  cd: AsyncOrSync<NonSideEffect<Awaited<C>>, D>,\n  de: AsyncOrSync<NonSideEffect<Awaited<D>>, R>\n): PipeAsyncSideEffectStrict<[\n  AsyncOrSync<A, B>,\n  AsyncOrSync<NonSideEffect<Awaited<B>>, C>,\n  AsyncOrSync<NonSideEffect<Awaited<C>>, D>,\n  AsyncOrSync<NonSideEffect<Awaited<D>>, R>\n]>;\nfunction pipeAsyncSideEffectStrict<A, B, C, D, E, R>(\n  ab: AsyncOrSync<A, B>,\n  bc: AsyncOrSync<NonSideEffect<Awaited<B>>, C>,\n  cd: AsyncOrSync<NonSideEffect<Awaited<C>>, D>,\n  de: AsyncOrSync<NonSideEffect<Awaited<D>>, E>,\n  ef: AsyncOrSync<NonSideEffect<Awaited<E>>, R>\n): PipeAsyncSideEffectStrict<[\n  AsyncOrSync<A, B>,\n  AsyncOrSync<NonSideEffect<Awaited<B>>, C>,\n  AsyncOrSync<NonSideEffect<Awaited<C>>, D>,\n  AsyncOrSync<NonSideEffect<Awaited<D>>, E>,\n  AsyncOrSync<NonSideEffect<Awaited<E>>, R>\n]>;\n\nfunction pipeAsyncSideEffectStrict<Fns extends [AnyFn, ...AnyFn[]]>(...funcs: Fns): PipeAsyncSideEffectStrict<Fns>;\nfunction pipeAsyncSideEffectStrict(...funcs: Array<AsyncOrSync<any, any>>) {\n  return async (value?: any) => {\n    let acc = value;\n    for (const fn of funcs) {\n      if (isSideEffect(acc)) {\n        return acc;\n      }\n      acc = await fn(acc);\n    }\n    return acc;\n  };\n}\n\nexport default pipeAsyncSideEffectStrict;\n"],"names":["pipeAsyncSideEffectStrict","funcs","value","acc","fn","isSideEffect"],"mappings":";AA8HA,SAASA,KAA6BC,GAAqC;AACzE,SAAO,OAAOC,MAAgB;AAC5B,QAAIC,IAAMD;AACV,eAAWE,KAAMH,GAAO;AACtB,UAAII,EAAaF,CAAG;AAClB,eAAOA;AAET,MAAAA,IAAM,MAAMC,EAAGD,CAAG;AAAA,IACpB;AACA,WAAOA;AAAA,EACT;AACF;"}

package/dist/implement/composition/from.d.ts

@@ -0,0 +1,6 @@
+/**
+ * from - 입력을 무시하고 고정 값을 반환
+ */
+declare function from<T>(value: T): <I>(_input: I) => T;
+export default from;
+//# sourceMappingURL=from.d.ts.map

package/dist/implement/composition/from.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"from.d.ts","sourceRoot":"","sources":["../../../src/implement/composition/from.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,iBAAS,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,IACf,CAAC,EAAE,QAAQ,CAAC,OACrB;AAED,eAAe,IAAI,CAAC"}

package/dist/implement/composition/from.mjs

@@ -0,0 +1,7 @@
+function r(t) {
+  return (n) => t;
+}
+export {
+  r as default
+};
+//# sourceMappingURL=from.mjs.map

package/dist/implement/composition/from.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"from.mjs","sources":["../../../src/implement/composition/from.ts"],"sourcesContent":["/**\n * from - 입력을 무시하고 고정 값을 반환\n */\nfunction from<T>(value: T) {\n  return <I>(_input: I) => value;\n}\n\nexport default from;\n"],"names":["from","value","_input"],"mappings":"AAGA,SAASA,EAAQC,GAAU;AACzB,SAAO,CAAIC,MAAcD;AAC3B;"}

package/dist/implement/composition/index.d.ts

@@ -1,5 +1,6 @@
 export { default as pipe } from './pipe';
 export { default as pipeSideEffect } from './pipeSideEffect';
+export { default as pipeSideEffectStrict } from './pipeSideEffectStrict';
 export { default as compose } from './compose';
 export { default as curry } from './curry';
 export { default as partial } from './partial';
@@ -7,6 +8,7 @@ export { default as flip } from './flip';
 export { default as complement } from './complement';
 export { default as identity } from './identity';
 export { default as constant } from './constant';
+export { default as from } from './from';
 export { default as tap } from './tap';
 export { default as once } from './once';
 export { default as memoize } from './memoize';

package/dist/implement/composition/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/implement/composition/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,OAAO,IAAI,KAAK,EAAE,MAAM,SAAS,CAAC;AAC3C,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,OAAO,IAAI,GAAG,EAAE,MAAM,OAAO,CAAC;AACvC,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,EAAE,UAAU,IAAI,eAAe,EAAE,MAAM,cAAc,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/implement/composition/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,OAAO,IAAI,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACzE,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,OAAO,IAAI,KAAK,EAAE,MAAM,SAAS,CAAC;AAC3C,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,GAAG,EAAE,MAAM,OAAO,CAAC;AACvC,OAAO,EAAE,OAAO,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,EAAE,OAAO,IAAI,OAAO,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,OAAO,IAAI,UAAU,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,EAAE,UAAU,IAAI,eAAe,EAAE,MAAM,cAAc,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC"}

package/dist/implement/composition/pipe.d.ts

@@ -1,7 +1,13 @@
 type UnaryFn<A, R> = (a: A) => R;
+type ZeroFn<R> = () => R;
 type PipeInput<Fns extends UnaryFn<any, any>[]> = Fns extends [UnaryFn<infer A, any>, ...UnaryFn<any, any>[]] ? A : never;
 type PipeOutput<Fns extends UnaryFn<any, any>[]> = Fns extends [UnaryFn<any, infer R>] ? R : Fns extends [UnaryFn<any, infer R>, ...infer Rest] ? Rest extends [UnaryFn<R, any>, ...UnaryFn<any, any>[]] ? PipeOutput<Rest> : never : never;
 type Pipe<Fns extends UnaryFn<any, any>[]> = (input: PipeInput<Fns>) => PipeOutput<Fns>;
+declare function pipe<R>(ab: ZeroFn<R>): () => R;
+declare function pipe<B, R>(ab: ZeroFn<B>, bc: UnaryFn<B, R>): () => R;
+declare function pipe<B, C, R>(ab: ZeroFn<B>, bc: UnaryFn<B, C>, cd: UnaryFn<C, R>): () => R;
+declare function pipe<B, C, D, R>(ab: ZeroFn<B>, bc: UnaryFn<B, C>, cd: UnaryFn<C, D>, de: UnaryFn<D, R>): () => R;
+declare function pipe<B, C, D, E, R>(ab: ZeroFn<B>, bc: UnaryFn<B, C>, cd: UnaryFn<C, D>, de: UnaryFn<D, E>, ef: UnaryFn<E, R>): () => R;
 declare function pipe<A, R>(ab: UnaryFn<A, R>): (a: A) => R;
 declare function pipe<A, B, R>(ab: UnaryFn<A, B>, bc: UnaryFn<B, R>): (a: A) => R;
 declare function pipe<A, B, C, R>(ab: UnaryFn<A, B>, bc: UnaryFn<B, C>, cd: UnaryFn<C, R>): (a: A) => R;

package/dist/implement/composition/pipe.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pipe.d.ts","sourceRoot":"","sources":["../../../src/implement/composition/pipe.ts"],"names":[],"mappings":"AAAA,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AACjC,KAAK,SAAS,CAAC,GAAG,SAAS,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GACzG,CAAC,GACD,KAAK,CAAC;AACV,KAAK,UAAU,CAAC,GAAG,SAAS,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAClF,CAAC,GACD,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,MAAM,IAAI,CAAC,GAChD,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GACpD,UAAU,CAAC,IAAI,CAAC,GAChB,KAAK,GACP,KAAK,CAAC;AACZ,KAAK,IAAI,CAAC,GAAG,SAAS,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,CAAC;AAExF,iBAAS,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AACpD,iBAAS,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AAC1E,iBAAS,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AAChG,iBAAS,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACzB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AACf,iBAAS,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC5B,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AAEf,iBAAS,IAAI,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AACjG,iBAAS,IAAI,CAAC,GAAG,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,KAAK,GAAG,CAAC;AAOvE,eAAe,IAAI,CAAC"}
+{"version":3,"file":"pipe.d.ts","sourceRoot":"","sources":["../../../src/implement/composition/pipe.ts"],"names":[],"mappings":"AAAA,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AACjC,KAAK,MAAM,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC;AACzB,KAAK,SAAS,CAAC,GAAG,SAAS,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GACzG,CAAC,GACD,KAAK,CAAC;AACV,KAAK,UAAU,CAAC,GAAG,SAAS,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAClF,CAAC,GACD,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,MAAM,IAAI,CAAC,GAChD,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GACpD,UAAU,CAAC,IAAI,CAAC,GAChB,KAAK,GACP,KAAK,CAAC;AACZ,KAAK,IAAI,CAAC,GAAG,SAAS,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,CAAC;AAExF,iBAAS,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;AACzC,iBAAS,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;AAC/D,iBAAS,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;AACrF,iBAAS,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;AAC3G,iBAAS,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACzB,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EACb,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,MAAM,CAAC,CAAC;AACX,iBAAS,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AACpD,iBAAS,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AAC1E,iBAAS,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AAChG,iBAAS,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACzB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AACf,iBAAS,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC5B,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AAEf,iBAAS,IAAI,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AACjG,iBAAS,IAAI,CAAC,GAAG,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,KAAK,GAAG,CAAC;AAOvE,eAAe,IAAI,CAAC"}

package/dist/implement/composition/pipe.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"pipe.mjs","sources":["../../../src/implement/composition/pipe.ts"],"sourcesContent":["type UnaryFn<A, R> = (a: A) => R;\ntype PipeInput<Fns extends UnaryFn<any, any>[]> = Fns extends [UnaryFn<infer A, any>, ...UnaryFn<any, any>[]]\n  ? A\n  : never;\ntype PipeOutput<Fns extends UnaryFn<any, any>[]> = Fns extends [UnaryFn<any, infer R>]\n  ? R\n  : Fns extends [UnaryFn<any, infer R>, ...infer Rest]\n    ? Rest extends [UnaryFn<R, any>, ...UnaryFn<any, any>[]]\n      ? PipeOutput<Rest>\n      : never\n    : never;\ntype Pipe<Fns extends UnaryFn<any, any>[]> = (input: PipeInput<Fns>) => PipeOutput<Fns>;\n\nfunction pipe<A, R>(ab: UnaryFn<A, R>): (a: A) => R;\nfunction pipe<A, B, R>(ab: UnaryFn<A, B>, bc: UnaryFn<B, R>): (a: A) => R;\nfunction pipe<A, B, C, R>(ab: UnaryFn<A, B>, bc: UnaryFn<B, C>, cd: UnaryFn<C, R>): (a: A) => R;\nfunction pipe<A, B, C, D, R>(\n  ab: UnaryFn<A, B>,\n  bc: UnaryFn<B, C>,\n  cd: UnaryFn<C, D>,\n  de: UnaryFn<D, R>\n): (a: A) => R;\nfunction pipe<A, B, C, D, E, R>(\n  ab: UnaryFn<A, B>,\n  bc: UnaryFn<B, C>,\n  cd: UnaryFn<C, D>,\n  de: UnaryFn<D, E>,\n  ef: UnaryFn<E, R>\n): (a: A) => R;\n\nfunction pipe<Fns extends [UnaryFn<any, any>, ...UnaryFn<any, any>[]]>(...funcs: Fns): Pipe<Fns>;\nfunction pipe(...funcs: Array<UnaryFn<any, any>>): (input: any) => any;\nfunction pipe(...funcs: Array<(input: any) => any>) {\n  return (init: any) => {\n    return funcs.reduce((acc, fn) => fn(acc), init);\n  };\n}\n\nexport default pipe;\n"],"names":["pipe","funcs","init","acc","fn"],"mappings":"AAgCA,SAASA,KAAQC,GAAmC;AAClD,SAAO,CAACC,MACCD,EAAM,OAAO,CAACE,GAAKC,MAAOA,EAAGD,CAAG,GAAGD,CAAI;AAElD;"}
+{"version":3,"file":"pipe.mjs","sources":["../../../src/implement/composition/pipe.ts"],"sourcesContent":["type UnaryFn<A, R> = (a: A) => R;\ntype ZeroFn<R> = () => R;\ntype PipeInput<Fns extends UnaryFn<any, any>[]> = Fns extends [UnaryFn<infer A, any>, ...UnaryFn<any, any>[]]\n  ? A\n  : never;\ntype PipeOutput<Fns extends UnaryFn<any, any>[]> = Fns extends [UnaryFn<any, infer R>]\n  ? R\n  : Fns extends [UnaryFn<any, infer R>, ...infer Rest]\n    ? Rest extends [UnaryFn<R, any>, ...UnaryFn<any, any>[]]\n      ? PipeOutput<Rest>\n      : never\n    : never;\ntype Pipe<Fns extends UnaryFn<any, any>[]> = (input: PipeInput<Fns>) => PipeOutput<Fns>;\n\nfunction pipe<R>(ab: ZeroFn<R>): () => R;\nfunction pipe<B, R>(ab: ZeroFn<B>, bc: UnaryFn<B, R>): () => R;\nfunction pipe<B, C, R>(ab: ZeroFn<B>, bc: UnaryFn<B, C>, cd: UnaryFn<C, R>): () => R;\nfunction pipe<B, C, D, R>(ab: ZeroFn<B>, bc: UnaryFn<B, C>, cd: UnaryFn<C, D>, de: UnaryFn<D, R>): () => R;\nfunction pipe<B, C, D, E, R>(\n  ab: ZeroFn<B>,\n  bc: UnaryFn<B, C>,\n  cd: UnaryFn<C, D>,\n  de: UnaryFn<D, E>,\n  ef: UnaryFn<E, R>\n): () => R;\nfunction pipe<A, R>(ab: UnaryFn<A, R>): (a: A) => R;\nfunction pipe<A, B, R>(ab: UnaryFn<A, B>, bc: UnaryFn<B, R>): (a: A) => R;\nfunction pipe<A, B, C, R>(ab: UnaryFn<A, B>, bc: UnaryFn<B, C>, cd: UnaryFn<C, R>): (a: A) => R;\nfunction pipe<A, B, C, D, R>(\n  ab: UnaryFn<A, B>,\n  bc: UnaryFn<B, C>,\n  cd: UnaryFn<C, D>,\n  de: UnaryFn<D, R>\n): (a: A) => R;\nfunction pipe<A, B, C, D, E, R>(\n  ab: UnaryFn<A, B>,\n  bc: UnaryFn<B, C>,\n  cd: UnaryFn<C, D>,\n  de: UnaryFn<D, E>,\n  ef: UnaryFn<E, R>\n): (a: A) => R;\n\nfunction pipe<Fns extends [UnaryFn<any, any>, ...UnaryFn<any, any>[]]>(...funcs: Fns): Pipe<Fns>;\nfunction pipe(...funcs: Array<UnaryFn<any, any>>): (input: any) => any;\nfunction pipe(...funcs: Array<(input: any) => any>) {\n  return (init: any) => {\n    return funcs.reduce((acc, fn) => fn(acc), init);\n  };\n}\n\nexport default pipe;\n"],"names":["pipe","funcs","init","acc","fn"],"mappings":"AA4CA,SAASA,KAAQC,GAAmC;AAClD,SAAO,CAACC,MACCD,EAAM,OAAO,CAACE,GAAKC,MAAOA,EAAGD,CAAG,GAAGD,CAAI;AAElD;"}

package/dist/implement/composition/pipe.type-test.d.ts

@@ -1,6 +1,8 @@
 import { default as SideEffect } from './sideEffect';
 type Equal<A, B> = (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2) ? true : false;
 type Expect<T extends true> = T;
+type EffectUnion<T> = Extract<T, SideEffect<any>> extends SideEffect<infer E> ? E : never;
+type ValueUnion<T> = Exclude<T, SideEffect<any>>;
 export declare const sideEffectInput: SideEffect<number>;
 export declare const purePipe: (a: number) => string;
 type PurePipeExpected = (input: number) => string;
@@ -16,5 +18,32 @@ export declare const pipeAsyncWithSideEffectInput: (a: number | SideEffect<any>)
 export declare const pipeAsyncWithSideEffectValue: Promise<string | SideEffect<any>>;
 type PipeAsyncExpected = (input: number | SideEffect<any>) => Promise<string | SideEffect<any>>;
 export type PipeAsyncAcceptsSideEffectInput = Expect<Equal<typeof pipeAsyncWithSideEffectInput, PipeAsyncExpected>>;
+export declare const strictPipeSideEffect: {
+    (input: number): number | SideEffect<0 | "LOW">;
+    <EIn>(input: number | SideEffect<EIn>): number | SideEffect<0 | "LOW" | EIn>;
+};
+export declare const strictPipeSideEffectResult: number | SideEffect<0 | "LOW">;
+type StrictSideEffectEffects = EffectUnion<typeof strictPipeSideEffectResult>;
+type StrictSideEffectEffectsExpected = 'LOW' | 0;
+export type PipeSideEffectStrictEffects = Expect<Equal<StrictSideEffectEffects, StrictSideEffectEffectsExpected>>;
+type StrictSideEffectValue = ValueUnion<typeof strictPipeSideEffectResult>;
+type StrictSideEffectValueExpected = number;
+export type PipeSideEffectStrictValue = Expect<Equal<StrictSideEffectValue, StrictSideEffectValueExpected>>;
+export declare const strictPipeSideEffectInput: number | SideEffect<0 | "LOW" | "INPUT">;
+type StrictSideEffectInputEffects = EffectUnion<typeof strictPipeSideEffectInput>;
+type StrictSideEffectInputEffectsExpected = 'LOW' | 0 | 'INPUT';
+export type PipeSideEffectStrictInputEffects = Expect<Equal<StrictSideEffectInputEffects, StrictSideEffectInputEffectsExpected>>;
+export declare const strictPipeAsyncSideEffect: {
+    (input: number): Promise<number | SideEffect<0 | "LOW">>;
+    <EIn>(input: number | SideEffect<EIn>): Promise<number | SideEffect<0 | "LOW" | EIn>>;
+};
+export declare const strictPipeAsyncSideEffectResult: Promise<number | SideEffect<0 | "LOW">>;
+type StrictPipeAsyncResolved = Awaited<typeof strictPipeAsyncSideEffectResult>;
+type StrictPipeAsyncEffects = EffectUnion<StrictPipeAsyncResolved>;
+type StrictPipeAsyncEffectsExpected = 'LOW' | 0;
+export type PipeAsyncSideEffectStrictEffects = Expect<Equal<StrictPipeAsyncEffects, StrictPipeAsyncEffectsExpected>>;
+type StrictPipeAsyncValue = ValueUnion<StrictPipeAsyncResolved>;
+type StrictPipeAsyncValueExpected = number;
+export type PipeAsyncSideEffectStrictValue = Expect<Equal<StrictPipeAsyncValue, StrictPipeAsyncValueExpected>>;
 export {};
 //# sourceMappingURL=pipe.type-test.d.ts.map

package/dist/implement/composition/pipe.type-test.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pipe.type-test.d.ts","sourceRoot":"","sources":["../../../src/implement/composition/pipe.type-test.ts"],"names":[],"mappings":"AAAA,OAAO,UAAU,MAAM,cAAc,CAAC;AAMtC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GACpF,IAAI,GACJ,KAAK,CAAC;AACV,KAAK,MAAM,CAAC,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC;AAEhC,eAAO,MAAM,eAAe,oBAAyB,CAAC;AAEtD,eAAO,MAAM,QAAQ,uBAIpB,CAAC;AAEF,KAAK,gBAAgB,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;AAClD,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAC;AAEhF,eAAO,MAAM,uBAAuB,2DAInC,CAAC;AAEF,eAAO,MAAM,uBAAuB,0BAA2C,CAAC;AAEhF,KAAK,YAAY,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;AAClF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,uBAAuB,EAAE,YAAY,CAAC,CAAC,CAAC;AAErG,eAAO,MAAM,aAAa,gCAIzB,CAAC;AAEF,KAAK,qBAAqB,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;AAChE,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,aAAa,EAAE,qBAAqB,CAAC,CAAC,CAAC;AAE/F,eAAO,MAAM,4BAA4B,oEAIxC,CAAC;AAEF,eAAO,MAAM,4BAA4B,mCAAgD,CAAC;AAE1F,KAAK,iBAAiB,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,OAAO,CAAC,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;AAChG,MAAM,MAAM,+BAA+B,GAAG,MAAM,CAClD,KAAK,CAAC,OAAO,4BAA4B,EAAE,iBAAiB,CAAC,CAC9D,CAAC"}
+{"version":3,"file":"pipe.type-test.d.ts","sourceRoot":"","sources":["../../../src/implement/composition/pipe.type-test.ts"],"names":[],"mappings":"AAAA,OAAO,UAAU,MAAM,cAAc,CAAC;AAQtC,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GACpF,IAAI,GACJ,KAAK,CAAC;AACV,KAAK,MAAM,CAAC,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC;AAChC,KAAK,WAAW,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAC1F,KAAK,UAAU,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;AAEjD,eAAO,MAAM,eAAe,oBAAyB,CAAC;AAEtD,eAAO,MAAM,QAAQ,uBAIpB,CAAC;AAEF,KAAK,gBAAgB,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;AAClD,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,QAAQ,EAAE,gBAAgB,CAAC,CAAC,CAAC;AAEhF,eAAO,MAAM,uBAAuB,2DAInC,CAAC;AAEF,eAAO,MAAM,uBAAuB,0BAA2C,CAAC;AAEhF,KAAK,YAAY,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;AAClF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,uBAAuB,EAAE,YAAY,CAAC,CAAC,CAAC;AAErG,eAAO,MAAM,aAAa,gCAIzB,CAAC;AAEF,KAAK,qBAAqB,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;AAChE,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,aAAa,EAAE,qBAAqB,CAAC,CAAC,CAAC;AAE/F,eAAO,MAAM,4BAA4B,oEAIxC,CAAC;AAEF,eAAO,MAAM,4BAA4B,mCAAgD,CAAC;AAE1F,KAAK,iBAAiB,GAAG,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,OAAO,CAAC,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;AAChG,MAAM,MAAM,+BAA+B,GAAG,MAAM,CAClD,KAAK,CAAC,OAAO,4BAA4B,EAAE,iBAAiB,CAAC,CAC9D,CAAC;AAEF,eAAO,MAAM,oBAAoB;;;CAIhC,CAAC;AAEF,eAAO,MAAM,0BAA0B,gCAA0B,CAAC;AAElE,KAAK,uBAAuB,GAAG,WAAW,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAC9E,KAAK,+BAA+B,GAAG,KAAK,GAAG,CAAC,CAAC;AACjD,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAAC,KAAK,CAAC,uBAAuB,EAAE,+BAA+B,CAAC,CAAC,CAAC;AAElH,KAAK,qBAAqB,GAAG,UAAU,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAC3E,KAAK,6BAA6B,GAAG,MAAM,CAAC;AAC5C,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAAC,KAAK,CAAC,qBAAqB,EAAE,6BAA6B,CAAC,CAAC,CAAC;AAE5G,eAAO,MAAM,yBAAyB,0CAA8D,CAAC;AAErG,KAAK,4BAA4B,GAAG,WAAW,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAClF,KAAK,oCAAoC,GAAG,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC;AAChE,MAAM,MAAM,gCAAgC,GAAG,MAAM,CACnD,KAAK,CAAC,4BAA4B,EAAE,oCAAoC,CAAC,CAC1E,CAAC;AAEF,eAAO,MAAM,yBAAyB;;;CAIrC,CAAC;AAEF,eAAO,MAAM,+BAA+B,yCAA+B,CAAC;AAE5E,KAAK,uBAAuB,GAAG,OAAO,CAAC,OAAO,+BAA+B,CAAC,CAAC;AAC/E,KAAK,sBAAsB,GAAG,WAAW,CAAC,uBAAuB,CAAC,CAAC;AACnE,KAAK,8BAA8B,GAAG,KAAK,GAAG,CAAC,CAAC;AAChD,MAAM,MAAM,gCAAgC,GAAG,MAAM,CACnD,KAAK,CAAC,sBAAsB,EAAE,8BAA8B,CAAC,CAC9D,CAAC;AAEF,KAAK,oBAAoB,GAAG,UAAU,CAAC,uBAAuB,CAAC,CAAC;AAChE,KAAK,4BAA4B,GAAG,MAAM,CAAC;AAC3C,MAAM,MAAM,8BAA8B,GAAG,MAAM,CACjD,KAAK,CAAC,oBAAoB,EAAE,4BAA4B,CAAC,CAC1D,CAAC"}

package/dist/implement/composition/pipeSideEffect.d.ts

@@ -2,10 +2,16 @@ import { default as SideEffect } from './sideEffect';
 type MaybeSideEffect<T> = T | SideEffect<any>;
 type NonSideEffect<T> = Exclude<T, SideEffect<any>>;
 type UnaryFn<A, R> = (a: A) => MaybeSideEffect<R>;
+type ZeroFn<R> = () => MaybeSideEffect<R>;
 type PipeInput<Fns extends UnaryFn<any, any>[]> = Fns extends [UnaryFn<infer A, any>, ...UnaryFn<any, any>[]] ? A : never;
 type PipeOutput<Fns extends UnaryFn<any, any>[]> = Fns extends [UnaryFn<any, infer R>] ? MaybeSideEffect<R> : Fns extends [UnaryFn<any, infer R>, ...infer Rest] ? Rest extends [UnaryFn<NonSideEffect<R>, any>, ...UnaryFn<any, any>[]] ? PipeOutput<Rest> : never : never;
 type Resolve<T> = T extends infer R ? R : never;
 type PipeSideEffect<Fns extends UnaryFn<any, any>[]> = (input: PipeInput<Fns> | SideEffect<any>) => Resolve<PipeOutput<Fns>>;
+declare function pipeSideEffect<R>(ab: ZeroFn<R>): () => MaybeSideEffect<R>;
+declare function pipeSideEffect<B, R>(ab: ZeroFn<B>, bc: UnaryFn<B, R>): () => MaybeSideEffect<R>;
+declare function pipeSideEffect<B, C, R>(ab: ZeroFn<B>, bc: UnaryFn<B, C>, cd: UnaryFn<C, R>): () => MaybeSideEffect<R>;
+declare function pipeSideEffect<B, C, D, R>(ab: ZeroFn<B>, bc: UnaryFn<B, C>, cd: UnaryFn<C, D>, de: UnaryFn<D, R>): () => MaybeSideEffect<R>;
+declare function pipeSideEffect<B, C, D, E, R>(ab: ZeroFn<B>, bc: UnaryFn<B, C>, cd: UnaryFn<C, D>, de: UnaryFn<D, E>, ef: UnaryFn<E, R>): () => MaybeSideEffect<R>;
 declare function pipeSideEffect<A, R>(ab: UnaryFn<A, R>): (a: A | SideEffect<any>) => MaybeSideEffect<R>;
 declare function pipeSideEffect<A, B, R>(ab: UnaryFn<A, B>, bc: UnaryFn<B, R>): (a: A | SideEffect<any>) => MaybeSideEffect<R>;
 declare function pipeSideEffect<A, B, C, R>(ab: UnaryFn<A, B>, bc: UnaryFn<B, C>, cd: UnaryFn<C, R>): (a: A | SideEffect<any>) => MaybeSideEffect<R>;

package/dist/implement/composition/pipeSideEffect.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pipeSideEffect.d.ts","sourceRoot":"","sources":["../../../src/implement/composition/pipeSideEffect.ts"],"names":[],"mappings":"AAAA,OAAO,UAA4B,MAAM,cAAc,CAAC;AAExD,KAAK,eAAe,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;AAC9C,KAAK,aAAa,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;AACpD,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC;AAClD,KAAK,SAAS,CAAC,GAAG,SAAS,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GACzG,CAAC,GACD,KAAK,CAAC;AACV,KAAK,UAAU,CAAC,GAAG,SAAS,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAClF,eAAe,CAAC,CAAC,CAAC,GAClB,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,MAAM,IAAI,CAAC,GAChD,IAAI,SAAS,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GACnE,UAAU,CAAC,IAAI,CAAC,GAChB,KAAK,GACP,KAAK,CAAC;AACZ,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAChD,KAAK,cAAc,CAAC,GAAG,SAAS,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CACrD,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,KACpC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;AAE9B,iBAAS,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC;AACjG,iBAAS,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC7B,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,CAAC,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC;AAClD,iBAAS,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAChC,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,CAAC,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC;AAClD,iBAAS,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACnC,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,CAAC,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC;AAClD,iBAAS,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACtC,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,CAAC,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC;AAElD,iBAAS,cAAc,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;AACrH,iBAAS,cAAc,CAAC,GAAG,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,KAAK,GAAG,CAAC;AAcjF,eAAe,cAAc,CAAC"}
+{"version":3,"file":"pipeSideEffect.d.ts","sourceRoot":"","sources":["../../../src/implement/composition/pipeSideEffect.ts"],"names":[],"mappings":"AAAA,OAAO,UAA4B,MAAM,cAAc,CAAC;AAExD,KAAK,eAAe,CAAC,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;AAC9C,KAAK,aAAa,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;AACpD,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC;AAClD,KAAK,MAAM,CAAC,CAAC,IAAI,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC;AAC1C,KAAK,SAAS,CAAC,GAAG,SAAS,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GACzG,CAAC,GACD,KAAK,CAAC;AACV,KAAK,UAAU,CAAC,GAAG,SAAS,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAClF,eAAe,CAAC,CAAC,CAAC,GAClB,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,MAAM,IAAI,CAAC,GAChD,IAAI,SAAS,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GACnE,UAAU,CAAC,IAAI,CAAC,GAChB,KAAK,GACP,KAAK,CAAC;AACZ,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAChD,KAAK,cAAc,CAAC,GAAG,SAAS,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,CACrD,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,KACpC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;AAE9B,iBAAS,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC;AACpE,iBAAS,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC;AAC1F,iBAAS,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC;AAChH,iBAAS,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAChC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EACb,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC;AAC5B,iBAAS,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACnC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EACb,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,MAAM,eAAe,CAAC,CAAC,CAAC,CAAC;AAC5B,iBAAS,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC;AACjG,iBAAS,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAC7B,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,CAAC,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC;AAClD,iBAAS,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAChC,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,CAAC,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC;AAClD,iBAAS,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACnC,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,CAAC,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC;AAClD,iBAAS,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACtC,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAChB,CAAC,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC;AAElD,iBAAS,cAAc,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;AACrH,iBAAS,cAAc,CAAC,GAAG,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,KAAK,GAAG,CAAC;AAcjF,eAAe,cAAc,CAAC"}

package/dist/implement/composition/pipeSideEffect.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"pipeSideEffect.mjs","sources":["../../../src/implement/composition/pipeSideEffect.ts"],"sourcesContent":["import SideEffect, { isSideEffect } from './sideEffect';\n\ntype MaybeSideEffect<T> = T | SideEffect<any>;\ntype NonSideEffect<T> = Exclude<T, SideEffect<any>>;\ntype UnaryFn<A, R> = (a: A) => MaybeSideEffect<R>;\ntype PipeInput<Fns extends UnaryFn<any, any>[]> = Fns extends [UnaryFn<infer A, any>, ...UnaryFn<any, any>[]]\n  ? A\n  : never;\ntype PipeOutput<Fns extends UnaryFn<any, any>[]> = Fns extends [UnaryFn<any, infer R>]\n  ? MaybeSideEffect<R>\n  : Fns extends [UnaryFn<any, infer R>, ...infer Rest]\n    ? Rest extends [UnaryFn<NonSideEffect<R>, any>, ...UnaryFn<any, any>[]]\n      ? PipeOutput<Rest>\n      : never\n    : never;\ntype Resolve<T> = T extends infer R ? R : never;\ntype PipeSideEffect<Fns extends UnaryFn<any, any>[]> = (\n  input: PipeInput<Fns> | SideEffect<any>\n) => Resolve<PipeOutput<Fns>>;\n\nfunction pipeSideEffect<A, R>(ab: UnaryFn<A, R>): (a: A | SideEffect<any>) => MaybeSideEffect<R>;\nfunction pipeSideEffect<A, B, R>(\n  ab: UnaryFn<A, B>,\n  bc: UnaryFn<B, R>\n): (a: A | SideEffect<any>) => MaybeSideEffect<R>;\nfunction pipeSideEffect<A, B, C, R>(\n  ab: UnaryFn<A, B>,\n  bc: UnaryFn<B, C>,\n  cd: UnaryFn<C, R>\n): (a: A | SideEffect<any>) => MaybeSideEffect<R>;\nfunction pipeSideEffect<A, B, C, D, R>(\n  ab: UnaryFn<A, B>,\n  bc: UnaryFn<B, C>,\n  cd: UnaryFn<C, D>,\n  de: UnaryFn<D, R>\n): (a: A | SideEffect<any>) => MaybeSideEffect<R>;\nfunction pipeSideEffect<A, B, C, D, E, R>(\n  ab: UnaryFn<A, B>,\n  bc: UnaryFn<B, C>,\n  cd: UnaryFn<C, D>,\n  de: UnaryFn<D, E>,\n  ef: UnaryFn<E, R>\n): (a: A | SideEffect<any>) => MaybeSideEffect<R>;\n\nfunction pipeSideEffect<Fns extends [UnaryFn<any, any>, ...UnaryFn<any, any>[]]>(...funcs: Fns): PipeSideEffect<Fns>;\nfunction pipeSideEffect(...funcs: Array<UnaryFn<any, any>>): (input: any) => any;\nfunction pipeSideEffect(...funcs: Array<(input: any) => any>) {\n  return (init: any) => {\n    let acc = init;\n    for (const fn of funcs) {\n      if (isSideEffect(acc)) {\n        return acc;\n      }\n      acc = fn(acc);\n    }\n    return acc;\n  };\n}\n\nexport default pipeSideEffect;\n"],"names":["pipeSideEffect","funcs","init","acc","fn","isSideEffect"],"mappings":";AA8CA,SAASA,KAAkBC,GAAmC;AAC5D,SAAO,CAACC,MAAc;AACpB,QAAIC,IAAMD;AACV,eAAWE,KAAMH,GAAO;AACtB,UAAII,EAAaF,CAAG;AAClB,eAAOA;AAET,MAAAA,IAAMC,EAAGD,CAAG;AAAA,IACd;AACA,WAAOA;AAAA,EACT;AACF;"}
+{"version":3,"file":"pipeSideEffect.mjs","sources":["../../../src/implement/composition/pipeSideEffect.ts"],"sourcesContent":["import SideEffect, { isSideEffect } from './sideEffect';\n\ntype MaybeSideEffect<T> = T | SideEffect<any>;\ntype NonSideEffect<T> = Exclude<T, SideEffect<any>>;\ntype UnaryFn<A, R> = (a: A) => MaybeSideEffect<R>;\ntype ZeroFn<R> = () => MaybeSideEffect<R>;\ntype PipeInput<Fns extends UnaryFn<any, any>[]> = Fns extends [UnaryFn<infer A, any>, ...UnaryFn<any, any>[]]\n  ? A\n  : never;\ntype PipeOutput<Fns extends UnaryFn<any, any>[]> = Fns extends [UnaryFn<any, infer R>]\n  ? MaybeSideEffect<R>\n  : Fns extends [UnaryFn<any, infer R>, ...infer Rest]\n    ? Rest extends [UnaryFn<NonSideEffect<R>, any>, ...UnaryFn<any, any>[]]\n      ? PipeOutput<Rest>\n      : never\n    : never;\ntype Resolve<T> = T extends infer R ? R : never;\ntype PipeSideEffect<Fns extends UnaryFn<any, any>[]> = (\n  input: PipeInput<Fns> | SideEffect<any>\n) => Resolve<PipeOutput<Fns>>;\n\nfunction pipeSideEffect<R>(ab: ZeroFn<R>): () => MaybeSideEffect<R>;\nfunction pipeSideEffect<B, R>(ab: ZeroFn<B>, bc: UnaryFn<B, R>): () => MaybeSideEffect<R>;\nfunction pipeSideEffect<B, C, R>(ab: ZeroFn<B>, bc: UnaryFn<B, C>, cd: UnaryFn<C, R>): () => MaybeSideEffect<R>;\nfunction pipeSideEffect<B, C, D, R>(\n  ab: ZeroFn<B>,\n  bc: UnaryFn<B, C>,\n  cd: UnaryFn<C, D>,\n  de: UnaryFn<D, R>\n): () => MaybeSideEffect<R>;\nfunction pipeSideEffect<B, C, D, E, R>(\n  ab: ZeroFn<B>,\n  bc: UnaryFn<B, C>,\n  cd: UnaryFn<C, D>,\n  de: UnaryFn<D, E>,\n  ef: UnaryFn<E, R>\n): () => MaybeSideEffect<R>;\nfunction pipeSideEffect<A, R>(ab: UnaryFn<A, R>): (a: A | SideEffect<any>) => MaybeSideEffect<R>;\nfunction pipeSideEffect<A, B, R>(\n  ab: UnaryFn<A, B>,\n  bc: UnaryFn<B, R>\n): (a: A | SideEffect<any>) => MaybeSideEffect<R>;\nfunction pipeSideEffect<A, B, C, R>(\n  ab: UnaryFn<A, B>,\n  bc: UnaryFn<B, C>,\n  cd: UnaryFn<C, R>\n): (a: A | SideEffect<any>) => MaybeSideEffect<R>;\nfunction pipeSideEffect<A, B, C, D, R>(\n  ab: UnaryFn<A, B>,\n  bc: UnaryFn<B, C>,\n  cd: UnaryFn<C, D>,\n  de: UnaryFn<D, R>\n): (a: A | SideEffect<any>) => MaybeSideEffect<R>;\nfunction pipeSideEffect<A, B, C, D, E, R>(\n  ab: UnaryFn<A, B>,\n  bc: UnaryFn<B, C>,\n  cd: UnaryFn<C, D>,\n  de: UnaryFn<D, E>,\n  ef: UnaryFn<E, R>\n): (a: A | SideEffect<any>) => MaybeSideEffect<R>;\n\nfunction pipeSideEffect<Fns extends [UnaryFn<any, any>, ...UnaryFn<any, any>[]]>(...funcs: Fns): PipeSideEffect<Fns>;\nfunction pipeSideEffect(...funcs: Array<UnaryFn<any, any>>): (input: any) => any;\nfunction pipeSideEffect(...funcs: Array<(input: any) => any>) {\n  return (init: any) => {\n    let acc = init;\n    for (const fn of funcs) {\n      if (isSideEffect(acc)) {\n        return acc;\n      }\n      acc = fn(acc);\n    }\n    return acc;\n  };\n}\n\nexport default pipeSideEffect;\n"],"names":["pipeSideEffect","funcs","init","acc","fn","isSideEffect"],"mappings":";AA+DA,SAASA,KAAkBC,GAAmC;AAC5D,SAAO,CAACC,MAAc;AACpB,QAAIC,IAAMD;AACV,eAAWE,KAAMH,GAAO;AACtB,UAAII,EAAaF,CAAG;AAClB,eAAOA;AAET,MAAAA,IAAMC,EAAGD,CAAG;AAAA,IACd;AACA,WAAOA;AAAA,EACT;AACF;"}

package/dist/implement/composition/pipeSideEffectStrict.d.ts

@@ -0,0 +1,53 @@
+import { default as SideEffect } from './sideEffect';
+type AnyFn = (...args: any[]) => any;
+type MaybeSideEffect<T, E> = T | SideEffect<E>;
+type NonSideEffect<T> = Exclude<T, SideEffect<any>>;
+type UnaryFn<A, R> = (a: A) => R;
+type ZeroFn<R> = () => R;
+type EffectOfReturn<R> = R extends SideEffect<infer E> ? E : never;
+type EffectOfFn<F> = F extends (...args: any[]) => infer R ? EffectOfReturn<R> : never;
+type EffectsOf<Fns extends AnyFn[]> = EffectOfFn<Fns[number]>;
+type PipeValueOutputUnary<Fns extends UnaryFn<any, any>[]> = Fns extends [UnaryFn<any, infer R>] ? NonSideEffect<R> : Fns extends [UnaryFn<any, infer R>, ...infer Rest] ? Rest extends [UnaryFn<NonSideEffect<R>, any>, ...UnaryFn<any, any>[]] ? PipeValueOutputUnary<Rest> : never : never;
+type PipeValueOutputStrict<Fns extends [AnyFn, ...AnyFn[]]> = Fns extends [ZeroFn<infer R>] ? NonSideEffect<R> : Fns extends [ZeroFn<infer R>, ...infer Rest] ? Rest extends [UnaryFn<NonSideEffect<R>, any>, ...UnaryFn<any, any>[]] ? PipeValueOutputUnary<Rest> : never : Fns extends [UnaryFn<any, any>, ...UnaryFn<any, any>[]] ? PipeValueOutputUnary<Fns> : never;
+type PipeInputStrict<Fns extends [AnyFn, ...AnyFn[]]> = Fns extends [ZeroFn<any>, ...AnyFn[]] ? never : Fns extends [UnaryFn<infer A, any>, ...AnyFn[]] ? A : never;
+type Resolve<T> = T extends infer R ? R : never;
+type PipeSideEffectStrictUnary<Fns extends [AnyFn, ...AnyFn[]]> = {
+    (input: PipeInputStrict<Fns>): Resolve<MaybeSideEffect<PipeValueOutputStrict<Fns>, EffectsOf<Fns>>>;
+    <EIn>(input: PipeInputStrict<Fns> | SideEffect<EIn>): Resolve<MaybeSideEffect<PipeValueOutputStrict<Fns>, EffectsOf<Fns> | EIn>>;
+};
+type PipeSideEffectStrict<Fns extends [AnyFn, ...AnyFn[]]> = Fns extends [ZeroFn<any>, ...AnyFn[]] ? () => Resolve<MaybeSideEffect<PipeValueOutputStrict<Fns>, EffectsOf<Fns>>> : PipeSideEffectStrictUnary<Fns>;
+declare function pipeSideEffectStrict<R>(ab: ZeroFn<R>): PipeSideEffectStrict<[ZeroFn<R>]>;
+declare function pipeSideEffectStrict<B, R>(ab: ZeroFn<B>, bc: UnaryFn<NonSideEffect<B>, R>): PipeSideEffectStrict<[ZeroFn<B>, UnaryFn<NonSideEffect<B>, R>]>;
+declare function pipeSideEffectStrict<B, C, R>(ab: ZeroFn<B>, bc: UnaryFn<NonSideEffect<B>, C>, cd: UnaryFn<NonSideEffect<C>, R>): PipeSideEffectStrict<[ZeroFn<B>, UnaryFn<NonSideEffect<B>, C>, UnaryFn<NonSideEffect<C>, R>]>;
+declare function pipeSideEffectStrict<B, C, D, R>(ab: ZeroFn<B>, bc: UnaryFn<NonSideEffect<B>, C>, cd: UnaryFn<NonSideEffect<C>, D>, de: UnaryFn<NonSideEffect<D>, R>): PipeSideEffectStrict<[
+    ZeroFn<B>,
+    UnaryFn<NonSideEffect<B>, C>,
+    UnaryFn<NonSideEffect<C>, D>,
+    UnaryFn<NonSideEffect<D>, R>
+]>;
+declare function pipeSideEffectStrict<B, C, D, E, R>(ab: ZeroFn<B>, bc: UnaryFn<NonSideEffect<B>, C>, cd: UnaryFn<NonSideEffect<C>, D>, de: UnaryFn<NonSideEffect<D>, E>, ef: UnaryFn<NonSideEffect<E>, R>): PipeSideEffectStrict<[
+    ZeroFn<B>,
+    UnaryFn<NonSideEffect<B>, C>,
+    UnaryFn<NonSideEffect<C>, D>,
+    UnaryFn<NonSideEffect<D>, E>,
+    UnaryFn<NonSideEffect<E>, R>
+]>;
+declare function pipeSideEffectStrict<A, R>(ab: UnaryFn<A, R>): PipeSideEffectStrict<[UnaryFn<A, R>]>;
+declare function pipeSideEffectStrict<A, B, R>(ab: UnaryFn<A, B>, bc: UnaryFn<NonSideEffect<B>, R>): PipeSideEffectStrict<[UnaryFn<A, B>, UnaryFn<NonSideEffect<B>, R>]>;
+declare function pipeSideEffectStrict<A, B, C, R>(ab: UnaryFn<A, B>, bc: UnaryFn<NonSideEffect<B>, C>, cd: UnaryFn<NonSideEffect<C>, R>): PipeSideEffectStrict<[UnaryFn<A, B>, UnaryFn<NonSideEffect<B>, C>, UnaryFn<NonSideEffect<C>, R>]>;
+declare function pipeSideEffectStrict<A, B, C, D, R>(ab: UnaryFn<A, B>, bc: UnaryFn<NonSideEffect<B>, C>, cd: UnaryFn<NonSideEffect<C>, D>, de: UnaryFn<NonSideEffect<D>, R>): PipeSideEffectStrict<[
+    UnaryFn<A, B>,
+    UnaryFn<NonSideEffect<B>, C>,
+    UnaryFn<NonSideEffect<C>, D>,
+    UnaryFn<NonSideEffect<D>, R>
+]>;
+declare function pipeSideEffectStrict<A, B, C, D, E, R>(ab: UnaryFn<A, B>, bc: UnaryFn<NonSideEffect<B>, C>, cd: UnaryFn<NonSideEffect<C>, D>, de: UnaryFn<NonSideEffect<D>, E>, ef: UnaryFn<NonSideEffect<E>, R>): PipeSideEffectStrict<[
+    UnaryFn<A, B>,
+    UnaryFn<NonSideEffect<B>, C>,
+    UnaryFn<NonSideEffect<C>, D>,
+    UnaryFn<NonSideEffect<D>, E>,
+    UnaryFn<NonSideEffect<E>, R>
+]>;
+declare function pipeSideEffectStrict<Fns extends [AnyFn, ...AnyFn[]]>(...funcs: Fns): PipeSideEffectStrict<Fns>;
+export default pipeSideEffectStrict;
+//# sourceMappingURL=pipeSideEffectStrict.d.ts.map

package/dist/implement/composition/pipeSideEffectStrict.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipeSideEffectStrict.d.ts","sourceRoot":"","sources":["../../../src/implement/composition/pipeSideEffectStrict.ts"],"names":[],"mappings":"AAAA,OAAO,UAA4B,MAAM,cAAc,CAAC;AAExD,KAAK,KAAK,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC;AACrC,KAAK,eAAe,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;AAC/C,KAAK,aAAa,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;AACpD,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AACjC,KAAK,MAAM,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC;AAEzB,KAAK,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AACnE,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;AACvF,KAAK,SAAS,CAAC,GAAG,SAAS,KAAK,EAAE,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AAE9D,KAAK,oBAAoB,CAAC,GAAG,SAAS,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,IAAI,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAC5F,aAAa,CAAC,CAAC,CAAC,GAChB,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,EAAE,GAAG,MAAM,IAAI,CAAC,GAChD,IAAI,SAAS,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GACnE,oBAAoB,CAAC,IAAI,CAAC,GAC1B,KAAK,GACP,KAAK,CAAC;AAEZ,KAAK,qBAAqB,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,KAAK,EAAE,CAAC,IACxD,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GACzB,aAAa,CAAC,CAAC,CAAC,GAChB,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,MAAM,IAAI,CAAC,GAC1C,IAAI,SAAS,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GACnE,oBAAoB,CAAC,IAAI,CAAC,GAC1B,KAAK,GACP,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GACrD,oBAAoB,CAAC,GAAG,CAAC,GACzB,KAAK,CAAC;AAEhB,KAAK,eAAe,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,KAAK,EAAE,CAAC,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,GACzF,KAAK,GACL,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,GAC7C,CAAC,GACD,KAAK,CAAC;AAEZ,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAEhD,KAAK,yBAAyB,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,KAAK,EAAE,CAAC,IAAI;IAChE,CAAC,KAAK,EAAE,eAAe,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,eAAe,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpG,CAAC,GAAG,EACF,KAAK,EAAE,eAAe,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,GAC5C,OAAO,CAAC,eAAe,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;CAC/E,CAAC;AAEF,KAAK,oBAAoB,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,KAAK,EAAE,CAAC,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,GAC9F,MAAM,OAAO,CAAC,eAAe,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,GAC1E,yBAAyB,CAAC,GAAG,CAAC,CAAC;AAEnC,iBAAS,oBAAoB,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnF,iBAAS,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAChC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EACb,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC/B,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACnE,iBAAS,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EACnC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EACb,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC/B,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACjG,iBAAS,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACtC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EACb,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC/B,oBAAoB,CAAC;IACtB,MAAM,CAAC,CAAC,CAAC;IACT,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5B,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5B,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CAC7B,CAAC,CAAC;AACH,iBAAS,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACzC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EACb,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC/B,oBAAoB,CAAC;IACtB,MAAM,CAAC,CAAC,CAAC;IACT,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5B,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5B,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5B,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CAC7B,CAAC,CAAC;AACH,iBAAS,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,oBAAoB,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9F,iBAAS,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EACnC,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC/B,oBAAoB,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACvE,iBAAS,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACtC,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC/B,oBAAoB,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACrG,iBAAS,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACzC,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC/B,oBAAoB,CAAC;IACtB,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;IACb,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5B,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5B,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CAC7B,CAAC,CAAC;AACH,iBAAS,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC5C,EAAE,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EACjB,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAChC,EAAE,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC/B,oBAAoB,CAAC;IACtB,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;IACb,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5B,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5B,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5B,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CAC7B,CAAC,CAAC;AAEH,iBAAS,oBAAoB,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,KAAK,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;AAczG,eAAe,oBAAoB,CAAC"}

package/dist/implement/composition/pipeSideEffectStrict.mjs

@@ -0,0 +1,16 @@
+import { isSideEffect as i } from "./sideEffect.mjs";
+function n(...e) {
+  return (f) => {
+    let t = f;
+    for (const r of e) {
+      if (i(t))
+        return t;
+      t = r(t);
+    }
+    return t;
+  };
+}
+export {
+  n as default
+};
+//# sourceMappingURL=pipeSideEffectStrict.mjs.map

package/dist/implement/composition/pipeSideEffectStrict.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipeSideEffectStrict.mjs","sources":["../../../src/implement/composition/pipeSideEffectStrict.ts"],"sourcesContent":["import SideEffect, { isSideEffect } from './sideEffect';\n\ntype AnyFn = (...args: any[]) => any;\ntype MaybeSideEffect<T, E> = T | SideEffect<E>;\ntype NonSideEffect<T> = Exclude<T, SideEffect<any>>;\ntype UnaryFn<A, R> = (a: A) => R;\ntype ZeroFn<R> = () => R;\n\ntype EffectOfReturn<R> = R extends SideEffect<infer E> ? E : never;\ntype EffectOfFn<F> = F extends (...args: any[]) => infer R ? EffectOfReturn<R> : never;\ntype EffectsOf<Fns extends AnyFn[]> = EffectOfFn<Fns[number]>;\n\ntype PipeValueOutputUnary<Fns extends UnaryFn<any, any>[]> = Fns extends [UnaryFn<any, infer R>]\n  ? NonSideEffect<R>\n  : Fns extends [UnaryFn<any, infer R>, ...infer Rest]\n    ? Rest extends [UnaryFn<NonSideEffect<R>, any>, ...UnaryFn<any, any>[]]\n      ? PipeValueOutputUnary<Rest>\n      : never\n    : never;\n\ntype PipeValueOutputStrict<Fns extends [AnyFn, ...AnyFn[]]> =\n  Fns extends [ZeroFn<infer R>]\n    ? NonSideEffect<R>\n    : Fns extends [ZeroFn<infer R>, ...infer Rest]\n      ? Rest extends [UnaryFn<NonSideEffect<R>, any>, ...UnaryFn<any, any>[]]\n        ? PipeValueOutputUnary<Rest>\n        : never\n      : Fns extends [UnaryFn<any, any>, ...UnaryFn<any, any>[]]\n        ? PipeValueOutputUnary<Fns>\n        : never;\n\ntype PipeInputStrict<Fns extends [AnyFn, ...AnyFn[]]> = Fns extends [ZeroFn<any>, ...AnyFn[]]\n  ? never\n  : Fns extends [UnaryFn<infer A, any>, ...AnyFn[]]\n    ? A\n    : never;\n\ntype Resolve<T> = T extends infer R ? R : never;\n\ntype PipeSideEffectStrictUnary<Fns extends [AnyFn, ...AnyFn[]]> = {\n  (input: PipeInputStrict<Fns>): Resolve<MaybeSideEffect<PipeValueOutputStrict<Fns>, EffectsOf<Fns>>>;\n  <EIn>(\n    input: PipeInputStrict<Fns> | SideEffect<EIn>\n  ): Resolve<MaybeSideEffect<PipeValueOutputStrict<Fns>, EffectsOf<Fns> | EIn>>;\n};\n\ntype PipeSideEffectStrict<Fns extends [AnyFn, ...AnyFn[]]> = Fns extends [ZeroFn<any>, ...AnyFn[]]\n  ? () => Resolve<MaybeSideEffect<PipeValueOutputStrict<Fns>, EffectsOf<Fns>>>\n  : PipeSideEffectStrictUnary<Fns>;\n\nfunction pipeSideEffectStrict<R>(ab: ZeroFn<R>): PipeSideEffectStrict<[ZeroFn<R>]>;\nfunction pipeSideEffectStrict<B, R>(\n  ab: ZeroFn<B>,\n  bc: UnaryFn<NonSideEffect<B>, R>\n): PipeSideEffectStrict<[ZeroFn<B>, UnaryFn<NonSideEffect<B>, R>]>;\nfunction pipeSideEffectStrict<B, C, R>(\n  ab: ZeroFn<B>,\n  bc: UnaryFn<NonSideEffect<B>, C>,\n  cd: UnaryFn<NonSideEffect<C>, R>\n): PipeSideEffectStrict<[ZeroFn<B>, UnaryFn<NonSideEffect<B>, C>, UnaryFn<NonSideEffect<C>, R>]>;\nfunction pipeSideEffectStrict<B, C, D, R>(\n  ab: ZeroFn<B>,\n  bc: UnaryFn<NonSideEffect<B>, C>,\n  cd: UnaryFn<NonSideEffect<C>, D>,\n  de: UnaryFn<NonSideEffect<D>, R>\n): PipeSideEffectStrict<[\n  ZeroFn<B>,\n  UnaryFn<NonSideEffect<B>, C>,\n  UnaryFn<NonSideEffect<C>, D>,\n  UnaryFn<NonSideEffect<D>, R>\n]>;\nfunction pipeSideEffectStrict<B, C, D, E, R>(\n  ab: ZeroFn<B>,\n  bc: UnaryFn<NonSideEffect<B>, C>,\n  cd: UnaryFn<NonSideEffect<C>, D>,\n  de: UnaryFn<NonSideEffect<D>, E>,\n  ef: UnaryFn<NonSideEffect<E>, R>\n): PipeSideEffectStrict<[\n  ZeroFn<B>,\n  UnaryFn<NonSideEffect<B>, C>,\n  UnaryFn<NonSideEffect<C>, D>,\n  UnaryFn<NonSideEffect<D>, E>,\n  UnaryFn<NonSideEffect<E>, R>\n]>;\nfunction pipeSideEffectStrict<A, R>(ab: UnaryFn<A, R>): PipeSideEffectStrict<[UnaryFn<A, R>]>;\nfunction pipeSideEffectStrict<A, B, R>(\n  ab: UnaryFn<A, B>,\n  bc: UnaryFn<NonSideEffect<B>, R>\n): PipeSideEffectStrict<[UnaryFn<A, B>, UnaryFn<NonSideEffect<B>, R>]>;\nfunction pipeSideEffectStrict<A, B, C, R>(\n  ab: UnaryFn<A, B>,\n  bc: UnaryFn<NonSideEffect<B>, C>,\n  cd: UnaryFn<NonSideEffect<C>, R>\n): PipeSideEffectStrict<[UnaryFn<A, B>, UnaryFn<NonSideEffect<B>, C>, UnaryFn<NonSideEffect<C>, R>]>;\nfunction pipeSideEffectStrict<A, B, C, D, R>(\n  ab: UnaryFn<A, B>,\n  bc: UnaryFn<NonSideEffect<B>, C>,\n  cd: UnaryFn<NonSideEffect<C>, D>,\n  de: UnaryFn<NonSideEffect<D>, R>\n): PipeSideEffectStrict<[\n  UnaryFn<A, B>,\n  UnaryFn<NonSideEffect<B>, C>,\n  UnaryFn<NonSideEffect<C>, D>,\n  UnaryFn<NonSideEffect<D>, R>\n]>;\nfunction pipeSideEffectStrict<A, B, C, D, E, R>(\n  ab: UnaryFn<A, B>,\n  bc: UnaryFn<NonSideEffect<B>, C>,\n  cd: UnaryFn<NonSideEffect<C>, D>,\n  de: UnaryFn<NonSideEffect<D>, E>,\n  ef: UnaryFn<NonSideEffect<E>, R>\n): PipeSideEffectStrict<[\n  UnaryFn<A, B>,\n  UnaryFn<NonSideEffect<B>, C>,\n  UnaryFn<NonSideEffect<C>, D>,\n  UnaryFn<NonSideEffect<D>, E>,\n  UnaryFn<NonSideEffect<E>, R>\n]>;\n\nfunction pipeSideEffectStrict<Fns extends [AnyFn, ...AnyFn[]]>(...funcs: Fns): PipeSideEffectStrict<Fns>;\nfunction pipeSideEffectStrict(...funcs: Array<(input: any) => any>) {\n  return (init?: any) => {\n    let acc = init;\n    for (const fn of funcs) {\n      if (isSideEffect(acc)) {\n        return acc;\n      }\n      acc = fn(acc);\n    }\n    return acc;\n  };\n}\n\nexport default pipeSideEffectStrict;\n"],"names":["pipeSideEffectStrict","funcs","init","acc","fn","isSideEffect"],"mappings":";AAwHA,SAASA,KAAwBC,GAAmC;AAClE,SAAO,CAACC,MAAe;AACrB,QAAIC,IAAMD;AACV,eAAWE,KAAMH,GAAO;AACtB,UAAII,EAAaF,CAAG;AAClB,eAAOA;AAET,MAAAA,IAAMC,EAAGD,CAAG;AAAA,IACd;AACA,WAAOA;AAAA,EACT;AACF;"}

package/dist/implement/control/ifElse.d.ts

@@ -1,13 +1,14 @@
+type NoInfer<T> = [T][T extends any ? 0 : never];
 type IfElse = {
     <T, RTrue, RFalse>(...args: [predicate: (value: T) => boolean]): (onTrue: (value: T) => RTrue) => (onFalse: (value: T) => RFalse) => (value: T) => RTrue | RFalse;
-    <T, RTrue, RFalse>(...args: [predicate: (value: T) => boolean, onTrue: (value: T) => RTrue]): (onFalse: (value: T) => RFalse) => (value: T) => RTrue | RFalse;
+    <T, RTrue, RFalse>(...args: [predicate: (value: NoInfer<T>) => boolean, onTrue: (value: T) => RTrue]): (onFalse: (value: T) => RFalse) => (value: T) => RTrue | RFalse;
     <T, RTrue, RFalse>(...args: [
-        predicate: (value: T) => boolean,
+        predicate: (value: NoInfer<T>) => boolean,
         onTrue: (value: T) => RTrue,
         onFalse: (value: T) => RFalse
     ]): (value: T) => RTrue | RFalse;
     <T, RTrue, RFalse>(...args: [
-        predicate: (value: T) => boolean,
+        predicate: (value: NoInfer<T>) => boolean,
         onTrue: (value: T) => RTrue,
         onFalse: (value: T) => RFalse,
         value: T

package/dist/implement/control/ifElse.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ifElse.d.ts","sourceRoot":"","sources":["../../../src/implement/control/ifElse.ts"],"names":[],"mappings":"AAEA,KAAK,MAAM,GAAG;IACZ,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EACf,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC,GAC1C,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,KAAK,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,GAAG,MAAM,CAAC;IACpG,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EACf,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,CAAC,GACvE,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,KAAK,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,GAAG,MAAM,CAAC;IACnE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EACf,GAAG,IAAI,EAAE;QACP,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO;QAChC,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK;QAC3B,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM;KAC9B,GACA,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,GAAG,MAAM,CAAC;IAChC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EACf,GAAG,IAAI,EAAE;QACP,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO;QAChC,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK;QAC3B,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM;QAC7B,KAAK,EAAE,CAAC;KACT,GACA,KAAK,GAAG,MAAM,CAAC;CACnB,CAAC;AAcF,QAAA,MAAM,aAAa,EAAoB,MAAM,CAAC;AAC9C,eAAe,aAAa,CAAC"}
+{"version":3,"file":"ifElse.d.ts","sourceRoot":"","sources":["../../../src/implement/control/ifElse.ts"],"names":[],"mappings":"AAEA,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;AAEjD,KAAK,MAAM,GAAG;IACZ,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EACf,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC,GAC1C,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,KAAK,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,GAAG,MAAM,CAAC;IACpG,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EACf,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,CAAC,GAChF,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM,KAAK,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,GAAG,MAAM,CAAC;IACnE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EACf,GAAG,IAAI,EAAE;QACP,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO;QACzC,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK;QAC3B,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM;KAC9B,GACA,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK,GAAG,MAAM,CAAC;IAChC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EACf,GAAG,IAAI,EAAE;QACP,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO;QACzC,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,KAAK;QAC3B,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,MAAM;QAC7B,KAAK,EAAE,CAAC;KACT,GACA,KAAK,GAAG,MAAM,CAAC;CACnB,CAAC;AAcF,QAAA,MAAM,aAAa,EAAoB,MAAM,CAAC;AAC9C,eAAe,aAAa,CAAC"}

package/dist/implement/control/ifElse.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"ifElse.mjs","sources":["../../../src/implement/control/ifElse.ts"],"sourcesContent":["import curry from '../composition/curry';\n\ntype IfElse = {\n  <T, RTrue, RFalse>(\n    ...args: [predicate: (value: T) => boolean]\n  ): (onTrue: (value: T) => RTrue) => (onFalse: (value: T) => RFalse) => (value: T) => RTrue | RFalse;\n  <T, RTrue, RFalse>(\n    ...args: [predicate: (value: T) => boolean, onTrue: (value: T) => RTrue]\n  ): (onFalse: (value: T) => RFalse) => (value: T) => RTrue | RFalse;\n  <T, RTrue, RFalse>(\n    ...args: [\n      predicate: (value: T) => boolean,\n      onTrue: (value: T) => RTrue,\n      onFalse: (value: T) => RFalse\n    ]\n  ): (value: T) => RTrue | RFalse;\n  <T, RTrue, RFalse>(\n    ...args: [\n      predicate: (value: T) => boolean,\n      onTrue: (value: T) => RTrue,\n      onFalse: (value: T) => RFalse,\n      value: T\n    ]\n  ): RTrue | RFalse;\n};\n\n/**\n * ifElse - 조건에 따라 다른 함수 실행\n */\nfunction ifElse<T, RTrue, RFalse>(\n  predicate: (value: T) => boolean,\n  onTrue: (value: T) => RTrue,\n  onFalse: (value: T) => RFalse,\n  value: T\n): RTrue | RFalse {\n  return predicate(value) ? onTrue(value) : onFalse(value);\n}\n\nconst curriedIfElse = curry(ifElse) as IfElse;\nexport default curriedIfElse;\n"],"names":["ifElse","predicate","onTrue","onFalse","value","curriedIfElse","curry"],"mappings":";AA6BA,SAASA,EACPC,GACAC,GACAC,GACAC,GACgB;AAChB,SAAOH,EAAUG,CAAK,IAAIF,EAAOE,CAAK,IAAID,EAAQC,CAAK;AACzD;AAEA,MAAMC,IAAgBC,EAAMN,CAAM;"}
+{"version":3,"file":"ifElse.mjs","sources":["../../../src/implement/control/ifElse.ts"],"sourcesContent":["import curry from '../composition/curry';\n\ntype NoInfer<T> = [T][T extends any ? 0 : never];\n\ntype IfElse = {\n  <T, RTrue, RFalse>(\n    ...args: [predicate: (value: T) => boolean]\n  ): (onTrue: (value: T) => RTrue) => (onFalse: (value: T) => RFalse) => (value: T) => RTrue | RFalse;\n  <T, RTrue, RFalse>(\n    ...args: [predicate: (value: NoInfer<T>) => boolean, onTrue: (value: T) => RTrue]\n  ): (onFalse: (value: T) => RFalse) => (value: T) => RTrue | RFalse;\n  <T, RTrue, RFalse>(\n    ...args: [\n      predicate: (value: NoInfer<T>) => boolean,\n      onTrue: (value: T) => RTrue,\n      onFalse: (value: T) => RFalse\n    ]\n  ): (value: T) => RTrue | RFalse;\n  <T, RTrue, RFalse>(\n    ...args: [\n      predicate: (value: NoInfer<T>) => boolean,\n      onTrue: (value: T) => RTrue,\n      onFalse: (value: T) => RFalse,\n      value: T\n    ]\n  ): RTrue | RFalse;\n};\n\n/**\n * ifElse - 조건에 따라 다른 함수 실행\n */\nfunction ifElse<T, RTrue, RFalse>(\n  predicate: (value: T) => boolean,\n  onTrue: (value: T) => RTrue,\n  onFalse: (value: T) => RFalse,\n  value: T\n): RTrue | RFalse {\n  return predicate(value) ? onTrue(value) : onFalse(value);\n}\n\nconst curriedIfElse = curry(ifElse) as IfElse;\nexport default curriedIfElse;\n"],"names":["ifElse","predicate","onTrue","onFalse","value","curriedIfElse","curry"],"mappings":";AA+BA,SAASA,EACPC,GACAC,GACAC,GACAC,GACgB;AAChB,SAAOH,EAAUG,CAAK,IAAIF,EAAOE,CAAK,IAAID,EAAQC,CAAK;AACzD;AAEA,MAAMC,IAAgBC,EAAMN,CAAM;"}

package/dist/implement/control/unless.d.ts

@@ -1,8 +1,20 @@
+type NoInfer<T> = [T][T extends any ? 0 : never];
 type Widen<T> = T extends string ? string : T extends number ? number : T extends boolean ? boolean : T;
 type Unless = {
     <T>(...args: [predicate: (value: Widen<T>) => boolean]): (fn: (value: Widen<T>) => Widen<T>) => (value: Widen<T>) => Widen<T>;
-    <T>(...args: [predicate: (value: Widen<T>) => boolean, fn: (value: Widen<T>) => Widen<T>]): (value: Widen<T>) => Widen<T>;
-    <T>(...args: [predicate: (value: Widen<T>) => boolean, fn: (value: Widen<T>) => Widen<T>, value: Widen<T>]): Widen<T>;
+    <T, R>(...args: [predicate: (value: Widen<T>) => boolean]): (fn: (value: Widen<T>) => R) => (value: Widen<T>) => Widen<T> | R;
+    <T>(...args: [predicate: (value: NoInfer<Widen<T>>) => boolean, fn: (value: Widen<T>) => Widen<T>]): (value: Widen<T>) => Widen<T>;
+    <T, R>(...args: [predicate: (value: NoInfer<Widen<T>>) => boolean, fn: (value: Widen<T>) => R]): (value: Widen<T>) => Widen<T> | R;
+    <T>(...args: [
+        predicate: (value: NoInfer<Widen<T>>) => boolean,
+        fn: (value: Widen<T>) => Widen<T>,
+        value: Widen<T>
+    ]): Widen<T>;
+    <T, R>(...args: [
+        predicate: (value: NoInfer<Widen<T>>) => boolean,
+        fn: (value: Widen<T>) => R,
+        value: Widen<T>
+    ]): Widen<T> | R;
 };
 declare const curriedUnless: Unless;
 export default curriedUnless;

package/dist/implement/control/unless.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"unless.d.ts","sourceRoot":"","sources":["../../../src/implement/control/unless.ts"],"names":[],"mappings":"AAEA,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,CAAC,SAAS,OAAO,GAAG,OAAO,GAAG,CAAC,CAAC;AAExG,KAAK,MAAM,GAAG;IACZ,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,GAAG,CACvD,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAC9B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,EACA,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GACpF,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,EACA,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GACrG,KAAK,CAAC,CAAC,CAAC,CAAC;CACb,CAAC;AAaF,QAAA,MAAM,aAAa,EAAoB,MAAM,CAAC;AAC9C,eAAe,aAAa,CAAC"}
+{"version":3,"file":"unless.d.ts","sourceRoot":"","sources":["../../../src/implement/control/unless.ts"],"names":[],"mappings":"AAEA,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;AACjD,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,CAAC,SAAS,OAAO,GAAG,OAAO,GAAG,CAAC,CAAC;AAExG,KAAK,MAAM,GAAG;IACZ,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,GAAG,CACvD,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAC9B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,GAAG,CAC1D,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KACvB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACvC,CAAC,CAAC,EACA,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAC7F,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,EAAE,CAAC,EACH,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GACtF,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC,CAAC,EACA,GAAG,IAAI,EAAE;QACP,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO;QAChD,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;QACjC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;KAChB,GACA,KAAK,CAAC,CAAC,CAAC,CAAC;IACZ,CAAC,CAAC,EAAE,CAAC,EACH,GAAG,IAAI,EAAE;QACP,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO;QAChD,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;QAC1B,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;KAChB,GACA,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;CACjB,CAAC;AAaF,QAAA,MAAM,aAAa,EAAoB,MAAM,CAAC;AAC9C,eAAe,aAAa,CAAC"}

package/dist/implement/control/unless.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"unless.mjs","sources":["../../../src/implement/control/unless.ts"],"sourcesContent":["import curry from '../composition/curry';\n\ntype Widen<T> = T extends string ? string : T extends number ? number : T extends boolean ? boolean : T;\n\ntype Unless = {\n  <T>(...args: [predicate: (value: Widen<T>) => boolean]): (\n    fn: (value: Widen<T>) => Widen<T>\n  ) => (value: Widen<T>) => Widen<T>;\n  <T>(\n    ...args: [predicate: (value: Widen<T>) => boolean, fn: (value: Widen<T>) => Widen<T>]\n  ): (value: Widen<T>) => Widen<T>;\n  <T>(\n    ...args: [predicate: (value: Widen<T>) => boolean, fn: (value: Widen<T>) => Widen<T>, value: Widen<T>]\n  ): Widen<T>;\n};\n\n/**\n * unless - 조건이 false일 때만 적용\n */\nfunction unless<T>(\n  predicate: (value: T) => boolean,\n  fn: (value: T) => T,\n  value: T\n): T {\n  return predicate(value) ? value : fn(value);\n}\n\nconst curriedUnless = curry(unless) as Unless;\nexport default curriedUnless;\n"],"names":["unless","predicate","fn","value","curriedUnless","curry"],"mappings":";AAmBA,SAASA,EACPC,GACAC,GACAC,GACG;AACH,SAAOF,EAAUE,CAAK,IAAIA,IAAQD,EAAGC,CAAK;AAC5C;AAEA,MAAMC,IAAgBC,EAAML,CAAM;"}
+{"version":3,"file":"unless.mjs","sources":["../../../src/implement/control/unless.ts"],"sourcesContent":["import curry from '../composition/curry';\n\ntype NoInfer<T> = [T][T extends any ? 0 : never];\ntype Widen<T> = T extends string ? string : T extends number ? number : T extends boolean ? boolean : T;\n\ntype Unless = {\n  <T>(...args: [predicate: (value: Widen<T>) => boolean]): (\n    fn: (value: Widen<T>) => Widen<T>\n  ) => (value: Widen<T>) => Widen<T>;\n  <T, R>(...args: [predicate: (value: Widen<T>) => boolean]): (\n    fn: (value: Widen<T>) => R\n  ) => (value: Widen<T>) => Widen<T> | R;\n  <T>(\n    ...args: [predicate: (value: NoInfer<Widen<T>>) => boolean, fn: (value: Widen<T>) => Widen<T>]\n  ): (value: Widen<T>) => Widen<T>;\n  <T, R>(\n    ...args: [predicate: (value: NoInfer<Widen<T>>) => boolean, fn: (value: Widen<T>) => R]\n  ): (value: Widen<T>) => Widen<T> | R;\n  <T>(\n    ...args: [\n      predicate: (value: NoInfer<Widen<T>>) => boolean,\n      fn: (value: Widen<T>) => Widen<T>,\n      value: Widen<T>\n    ]\n  ): Widen<T>;\n  <T, R>(\n    ...args: [\n      predicate: (value: NoInfer<Widen<T>>) => boolean,\n      fn: (value: Widen<T>) => R,\n      value: Widen<T>\n    ]\n  ): Widen<T> | R;\n};\n\n/**\n * unless - 조건이 false일 때만 적용\n */\nfunction unless<T>(\n  predicate: (value: T) => boolean,\n  fn: (value: T) => T,\n  value: T\n): T {\n  return predicate(value) ? value : fn(value);\n}\n\nconst curriedUnless = curry(unless) as Unless;\nexport default curriedUnless;\n"],"names":["unless","predicate","fn","value","curriedUnless","curry"],"mappings":";AAqCA,SAASA,EACPC,GACAC,GACAC,GACG;AACH,SAAOF,EAAUE,CAAK,IAAIA,IAAQD,EAAGC,CAAK;AAC5C;AAEA,MAAMC,IAAgBC,EAAML,CAAM;"}

package/dist/implement/control/when.d.ts

@@ -1,8 +1,20 @@
+type NoInfer<T> = [T][T extends any ? 0 : never];
 type Widen<T> = T extends string ? string : T extends number ? number : T extends boolean ? boolean : T;
 type When = {
     <T>(...args: [predicate: (value: Widen<T>) => boolean]): (fn: (value: Widen<T>) => Widen<T>) => (value: Widen<T>) => Widen<T>;
-    <T>(...args: [predicate: (value: Widen<T>) => boolean, fn: (value: Widen<T>) => Widen<T>]): (value: Widen<T>) => Widen<T>;
-    <T>(...args: [predicate: (value: Widen<T>) => boolean, fn: (value: Widen<T>) => Widen<T>, value: Widen<T>]): Widen<T>;
+    <T, R>(...args: [predicate: (value: Widen<T>) => boolean]): (fn: (value: Widen<T>) => R) => (value: Widen<T>) => Widen<T> | R;
+    <T>(...args: [predicate: (value: NoInfer<Widen<T>>) => boolean, fn: (value: Widen<T>) => Widen<T>]): (value: Widen<T>) => Widen<T>;
+    <T, R>(...args: [predicate: (value: NoInfer<Widen<T>>) => boolean, fn: (value: Widen<T>) => R]): (value: Widen<T>) => Widen<T> | R;
+    <T>(...args: [
+        predicate: (value: NoInfer<Widen<T>>) => boolean,
+        fn: (value: Widen<T>) => Widen<T>,
+        value: Widen<T>
+    ]): Widen<T>;
+    <T, R>(...args: [
+        predicate: (value: NoInfer<Widen<T>>) => boolean,
+        fn: (value: Widen<T>) => R,
+        value: Widen<T>
+    ]): Widen<T> | R;
 };
 declare const curriedWhen: When;
 export default curriedWhen;

package/dist/implement/control/when.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"when.d.ts","sourceRoot":"","sources":["../../../src/implement/control/when.ts"],"names":[],"mappings":"AAEA,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,CAAC,SAAS,OAAO,GAAG,OAAO,GAAG,CAAC,CAAC;AAExG,KAAK,IAAI,GAAG;IACV,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,GAAG,CACvD,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAC9B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,EACA,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GACpF,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,EACA,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GACrG,KAAK,CAAC,CAAC,CAAC,CAAC;CACb,CAAC;AAaF,QAAA,MAAM,WAAW,EAAkB,IAAI,CAAC;AACxC,eAAe,WAAW,CAAC"}
+{"version":3,"file":"when.d.ts","sourceRoot":"","sources":["../../../src/implement/control/when.ts"],"names":[],"mappings":"AAEA,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;AACjD,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,CAAC,SAAS,OAAO,GAAG,OAAO,GAAG,CAAC,CAAC;AAExG,KAAK,IAAI,GAAG;IACV,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,GAAG,CACvD,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,KAC9B,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,GAAG,CAC1D,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KACvB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACvC,CAAC,CAAC,EACA,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAC7F,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,EAAE,CAAC,EACH,GAAG,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GACtF,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC,CAAC,EACA,GAAG,IAAI,EAAE;QACP,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO;QAChD,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC;QACjC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;KAChB,GACA,KAAK,CAAC,CAAC,CAAC,CAAC;IACZ,CAAC,CAAC,EAAE,CAAC,EACH,GAAG,IAAI,EAAE;QACP,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO;QAChD,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;QAC1B,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;KAChB,GACA,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;CACjB,CAAC;AAaF,QAAA,MAAM,WAAW,EAAkB,IAAI,CAAC;AACxC,eAAe,WAAW,CAAC"}

package/dist/implement/control/when.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"when.mjs","sources":["../../../src/implement/control/when.ts"],"sourcesContent":["import curry from '../composition/curry';\n\ntype Widen<T> = T extends string ? string : T extends number ? number : T extends boolean ? boolean : T;\n\ntype When = {\n  <T>(...args: [predicate: (value: Widen<T>) => boolean]): (\n    fn: (value: Widen<T>) => Widen<T>\n  ) => (value: Widen<T>) => Widen<T>;\n  <T>(\n    ...args: [predicate: (value: Widen<T>) => boolean, fn: (value: Widen<T>) => Widen<T>]\n  ): (value: Widen<T>) => Widen<T>;\n  <T>(\n    ...args: [predicate: (value: Widen<T>) => boolean, fn: (value: Widen<T>) => Widen<T>, value: Widen<T>]\n  ): Widen<T>;\n};\n\n/**\n * when - 조건이 true일 때만 적용\n */\nfunction when<T>(\n  predicate: (value: T) => boolean,\n  fn: (value: T) => T,\n  value: T\n): T {\n  return predicate(value) ? fn(value) : value;\n}\n\nconst curriedWhen = curry(when) as When;\nexport default curriedWhen;\n"],"names":["when","predicate","fn","value","curriedWhen","curry"],"mappings":";AAmBA,SAASA,EACPC,GACAC,GACAC,GACG;AACH,SAAOF,EAAUE,CAAK,IAAID,EAAGC,CAAK,IAAIA;AACxC;AAEA,MAAMC,IAAcC,EAAML,CAAI;"}
+{"version":3,"file":"when.mjs","sources":["../../../src/implement/control/when.ts"],"sourcesContent":["import curry from '../composition/curry';\n\ntype NoInfer<T> = [T][T extends any ? 0 : never];\ntype Widen<T> = T extends string ? string : T extends number ? number : T extends boolean ? boolean : T;\n\ntype When = {\n  <T>(...args: [predicate: (value: Widen<T>) => boolean]): (\n    fn: (value: Widen<T>) => Widen<T>\n  ) => (value: Widen<T>) => Widen<T>;\n  <T, R>(...args: [predicate: (value: Widen<T>) => boolean]): (\n    fn: (value: Widen<T>) => R\n  ) => (value: Widen<T>) => Widen<T> | R;\n  <T>(\n    ...args: [predicate: (value: NoInfer<Widen<T>>) => boolean, fn: (value: Widen<T>) => Widen<T>]\n  ): (value: Widen<T>) => Widen<T>;\n  <T, R>(\n    ...args: [predicate: (value: NoInfer<Widen<T>>) => boolean, fn: (value: Widen<T>) => R]\n  ): (value: Widen<T>) => Widen<T> | R;\n  <T>(\n    ...args: [\n      predicate: (value: NoInfer<Widen<T>>) => boolean,\n      fn: (value: Widen<T>) => Widen<T>,\n      value: Widen<T>\n    ]\n  ): Widen<T>;\n  <T, R>(\n    ...args: [\n      predicate: (value: NoInfer<Widen<T>>) => boolean,\n      fn: (value: Widen<T>) => R,\n      value: Widen<T>\n    ]\n  ): Widen<T> | R;\n};\n\n/**\n * when - 조건이 true일 때만 적용\n */\nfunction when<T>(\n  predicate: (value: T) => boolean,\n  fn: (value: T) => T,\n  value: T\n): T {\n  return predicate(value) ? fn(value) : value;\n}\n\nconst curriedWhen = curry(when) as When;\nexport default curriedWhen;\n"],"names":["when","predicate","fn","value","curriedWhen","curry"],"mappings":";AAqCA,SAASA,EACPC,GACAC,GACAC,GACG;AACH,SAAOF,EAAUE,CAAK,IAAID,EAAGC,CAAK,IAAIA;AACxC;AAEA,MAAMC,IAAcC,EAAML,CAAI;"}

package/dist/implement/object/index.d.ts

@@ -1,4 +1,5 @@
 export { default as prop } from './prop';
+export { default as propStrict } from './propStrict';
 export { default as propOr } from './propOr';
 export { default as path } from './path';
 export { default as pathOr } from './pathOr';