我正在尝试在 Scala 中使用第一次无标记最终模式并且有点挣扎。
我有以下代数定义:
trait DbSetting[F[_]] {
def read(url: String, user: String, pw: String): F[DbParameter]
}
trait Environment[F[_]] {
def get(v: String) : F[Option[String]]
}
和口译员的实施:
final case class DbParameter(url: String, user: String, pw: String)
sealed trait DbError extends NoStackTrace
case object DbSettingError extends DbError
sealed trait DbError extends NoStackTrace
case object DbSettingError extends DbError
// Environment implementation
object Environment {
def apply[F[_]](implicit ev: Environment[F]): ev.type = ev
def impl[F[_]: Sync]: Environment[F] = new Environment[F] {
override def get(v: String): F[Option[String]] =
Sync[F].delay(sys.env.get(v))
}
}
// DbSetting implementation
class DbSystemEnvironment[F[_] : MonadError[*, Throwable]] private(env: Environment[F])
extends DbSetting[F] {
override def read(url: String, user: String, pw: String): F[DbParameter] = env.get(url)
}
我想做的是,Environment
组成DbSystemEnvironment
. 这里的问题是,我无法从中获取价值,因为我对inenv.get(url)
什么都不知道,除了它是一个. 如何从中获取价值?F
DbSystemEnvironment
MonadError
env.get(url)::F[Option[String]]
另外,如果在函数中env.get(url)
返回,那么它应该返回。Nothing
read
MonadError