scala – 测试副作用monad的定律

case class ApiAction[A](run: Credentials => Either[Error,A])

和一些执行Web服务调用的函数

// Retrieve foo by id
def get(id: Long): ApiAction[Foo] = ???

// List all foo's
def list: ApiAction[Seq[Foo]] = ???

// Create a new foo
def create(name: String): ApiAction[Foo] = ???

// Update foo
def update(updated: Foo): ApiAction[Foo] = ???

// Delete foo
def delete(id: Long): ApiAction[Unit] = ???

我也让ApiAction成为monad

implicit val monad = new Monad[ApiAction] { ... }

所以我可以做点什么

create("My foo").run(c)
get(42).map(changeFooSomehow).flatMap(update).run(c)
get(42).map(_.id).flatMap(delete).run(c)

现在我有麻烦测试它的monad法律

val x = 42
val unitX: ApiAction[Int] = Monad[ApiAction].point(x)

"ApiAction" should "satisfy identity law" in {
  Monad[ApiAction].monadLaw.rightIdentity(unitX) should be (true)
}

因为monadLaw.rightIdentity使用相同的

def rightIdentity[A](a: F[A])(implicit FA: Equal[F[A]]): Boolean = 
  FA.equal(bind(a)(point(_: A)),a)

而且没有平等[ApiAction].

[error] could not find implicit value for parameter FA: scalaz.Equal[ApiAction[Int]]
[error]     Monad[ApiAction].monadLaw.rightIdentity(unitX) should be (true)
[error]                                            ^

问题是我甚至无法想象如何定义Equal [ApiAction]. ApiAction本质上是一个函数,我不知道函数的任何相等关系.当然可以比较运行ApiAction的结果,但它不一样.

当我做一些非常错误的事情或者不理解某些必要的东西时,我觉得这样.所以我的问题是：

> ApiAction成为monad是否有意义？
>我设计了ApiAction吗？
>我应该如何测试其monad法律？