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