raulraja
07/17/2019, 12:29 AM----------------------------------
*Tree Mutation*
----------------------------------
Old
---
package consumer
sealed class Option<out A> {
object None : Option<Nothing>()
data class Some<out A>(val value: A) : Option<A>()
}
---
New
---
package consumer
class ForOption
typealias OptionOf<A> = arrow.Kind<ForOption, A>
sealed class Option<out A>(): OptionOf<A> {
object None : Option<Nothing>()
data class Some<out A>(val value: A) : Option<A>()
}
----------------------------------