5

我经常做这样的事情:

import cats.effect.Sync
import cats.implicits._

case class User(name: String)
case object Error extends Exception

def validate[F[_]: Sync](name: String): F[Either[Error, User]] = Sync[F].pure(User(name).asRight)

def doSomething[F[_]: Sync]: F[User] = for {
   maybeUser <- validate("Name")
   user <- maybeUser.fold(Sync[F].raiseError[User](_), Sync[F].pure(_))
} yield user

简而言之,这意味着 if Eitheris leftthen use raiseError,如果它right只是返回值。

有没有更方便的“解包” Either方式?

4

1 回答 1

5

liftTo从 catEither语法中使用: maybeUser.liftTo[F].

您也可以直接在rethrowcatMonadError语法中使用F[Either[Error, User]]:

def doSomething[F[_]: Sync]: F[User] = validate[F]("Name").rethrow

请注意,您实际上并不需要Sync-MonadError[*[_], Throwable]就足够了。

于 2019-11-09T17:32:34.883 回答