fp-pack 0.1.0 → 0.3.0

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

@@ -0,0 +1,69 @@
+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<B, C, D, E, F, R>(ab: ZeroFn<B>, bc: UnaryFn<NonSideEffect<B>, C>, cd: UnaryFn<NonSideEffect<C>, D>, de: UnaryFn<NonSideEffect<D>, E>, ef: UnaryFn<NonSideEffect<E>, F>, fg: UnaryFn<NonSideEffect<F>, R>): PipeSideEffectStrict<[
+    ZeroFn<B>,
+    UnaryFn<NonSideEffect<B>, C>,
+    UnaryFn<NonSideEffect<C>, D>,
+    UnaryFn<NonSideEffect<D>, E>,
+    UnaryFn<NonSideEffect<E>, F>,
+    UnaryFn<NonSideEffect<F>, 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<A, B, C, D, E, F, R>(ab: UnaryFn<A, B>, bc: UnaryFn<NonSideEffect<B>, C>, cd: UnaryFn<NonSideEffect<C>, D>, de: UnaryFn<NonSideEffect<D>, E>, ef: UnaryFn<NonSideEffect<E>, F>, fg: UnaryFn<NonSideEffect<F>, R>): PipeSideEffectStrict<[
+    UnaryFn<A, B>,
+    UnaryFn<NonSideEffect<B>, C>,
+    UnaryFn<NonSideEffect<C>, D>,
+    UnaryFn<NonSideEffect<D>, E>,
+    UnaryFn<NonSideEffect<E>, F>,
+    UnaryFn<NonSideEffect<F>, 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,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC5C,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,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;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;AACH,iBAAS,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAC/C,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,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;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<B, C, D, E, F, 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>, F>,\n  fg: UnaryFn<NonSideEffect<F>, 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>, F>,\n  UnaryFn<NonSideEffect<F>, 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]>;\nfunction pipeSideEffectStrict<A, B, C, D, E, F, 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>, F>,\n  fg: UnaryFn<NonSideEffect<F>, 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>, F>,\n  UnaryFn<NonSideEffect<F>, 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":";AAsJA,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';

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

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

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

@@ -0,0 +1,7 @@
+type PropStrict = {
+    <K extends PropertyKey>(...args: [key: K]): <T extends Record<K, unknown>>(obj: T) => NonNullable<T[K]>;
+    <T, K extends keyof T>(...args: [key: K, obj: T]): NonNullable<T[K]>;
+};
+declare const curriedPropStrict: PropStrict;
+export default curriedPropStrict;
+//# sourceMappingURL=propStrict.d.ts.map

package/dist/implement/object/propStrict.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"propStrict.d.ts","sourceRoot":"","sources":["../../../src/implement/object/propStrict.ts"],"names":[],"mappings":"AAEA,KAAK,UAAU,GAAG;IAChB,CAAC,CAAC,SAAS,WAAW,EAAE,GAAG,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxG,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACtE,CAAC;AAaF,QAAA,MAAM,iBAAiB,EAAmC,UAAU,CAAC;AACrE,eAAe,iBAAiB,CAAC"}

package/dist/implement/object/propStrict.mjs

@@ -0,0 +1,12 @@
+import n from "../composition/curry.mjs";
+function i(r, o) {
+  const t = o?.[r];
+  if (t == null)
+    throw new Error(`propStrict: "${String(r)}" is null or undefined`);
+  return t;
+}
+const c = n(i);
+export {
+  c as default
+};
+//# sourceMappingURL=propStrict.mjs.map

package/dist/implement/object/propStrict.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"propStrict.mjs","sources":["../../../src/implement/object/propStrict.ts"],"sourcesContent":["import curry from '../composition/curry';\n\ntype PropStrict = {\n  <K extends PropertyKey>(...args: [key: K]): <T extends Record<K, unknown>>(obj: T) => NonNullable<T[K]>;\n  <T, K extends keyof T>(...args: [key: K, obj: T]): NonNullable<T[K]>;\n};\n\n/**\n * propStrict - strict property access (throws on null/undefined)\n */\nfunction propStrict<T, K extends keyof T = keyof T>(key: K, obj: T): NonNullable<T[K]> {\n  const value = obj?.[key];\n  if (value == null) {\n    throw new Error(`propStrict: \"${String(key)}\" is null or undefined`);\n  }\n  return value as NonNullable<T[K]>;\n}\n\nconst curriedPropStrict = curry(propStrict) as unknown as PropStrict;\nexport default curriedPropStrict;\n"],"names":["propStrict","key","obj","value","curriedPropStrict","curry"],"mappings":";AAUA,SAASA,EAA2CC,GAAQC,GAA2B;AACrF,QAAMC,IAAQD,IAAMD,CAAG;AACvB,MAAIE,KAAS;AACX,UAAM,IAAI,MAAM,gBAAgB,OAAOF,CAAG,CAAC,wBAAwB;AAErE,SAAOE;AACT;AAEA,MAAMC,IAAoBC,EAAML,CAAU;"}