a
F
Size: a a a
a
F
RO
RO
def example[T[_], A, B](inA: T[A], inB: T[B]): Future[Unit] = {
for {
a <- inA // convert to future implicitly
b <- inB // convert to future implicitly
} yield a + b
}
AS
λ
trait ToFuture[F[_]] {
def toFuture[A](ec: ExecutionContext)(fa: F[A]): F[Future[A]]
}
λ
RO
λ
SA
def example[T[_], A, B](inA: T[A], inB: T[B]): Future[Unit] = {
for {
a <- inA // convert to future implicitly
b <- inB // convert to future implicitly
} yield a + b
}
AR
RO
S🐉
a
a
a
a
Task
?a
λ
Oℕ
λ