import { type Ref, type Refable, type RefByPrimary, type RefByUnique } from 'domain-objects';
import type { DeclastructDao } from './DeclastructDao';
/**
 * .what = input type for genDeclastructDao without get.ref and get.one.byRef (auto-wired by factory)
 * .why = derives from DeclastructDao to stay in sync, omits auto-wired methods
 * .note = uses `| null` syntax to force explicit decision on nullable methods
 */
export type DeclastructDaoInput<TResourceClass extends Refable<any, any, any>, TContext> = Omit<DeclastructDao<TResourceClass, TContext>, 'get' | 'set'> & {
    get: {
        one: Omit<DeclastructDao<TResourceClass, TContext>['get']['one'], 'byRef' | 'byPrimary'> & {
            byPrimary: ((input: RefByPrimary<TResourceClass>, context: TContext) => Promise<InstanceType<TResourceClass> | null>) | null;
        };
    };
    set: Omit<DeclastructDao<TResourceClass, TContext>['set'], 'upsert' | 'delete'> & {
        upsert: ((input: InstanceType<TResourceClass>, context: TContext) => Promise<InstanceType<TResourceClass>>) | null;
        delete: ((input: Ref<TResourceClass>, context: TContext) => Promise<void>) | null;
    };
};
/**
 * .what = input type for daos with byPrimary defined
 * .why = enables overload to distinguish daos with primary key support
 */
export type DeclastructDaoInputWithPrimary<TResourceClass extends Refable<any, any, any>, TContext> = Omit<DeclastructDaoInput<TResourceClass, TContext>, 'get'> & {
    get: {
        one: Omit<DeclastructDao<TResourceClass, TContext>['get']['one'], 'byPrimary' | 'byRef'> & {
            byPrimary: NonNullable<DeclastructDao<TResourceClass, TContext>['get']['one']['byPrimary']>;
        };
    };
};
/**
 * .what = input type for daos without byPrimary
 * .why = enables overload to distinguish daos without primary key support
 */
export type DeclastructDaoInputWoutPrimary<TResourceClass extends Refable<any, any, any>, TContext> = Omit<DeclastructDaoInput<TResourceClass, TContext>, 'get'> & {
    get: {
        one: Omit<DeclastructDao<TResourceClass, TContext>['get']['one'], 'byPrimary' | 'byRef'> & {
            byPrimary: null;
        };
    };
};
/**
 * .what = output type for daos with ref methods defined
 * .why = enables type-safe access to ref resolution methods
 * .note = uses method syntax for bivariance (enables assignment to DeclastructDao<any>)
 */
export type DeclastructDaoWithRef<TResourceClass extends Refable<any, any, any>, TContext> = Omit<DeclastructDao<TResourceClass, TContext>, 'get'> & {
    get: {
        one: DeclastructDao<TResourceClass, TContext>['get']['one'];
        ref: {
            byPrimary(input: Ref<TResourceClass>, context: TContext): Promise<RefByPrimary<TResourceClass> | null>;
            byUnique(input: Ref<TResourceClass>, context: TContext): Promise<RefByUnique<TResourceClass> | null>;
        };
    };
};
/**
 * .what = output type for daos without ref methods
 * .why = ref methods are undefined when byPrimary is not supported
 */
export type DeclastructDaoWoutRef<TResourceClass extends Refable<any, any, any>, TContext> = Omit<DeclastructDao<TResourceClass, TContext>, 'get'> & {
    get: {
        one: DeclastructDao<TResourceClass, TContext>['get']['one'];
        ref: {
            byPrimary: undefined;
            byUnique: undefined;
        };
    };
};
/**
 * .what = factory to create DeclastructDao with auto-wired ref methods
 * .why = enforces that ref methods are defined iff byPrimary is defined
 * .note = TContext must be explicitly provided as a generic parameter to avoid hazardous Record<string, any> inference
 *
 * @overload input with byPrimary defined → output with ref methods defined
 */
export declare function genDeclastructDao<TResourceClass extends Refable<any, any, any>, TContext extends Record<string, any> = never>(input: DeclastructDaoInputWithPrimary<TResourceClass, TContext>): DeclastructDaoWithRef<TResourceClass, TContext>;
/**
 * @overload input without byPrimary → output with ref methods null
 */
export declare function genDeclastructDao<TResourceClass extends Refable<any, any, any>, TContext extends Record<string, any> = never>(input: DeclastructDaoInputWoutPrimary<TResourceClass, TContext>): DeclastructDaoWoutRef<TResourceClass, TContext>;