NonEmptyIterable Constructor for Arrays in Option Context

Is there a NonEmptyIterable constructor?
EG: like

Array.nonEmpty([]) === Option.none()

Array.nonEmpty([]) === Option.none()

Array.nonEmpty([1,2,3]) === Option.some([1,2,3]) :: [number, ...number[]]

Array.nonEmpty([1,2,3]) === Option.some([1,2,3]) :: [number, ...number[]]

Or something like that?

NonEmptyIterable Constructor for Arrays in Option Context - Effect Community