1 |
|
2 |
|
3 |
|
4 | import * as t from './index';
|
5 | import { Literal, Schemable1, WithUnion1, WithRefinement1, WithUnknownContainers1 } from './Schemable';
|
6 |
|
7 |
|
8 |
|
9 | export interface Type<A> extends t.Type<A, unknown, unknown> {
|
10 | }
|
11 |
|
12 |
|
13 |
|
14 | export declare function literal<A extends ReadonlyArray<Literal>>(...values: A): Type<A[number]>;
|
15 |
|
16 |
|
17 |
|
18 | export declare const string: Type<string>;
|
19 |
|
20 |
|
21 |
|
22 | export declare const number: Type<number>;
|
23 |
|
24 |
|
25 |
|
26 | export declare const boolean: Type<boolean>;
|
27 |
|
28 |
|
29 |
|
30 | export declare const UnknownArray: Type<Array<unknown>>;
|
31 |
|
32 |
|
33 |
|
34 | export declare const UnknownRecord: Type<Record<string, unknown>>;
|
35 |
|
36 |
|
37 |
|
38 | export declare function refinement<A, B extends A>(from: Type<A>, refinement: (a: A) => a is B, expected: string): Type<B>;
|
39 |
|
40 |
|
41 |
|
42 | export declare function nullable<A>(or: Type<A>): Type<null | A>;
|
43 |
|
44 |
|
45 |
|
46 | export declare function type<A>(properties: {
|
47 | [K in keyof A]: Type<A[K]>;
|
48 | }): Type<{
|
49 | [K in keyof A]: A[K];
|
50 | }>;
|
51 |
|
52 |
|
53 |
|
54 | export declare function partial<A>(properties: {
|
55 | [K in keyof A]: Type<A[K]>;
|
56 | }): Type<Partial<{
|
57 | [K in keyof A]: A[K];
|
58 | }>>;
|
59 |
|
60 |
|
61 |
|
62 | export declare function record<A>(codomain: Type<A>): Type<Record<string, A>>;
|
63 |
|
64 |
|
65 |
|
66 | export declare function array<A>(items: Type<A>): Type<Array<A>>;
|
67 |
|
68 |
|
69 |
|
70 | export declare function tuple<A extends ReadonlyArray<unknown>>(...components: {
|
71 | [K in keyof A]: Type<A[K]>;
|
72 | }): Type<A>;
|
73 |
|
74 |
|
75 |
|
76 | export declare function intersection<A, B>(left: Type<A>, right: Type<B>): Type<A & B>;
|
77 |
|
78 |
|
79 |
|
80 | export declare function lazy<A>(id: string, f: () => Type<A>): Type<A>;
|
81 |
|
82 |
|
83 |
|
84 | export declare function sum<T extends string>(_tag: T): <A>(members: {
|
85 | [K in keyof A]: Type<A[K]>;
|
86 | }) => Type<A[keyof A]>;
|
87 |
|
88 |
|
89 |
|
90 | export declare function union<A extends ReadonlyArray<unknown>>(...members: {
|
91 | [K in keyof A]: Type<A[K]>;
|
92 | }): Type<A[number]>;
|
93 |
|
94 |
|
95 |
|
96 | export declare const URI = "io-ts/Type";
|
97 |
|
98 |
|
99 |
|
100 | export declare type URI = typeof URI;
|
101 | declare module 'fp-ts/es6/HKT' {
|
102 | interface URItoKind<A> {
|
103 | readonly [URI]: Type<A>;
|
104 | }
|
105 | }
|
106 |
|
107 |
|
108 |
|
109 | export declare const schemableType: Schemable1<URI> & WithUnknownContainers1<URI> & WithUnion1<URI> & WithRefinement1<URI>;
|