@likec4/core 1.17.1 → 1.19.0

package/src/builder/Builder.deploymentModel.ts

@@ -0,0 +1,385 @@
+import type { LastArrayElement, Split } from 'type-fest'
+import type { DeploymentElement, DeploymentRelation, Fqn } from '../types'
+import type { AnyTypes, Invalid, Types, ValidId } from './_types'
+import type { Builder } from './Builder'
+import type { AddDeploymentNode } from './Builder.deployment'
+
+export interface DeploymentModelBuilder<T extends AnyTypes> extends Builder<T> {
+  __addDeployment(node: DeploymentElement): Builder<T>
+  __addDeploymentRelation(rel: Omit<DeploymentRelation, 'id'>): Builder<T>
+  /**
+   * Create a fully qualified name from an id (for nested models)
+   */
+  __fqn(id: string): Fqn
+}
+
+export function deployment<A extends AnyTypes>(): (input: Builder<A>) => Builder<A>
+export function deployment<
+  A extends AnyTypes,
+  B extends AnyTypes,
+>(
+  op1: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+): (input: Builder<A>) => Builder<B>
+export function deployment<
+  A extends AnyTypes,
+  B extends AnyTypes,
+  C extends AnyTypes,
+>(
+  op1: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+  op2: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+): (input: Builder<A>) => Builder<C>
+export function deployment<
+  A extends AnyTypes,
+  B extends AnyTypes,
+  C extends AnyTypes,
+  D extends AnyTypes,
+>(
+  op1: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+  op2: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+  op3: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>,
+): (input: Builder<A>) => Builder<D>
+export function deployment<
+  A extends AnyTypes,
+  B extends AnyTypes,
+  C extends AnyTypes,
+  D extends AnyTypes,
+  E extends AnyTypes,
+>(
+  op1: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+  op2: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+  op3: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>,
+  op4: (input: DeploymentModelBuilder<D>) => DeploymentModelBuilder<E>,
+): (input: Builder<A>) => Builder<E>
+export function deployment<
+  A extends AnyTypes,
+  B extends AnyTypes,
+  C extends AnyTypes,
+  D extends AnyTypes,
+  E extends AnyTypes,
+  F extends AnyTypes,
+>(
+  op1: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+  op2: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+  op3: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>,
+  op4: (input: DeploymentModelBuilder<D>) => DeploymentModelBuilder<E>,
+  op5: (input: DeploymentModelBuilder<E>) => DeploymentModelBuilder<F>,
+): (input: Builder<A>) => Builder<F>
+export function deployment<
+  A extends AnyTypes,
+  B extends AnyTypes,
+  C extends AnyTypes,
+  D extends AnyTypes,
+  E extends AnyTypes,
+  F extends AnyTypes,
+  G extends AnyTypes,
+>(
+  op1: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+  op2: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+  op3: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>,
+  op4: (input: DeploymentModelBuilder<D>) => DeploymentModelBuilder<E>,
+  op5: (input: DeploymentModelBuilder<E>) => DeploymentModelBuilder<F>,
+  op6: (input: DeploymentModelBuilder<F>) => DeploymentModelBuilder<G>,
+): (input: Builder<A>) => Builder<G>
+export function deployment<
+  A extends AnyTypes,
+  B extends AnyTypes,
+  C extends AnyTypes,
+  D extends AnyTypes,
+  E extends AnyTypes,
+  F extends AnyTypes,
+  G extends AnyTypes,
+  H extends AnyTypes,
+>(
+  op1: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+  op2: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+  op3: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>,
+  op4: (input: DeploymentModelBuilder<D>) => DeploymentModelBuilder<E>,
+  op5: (input: DeploymentModelBuilder<E>) => DeploymentModelBuilder<F>,
+  op6: (input: DeploymentModelBuilder<F>) => DeploymentModelBuilder<G>,
+  op7: (input: DeploymentModelBuilder<G>) => DeploymentModelBuilder<H>,
+): (input: Builder<A>) => Builder<H>
+export function deployment<
+  A extends AnyTypes,
+  B extends AnyTypes,
+  C extends AnyTypes,
+  D extends AnyTypes,
+  E extends AnyTypes,
+  F extends AnyTypes,
+  G extends AnyTypes,
+  H extends AnyTypes,
+  I extends AnyTypes,
+>(
+  op1: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+  op2: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+  op3: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>,
+  op4: (input: DeploymentModelBuilder<D>) => DeploymentModelBuilder<E>,
+  op5: (input: DeploymentModelBuilder<E>) => DeploymentModelBuilder<F>,
+  op6: (input: DeploymentModelBuilder<F>) => DeploymentModelBuilder<G>,
+  op7: (input: DeploymentModelBuilder<G>) => DeploymentModelBuilder<H>,
+  op8: (input: DeploymentModelBuilder<H>) => DeploymentModelBuilder<I>,
+): (input: Builder<A>) => Builder<I>
+export function deployment<
+  A extends AnyTypes,
+  B extends AnyTypes,
+  C extends AnyTypes,
+  D extends AnyTypes,
+  E extends AnyTypes,
+  F extends AnyTypes,
+  G extends AnyTypes,
+  H extends AnyTypes,
+  I extends AnyTypes,
+  J extends AnyTypes,
+>(
+  op1: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+  op2: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+  op3: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>,
+  op4: (input: DeploymentModelBuilder<D>) => DeploymentModelBuilder<E>,
+  op5: (input: DeploymentModelBuilder<E>) => DeploymentModelBuilder<F>,
+  op6: (input: DeploymentModelBuilder<F>) => DeploymentModelBuilder<G>,
+  op7: (input: DeploymentModelBuilder<G>) => DeploymentModelBuilder<H>,
+  op8: (input: DeploymentModelBuilder<H>) => DeploymentModelBuilder<I>,
+  op9: (input: DeploymentModelBuilder<I>) => DeploymentModelBuilder<J>,
+): (input: Builder<A>) => Builder<J>
+export function deployment<
+  A extends AnyTypes,
+  B extends AnyTypes,
+  C extends AnyTypes,
+  D extends AnyTypes,
+  E extends AnyTypes,
+  F extends AnyTypes,
+  G extends AnyTypes,
+  H extends AnyTypes,
+  I extends AnyTypes,
+  J extends AnyTypes,
+  K extends AnyTypes,
+>(
+  op1: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+  op2: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+  op3: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>,
+  op4: (input: DeploymentModelBuilder<D>) => DeploymentModelBuilder<E>,
+  op5: (input: DeploymentModelBuilder<E>) => DeploymentModelBuilder<F>,
+  op6: (input: DeploymentModelBuilder<F>) => DeploymentModelBuilder<G>,
+  op7: (input: DeploymentModelBuilder<G>) => DeploymentModelBuilder<H>,
+  op8: (input: DeploymentModelBuilder<H>) => DeploymentModelBuilder<I>,
+  op9: (input: DeploymentModelBuilder<I>) => DeploymentModelBuilder<J>,
+  op10: (input: DeploymentModelBuilder<J>) => DeploymentModelBuilder<K>,
+): (input: Builder<A>) => Builder<K>
+export function deployment<
+  A extends AnyTypes,
+  B extends AnyTypes,
+  C extends AnyTypes,
+  D extends AnyTypes,
+  E extends AnyTypes,
+  F extends AnyTypes,
+  G extends AnyTypes,
+  H extends AnyTypes,
+  I extends AnyTypes,
+  J extends AnyTypes,
+  K extends AnyTypes,
+  L extends AnyTypes,
+>(
+  op1: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+  op2: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+  op3: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>,
+  op4: (input: DeploymentModelBuilder<D>) => DeploymentModelBuilder<E>,
+  op5: (input: DeploymentModelBuilder<E>) => DeploymentModelBuilder<F>,
+  op6: (input: DeploymentModelBuilder<F>) => DeploymentModelBuilder<G>,
+  op7: (input: DeploymentModelBuilder<G>) => DeploymentModelBuilder<H>,
+  op8: (input: DeploymentModelBuilder<H>) => DeploymentModelBuilder<I>,
+  op9: (input: DeploymentModelBuilder<I>) => DeploymentModelBuilder<J>,
+  op10: (input: DeploymentModelBuilder<J>) => DeploymentModelBuilder<K>,
+  op11: (input: DeploymentModelBuilder<K>) => DeploymentModelBuilder<L>,
+): (input: Builder<A>) => Builder<L>
+export function deployment<
+  A extends AnyTypes,
+  B extends AnyTypes,
+  C extends AnyTypes,
+  D extends AnyTypes,
+  E extends AnyTypes,
+  F extends AnyTypes,
+  G extends AnyTypes,
+  H extends AnyTypes,
+  I extends AnyTypes,
+  J extends AnyTypes,
+  K extends AnyTypes,
+  L extends AnyTypes,
+  M extends AnyTypes,
+>(
+  op1: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+  op2: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+  op3: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>,
+  op4: (input: DeploymentModelBuilder<D>) => DeploymentModelBuilder<E>,
+  op5: (input: DeploymentModelBuilder<E>) => DeploymentModelBuilder<F>,
+  op6: (input: DeploymentModelBuilder<F>) => DeploymentModelBuilder<G>,
+  op7: (input: DeploymentModelBuilder<G>) => DeploymentModelBuilder<H>,
+  op8: (input: DeploymentModelBuilder<H>) => DeploymentModelBuilder<I>,
+  op9: (input: DeploymentModelBuilder<I>) => DeploymentModelBuilder<J>,
+  op10: (input: DeploymentModelBuilder<J>) => DeploymentModelBuilder<K>,
+  op11: (input: DeploymentModelBuilder<K>) => DeploymentModelBuilder<L>,
+  op12: (input: DeploymentModelBuilder<L>) => DeploymentModelBuilder<M>,
+): (input: Builder<A>) => Builder<M>
+export function deployment<
+  A extends AnyTypes,
+  B extends AnyTypes,
+  C extends AnyTypes,
+  D extends AnyTypes,
+  E extends AnyTypes,
+  F extends AnyTypes,
+  G extends AnyTypes,
+  H extends AnyTypes,
+  I extends AnyTypes,
+  J extends AnyTypes,
+  K extends AnyTypes,
+  L extends AnyTypes,
+  M extends AnyTypes,
+  N extends AnyTypes,
+>(
+  op1: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+  op2: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+  op3: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>,
+  op4: (input: DeploymentModelBuilder<D>) => DeploymentModelBuilder<E>,
+  op5: (input: DeploymentModelBuilder<E>) => DeploymentModelBuilder<F>,
+  op6: (input: DeploymentModelBuilder<F>) => DeploymentModelBuilder<G>,
+  op7: (input: DeploymentModelBuilder<G>) => DeploymentModelBuilder<H>,
+  op8: (input: DeploymentModelBuilder<H>) => DeploymentModelBuilder<I>,
+  op9: (input: DeploymentModelBuilder<I>) => DeploymentModelBuilder<J>,
+  op10: (input: DeploymentModelBuilder<J>) => DeploymentModelBuilder<K>,
+  op11: (input: DeploymentModelBuilder<K>) => DeploymentModelBuilder<L>,
+  op12: (input: DeploymentModelBuilder<L>) => DeploymentModelBuilder<M>,
+  op13: (input: DeploymentModelBuilder<M>) => DeploymentModelBuilder<N>,
+): (input: Builder<A>) => Builder<N>
+export function deployment<
+  A extends AnyTypes,
+  B extends AnyTypes,
+  C extends AnyTypes,
+  D extends AnyTypes,
+  E extends AnyTypes,
+  F extends AnyTypes,
+  G extends AnyTypes,
+  H extends AnyTypes,
+  I extends AnyTypes,
+  J extends AnyTypes,
+  K extends AnyTypes,
+  L extends AnyTypes,
+  M extends AnyTypes,
+  N extends AnyTypes,
+  O extends AnyTypes,
+>(
+  op1: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+  op2: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+  op3: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>,
+  op4: (input: DeploymentModelBuilder<D>) => DeploymentModelBuilder<E>,
+  op5: (input: DeploymentModelBuilder<E>) => DeploymentModelBuilder<F>,
+  op6: (input: DeploymentModelBuilder<F>) => DeploymentModelBuilder<G>,
+  op7: (input: DeploymentModelBuilder<G>) => DeploymentModelBuilder<H>,
+  op8: (input: DeploymentModelBuilder<H>) => DeploymentModelBuilder<I>,
+  op9: (input: DeploymentModelBuilder<I>) => DeploymentModelBuilder<J>,
+  op10: (input: DeploymentModelBuilder<J>) => DeploymentModelBuilder<K>,
+  op11: (input: DeploymentModelBuilder<K>) => DeploymentModelBuilder<L>,
+  op12: (input: DeploymentModelBuilder<L>) => DeploymentModelBuilder<M>,
+  op13: (input: DeploymentModelBuilder<M>) => DeploymentModelBuilder<N>,
+  op14: (input: DeploymentModelBuilder<N>) => DeploymentModelBuilder<O>,
+): (input: Builder<A>) => Builder<O>
+export function deployment<
+  A extends AnyTypes,
+  B extends AnyTypes,
+  C extends AnyTypes,
+  D extends AnyTypes,
+  E extends AnyTypes,
+  F extends AnyTypes,
+  G extends AnyTypes,
+  H extends AnyTypes,
+  I extends AnyTypes,
+  J extends AnyTypes,
+  K extends AnyTypes,
+  L extends AnyTypes,
+  M extends AnyTypes,
+  N extends AnyTypes,
+  O extends AnyTypes,
+  P extends AnyTypes,
+>(
+  op1: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+  op2: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+  op3: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>,
+  op4: (input: DeploymentModelBuilder<D>) => DeploymentModelBuilder<E>,
+  op5: (input: DeploymentModelBuilder<E>) => DeploymentModelBuilder<F>,
+  op6: (input: DeploymentModelBuilder<F>) => DeploymentModelBuilder<G>,
+  op7: (input: DeploymentModelBuilder<G>) => DeploymentModelBuilder<H>,
+  op8: (input: DeploymentModelBuilder<H>) => DeploymentModelBuilder<I>,
+  op9: (input: DeploymentModelBuilder<I>) => DeploymentModelBuilder<J>,
+  op10: (input: DeploymentModelBuilder<J>) => DeploymentModelBuilder<K>,
+  op11: (input: DeploymentModelBuilder<K>) => DeploymentModelBuilder<L>,
+  op12: (input: DeploymentModelBuilder<L>) => DeploymentModelBuilder<M>,
+  op13: (input: DeploymentModelBuilder<M>) => DeploymentModelBuilder<N>,
+  op14: (input: DeploymentModelBuilder<N>) => DeploymentModelBuilder<O>,
+  op15: (input: DeploymentModelBuilder<O>) => DeploymentModelBuilder<P>,
+): (input: Builder<A>) => Builder<P>
+
+export function deployment(...ops: any[]) {
+  return (input: Builder<any>) => {
+    let builder = input
+    for (const op of ops) {
+      builder = op(builder)
+    }
+    return builder
+  }
+}
+
+type NameFromFqn<FQN extends string> = LastArrayElement<Split<FQN, '.'>>
+
+export type AddDeployedInstance<Props = unknown> = {
+  //  instanceOf(target, titleOrProps?)
+  <
+    const T extends AnyTypes,
+    Id extends string & T['Fqn'],
+  >(
+    target: Id,
+  ): (builder: DeploymentModelBuilder<T>) => DeploymentModelBuilder<Types.AddDeploymentFqn<T, NameFromFqn<Id>>>
+
+  //  instanceOf(id, target, titleOrProps?)
+  <
+    const Id extends string,
+    T extends AnyTypes,
+    Target extends string & T['Fqn'],
+  >(
+    id: ValidId<Id>,
+    target: Target,
+    titleOrProps?: string | Props | undefined,
+  ): (builder: DeploymentModelBuilder<T>) => DeploymentModelBuilder<Types.AddDeploymentFqn<T, Id>>
+}
+
+type AddDeploymentNodeHelper<T = unknown> = <const Id extends string>(
+  id: ValidId<Id>,
+  titleOrProps?: string | T,
+) => AddDeploymentNode<Id>
+
+export type AddDeploymentNodeHelpers<T extends AnyTypes> = T extends
+  Types<any, any, any, any, any, any, infer Kinds extends string, any> ? {
+    [Kind in Kinds]: AddDeploymentNodeHelper<T['NewDeploymentNodeProps']>
+  }
+  : Invalid<'No Deployment Kinds'>
+
+export type AddDeploymentRelation<Props = unknown> = <
+  T extends AnyTypes,
+  Source extends string & T['DeploymentFqn'],
+  Target extends string & T['DeploymentFqn'],
+>(
+  source: Source,
+  target: Target,
+  titleOrProps?: string | Props,
+) => (builder: DeploymentModelBuilder<T>) => DeploymentModelBuilder<T>
+
+export type DeloymentModelHelpers<T extends AnyTypes> = AddDeploymentNodeHelpers<T> & {
+  instanceOf: AddDeployedInstance<T['NewDeploymentNodeProps']>
+  rel: AddDeploymentRelation<T['NewRelationshipProps']>
+  deployment: typeof deployment
+}
+
+export type DeloymentModelBuildFunction<A extends AnyTypes, B extends AnyTypes> = (
+  helpers: DeloymentModelHelpers<A> & {
+    _: DeloymentModelHelpers<A>['deployment']
+  },
+  add: DeloymentModelHelpers<A>['deployment'],
+) =>
+  | ((builder: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>)
+  | ((builder: Builder<A>) => Builder<B>)

package/src/builder/Builder.element.ts

@@ -1,14 +1,17 @@
-import type { AnyTypes, Invalid, Types, TypesNested } from './_types'
+import type { AnyTypes, Types, TypesNested } from './_types'
 import type { ModelBuilder } from './Builder.model'
 
-type ToNested<T, Id extends string> = T extends TypesNested<infer P, any, infer F, any, any, any, any> ? TypesNested<
+type ToNested<T, Id extends string> = T extends TypesNested<infer P, any, infer F, any, any, any, any, any, any>
+  ? TypesNested<
     `${P}.${Id}`,
     T['ElementKind'],
     `${P}.${Id}` | F,
     T['ViewId'],
     T['RelationshipKind'],
     T['Tag'],
-    T['MetadataKey']
+    T['MetadataKey'],
+    T['DeploymentKind'],
+    T['DeploymentFqn']
   >
   : T extends AnyTypes ? TypesNested<
       Id,
@@ -17,19 +20,23 @@ type ToNested<T, Id extends string> = T extends TypesNested<infer P, any, infer
       T['ViewId'],
       T['RelationshipKind'],
       T['Tag'],
-      T['MetadataKey']
+      T['MetadataKey'],
+      T['DeploymentKind'],
+      T['DeploymentFqn']
     >
   : never
 
-type FromNested<T extends AnyTypes, N> = N extends TypesNested<any, any, infer F, any, any, any, any>
-  ? T extends TypesNested<infer P, any, any, any, any, any, any> ? TypesNested<
+type FromNested<T extends AnyTypes, N> = N extends TypesNested<any, any, infer F, any, any, any, any, any, any>
+  ? T extends TypesNested<infer P, any, any, any, any, any, any, any, any> ? TypesNested<
       P,
       T['ElementKind'],
       F,
       T['ViewId'],
       T['RelationshipKind'],
       T['Tag'],
-      T['MetadataKey']
+      T['MetadataKey'],
+      T['DeploymentKind'],
+      T['DeploymentFqn']
     >
   : T extends AnyTypes ? Types<
       T['ElementKind'],
@@ -37,7 +44,9 @@ type FromNested<T extends AnyTypes, N> = N extends TypesNested<any, any, infer F
       T['ViewId'],
       T['RelationshipKind'],
       T['Tag'],
-      T['MetadataKey']
+      T['MetadataKey'],
+      T['DeploymentKind'],
+      T['DeploymentFqn']
     >
   : never
   : never
@@ -48,6 +57,8 @@ type FromNested<T extends AnyTypes, N> = N extends TypesNested<any, any, infer F
 export interface AddElement<Id extends string> {
   <T extends AnyTypes>(builder: ModelBuilder<T>): ModelBuilder<Types.AddFqn<T, Id>>
 
+  with<T extends AnyTypes>(): (builder: ModelBuilder<T>) => ModelBuilder<Types.AddFqn<T, Id>>
+
   with<
     T extends AnyTypes,
     A extends AnyTypes
@@ -208,14 +219,3 @@ export interface AddElement<Id extends string> {
     op10: (input: ModelBuilder<I>) => ModelBuilder<J>
   ): (builder: ModelBuilder<T>) => ModelBuilder<FromNested<T, J>>
 }
-
-type AddElementHelper<T = unknown> = <const Id extends string>(
-  id: Id,
-  titleOrProps?: string | T
-) => AddElement<Id>
-
-export type AddElementHelpers<T extends AnyTypes> = T extends Types<infer Kinds extends string, any, any, any, any, any>
-  ? {
-    [Kind in Kinds]: AddElementHelper<T['NewElementProps']>
-  }
-  : Invalid<'No Element Kinds'>