toString

Kind

arrow-kinds

kotlinc

@higherkind data class ListK<A>(val list: List<A>): ListKOf<A>

// Generates the following code:
//
// class ForListK private constructor() { companion object {} }
// typealias ListKOf<A> = Kind<ForListK, A>
// fun ListKOf<A>.fix() = this as ListK<A>

@extension

jvm

IO<Either<E, A>>

left

right

fun <E, A> IO<Either<E, A>>.handleErrorWith(f: (E) -> IO<Either<E, A>>): IO<Either<E, A>> {
    return flatMap { either ->
        either.fold(ifLeft = {
            f(it)
        }, ifRight = { this })
    }
}

BIO<E, A>

// Android's fragment code
override fun onResume() {
    super.onResume()
    unsafe {
        runBlocking {
            fx {
                println("DEBUG onResume 0 $threadName")
                continueOn(NonBlocking)
                println("DEBUG onResume 1 $threadName")
                continueOn(Dispatchers.Default)
                println("DEBUG onResume 2 $threadName")
                continueOn(Dispatchers.Main)
                println("DEBUG onResume main $threadName")
            }
        }
    }
}

DEBUG onResume 0 main
DEBUG onResume 1 ForkJoinPool-1-worker-2
DEBUG onResume 2 DefaultDispatcher-worker-2

<|>

many