Schemas

schema SchemaName {
    type propertyName
    type propertyWithDefault = defaultValue
}

schema DatabaseConfig {
    string host
    number port = 5432
    boolean ssl = true
}

schema ServerConfig {
    // Required properties (no default)
    string name
    string region

    // Optional properties (with defaults)
    string instanceType     = "t3.micro"
    number port             = 8080
    boolean public          = false

    // Array property
    string[] securityGroups = []

    // Object property
    object tags             = {}
}

schema AwsS3Bucket {
    string name
    string region      = "us-east-1"
    boolean versioning = false
}

resource AwsS3Bucket photos {
    name               = "my-photos-bucket"
    versioning         = true
}

schema AwsInstance {
    string name                      // User-set
    @cloud string arn                // Cloud-generated, not importable
    @cloud(importable) string id     // Cloud-generated, can be used for import
    @cloud string publicIp           // Cloud-generated
}

resource AwsInstance server {
    name                = "web-server"
    // arn, id, publicIp are NOT set here
    // They come from AWS after apply
}

// Access cloud-generated properties
output string serverArn = server.arn
output string serverId  = server.id

schema ServerConfig {
    @allowed(["default", "dedicated", "host"])
    string tenancy    = "default"

    @allowed(["gp2", "gp3", "io1", "io2"])
    string volumeType = "gp3"

    @allowed([80, 443, 8080, 8443])
    number port       = 80
}

schema DatabaseConfig {
    @description("The database hostname or IP address")
    string host

    @description("Port number for database connections")
    number port = 5432

    @description("Enable SSL/TLS encryption")
    boolean ssl = true
}

schema DatabaseConfig {
    string host
    number port = 5432

    @sensitive
    string password

    @sensitive
    string connectionString
}

schema UserConfig {
    @minLength(3)
    @maxLength(50)
    string username

    @minValue(18)
    @maxValue(120)
    number age

    @validate(regex: "^[a-z0-9._%+-]+@[a-z0-9.-]+\\.[a-z]{2,}$")
    string email

    @nonEmpty
    string[] roles
}

schema NetworkConfig {
    string vpcId
    string subnetId
    string[] securityGroups = []
}

schema ServerConfig {
    string name
    string instanceType     = "t3.micro"
    NetworkConfig network  // Nested schema
}

resource ServerConfig server {
    name                    = "web-server"
    network                 = {
        vpcId: "vpc-123",
        subnetId: "subnet-456"
    }
}

schema Point { number x; number y }
schema Color { number r; number g; number b; number a = 1.0 }