NonEmpty

NonEmpty(item) :: # (opaque)

A list with at least one element. Used for required Redis variadic operands.

new : item, List(item) -> NonEmpty(item)

from_list : List(item) -> Try(NonEmpty(item), [EmptyList])

to_list : NonEmpty(item) -> List(item)

len : NonEmpty(item) -> U64