RxJava 2

Arrow aims to enhance the user experience when using RxJava. While providing other datatypes that are capable of handling effects, like IO, the style of programming encouraged by the library allows users to generify behavior for any existing abstractions.

One of such abstractions is RxJava, a library focused on providing composable streams that enable reactive programming. Observable streams are created by chaining operators into what are called observable chains.

Observable.from(7, 4, 11, 3)
  .map { it + 1 }
  .filter { it % 2 == 0 }
  .scan { acc, value -> acc + value }
//[8, 20, 24]

Integration with your existing Observable chains

The largest quality of life improvement when using Observables in Arrow is the introduction of the Monad Comprehension. This library construct allows expressing asynchronous Observable sequences as synchronous code using binding/bind.

Arrow Wrapper

To wrap any existing Observable in its Arrow Wrapper counterpart you can use the extension function k().

import arrow.effects.*
import io.reactivex.*
import io.reactivex.subjects.*

val obs = Observable.fromArray(1, 2, 3, 4, 5).k()
val flow = Flowable.fromArray(1, 2, 3, 4, 5).k()
val subject = PublishSubject.create<Int>().k()

You can return to their regular forms using the function value().


Observable comprehensions

The library provides instances of MonadError and MonadSuspend.

MonadSuspend allows you to generify over datatypes that can run asynchronous code. You can use it with ObservableKW and FlowableKW.

fun <F> getSongUrlAsync(MS: MonadSuspend<F> = monadSuspend()) =
  MS { getSongUrl() }

val songObservable: ObservableKW<Url> = getSongUrlAsync().ev()
val songFlowable: FlowableKW<Url> = getSongUrlAsync().ev()

MonadError can be used to start a Monad Comprehension using the method bindingCatch, with all its benefits.

Let’s take an example and convert it to a comprehension. We’ll create an observable that loads a song from a remote location, and then reports the current play % every 100 milliseconds until the percentage reaches 100%:

  .map { songUrl -> MediaPlayer.load(songUrl) }
  .flatMap {
    val totalTime = musicPlayer.getTotaltime()
    Observable.interval(100, Milliseconds)
      .flatMap { 
        Observable.create { musicPlayer.getCurrentTime() }
          .map { tick -> (tick / totalTime * 100).toInt() }
      .takeUntil { percent -> percent >= 100 }

When rewritten using bindingCatch it becomes:

ObservableKW.monadError().bindingCatch {
  val songUrl = getSongUrlAsync().bind()
  val musicPlayer = MediaPlayer.load(songUrl)
  val totalTime = musicPlayer.getTotaltime()

  val end = PublishSubject.create<Unit>()
  Observable.interval(100, Milliseconds).takeUntil(end).bind()

  val tick = bindIn(UI) { musicPlayer.getCurrentTime() }
  val percent = (tick / totalTime * 100).toInt()
  if (percent >= 100) {


Note that any unexpected exception, like AritmeticException when totalTime is 0, is automatically caught and wrapped inside the observable.

Subscription and cancellation

Observables created with comprehensions like bindingCatch behave the same way regular observables do, including cancellation by disposing the subscription.

val disposable = 
    .subscribe({ Log.d("Song $it") } , { prinln("Error $it") })


Note that MonadSuspend provides an alternative to bindingCatch called bindingCancellable returning a arrow.Disposable. Invoking this Disposable causes an BindingCancellationException in the chain which needs to be handled by the subscriber, similarly to what Deferred does.

val (observable, disposable) = 
  ObservableKW.monadSuspend().bindingCancellable {
    val userProfile = Observable.create { getUserProfile("123") }
    val friendProfiles = userProfile.friends().map { friend ->
        bindAsync(observableAsync) { getProfile(friend.id) }
    yields(listOf(userProfile) + friendProfiles)

  .subscribe({ Log.d("User $it") } , { prinln("Boom! caused by $it") })

// Boom! caused by BindingCancellationException