@likec4/core 1.17.0 → 1.18.0

package/src/builder/Builder.deployment.ts

@@ -0,0 +1,219 @@
+import type { AnyTypes, Types, TypesNested } from './_types'
+import type { DeploymentModelBuilder } from './Builder.deploymentModel'
+
+type ToNested<T, Id extends string> = T extends TypesNested<infer P, any, any, any, any, any, any, any, infer F>
+  ? TypesNested<
+    `${P}.${Id}`,
+    T['ElementKind'],
+    T['Fqn'],
+    T['ViewId'],
+    T['RelationshipKind'],
+    T['Tag'],
+    T['MetadataKey'],
+    T['DeploymentKind'],
+    `${P}.${Id}` | F
+  >
+  : T extends AnyTypes ? TypesNested<
+      Id,
+      T['ElementKind'],
+      T['Fqn'],
+      T['ViewId'],
+      T['RelationshipKind'],
+      T['Tag'],
+      T['MetadataKey'],
+      T['DeploymentKind'],
+      Id | T['DeploymentFqn']
+    >
+  : never
+
+type FromNested<T extends AnyTypes, N> = N extends TypesNested<any, any, any, any, any, any, any, any, infer F>
+  ? T extends TypesNested<infer P, any, any, any, any, any, any, any, any> ? TypesNested<
+      P,
+      T['ElementKind'],
+      T['Fqn'],
+      T['ViewId'],
+      T['RelationshipKind'],
+      T['Tag'],
+      T['MetadataKey'],
+      T['DeploymentKind'],
+      F
+    >
+  : T extends AnyTypes ? Types<
+      T['ElementKind'],
+      T['Fqn'],
+      T['ViewId'],
+      T['RelationshipKind'],
+      T['Tag'],
+      T['MetadataKey'],
+      T['DeploymentKind'],
+      F
+    >
+  : never
+  : never
+
+/**
+ * Chainable builder to create deployment node
+ */
+export interface AddDeploymentNode<Id extends string> {
+  <T extends AnyTypes>(builder: DeploymentModelBuilder<T>): DeploymentModelBuilder<Types.AddDeploymentFqn<T, Id>>
+
+  with<
+    T extends AnyTypes,
+    A extends AnyTypes
+  >(
+    op1: (input: DeploymentModelBuilder<ToNested<T, Id>>) => DeploymentModelBuilder<A>
+  ): (builder: DeploymentModelBuilder<T>) => DeploymentModelBuilder<FromNested<T, A>>
+
+  with<
+    T extends AnyTypes,
+    A extends AnyTypes,
+    B extends AnyTypes
+  >(
+    op1: (input: DeploymentModelBuilder<ToNested<T, Id>>) => DeploymentModelBuilder<A>,
+    op2: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>
+  ): (builder: DeploymentModelBuilder<T>) => DeploymentModelBuilder<FromNested<T, B>>
+
+  with<
+    T extends AnyTypes,
+    A extends AnyTypes,
+    B extends AnyTypes,
+    C extends AnyTypes
+  >(
+    op1: (input: DeploymentModelBuilder<ToNested<T, Id>>) => DeploymentModelBuilder<A>,
+    op2: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+    op3: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>
+  ): (builder: DeploymentModelBuilder<T>) => DeploymentModelBuilder<FromNested<T, C>>
+
+  with<
+    T extends AnyTypes,
+    A extends AnyTypes,
+    B extends AnyTypes,
+    C extends AnyTypes,
+    D extends AnyTypes
+  >(
+    op1: (input: DeploymentModelBuilder<ToNested<T, Id>>) => DeploymentModelBuilder<A>,
+    op2: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+    op3: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+    op4: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>
+  ): (builder: DeploymentModelBuilder<T>) => DeploymentModelBuilder<FromNested<T, D>>
+
+  with<
+    T extends AnyTypes,
+    A extends AnyTypes,
+    B extends AnyTypes,
+    C extends AnyTypes,
+    D extends AnyTypes,
+    E extends AnyTypes
+  >(
+    op1: (input: DeploymentModelBuilder<ToNested<T, Id>>) => DeploymentModelBuilder<A>,
+    op2: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+    op3: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+    op4: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>,
+    op5: (input: DeploymentModelBuilder<D>) => DeploymentModelBuilder<E>
+  ): (builder: DeploymentModelBuilder<T>) => DeploymentModelBuilder<FromNested<T, E>>
+
+  with<
+    T extends AnyTypes,
+    A extends AnyTypes,
+    B extends AnyTypes,
+    C extends AnyTypes,
+    D extends AnyTypes,
+    E extends AnyTypes,
+    F extends AnyTypes
+  >(
+    op1: (input: DeploymentModelBuilder<ToNested<T, Id>>) => DeploymentModelBuilder<A>,
+    op2: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+    op3: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+    op4: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>,
+    op5: (input: DeploymentModelBuilder<D>) => DeploymentModelBuilder<E>,
+    op6: (input: DeploymentModelBuilder<E>) => DeploymentModelBuilder<F>
+  ): (builder: DeploymentModelBuilder<T>) => DeploymentModelBuilder<FromNested<T, F>>
+
+  with<
+    T extends AnyTypes,
+    A extends AnyTypes,
+    B extends AnyTypes,
+    C extends AnyTypes,
+    D extends AnyTypes,
+    E extends AnyTypes,
+    F extends AnyTypes,
+    G extends AnyTypes
+  >(
+    op1: (input: DeploymentModelBuilder<ToNested<T, Id>>) => DeploymentModelBuilder<A>,
+    op2: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+    op3: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+    op4: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>,
+    op5: (input: DeploymentModelBuilder<D>) => DeploymentModelBuilder<E>,
+    op6: (input: DeploymentModelBuilder<E>) => DeploymentModelBuilder<F>,
+    op7: (input: DeploymentModelBuilder<F>) => DeploymentModelBuilder<G>
+  ): (builder: DeploymentModelBuilder<T>) => DeploymentModelBuilder<FromNested<T, G>>
+
+  with<
+    T extends AnyTypes,
+    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<ToNested<T, Id>>) => DeploymentModelBuilder<A>,
+    op2: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+    op3: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+    op4: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>,
+    op5: (input: DeploymentModelBuilder<D>) => DeploymentModelBuilder<E>,
+    op6: (input: DeploymentModelBuilder<E>) => DeploymentModelBuilder<F>,
+    op7: (input: DeploymentModelBuilder<F>) => DeploymentModelBuilder<G>,
+    op8: (input: DeploymentModelBuilder<G>) => DeploymentModelBuilder<H>
+  ): (builder: DeploymentModelBuilder<T>) => DeploymentModelBuilder<FromNested<T, H>>
+
+  with<
+    T extends AnyTypes,
+    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<ToNested<T, Id>>) => DeploymentModelBuilder<A>,
+    op2: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+    op3: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+    op4: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>,
+    op5: (input: DeploymentModelBuilder<D>) => DeploymentModelBuilder<E>,
+    op6: (input: DeploymentModelBuilder<E>) => DeploymentModelBuilder<F>,
+    op7: (input: DeploymentModelBuilder<F>) => DeploymentModelBuilder<G>,
+    op8: (input: DeploymentModelBuilder<G>) => DeploymentModelBuilder<H>,
+    op9: (input: DeploymentModelBuilder<H>) => DeploymentModelBuilder<I>
+  ): (builder: DeploymentModelBuilder<T>) => DeploymentModelBuilder<FromNested<T, I>>
+
+  with<
+    T extends AnyTypes,
+    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<ToNested<T, Id>>) => DeploymentModelBuilder<A>,
+    op2: (input: DeploymentModelBuilder<A>) => DeploymentModelBuilder<B>,
+    op3: (input: DeploymentModelBuilder<B>) => DeploymentModelBuilder<C>,
+    op4: (input: DeploymentModelBuilder<C>) => DeploymentModelBuilder<D>,
+    op5: (input: DeploymentModelBuilder<D>) => DeploymentModelBuilder<E>,
+    op6: (input: DeploymentModelBuilder<E>) => DeploymentModelBuilder<F>,
+    op7: (input: DeploymentModelBuilder<F>) => DeploymentModelBuilder<G>,
+    op8: (input: DeploymentModelBuilder<G>) => DeploymentModelBuilder<H>,
+    op9: (input: DeploymentModelBuilder<H>) => DeploymentModelBuilder<I>,
+    op10: (input: DeploymentModelBuilder<I>) => DeploymentModelBuilder<J>
+  ): (builder: DeploymentModelBuilder<T>) => DeploymentModelBuilder<FromNested<T, J>>
+}

package/src/builder/Builder.deploymentModel.ts

@@ -0,0 +1,360 @@
+import type { DeploymentElement, DeploymentRelation, Fqn } from '../types'
+import type { AnyTypes, Invalid, Types } from './_types'
+import type { Builder } from './Builder'
+import type { AddDeploymentNode } from './Builder.deployment'
+
+export interface DeploymentModelBuilder<T extends AnyTypes> {
+  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,
+  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
+  }
+}
+
+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 AddDeployedInstance<Props = unknown> = <
+  const Id extends string,
+  T extends AnyTypes,
+  To extends string & T['Fqn']
+>(
+  id: Id,
+  to: To,
+  titleOrProps?: string | Props | undefined
+) => (builder: DeploymentModelBuilder<T>) => DeploymentModelBuilder<Types.AddDeploymentFqn<T, Id>>
+
+type AddDeploymentNodeHelper<T = unknown> = <const Id extends string>(
+  id: 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 DeloymentModelHelpers<T extends AnyTypes> = AddDeploymentNodeHelpers<T> & {
+  instanceOf: AddDeployedInstance<T['NewDeploymentNodeProps']>
+  rel: AddDeploymentRelation<T['NewRelationshipProps']>
+  deployment: typeof deployment
+}

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
@@ -208,14 +217,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'>

package/src/builder/Builder.model.ts

@@ -1,7 +1,7 @@
 import type { Element, Fqn, Relation } from '../types'
-import type { AnyTypes, AnyTypesNested, Types, TypesNested } from './_types'
+import type { AnyTypes, AnyTypesNested, Invalid, Types } from './_types'
 import type { Builder } from './Builder'
-import type { AddElementHelpers } from './Builder.element'
+import type { AddElement } from './Builder.element'
 
 export interface ModelBuilder<T extends AnyTypes> {
   addElement(element: Element): Builder<T>
@@ -339,6 +339,17 @@ export type NestedRelationshipHelper<Props = unknown> = <T extends AnyTypesNeste
   titleOrProps?: string | Props
 ) => (builder: ModelBuilder<T>) => ModelBuilder<T>
 
+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, any, any> ? {
+    [Kind in Kinds]: AddElementHelper<T['NewElementProps']>
+  }
+  : Invalid<'No Element Kinds'>
+
 export type ModelHelpers<T extends AnyTypes> = AddElementHelpers<T> & {
   model: typeof model
   rel: RelationshipHelper<T['NewRelationshipProps']>