how to marshal my type information in pkl into json?

[bronze1man]

how to marshal my type information in pkl into json?
I want use pkl to define type to generate type to golang and typescript.
The default Code generation of pkl golang do not meet my need. I want to know the union info, but it do not have.
And pkl can not generate type to typescript.
I think it may be better to just marshal my type information into json.
I have tried using reflect.Class to output as json, it will stack overflow. I failed.
I have tried writing code in pkl to generate something can be marshal, the language is too difficult to write for me, I failed again.

Workaround right now: just define a class as struct then write my type information as data to marshal to json.

my pkl file looks like:

typealias UiPage_t = UiListPage_t | UiEditPage_t
class UiEditPage_t{
  Title:String
  SubmitUrl:String
  TextFieldList:Listing<String>
}
class UiListPage_t{
  Title:String
  FieldList:Listing<String>
}

[stackoverflow]

You can use the cli to render you pkl files to JSON and read it from any language you like: pkl eval -f json your_file.pkl.
Is that what you mean?

[bronze1man]

I want the type information of my pkl files . Not the data.
something like:

typealias UiPage_t = UiListPage_t | UiEditPage_t
class UiEditPage_t{
  Title:String
  SubmitUrl:String
  TextFieldList:Listing<String>
}
class UiListPage_t{
  Title:String
  FieldList:Listing<String>
}

[bioball]

Some more information is needed here in order to help you out. What does your Pkl code look like, and what is your ideal Go and Typescript code?

In Go, typealiases of string literal unions will turn into "enums".

Sample Pkl code: https://github.com/apple/pkl-go-examples/blob/main/pkl/AppConfig.pkl#L42

Generated Go code: https://github.com/apple/pkl-go-examples/blob/main/gen/appconfig/loglevel/LogLevel.pkl.go

[bronze1man]

I have read the document, it do not support union of two classes. And it do not let me read the type information as data then generation whatever i want.

[bronze1man]

I try the reflect harder . Here is the pkl code I got, it solve my origin problem:

example.pkl

typealias UiPage_t = UiListPage_t | UiEditPage_t
class UiEditPage_t{
  Title:String
  SubmitUrl:String
  TextFieldList:Listing<String>
}
class UiListPage_t{
  Title:String
  FieldList:Listing<String>
}

gen.pkl

import "example.pkl" as inModule
import "pkl:reflect"

class Gen_define_t{
  Name:String
  Type:"Class"|"Union"
  ClassFieldList:List<Gen_Field_t>?
  UnionTypeList:List<Gen_Type_t>?
  Debug1:String?
}
class Gen_Field_t{
  Name:String
  Type:Gen_Type_t
}
class Gen_Type_t{
  Type1:String
  ListElemType:Gen_Type_t?
}
function convType(type:reflect.Type):Gen_Type_t =
  let(_type1 = if (type is reflect.DeclaredType) type.referent.name else "") new Gen_Type_t{
      Type1 = _type1
      ListElemType = if (_type1=="Listing") (convType((type as reflect.DeclaredType).typeArguments.getOrNull(0)!!)) else (null)
}
function convClasses(cls:reflect.Class):Gen_define_t = new Gen_define_t{
  Name = cls.name
  Type = "Class"
  ClassFieldList = cls.properties.values.map((value)->new Gen_Field_t{
      Name = value.name
      Type = convType(value.type)
  })
}
function convTypeAlias(cls:reflect.TypeAlias):Gen_define_t = new Gen_define_t{
  Name = cls.name
  Type = "Union"
  UnionTypeList = (cls.referent as reflect.UnionType).members.map((typ)->convType(typ))
}
thisOut = reflect.Module(inModule).classes.values.map((cls)->convClasses(cls)) + reflect.Module(inModule).typeAliases.values.map((cls)->convTypeAlias(cls))

pkl eval gen.pkl -f json

{
  "thisOut": [
    {
      "Name": "UiEditPage_t",
      "Type": "Class",
      "ClassFieldList": [
        {
          "Name": "Title",
          "Type": {
            "Type1": "String"
          }
        },
        {
          "Name": "SubmitUrl",
          "Type": {
            "Type1": "String"
          }
        },
        {
          "Name": "TextFieldList",
          "Type": {
            "Type1": "Listing",
            "ListElemType": {
              "Type1": "String"
            }
          }
        }
      ]
    },
    {
      "Name": "UiListPage_t",
      "Type": "Class",
      "ClassFieldList": [
        {
          "Name": "Title",
          "Type": {
            "Type1": "String"
          }
        },
        {
          "Name": "FieldList",
          "Type": {
            "Type1": "Listing",
            "ListElemType": {
              "Type1": "String"
            }
          }
        }
      ]
    },
    {
      "Name": "UiPage_t",
      "Type": "Union",
      "UnionTypeList": [
        {
          "Type1": "UiListPage_t"
        },
        {
          "Type1": "UiEditPage_t"
        }
      ]
    }
  ]
}