feat: schema changes to support SumType (#1322)

Design doc: https://hackmd.io/TZqMfuyHTYaXd1gSECbpFg?view

backend/controller/console.go

@@ -106,7 +106,7 @@ func (c *ConsoleService) GetModules(ctx context.Context, req *connect.Request[pb
 					Config: c,
 				})
 
-			case *schema.Database, *schema.Enum:
+			case *schema.Database, *schema.Enum, *schema.SumType:
 			}
 		}
 

backend/controller/ingress/ingress.go

@@ -223,6 +223,18 @@ func validateValue(fieldType schema.Type, path path, value any, sch *schema.Sche
 				return fmt.Errorf("%s is not a valid variant of enum %s", value, fieldType)
 			}
 
+		case *schema.SumType:
+			for _, v := range d.Variants {
+				err := validateValue(v, path, value, sch)
+				if err == nil {
+					typeMatches = true
+					break
+				}
+			}
+			if !typeMatches {
+				return fmt.Errorf("%v is not a valid variant of sumtype %s", value, fieldType)
+			}
+
 		case *schema.Config, *schema.Database, *schema.Secret:
 
 		}

backend/controller/ingress/ingress_test.go

@@ -365,3 +365,52 @@ func TestEnumValidation(t *testing.T) {
 		}
 	}
 }
+
+func TestSumTypeValidation(t *testing.T) {
+	sch := &schema.Schema{
+		Modules: []*schema.Module{
+			{Name: "test", Decls: []schema.Decl{
+				&schema.SumType{
+					Name:     "IntOrBool",
+					Variants: []schema.Type{&schema.Int{}, &schema.Bool{}},
+				},
+				&schema.Data{
+					Name: "SumTypeRequest",
+					Fields: []*schema.Field{
+						{Name: "message", Type: &schema.Ref{Name: "IntOrBool", Module: "test"}},
+					},
+				},
+				&schema.Data{
+					Name: "OptionalSumTypeRequest",
+					Fields: []*schema.Field{
+						{Name: "message", Type: &schema.Optional{
+							Type: &schema.Ref{Name: "IntOrBool", Module: "test"},
+						}},
+					},
+				},
+			}},
+		},
+	}
+
+	tests := []struct {
+		validateRoot *schema.Ref
+		req          obj
+		err          string
+	}{
+		{&schema.Ref{Name: "SumTypeRequest", Module: "test"}, obj{"message": true}, ""},
+		{&schema.Ref{Name: "SumTypeRequest", Module: "test"}, obj{"message": 10.0}, ""},
+		{&schema.Ref{Name: "OptionalSumTypeRequest", Module: "test"}, obj{}, ""},
+		{&schema.Ref{Name: "OptionalSumTypeRequest", Module: "test"}, obj{"message": 10.0}, ""},
+		{&schema.Ref{Name: "SumTypeRequest", Module: "test"}, obj{"message": "akxznc"},
+			"akxznc is not a valid variant of sumtype test.IntOrBool"},
+	}
+
+	for _, test := range tests {
+		err := validateValue(test.validateRoot, []string{test.validateRoot.String()}, test.req, sch)
+		if test.err == "" {
+			assert.NoError(t, err)
+		} else {
+			assert.Contains(t, err.Error(), test.err)
+		}
+	}
+}