arrow-core / arrow.core.extensions.list.functor / kotlin.collections.List / widen
widen
@JvmName("widen") fun <B, A : B> List<A>.~~widen~~(): List<B>
Deprecated: @extension projected functions are deprecated
arrow-core / arrow.core.extensions.list.functor / kotlin.collections.List / widen
@JvmName("widen") fun <B, A : B> List<A>.~~widen~~(): List<B>
Deprecated: @extension projected functions are deprecated
Do you like Arrow?
✖