Hyperlinkv0.8.0-beta.28

NonEmptyIterable

NonEmptyIterable.nonEmptyconsteffect/NonEmptyIterable.ts:29
typeof nonEmpty

Defines the type-level symbol used to brand the NonEmptyIterable type.

When to use

Use as the property key for the type-level brand that marks an Iterable as non-empty.

Details

NonEmptyIterable<A> includes readonly [nonEmpty]: A, which makes it distinct from a plain Iterable<A> at compile time while preserving the normal iteration shape.

export declare const nonEmpty: unique symbol
Referenced by 1 symbols