Scalaz читателя к ReaderT

Question

функция, которую я не могу изменить возвращения Scalaz Reader,

type Action[A] = Reader[Session, A] 

def findAccount(s: String): Action[Account] = 
    Reader((session: Session) => Account(s)) 

Я хочу, чтобы создать новую функцию, основанную на findAccount(...) вернуть ReaderT[Option, Session, A] как в

type ActionT[A] = ReaderT[Option, Session, A] 

def findAccountT(s: String): ActionT[Account] = findAccount(s).map(Option(_)) 

, потому что в конце концов, я хочу сделать это,

def findAccBalT(accountNumber: String) = for { 
    acc <- findAccountT(accountNumber) 
    bal <- findBalanceT(acc) 
} yield bal 

Как мне продолжить? Имеет ли это смысл? Благодаря

Полное раскрытие,

import scalaz._ 
import Scalaz._   

trait Session { 
    def doSomething(): Unit 
} 

case class Account(number: String) extends AnyVal 
case class Amount(value: Int, currency: String) 
case class DBSession() extends Session { 
    override def doSomething = println("writing to db") 
} 

type Action[A] = Reader[Session, A] 
type ActionT[A] = ReaderT[Option, Session, A] 

def findAccount(s: String): Action[Account] = 
    Reader((session: Session) => Account(s)) 

def findBalance(account: Account): Action[Amount] = 
    Reader((session: Session) => Amount(333, "S$")) 

// failed 
def findAccountT(s: String): ActionT[Account] = findAccount(s).map(Option(_)) 

// failed 
def findBalanceT(account: Account): ActionT[Amount] = findBalance(account).map(Option(_)) 

// failed 
def findAccBalT(accountNumber: String) = for { 
    acc <- findAccountT(accountNumber) 
    bal <- findBalanceT(acc) 
} yield bal 

Answer 1

Короткий ответ: Вы можете использовать mapK.

Reader[A] является псевдонимом типа ReaderT[Id, A] и ReaderT является псевдонимом для Kleisli. Id[A] - это то же самое, что и A.

В Kleisli ScalaDoc мы находим mapK:

def mapK[N[_], C](f: (M[B]) => N[C]): Kleisli[N, A, C] 

Поскольку мы знаем, что Reader[Session, A] такое же, как Kleisli[Id, Session, A] мы можем использовать mapK, чтобы перейти к Kleisli[Option, Session, A]:

import scalaz._, Scalaz._ 

type Session = String 
type Action[A] = Reader[Session, A] 
type ActionT[A] = ReaderT[Option, Session, A] 

val action: Action[String] = Reader(s => s) 
val actionT: ActionT[String] = action mapK Option.apply