/**
 * @typed/fp/HKT is an extension to fp-ts/HKT
 *
 * @since 0.9.2
 */
import * as H from 'fp-ts/HKT';
/**
 * Union of all the fp-ts URIs
 * @since 0.9.2
 * @category URI
 */
export declare type FpTsUri = H.URIS | H.URIS2 | H.URIS3 | H.URIS4;
/**
 * Universal type for using all of fp-ts' internal kinds.
 * Initially intended for helping to create your own type-classes
 * @since 0.9.2
 * @category Type-level
 */
export declare type Hkt<F, Params extends readonly any[]> = F extends H.URIS ? H.Kind<F, Params[0]> : F extends H.URIS2 ? H.Kind2<F, Params[0], Params[1]> : F extends H.URIS3 ? H.Kind3<F, Params[0], Params[1], Params[2]> : F extends H.URIS4 ? H.Kind4<F, Params[0], Params[1], Params[2], Params[3]> : Params['length'] extends 4 ? H.HKT4<F, Params[0], Params[1], Params[2], Params[3]> : Params['length'] extends 3 ? H.HKT3<F, Params[0], Params[1], Params[2]> : Params['length'] extends 2 ? H.HKT2<F, Params[0], Params[1]> : H.HKT<F, Params[0]>;
/**
 * @since 0.9.2
 * @category Type-level
 */
export declare type UriToLength<F, Params extends readonly any[] = readonly any[]> = F extends H.URIS ? 1 : F extends H.URIS2 ? 2 : F extends H.URIS3 ? 3 : F extends H.URIS4 ? 4 : Params['length'];
/**
 * @since 0.9.2
 * @category Type-level
 */
export declare type Param = S | R | E | A;
/**
 * @since 0.9.2
 * @category Type-level
 */
export declare type S = 'S';
/**
 * @since 0.9.2
 * @category Type-level
 */
export declare type R = 'R';
/**
 * @since 0.9.2
 * @category Type-level
 */
export declare type E = 'E';
/**
 * @since 0.9.2
 * @category Type-level
 */
export declare type A = 'A';
/**
 * @since 0.9.2
 * @category Type-level
 */
export declare type Variance = Covariant | Contravariant;
/**
 * @since 0.9.2
 * @category Type-level
 */
export declare type Covariant = '+';
/**
 * @since 0.9.2
 * @category Type-level
 */
export declare type Contravariant = '-';
/**
 * @since 0.9.2
 * @category Type-level
 */
export interface V<P extends Param, V extends Variance> {
    readonly Variance: {
        readonly [K in P]: () => V;
    };
}
/**
 * A type-level map meant be extended, just like URItoKind*, to specify the
 * variance that should apply. If none is specified the default is to be strict.
 * @since 0.9.2
 * @category Type-level
 */
export interface URItoVariance {
    readonly Either: V<E, Covariant>;
    readonly IOEither: V<E, Covariant>;
    readonly Reader: V<E, Contravariant>;
    readonly ReaderEither: V<R, Contravariant> & V<E, Covariant>;
    readonly ReaderTask: V<E, Contravariant>;
    readonly ReaderTaskEither: V<R, Contravariant> & V<E, Covariant>;
    readonly StateReaderTaskEither: V<R, Contravariant> & V<E, Covariant>;
    readonly TaskEither: V<E, Covariant>;
    readonly TaskThese: V<E, Covariant>;
    readonly These: V<E, Covariant>;
}
/**
 * @since 0.9.2
 * @category Type-level
 */
export declare type ApplyVariance<F, P extends Param, T extends readonly any[]> = F extends keyof URItoVariance ? URItoVariance[F] extends V<P, infer R> ? R extends Covariant ? T[number] : Intersect<T> : T[0] : T[0];
/**
 * @since 0.9.2
 * @category Type-level
 */
export declare type Initial<F, P extends Param> = F extends keyof URItoVariance ? URItoVariance[F] extends V<P, infer R> ? R extends Covariant ? never : unknown : any : any;
/**
 * @since 0.9.2
 * @category Type-level
 */
export declare type Intersect<A extends readonly any[], R = unknown> = A extends readonly [
    infer Head,
    ...infer Tail
] ? Intersect<Tail, R & Head> : R;
export * from 'fp-ts/HKT';
//# sourceMappingURL=HKT.d.ts.map