Thilawyn/effect-fc
1
0
Fork 0
Code Issues 1 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

0.1.0 #1

Merged
Thilawyn merged 81 commits from next into master 2025-07-17 21:17:57 +02:00
Conversation 0 Commits 81 Files Changed 52 +71 -71
1 changed files with 71 additions and 71 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit ed3f94c0e9 - Show all commits

142
packages/effect-fc/src/Component.ts
View File

@@ -43,140 +43,140 @@ export namespace make {
[Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never, [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never,
P P
> >
<Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, AEff, EOut, ROut, P extends {} = {}>( <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, EOut, ROut, P extends {} = {}>(
body: (props: P) => Generator<Eff, AEff, never>, body: (props: P) => Generator<Eff, A, never>,
a: ( a: (
_: Effect.Effect< _: Effect.Effect<
AEff, A,
[Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never, [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never,
[Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never
>, >,
props: NoInfer<P>, props: NoInfer<P>,
) => Effect.Effect<React.ReactNode, EOut, ROut> ) => Effect.Effect<React.ReactNode, EOut, ROut>
): Component<EOut, ROut, P> ): Component<EOut, ROut, P>
<Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, AEff, A, EOut, ROut, P extends {} = {}>( <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, EOut, ROut, P extends {} = {}>(
body: (props: P) => Generator<Eff, AEff, never>, body: (props: P) => Generator<Eff, A, never>,
a: ( a: (
_: Effect.Effect< _: Effect.Effect<
AEff, A,
[Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never, [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never,
[Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never
>, >,
props: NoInfer<P>, props: NoInfer<P>,
) => A, ) => B,
b: (_: A, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>, b: (_: B, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
): Component<EOut, ROut, P> ): Component<EOut, ROut, P>
<Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, AEff, A, B, EOut, ROut, P extends {} = {}>( <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, EOut, ROut, P extends {} = {}>(
body: (props: P) => Generator<Eff, AEff, never>, body: (props: P) => Generator<Eff, A, never>,
a: ( a: (
_: Effect.Effect< _: Effect.Effect<
AEff, A,
[Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never, [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never,
[Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never
>, >,
props: NoInfer<P>, props: NoInfer<P>,
) => A, ) => B,
b: (_: A, props: NoInfer<P>) => B, b: (_: B, props: NoInfer<P>) => C,
c: (_: B, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>, c: (_: C, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
): Component<EOut, ROut, P> ): Component<EOut, ROut, P>
<Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, AEff, A, B, C, EOut, ROut, P extends {} = {}>( <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, D, EOut, ROut, P extends {} = {}>(
body: (props: P) => Generator<Eff, AEff, never>, body: (props: P) => Generator<Eff, A, never>,
a: ( a: (
_: Effect.Effect< _: Effect.Effect<
AEff, A,
[Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never, [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never,
[Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never
>, >,
props: NoInfer<P>, props: NoInfer<P>,
) => A, ) => B,
b: (_: A, props: NoInfer<P>) => B, b: (_: B, props: NoInfer<P>) => C,
c: (_: B, props: NoInfer<P>) => C, c: (_: C, props: NoInfer<P>) => D,
d: (_: C, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>, d: (_: D, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
): Component<EOut, ROut, P> ): Component<EOut, ROut, P>
<Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, AEff, A, B, C, D, EOut, ROut, P extends {} = {}>( <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, D, E, EOut, ROut, P extends {} = {}>(
body: (props: P) => Generator<Eff, AEff, never>, body: (props: P) => Generator<Eff, A, never>,
a: ( a: (
_: Effect.Effect< _: Effect.Effect<
AEff, A,
[Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never, [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never,
[Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never
>, >,
props: NoInfer<P>, props: NoInfer<P>,
) => A, ) => B,
b: (_: A, props: NoInfer<P>) => B, b: (_: B, props: NoInfer<P>) => C,
c: (_: B, props: NoInfer<P>) => C, c: (_: C, props: NoInfer<P>) => D,
d: (_: C, props: NoInfer<P>) => D, d: (_: D, props: NoInfer<P>) => E,
e: (_: D, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>, e: (_: E, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
): Component<EOut, ROut, P> ): Component<EOut, ROut, P>
<Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, AEff, A, B, C, D, E, EOut, ROut, P extends {} = {}>( <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, D, E, F, EOut, ROut, P extends {} = {}>(
body: (props: P) => Generator<Eff, AEff, never>, body: (props: P) => Generator<Eff, A, never>,
a: ( a: (
_: Effect.Effect< _: Effect.Effect<
AEff, A,
[Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never, [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never,
[Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never
>, >,
props: NoInfer<P>, props: NoInfer<P>,
) => A, ) => B,
b: (_: A, props: NoInfer<P>) => B, b: (_: B, props: NoInfer<P>) => C,
c: (_: B, props: NoInfer<P>) => C, c: (_: C, props: NoInfer<P>) => D,
d: (_: C, props: NoInfer<P>) => D, d: (_: D, props: NoInfer<P>) => E,
e: (_: D, props: NoInfer<P>) => E, e: (_: E, props: NoInfer<P>) => F,
f: (_: E, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>, f: (_: F, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
): Component<EOut, ROut, P> ): Component<EOut, ROut, P>
<Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, AEff, A, B, C, D, E, F, EOut, ROut, P extends {} = {}>( <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, D, E, F, G, EOut, ROut, P extends {} = {}>(
body: (props: P) => Generator<Eff, AEff, never>, body: (props: P) => Generator<Eff, A, never>,
a: ( a: (
_: Effect.Effect< _: Effect.Effect<
AEff, A,
[Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never, [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never,
[Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never
>, >,
props: NoInfer<P>, props: NoInfer<P>,
) => A, ) => B,
b: (_: A, props: NoInfer<P>) => B, b: (_: B, props: NoInfer<P>) => C,
c: (_: B, props: NoInfer<P>) => C, c: (_: C, props: NoInfer<P>) => D,
d: (_: C, props: NoInfer<P>) => D, d: (_: D, props: NoInfer<P>) => E,
e: (_: D, props: NoInfer<P>) => E, e: (_: E, props: NoInfer<P>) => F,
f: (_: E, props: NoInfer<P>) => F, f: (_: F, props: NoInfer<P>) => G,
g: (_: F, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>, g: (_: G, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
): Component<EOut, ROut, P> ): Component<EOut, ROut, P>
<Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, AEff, A, B, C, D, E, F, G, EOut, ROut, P extends {} = {}>( <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, D, E, F, G, H, EOut, ROut, P extends {} = {}>(
body: (props: P) => Generator<Eff, AEff, never>, body: (props: P) => Generator<Eff, A, never>,
a: ( a: (
_: Effect.Effect< _: Effect.Effect<
AEff, A,
[Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never, [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never,
[Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never
>, >,
props: NoInfer<P>, props: NoInfer<P>,
) => A, ) => B,
b: (_: A, props: NoInfer<P>) => B, b: (_: B, props: NoInfer<P>) => C,
c: (_: B, props: NoInfer<P>) => C, c: (_: C, props: NoInfer<P>) => D,
d: (_: C, props: NoInfer<P>) => D, d: (_: D, props: NoInfer<P>) => E,
e: (_: D, props: NoInfer<P>) => E, e: (_: E, props: NoInfer<P>) => F,
f: (_: E, props: NoInfer<P>) => F, f: (_: F, props: NoInfer<P>) => G,
g: (_: F, props: NoInfer<P>) => G, g: (_: G, props: NoInfer<P>) => H,
h: (_: G, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>, h: (_: H, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
): Component<EOut, ROut, P> ): Component<EOut, ROut, P>
<Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, AEff, A, B, C, D, E, F, G, H, EOut, ROut, P extends {} = {}>( <Eff extends Utils.YieldWrap<Effect.Effect<any, any, any>>, A, B, C, D, E, F, G, H, I, EOut, ROut, P extends {} = {}>(
body: (props: P) => Generator<Eff, AEff, never>, body: (props: P) => Generator<Eff, A, never>,
a: ( a: (
_: Effect.Effect< _: Effect.Effect<
AEff, A,
[Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never, [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer E, infer _R>>] ? E : never,
[Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never [Eff] extends [never] ? never : [Eff] extends [Utils.YieldWrap<Effect.Effect<infer _A, infer _E, infer R>>] ? R : never
>, >,
props: NoInfer<P>, props: NoInfer<P>,
) => A, ) => B,
b: (_: A, props: NoInfer<P>) => B, b: (_: B, props: NoInfer<P>) => C,
c: (_: B, props: NoInfer<P>) => C, c: (_: C, props: NoInfer<P>) => D,
d: (_: C, props: NoInfer<P>) => D, d: (_: D, props: NoInfer<P>) => E,
e: (_: D, props: NoInfer<P>) => E, e: (_: E, props: NoInfer<P>) => F,
f: (_: E, props: NoInfer<P>) => F, f: (_: F, props: NoInfer<P>) => G,
g: (_: F, props: NoInfer<P>) => G, g: (_: G, props: NoInfer<P>) => H,
h: (_: G, props: NoInfer<P>) => H, h: (_: H, props: NoInfer<P>) => I,
i: (_: H, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>, i: (_: I, props: NoInfer<P>) => Effect.Effect<React.ReactNode, EOut, ROut>,
): Component<EOut, ROut, P> ): Component<EOut, ROut, P>
} }