1 |
|
2 |
|
3 |
|
4 |
|
5 |
|
6 |
|
7 |
|
8 |
|
9 |
|
10 |
|
11 | import { HKT, Kind, Kind2, URIS, URIS2 } from 'fp-ts/es6/HKT'
|
12 | import { Schemable, Schemable1, Schemable2C } from './Schemable'
|
13 |
|
14 |
|
15 |
|
16 |
|
17 | export interface Schema<A> {
|
18 | <S>(S: Schemable<S>): HKT<S, A>
|
19 | }
|
20 |
|
21 |
|
22 |
|
23 |
|
24 | export declare function make<A>(schema: Schema<A>): Schema<A>
|
25 | /**
|
26 | * @since 2.2.0
|
27 | */
|
28 | export declare type TypeOf<S> = S extends Schema<infer A> ? A : never
|
29 | /**
|
30 | * @since 2.2.3
|
31 | */
|
32 | export declare function interpreter<S extends URIS2>(
|
33 | S: Schemable2C<S, unknown>
|
34 | ): <A>(schema: Schema<A>) => Kind2<S, unknown, A>
|
35 | export declare function interpreter<S extends URIS>(S: Schemable1<S>): <A>(schema: Schema<A>) => Kind<S, A>
|
36 |
|
\ | No newline at end of file |