Choreo.Infrastructure (Choreo v0.9.0)

Cloud network and infrastructure topology preset built on top of Choreo's rendering primitives.

Choreo.Infrastructure is a domain-specific vocabulary layer that adds cloud-network concepts — VPCs, subnets, compute, load balancers, managed databases, storage — on top of the same graph, cluster, and rendering stack used by Choreo. It is not a parallel implementation: it shares Choreo.Theme, Choreo.Internal, and the Yog rendering pipeline directly.

The key additions over plain Choreo are:

Typed cluster boundaries — :vpc, :subnet_public, :subnet_private carry security semantics (e.g. databases should not be in public subnets) that generic clusters do not.
Choreo.Infrastructure.Analysis — structural audit rules that inspect topology against those security semantics (direct internet-to-private-subnet links, misplaced databases, etc.).
Network vocabulary — add_vpc/3, add_compute/3, add_managed_db/3 etc. as intent-revealing builders instead of the generic add_cluster/3 / add_service/3.

Node colors and shapes are resolved through Choreo.Theme (:internet, :compute, and :managed_db are first-class theme types), so the full theme system — including :dark, :warm, :forest, :ocean — applies to infrastructure diagrams without any extra configuration.

Element types

:internet — public gateway or client zone
:load_balancer — traffic proxy (e.g. ALB, ingress)
:compute — application runner (EC2, ECS task, Kubernetes pod)
:managed_db — stateful database (RDS, Aurora)
:storage — blob/file storage (S3, EFS)

Network boundaries (Clusters)

:vpc — Virtual Private Cloud container
:subnet_public — Public subnet zone (internet-facing)
:subnet_private — Private subnet zone (isolated)

Quick Start

infra =
  Choreo.Infrastructure.new()
  |> Choreo.Infrastructure.add_internet(:gateway, label: "Internet Gateway")
  |> Choreo.Infrastructure.add_vpc("vpc_main", label: "Production VPC")
  |> Choreo.Infrastructure.add_subnet_public("subnet_dmz", label: "Public Subnet", parent: "vpc_main")
  |> Choreo.Infrastructure.add_subnet_private("subnet_app", label: "Private Subnet", parent: "vpc_main")
  |> Choreo.Infrastructure.add_load_balancer(:alb, label: "ALB", cluster: "subnet_dmz")
  |> Choreo.Infrastructure.add_compute(:api, label: "API Service", cluster: "subnet_app")
  |> Choreo.Infrastructure.add_managed_db(:db, label: "Postgres RDS", cluster: "subnet_app")
  |> Choreo.Infrastructure.connect(:gateway, :alb)
  |> Choreo.Infrastructure.connect(:alb, :api)
  |> Choreo.Infrastructure.connect(:api, :db)

# Check for architecture warning violations
warnings = Choreo.Infrastructure.Analysis.warnings(infra)

dot = Choreo.Infrastructure.to_dot(infra)
mermaid = Choreo.Infrastructure.to_mermaid(infra)

Summary

Types

t()

Functions

add_compute(infra, id, opts \\ [])

Adds a compute workload runner node (EC2, ECS task, Kubernetes pod).

add_internet(infra, id, opts \\ [])

Adds an internet gateway or public internet entrypoint node.

add_load_balancer(infra, id, opts \\ [])

Adds a load balancer proxy node (ALB, Ingress Controller).

add_managed_db(infra, id, opts \\ [])

Adds a managed database node (RDS, Aurora, DynamoDB).

add_storage(infra, id, opts \\ [])

Adds a storage bucket or block storage node (S3, EFS).

add_subnet_private(infra, name, opts \\ [])

Adds a private subnet cluster boundary.

add_subnet_public(infra, name, opts \\ [])

Adds a public subnet cluster boundary.

add_vpc(infra, name, opts \\ [])

Adds a VPC cluster network boundary.

connect(infra, from, to, opts \\ [])

Connects two infrastructure nodes together.

edges(infrastructure)

Returns all edges.

new()

Creates a new empty cloud infrastructure diagram.

nodes(infrastructure)

Returns all node IDs.

to_choreo(infra)

to_dot(infra, opts \\ [])

Renders the infrastructure topology to DOT format.

to_mermaid(infra, opts \\ [])

Renders the infrastructure topology to Mermaid.js syntax.