Server : Apache/2 System : Linux server-15-235-50-60 5.15.0-164-generic #174-Ubuntu SMP Fri Nov 14 20:25:16 UTC 2025 x86_64 User : gositeme ( 1004) PHP Version : 8.2.29 Disable Function : exec,system,passthru,shell_exec,proc_close,proc_open,dl,popen,show_source,posix_kill,posix_mkfifo,posix_getpwuid,posix_setpgid,posix_setsid,posix_setuid,posix_setgid,posix_seteuid,posix_setegid,posix_uname Directory :  /home/gositeme/domains/lavocat.quebec/private_html/node_modules/effect/dist/dts/

Upload File : current_dir [ Writeable ] document_root [ Writeable ]

/**
 * @since 2.0.0
 */
import type * as Types from "./Types.js";
/**
 * @since 2.0.0
 */
export declare const URI: unique symbol;
/**
 * @since 2.0.0
 */
export interface TypeClass<F extends TypeLambda> {
    readonly [URI]?: F;
}
/**
 * @since 2.0.0
 */
export interface TypeLambda {
    readonly In: unknown;
    readonly Out2: unknown;
    readonly Out1: unknown;
    readonly Target: unknown;
}
/**
 * @since 2.0.0
 */
export type Kind<F extends TypeLambda, In, Out2, Out1, Target> = F extends {
    readonly type: unknown;
} ? (F & {
    readonly In: In;
    readonly Out2: Out2;
    readonly Out1: Out1;
    readonly Target: Target;
})["type"] : {
    readonly F: F;
    readonly In: Types.Contravariant<In>;
    readonly Out2: Types.Covariant<Out2>;
    readonly Out1: Types.Covariant<Out1>;
    readonly Target: Types.Invariant<Target>;
};
//# sourceMappingURL=HKT.d.ts.map