The Applicative typeclass abstracts the ability to lift values and apply functions over the computational context of a type constructor. Examples of type constructors that can implement instances of the Applicative typeclass include Option, NonEmptyList, List and many other datatypes that include a just and either ap function. ap may be derived for monadic types that include a Monad instance via flatMap.

Applicative includes all combinators present in Functor.

Applicative Builder examples

Often times we find ourselves in situations where we need to compute multiple independent values resulting from operations that do not depend on each other.

In the following example we will define 3 invocations that may as well be remote or local services each one of them returning different results in the same computational context of Option

import arrow.*
import arrow.core.*

fun profileService(): Option<String> = Some("Alfredo Lambda")
fun phoneService(): Option<Int> = Some(55555555)
fun addressService(): Option<List<String>> = Some(listOf("1 Main Street", "11130", "NYC"))

This more or less illustrate the common use case of performing several independent operations where we need to get all the results together

The typeclass features several methods related to Applicative Builders that allow you to easily combine all the independent operations into one result.

import arrow.core.extensions.option.applicative.*

data class Profile(val name: String, val phone: Int, val address: List<String>)

val r: Option<Tuple3<String, Int, List<String>>> = Option.applicative().tupled(profileService(), phoneService(), addressService()).fix() { Profile(it.a, it.b, it.c) }
// Some(Profile(name=Alfredo Lambda, phone=55555555, address=[1 Main Street, 11130, NYC]))

The Applicative Builder also provides a map operations that is able to abstract over arity in the same way as tupled

Option.applicative().map(profileService(), phoneService(), addressService(), { (name, phone, addresses) ->
  Profile(name, phone, addresses)
// Some(Profile(name=Alfredo Lambda, phone=55555555, address=[1 Main Street, 11130, NYC]))

Main Combinators


A constructor function, also known as pure in other languages. It lifts a value into the computational context of a type constructor.

fun <A> just(a: A): Kind<F, A>

Option.just(1) // Some(1)
// Some(1)

Kind<F, A>#ap

Apply a function inside the type constructor’s context

fun <A, B> Kind<F, A>.ap(ff: Kind<F, (A) -> B>): Kind<F, B>

Option.applicative().run { Some(1).ap(Some({ n: Int -> n + 1 })) }
// Some(2)

Other combinators

For a full list of other useful combinators available in Applicative see the Source

Kind<F, A>#map2

Map 2 values inside the type constructor context and apply a function to their cartesian product

Option.applicative().run { Some(1).map2(Some("x")) { z: Tuple2<Int, String> ->  "${z.a}${z.b}" } }
// Some(1x)

Kind<F, A>#map2Eval

Lazily map 2 values inside the type constructor context and apply a function to their cartesian product. Computation happens when .value() is invoked.

Option.applicative().run { Some(1).map2Eval(Eval.later { Some("x") }, { z: Tuple2<Int, String> ->  "${z.a}${z.b}" }).value() }
// Some(1x)


Arrow provides ApplicativeLaws in the form of test cases for internal verification of lawful instances and third party apps creating their own Applicative instances.

Creating your own Applicative instances

Arrow already provides Applicative instances for most common datatypes both in Arrow and the Kotlin stdlib.

See Deriving and creating custom typeclass to provide your own Applicative instances for custom datatypes.

Data types

Module Data types
arrow.core Either, Eval, Function0, Function1, Id, Option, Try, Tuple2 AndThen, Day, EitherT, Ior, Kleisli, ListK, NonEmptyList, OptionT, SequenceK, StateT, Validated, WriterT
arrow.effects IO
arrow.effects.reactor FluxK, MonoK
arrow.effects.rx2 FlowableK, MaybeK, ObservableK, SingleK Free, FreeApplicative
arrow.typeclasses Const

Additionally all instances of Monad and their MTL variants implement the Applicative typeclass directly since they are all subtypes of Applicative.

Type Class Hierarchy