Hi, I would like to resolve the generic type of a ...

# ksp

[Thomas]

Hi, I would like to resolve the generic type of a property. Let's say I have the following code:

public interface Base
public interface ExtendedBase: Base

public abstract class MyFlow<T> : Flow<T.() -> Unit>
public class MyFlow2<T : Base> : MyFlow<() -> T>() {
    ...
}

public class Container {
    public val myFlow: MyFlow2<ExtendedBase>
}

I want to know the resolved type of the underlying flow i.e. myFlow is a flow that emits values of type (() -> ExtendedBase).() -> Unit (it is a Flow<(() -> ExtendedBase).() -> Unit>).
Are there any helper functions to get this information or would I have to write the code myself?

[Jiaxiang]

you will have to write the code yourself, you can resolve the type of the property and you should be able to see the type arguments in the resolved type.

[Thomas]

Thanks @Jiaxiang. Another question, kind of related. When I have something like Flow<List<Int>> are there any helper functions to get the complete generic argument i.e. List<Int> or do I have to resolve it myself?

[Jiaxiang]

by getting the type argument of Flow you should be able to get List<Int> as a result?

[Thomas]

I wasn’t clear enough, sorry. I want to have the type argument as a string without having to parse down the nested argument chain myself in order to construct the string. That is I would like to get "List<Map<Int, String.() -> Unit>" for a Flow<List<Map<Int, String.() -> Unit>> for example.

[Jiaxiang]

we have builtin toString implementations, if it does not fit your use case, then you will have to write your own logics.

[Thomas]

Ok. Thanks. Seems like I have to parse everything myself in order to get the complete string.