GenericTypeConstructor

data class GenericTypeConstructor(dri: DRI, projections: List<Projection>, presentableName: String?, extra: PropertyContainer<GenericTypeConstructor>) : TypeConstructor, WithExtraProperties<GenericTypeConstructor>

Functions

withNewExtras

open override fun withNewExtras(newExtras: PropertyContainer<GenericTypeConstructor>): GenericTypeConstructor

Properties

dri

open override val dri: DRI

extra

open override val extra: PropertyContainer<GenericTypeConstructor>

presentableName

open override val presentableName: String? = null

projections

open override val projections: List<Projection>