kotlin - 有没有优雅的方法可以在 kotlin 和箭头中将 List 变成 NonEmptyList？

Question

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

    if (list.isNotEmpty()) {
        Nel(list[0], list.subList(1, list.lastIndex))
    }
}

根据箭头文件，它似乎可以通过Semigroupor来完成Monad binding。但是，没有代码可以替换List为NonEmptyList.

有没有更好的方法来替换List而不NonEmptyList使用subList？

Answer 1

有一个伴随函数fromList返回一个Option<NonEmptyList>或者如果你确定使用fromListUnsafe：

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

val nelistOption = NonEmptyList.fromList(list)

val nelist = NonEmptyList.fromListUnsafe(list)