use generic type aliases

Author: metafates

README.md

@@ -99,18 +99,16 @@ func (ShortStr) Validate(v string) error {
 	return nil
 }
 
-// that's it, basically. now we can use this validator in our request.
-
-// but we can go extreme! we can combine multiple validators using types
-type ASCIIShortStr struct {
-	// both ASCII and ShortStr must be satisfied.
-	// you can also use [validate.Or] to ensure that at least one condition is satisfied.
-	validate.And[
-		string,
-		validate.Charset0[string, charset.ASCII],
-		ShortStr,
-	]
-}
+// That's it, basically. Now we can use this validator in our request.
+
+// But we can go extreme! It is possible to combine multiple validators using types.
+// both ASCII and ShortStr must be satisfied.
+// you can also use [validate.Or] to ensure that at least one condition is satisfied.
+type ASCIIShortStr = validate.And[
+	string,
+	validate.Charset0[string, charset.ASCII],
+	ShortStr,
+]
 
 // Now, our final request may look something like that
 type Request struct {
@@ -326,7 +324,7 @@ func main() {
 		&example,
 
 		// this function also accepts variadic options.
-		// here we say that unknown fields will result parsing error (by default they won't. just like json)
+		// here we say that unknown fields will result parsing error (by default they won't, just like json)
 		parse.WithDisallowUnknownFields(),
 	)
 	if err != nil {

bench/DataWithGen_schema_test.go

@@ -59,18 +59,16 @@ func (ShortStr) Validate(v string) error {
 	return nil
 }
 
-// that's it, basically. now we can use this validator in our request.
-
-// but we can go extreme! we can combine multiple validators using types
-type ASCIIShortStr struct {
-	// both ASCII and ShortStr must be satisfied.
-	// you can also use [validate.Or] to ensure that at least one condition is satisfied.
-	validate.And[
-		string,
-		validate.Charset0[string, charset.ASCII],
-		ShortStr,
-	]
-}
+// That's it, basically. Now we can use this validator in our request.
+
+// But we can go extreme! It is possible to combine multiple validators using types.
+// both ASCII and ShortStr must be satisfied.
+// you can also use [validate.Or] to ensure that at least one condition is satisfied.
+type ASCIIShortStr = validate.And[
+	string,
+	validate.Charset0[string, charset.ASCII],
+	ShortStr,
+]
 
 // Now, our final request may look something like that
 type Request struct {

examples/codegen/User_schema.go

@@ -29,6 +29,9 @@ func (c *TypeConverter) ConvertType(t types.Type) jen.Code {
 	case *types.Named:
 		return c.convertTypeNamed(t)
 
+	case *types.Alias:
+		return c.ConvertType(t.Rhs())
+
 	case *types.Basic:
 		return jen.Id(t.Name())
 
@@ -42,27 +45,31 @@ func (c *TypeConverter) ConvertType(t types.Type) jen.Code {
 		return jen.Map(c.ConvertType(t.Key())).Add(c.ConvertType(t.Elem()))
 
 	case *types.Struct:
-		fields := make([]jen.Code, 0, t.NumFields())
+		return c.convertTypeStruct(t)
 
-		for i := range t.NumFields() {
-			field := t.Field(i)
-			tag := t.Tag(i)
-			fieldCode := jen.Id(field.Name()).Add(c.ConvertType(field.Type()))
+	default:
+		// Fallback for any other types
+		return jen.Id(t.String())
+	}
+}
 
-			if tag != "" {
-				tagMap := parseStructTags(tag)
-				fieldCode = fieldCode.Tag(tagMap)
-			}
+func (c *TypeConverter) convertTypeStruct(t *types.Struct) jen.Code {
+	fields := make([]jen.Code, 0, t.NumFields())
 
-			fields = append(fields, fieldCode)
-		}
+	for i := range t.NumFields() {
+		field := t.Field(i)
+		tag := t.Tag(i)
+		fieldCode := jen.Id(field.Name()).Add(c.ConvertType(field.Type()))
 
-		return jen.Struct(fields...)
+		if tag != "" {
+			tagMap := parseStructTags(tag)
+			fieldCode = fieldCode.Tag(tagMap)
+		}
 
-	default:
-		// Fallback for any other types
-		return jen.Id(t.String())
+		fields = append(fields, fieldCode)
 	}
+
+	return jen.Struct(fields...)
 }
 
 func (c *TypeConverter) convertTypeNamed(t *types.Named) jen.Code {