effect-io-ai

Package: effect
Module: Array

Array.ReadonlyArray.AndNonEmpty

Creates a non-empty array only if both inputs are non-empty.

Example (Preserving non-emptiness from both inputs)

import type { Array } from "effect"

type Result = Array.ReadonlyArray.AndNonEmpty<
  readonly [number],
  readonly [string],
  boolean
>
// Result is NonEmptyArray<boolean>

Signature

type AndNonEmpty<S, T, A> = S extends NonEmptyReadonlyArray<any> ? T extends NonEmptyReadonlyArray<any> ? NonEmptyArray<A>
    : Array<A>
    : Array<A>

Source

Since v2.0.0