Monad трансформатор для дизъюнкции и будущего

Question

У меня есть код, возвращающий Future[String \/ Response], экземпляры монады для обоих Disjunction и Future и функции getResult: Response => [String \/ Result]. Теперь это написано с несколькими вложенными функциями, и я хочу увидеть его следующим образом

for { 
    response <- getResponse 
    result <- getResult(response) 
} yield result // Future[String \/ Result] 

Как я могу понять, монада трансформаторы используют именно для этой цели, и я мог бы сделать similar вещи, если бы я Option вместо \/. Но, к сожалению, я не смог найти FutureT или DisjunctionT (хотя для кошек существует XorT).

Итак, можно ли написать монодальный трансформатор для цели? Может быть, он уже существует или я что-то не понимаю.

Answer 1

Вы можете использовать scalaz.EitherT, чтобы комбинировать эффекты \/ (Дизъюнкция) и еще одну монашку, в вашем случае Future.

def getResponse: Future[String \/ Response] = ??? 
def getResult(resp: Reponse): Future[String \/ Result] = ??? 

(for { 
    response <- EitherT(getResponse) 
    result <- EitherT(getResult(response)) 
} yield result).run 
// Future[String \/ Result] 

Или вы можете изменить типы возврата функций getResponse и getResult вернуться EitherT:

type R[A] = EitherT[Future, String, A] 

def getResponse: R[Response] = ??? 
def getResult(resp: Reponse): R[Result] = ??? 

(for { 
    response <- getResponse 
    result <- getResult(response) 
} yield result).run 
// Future[String \/ Result]