This is a work in progress and is mostly an outline at this point. More detailed information to come soon.


The akka-scalaz module provides implementations of most Scalaz type classes. The intended audience of this documentation is someone who is not familiar with Scalaz, as the methods are the same as long as the relevant type classes are implemented. At the moment only Future, functions returning Future, and Actors that return a Future benefit from this module and should behave similarily to Scalaz’s Promise.


TODO: Add examples

To use this module, you must import scalaz and the type classes for Future:

import scalaz._
import Scalaz._
import akka.scalaz.futures._

Note: Whenever an additional collection is required to explain the use of a method, List is used. Any other monad/functor/foldable/etc can be used in it’s placed, as long as the applicable type classes are defined in scalaz or are in scope elsewhere.


Future[A] map (A => B): Future[B]
Future[A] >| (=> B): Future[B]
Future[List[A]] map2 (A => B): Future[List[B]]
List[Future[A]] map2 (A => B): List[Future[B]]


Future[A] flatMap (A => Future[B]): Future[B]
Future[A] >>= (A => Future[B]): Future[B]
Future[Future[A]] join: Future[A]


Future[A] foreach (A => Unit): Unit
Future[A] |>| (A => Unit): Unit


(Future[A] <**> Future[B])((A, B) => C): Future[C]
Future[A] <|*|> Future[B]: Future[(A, B)]
Future[A] |@| Future[B]: ApplicativeBuilder[Future, A, B]


List[A] traverse (A => Future[B]): Future[List[B]]
List[Future[A]] sequence: Future[List[A]]


List[A].foldl(Future[B])((Future[B], A) => Future[B]): Future[B]
List[A] foldLeftM(B)((B, A) => Future[B]): Future[B]
List[Future[A]] foldl1 ((Future[A], Future[A]) => Future[A]): Option[Future[A]]
List[A].foldr(Future[B])((A, => Future[B]) => Future[B]): Future[B]
List[A] foldRightM(B)((B, A) => Future[B]): Future[B]
List[Future[A]] foldr1 ((Future[A], => Future[A]) => Future[A]): Option[Future[A]]


List[A] foldMapDefault (A => Future[B]): Future[B]
List[Future[A]] collapse: Future[A]
List[A] foldMap (A => Future[B]): Future[B]
List[Future[A]] sum: Future[A]
List[Future[A]] sumr: Future[A]
Future[A] |+| Future[A]: Future[A]
A +>: Future[A]: Future[A]


(A => Future[B]) >=> (B => Future[C]): A => Future[C]


Future[A] <+> Future[A]: Future[A]
Future[A] getOrElseM Future[Option[A]]: Future[A]
Future[A] copure: A
Future[A] fpure[List]: Future[List[A]]


An ActorRef can be implicitly converted into a function “Any => Future[Any]” and used wherever that function is accepted. For example:

ActorRef >=> ActorRef: Any => Future[Any]
Future[A] flatMap ActorRef: Future[Any]
List[A] traverse ActorRef: Future[List[Any]]


TODO: Explain when and where the given functions are applied to the value of a Future, and how to manipulate this. TODO: Configuration options

Type Classes


Pure Functor Bind Each Monad (implicitly from Pure and Bind) Apply (implicitly from Functor and Bind) Applicative (implicitly from Pure and Apply) Cojoin Copure Comonad (implicitly from Functor, Cojoin, and Copure)

The following type classes are available if the Future’s contained type also implements the same type class: Semigroup Zero Monoid (implicitly from Semigroup and Zero)