Generic Type Constructor
data class GenericTypeConstructor(val dri: DRI, val projections: List<Projection>, val presentableName: String? = null, val extra: PropertyContainer<GenericTypeConstructor> = PropertyContainer.empty()) : TypeConstructor, WithExtraProperties<GenericTypeConstructor>
Constructors
Link copied to clipboard
constructor(dri: DRI, projections: List<Projection>, presentableName: String? = null, extra: PropertyContainer<GenericTypeConstructor> = PropertyContainer.empty())
Functions
Link copied to clipboard
open override fun withNewExtras(newExtras: PropertyContainer<GenericTypeConstructor>): GenericTypeConstructor