有没有优雅的方法可以将列表转换为kotlin和arrow中的NonEmptyList？

Question

Semigroup

根据箭头文档，似乎可以通过Monad binding或List来做到。 但是，没有代码将NonEmptyList替换为List。

是否有更好的方法可以在不使用NonEmptyList的情况下将subList替换为#positivewibes？

Answer 1

有一个伴随函数fromList，它返回一个Option<NonEmptyList>或您确定使用fromListUnsafe的情况：

val list = listOf(1, 2, 3, 4, 5)

val nelistOption = NonEmptyList.fromList(list)

val nelist = NonEmptyList.fromListUnsafe(list)