import { Effect } from "effect";
type EligibilityStatus = "idle" | "true" | "false" | "expired";
type FacilitatedResult<TTransitive> = {
    status: EligibilityStatus;
    transitive: TTransitive | null;
};
type FacilitatorMachineContext<TTransitive> = {
    error: string | null;
    status: EligibilityStatus;
    transitive: TTransitive | null;
};
type FacilitatorMachineEvents<TCheck, TCreate> = {
    type: "CHECK";
    payload: TCheck & {
        soft?: boolean;
    };
} | {
    type: "CREATE";
    payload: TCreate;
} | {
    type: "RESET";
};
type FacilitatorMachineServices<TCheck, TCreate, TTransitive> = {
    onCheck: (payload: TCheck & {
        soft?: boolean;
    }) => Effect.Effect<FacilitatedResult<TTransitive>, Error>;
    onCreate: (input: {
        create: TCreate;
        transitive: TTransitive | null;
    }) => Effect.Effect<void, Error>;
};
type FacilitatorMachineConfig<TCheck, TCreate, TTransitive> = {
    id: string;
    services: FacilitatorMachineServices<TCheck, TCreate, TTransitive>;
};
declare function createFacilitatorMachine<TCheck, TCreate, TTransitive>({ id, services, }: FacilitatorMachineConfig<TCheck, TCreate, TTransitive>): import("xstate").StateMachine<FacilitatorMachineContext<TTransitive>, {
    type: "RESET";
} | {
    type: "CHECK";
    payload: TCheck & {
        soft?: boolean;
    };
} | {
    type: "CREATE";
    payload: TCreate;
}, {
    [x: string]: import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<FacilitatedResult<TTransitive>, TCheck & {
        soft?: boolean;
    }, import("xstate").EventObject>> | import("xstate").ActorRefFromLogic<import("xstate").PromiseActorLogic<void, {
        create: TCreate;
        transitive: TTransitive | null;
    }, import("xstate").EventObject>> | undefined;
}, {
    src: "doCheck";
    logic: import("xstate").PromiseActorLogic<FacilitatedResult<TTransitive>, TCheck & {
        soft?: boolean;
    }, import("xstate").EventObject>;
    id: string | undefined;
} | {
    src: "doCreate";
    logic: import("xstate").PromiseActorLogic<void, {
        create: TCreate;
        transitive: TTransitive | null;
    }, import("xstate").EventObject>;
    id: string | undefined;
}, {
    type: "doCache";
    params: import("xstate").NonReducibleUnknown;
} | {
    type: "doClean";
    params: import("xstate").NonReducibleUnknown;
} | {
    type: "doError";
    params: import("xstate").NonReducibleUnknown;
}, {
    type: "canCreate";
    params: unknown;
}, never, {}, string, import("xstate").NonReducibleUnknown, import("xstate").NonReducibleUnknown, import("xstate").EventObject, import("xstate").MetaObject, {
    id?: string | undefined | undefined;
    states?: {} | undefined;
}>;
export { createFacilitatorMachine };
export type { EligibilityStatus, FacilitatedResult, FacilitatorMachineConfig, FacilitatorMachineContext, FacilitatorMachineEvents, FacilitatorMachineServices, };
//# sourceMappingURL=facilitator.d.ts.map