| 1 | /**
|
| 2 | * @since 0.5.7
|
| 3 | */
|
| 4 | import * as t from 'io-ts'
|
| 5 | /**
|
| 6 | * @since 0.5.7
|
| 7 | */
|
| 8 | export interface ReadonlyNonEmptyArray<A> extends ReadonlyArray<A> {
|
| 9 | readonly 0: A
|
| 10 | }
|
| 11 | /**
|
| 12 | * @since 0.5.7
|
| 13 | */
|
| 14 | export interface ReadonlyNonEmptyArrayC<C extends t.Mixed>
|
| 15 | extends t.Type<ReadonlyNonEmptyArray<t.TypeOf<C>>, ReadonlyNonEmptyArray<t.OutputOf<C>>, unknown> {}
|
| 16 | /**
|
| 17 | * @since 0.5.7
|
| 18 | */
|
| 19 | export declare function readonlyNonEmptyArray<C extends t.Mixed>(codec: C, name?: string): ReadonlyNonEmptyArrayC<C>
|
| 20 | |
| \ | No newline at end of file |