From d512bfb74c901f06eca3cef727d56e81519f1768 Mon Sep 17 00:00:00 2001
From: mccraig mccraig of the clan mccraig <mccraigmccraig@gmail.com>
Date: Fri, 3 Nov 2023 09:34:41 +0000
Subject: [PATCH] an effectful pipeline for building objects

---
 refine_map.ts | 193 ++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 193 insertions(+)
 create mode 100644 refine_map.ts

diff --git a/refine_map.ts b/refine_map.ts
new file mode 100644
index 0000000..6acba98
--- /dev/null
+++ b/refine_map.ts
@@ -0,0 +1,193 @@
+// deno-lint-ignore-file no-explicit-any
+import { Effect, Context } from "effect"
+
+// reference:
+// https://dev.to/ecyrbe/how-to-use-advanced-typescript-to-define-a-pipe-function-381h
+
+// each Effectful step defines:
+// - a key
+// - a tag for an FxService
+// - a fn which takes the output map of the previous step and
+//   returns the input type of the service
+// 
+// - and the output of the step is a new map type combining the inmap
+//   with the new key and output value from the service
+
+// an Effectful Service interface which takes a single argument
+export interface FxService<R, E, D, V> {
+    readonly fx: {
+        (arg: D): Effect.Effect<R, E, V>
+    }
+}
+export type FxServiceTag<R, E, D, V> = Context.Tag<any, FxService<R, E, D, V>>
+
+// data defining a single Effectful step towards building an Object.
+// f transforms the Object-so-far:A into the FxService argument D,
+// and the output of the FxService will then be added to the Object-so-far
+// at {K: V}
+export type StepSpec<R, E, D, V, K extends string, A> = {
+    // the key at which the service output will be added to the pipeline accumulator object A
+    readonly k: K
+    // a pure function which maps the accumulator to the service input D
+    readonly f: (arg: A) => D
+    // a service requiring data D to produce value V
+    readonly svc: FxServiceTag<R, E, D, V>
+}
+
+// extract the FxServiceTag from a StepSpec
+export type ExtractFxServiceTag<T> = T extends StepSpec<infer _R, infer _E, infer _D, infer _V, infer _K, infer _A>
+    ? T["svc"]
+    : never
+
+// extract the value type from a StepSpec
+export type ExtractValueType<T> = ExtractFxServiceTag<T> extends FxServiceTag<infer _R, infer _E, infer _D, infer V> ? V : never
+
+// recursively infer a tuple-type for an Effectful Object builder pipeline
+// from a tuple of StepSpecs, building up the Obj type along the way
+export type ObjectPipeline<Specs extends readonly [...any[]],
+    ObjAcc,
+    StepAcc extends [...any[]] = []> =
+
+    // case: final spec - deliver final pipeline tuple type from StepAcc
+    Specs extends [StepSpec<infer R, infer E, infer D, infer V, infer K, infer A>]
+    ? readonly [...StepAcc, StepSpec<R, E, D, V, K, ObjAcc>]
+
+    // case: there are more specs - add to StepAcc and ObjAcc and recurse
+    : Specs extends [infer Head, ...infer Tail]
+    ? Head extends StepSpec<infer HR, infer HE, infer HD, infer HV, infer HK, infer _HA>
+    ? Tail extends [StepSpec<infer _NR, infer _NE, infer _ND, infer _NV, infer _NK, infer _NA>, ...any]
+    ? ObjectPipeline<Tail,
+        ObjAcc & { [K in HK]: HV },
+        [...StepAcc, StepSpec<HR, HE, HD, HV, HK, ObjAcc>]>
+    : ["ObjectPipelineFail", "C", Specs] // Tail
+    : ["ObjectPipelineFail", "B", Specs] // Head
+    : ["ObjectPipelineFail", "A", Specs] // Specs
+
+// builds a new Object type from an intersected ObjAcc type,
+// which makes the intellisense much simpler
+// https://stackoverflow.com/questions/57683303/how-can-i-see-the-full-expanded-contract-of-a-typescript-type
+export type Expand<T> = T extends infer O ? { [K in keyof O]: O[K] } : never;
+
+// get the final Object type from a list of StepSpecs
+export type FinalObjectType<Specs extends readonly [...any[]], Init> =
+    ObjectPipeline<Specs, Init> extends [...infer _Prev, infer Last]
+    ? Last extends StepSpec<infer _LR, infer _LE, infer _LD, infer LV, infer LK, infer LA>
+    ? Expand<LA & { [K in LK]: LV }>
+    : ["FinalObjectTypeFail", "B", ObjectPipeline<Specs,Init>] // Last
+    : ["FinalObjectTypeFail", "A", ObjectPipeline<Specs,Init>] // ObjectPipeline
+
+//////////////////////////////////////////////////////////////////////////////
+
+export type User = {
+    id: string
+    name: string
+}
+interface GetUserService { readonly _: unique symbol }
+// the service interface
+export interface GetUserServiceI extends FxService<never, never, string, User> {
+    readonly fx: (id: string) => Effect.Effect<never, never, User>
+}
+export const GetUserService = Context.Tag<GetUserService, GetUserServiceI>("GetUserService")
+
+export type Org = {
+    id: string
+    name: string
+}
+interface GetOrgService { readonly _: unique symbol }
+export interface GetOrgServiceI extends FxService<never, never, string, Org> {
+    readonly fx: (id: string) => Effect.Effect<never, never, Org>
+}
+export const GetOrgService = Context.Tag<GetOrgService, GetOrgServiceI>("GetOrgService")
+
+// allow extra keys for the param fns 
+export type Extra<T> = T extends Record<string, unknown> ? T & Record<string, unknown> : never;
+
+// as const is required to prevent the k from being widened to a string type
+// and to ensure the specs array is interpreted as a tuple
+const getOrgStepSpecObj =
+{
+    k: "org" as const,
+    svc: GetOrgService,
+    f: (d: { data: {org_id: string} }) => d.data.org_id
+}
+const getUserStepSpecObj =
+{
+    k: "user" as const,
+    svc: GetUserService,
+    f: (d: { data: {user_id: string} }) => d.data.user_id
+}
+export const specs = [
+    getOrgStepSpecObj,
+    getUserStepSpecObj
+] as const
+
+//////////////////////////////////////////////////////////////////////////////////
+
+// getting closer...
+
+// also constraints are not yet being applied so that the f inputs match 
+// the ObjAcc
+
+export declare function buildProg
+    <StepSpecs extends readonly [...any[]],
+        Init = { data: {org_id: string, user_id: string}  },
+    _Unused = ObjectPipeline<StepSpecs, Init>>
+    (stepSpecs: readonly [...StepSpecs],
+    otherStepSpecs: ObjectPipeline<StepSpecs, Init>)
+    : (arg: Init) => Effect.Effect<never, never, FinalObjectType<StepSpecs, Init>>
+
+export const prog = buildProg(specs, specs)
+
+
+
+
+/////////////////////////////////////////////////////////////////////////////
+
+
+// an Event has a tag to identify a handler
+export interface EventI {
+    readonly tag: string
+}
+
+// a simple tag type for events
+export interface EventTag<EV extends EventI> {
+    readonly tag: EV['tag'] // a string name for the type
+}
+
+// returns a function of EV returning an Effect which applys the steps specified
+// in StepSpecs to build an Object with all the {K: V} from each step's service
+export declare function buildObjectProg<EV extends EventI,
+    StepSpecs extends readonly [...any[]],
+    Init = { ev: EV }>
+    (stepSpecs: readonly [...StepSpecs])
+    : (arg: Init) => Effect.Effect<never, never, FinalObjectType<StepSpecs, Init>>
+
+export const objProg = buildObjectProg(specs)
+
+////////////////////////////////////////////
+
+type AnyFunc = (...arg: any) => any;
+
+type PipeArgs<F extends AnyFunc[], Acc extends AnyFunc[] = []> =
+    F extends [(...args: infer A) => infer B] ? [...Acc, (...args: A) => B]
+    : F extends [(...args: infer A) => any, ...infer Tail]
+    ? Tail extends [(arg: infer B) => any, ...any[]]
+    ? PipeArgs<Tail, [...Acc, (...args: A) => B]>
+    : Acc
+    : Acc;
+
+type LastFnReturnType<F extends Array<AnyFunc>, Else = never> = F extends [
+    ...any[],
+    (...arg: any) => infer R
+] ? R : Else;
+
+export function pipe<FirstFn extends AnyFunc, F extends AnyFunc[]>(
+    arg: Parameters<FirstFn>[0],
+    firstFn: FirstFn,
+    ...fns: PipeArgs<F> extends F ? F : PipeArgs<F>
+): LastFnReturnType<F, ReturnType<FirstFn>> {
+    return (fns as AnyFunc[]).reduce((acc, fn) => fn(acc), firstFn(arg));
+}
+
+
+export const x = pipe(0, (n: number)=>n+1, (p: number)=>p.toString())
\ No newline at end of file