arrow-core-data / arrow.core / kotlin.sequences.Sequence / widen

widen

fun <B, A : B> Sequence<A>.widen(): Sequence<B>

Given A is a sub type of B, re-type this value from Sequence to Sequence

Kind<F, A> -> Kind<F, B>

import arrow.core.widen

fun main(args: Array<String>) {
 //sampleStart
 val result: Sequence<CharSequence> =
   sequenceOf("Hello World").widen()
 //sampleEnd
 println(result)
}