-- type.json --
{
  "type": "object",
  "title": "Main schema",

  "properties": {
    "fields" : {
      "type": "object",
      "minProperties": 3,
      "maxProperties": 10,
      "propertyNames": {
        "pattern": "^\\P{Lu}"
      }
    },
    "additional": {
      "type": "object",
      "properties": {
        "foo": { "type": "number" },
        "bar": { "type": "number" }
      },
      "additionalProperties": { "type": "string" }
    },
    "map": {
      "type": "object",
      "additionalProperties": { "type": "string" }
    },
    "patterns": {
      "type": "object",
      "properties": {
        "foo": { "type": "number" },
        "bar": { "type": "number" }
      },
      "patternProperties": {
        "^\\P{Lu}": { "type": "string" },
        "^\\P{Lo}": { "type": "integer" }
      }
    },
    "patternsNoProps": {
      "type": "object",
      "patternProperties": {
        "^\\P{Lu}": { "type": "string" },
        "^\\P{Lo}": { "type": "integer" }
      }
    },
    "complex": {
      "type": "object",
      "properties": {
        "foo": { "type": "number" },
        "bar": { "type": "number" }
      },
      "patternProperties": {
        "^\\P{Lu}": { "type": "string" },
        "^\\P{Lo}": { "type": "integer" }
      },
      "additionalProperties": { "type": "string" }
    }
  },
  "additionalProperties": false
}

-- out.cue --
import "struct"

// Main schema
Schema :: {
	fields?: struct.MaxFields(10) & {
		[=~"^\\P{Lu}"]: _
	}
	additional?: {
		foo?: number
		bar?: number

		{[!~"^(foo|bar)$"]: string}
	}
	map?: [string]: string
	patterns?: {
		foo?: number
		bar?: number

		{[=~"^\\P{Lu}" & !~"^(foo|bar)$"]: string}

		{[=~"^\\P{Lo}" & !~"^(foo|bar)$"]: int}
		...
	}
	patternsNoProps?: {
		{[=~"^\\P{Lu}" & !~"^()$"]: string}

		{[=~"^\\P{Lo}" & !~"^()$"]: int}
		...
	}
	complex?: {
		foo?: number
		bar?: number

		{[=~"^\\P{Lu}" & !~"^(foo|bar)$"]: string}

		{[=~"^\\P{Lo}" & !~"^(foo|bar)$"]: int}

		{[!~"^\\P{Lu}" & !~"^\\P{Lo}" & !~"^(foo|bar)$"]: string}
	}
}