简而言之,我想声明这样的特征:
trait Test {
def test(amount: Int): A[Int] // where A must be a Monad
}
这样我就可以在不知道A
是什么 monad 的情况下使用它,例如:
class Usecase {
def someFun(t: Test) = for { i <- t.test(3) } yield i+1
}
更多详情...
本质上,我想做这样的事情:
class MonadResultA extends SomeUnknownType {
// the base function
def test(s: String): Option[Int] = Some(3)
}
class MonadResultB(a: MonadResultA) extends SomeUnknownType {
// added a layer of Writer on top of base function
def test(s: String): WriterT[Option, String, Int] = WriterT.put(a.test(s))("the log")
}
class Process {
def work(x: SomeUnknownType) {
for {
i <- x.test("key")
} yield i+1
}
}
我希望能够在不对函数work
进行任何更改的情况下传递任何MonadResultA
或MonadResultB
实例。
缺少的是SomeUnknowType
,我想它应该有一个如下所示的test
,以使work
函数编译。
trait SomeUnknowType {
def test(s: String): T[Int] // where T must be some Monad
}
正如我所说,我还在学习这个单身的东西......如果你发现我的代码不是正确的方法,非常欢迎你指出来~
多谢~~
假设你有一个名为 Monad
的类型类,你可以只写
def test[A:Monad](amount: Int): A[Int]
编译器将要求在调用 test 时,作用域中存在隐式类型 Monad[A]
。
编辑:我仍然不确定您要查找什么,但是您可以将monad值及其相应的类型类打包成这样的特征:
//trait that holds value and monad
trait ValueWithMonad[E] {
type A[+E]
type M <: Monad[A]
val v:A[E]
val m:M
}
object M {
//example implementation of test method
def test(amount:Int):ValueWithMonad[Int] = new ValueWithMonad[Int] {
type A[+E] = Option[E]
type M = Monad[Option]
override val v = Option(amount)
override val m = OptionMonad
}
//test can now be used like this
def t {
val vwm = test(1)
vwm.m.bind(vwm.v, (x:Int) => {
println(x)
vwm.m.ret(x)
})
}
}
trait Monad[A[_]] {
def bind[E,E2](m:A[E], f:E=>A[E2]):A[E2]
def ret[E](e:E):A[E]
}
object OptionMonad extends Monad[Option] {
override def bind[E,E2](m:Option[E], f:E=>Option[E2]) = m.flatMap(f)
override def ret[E](e:E) = Some(e)
}