我有这样的单子数组
[Left("a"), Left("b"), Left("c")]
我想将其转换为这种形状
Left(["a", "b", "c"])
我该怎么做?
是否有特定的运算符来执行类似的操作,或者我应该自己编写?
您可以使用map()
map()
我会使用["a", "b", "c"].map(Left) :
["a", "b", "c"].map(Left)
将应用程序的可遍历转换为可遍历的应用程序。
sequence