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