Scala Cats Pure 在包含多个项目的列表中

Question

有猫库。我可以轻松做到

1.pure[List]

但是如何使用 pure 创建包含多个项目的列表？

Answer 1

一个 monad M 必须遵守一些法则。其中之一是

pure[M](x).flatMap(f) = f(x)

对于任意函数 f: A -> M[A]。

由于 List.flatMap 的通用实现，这为 pure[List] 的不同实现留出的空间不大。