Can I fix the mapping keys?

[kaihendry]

Say I have a config that looks like:

outputs {
  new {
    name = "test2"
    ["dev"] {
      lifespan = 1
    }
    ["prd"] {
      lifespan = 8
    }
  }
}

How do limit the "dev" "prd" keys to "dev"|"int"|"uat"|"prd"?

The repo I am working from: https://github.com/kaihendry/pkl-env

[kaihendry]

Ah, I figured it out:

pkl-env $ cat schema.pkl 
open module demo

typealias ENV = "dev"|"int"|"uat"|"prd"

class Deployment {
    name: String
}

outputs: Mapping<ENV, Deployment>pkl-env $ cat config.pkl 
amends "schema.pkl"
outputs {
  ["dev"] { name = "Dev deployment" }
  ["prd"] { name = "Prod deployment" }
  ["uat"] { name = "UAT deployment" }
}pkl-env $ make
pkl eval -f yaml config.pkl | tee config.yml
outputs:
  dev:
    name: Dev deployment
  prd:
    name: Prod deployment
  uat:
    name: UAT deployment