36 lines
1.1 KiB
TypeScript
36 lines
1.1 KiB
TypeScript
|
/**
|
||
|
|
* **This module is experimental**
|
||
|
|
*
|
||
|
|
* Experimental features are published in order to get early feedback from the community, see these tracking
|
||
|
|
* [issues](https://github.com/gcanti/io-ts/issues?q=label%3Av2.2+) for further discussions and enhancements.
|
||
|
|
*
|
||
|
|
* A feature tagged as _Experimental_ is in a high state of flux, you're at risk of it changing without notice.
|
||
|
|
*
|
||
|
|
* @since 2.2.0
|
||
|
|
*/
|
||
|
|
import { HKT, Kind, Kind2, URIS, URIS2 } from 'fp-ts/es6/HKT'
|
||
|
|
import { Schemable, Schemable1, Schemable2C } from './Schemable'
|
||
|
|
/**
|
||
|
|
* @category model
|
||
|
|
* @since 2.2.0
|
||
|
|
*/
|
||
|
|
export interface Schema<A> {
|
||
|
|
<S>(S: Schemable<S>): HKT<S, A>
|
||
|
|
}
|
||
|
|
/**
|
||
|
|
* @category constructors
|
||
|
|
* @since 2.2.0
|
||
|
|
*/
|
||
|
|
export declare function make<A>(schema: Schema<A>): Schema<A>
|
||
|
|
/**
|
||
|
|
* @since 2.2.0
|
||
|
|
*/
|
||
|
|
export declare type TypeOf<S> = S extends Schema<infer A> ? A : never
|
||
|
|
/**
|
||
|
|
* @since 2.2.3
|
||
|
|
*/
|
||
|
|
export declare function interpreter<S extends URIS2>(
|
||
|
|
S: Schemable2C<S, unknown>
|
||
|
|
): <A>(schema: Schema<A>) => Kind2<S, unknown, A>
|
||
|
|
export declare function interpreter<S extends URIS>(S: Schemable1<S>): <A>(schema: Schema<A>) => Kind<S, A>
|