Sammons

#include <utility>
#include <tuple>
#include <iostream>
#include <string>

using namespace std;

typedef tuple<string, float> DistributedFloatMatrixElement;

struct DistributedFloatMatrixFile {

Sammons

Sammons

db // database interface generated by extracting database schema into typescript
  .users.as('u')
  .innerJoin.users.as('u2')
  .onCol.u.name.trim
  .equals.u2.name.trim
  // shorthand support for exact matches, in clauses
  .whereColumnsOf.u2({
    id: [1, 2]
  })

Sammons

    // inferred shape is { x: { name: string; }; y: { name: string; } }[]
    const results = await builder
      .stack('test')
      .addFirewall('edge-firewall', firewallBuilder => firewallBuilder.allowInbound('80', ['::']))
      .addNode('gateway', // typechecked, no duplicates allowed
        nodeBuilder => nodeBuilder
        .size.v1cpu2gb()
        .withDynamicVolume('edge-statics', {// typechecked, no duplicates allowed
          target: '/mnt/edge-statics',
          sizeGb: 20

Sammons

    class RootBuilder<
    FirewallNames extends string = never,
    NodeNames extends string = never, 
    NodesVolumes extends string = never,
    DockerServiceNames extends string = never
    > {}

Sammons

type AddFirewall<Builder, FirewallName extends string> =
 Builder extends RootBuilder<infer FirewallNames, infer NodeNames, infer NodesVolumes, infer DockerServiceNames>
 ? RootBuilder<FirewallNames | FirewallName, NodeNames, NodesVolumes, DockerServiceNames>
 : never

Sammons

addFirewall<
 FirewallName extends string,
 ReturnType extends AddFirewall<this, FirewallName>
 >(firewallName: Exclude<FirewallName, FirewallNames>): ReturnType {
 // … do whatever logic needs to be done
 return this as RootBuilder as ReturnType
 }

Sammons

new RootBuilder().addFirewall('x').addFirewall('y'); // all good
new RootBuilder().addFirewall('x').addFirewall('x'); // no good

Sammons

type InferFirewallNames<Builder> =
 Builder extends RootBuilder<infer FirewallNames, infer NodeNames, infer NodesVolumes, infer DockerServiceNames>
 ? FirewallNames
 : never

Sammons

class NodeBuilder<
 Builder
 > { }