Interface MachineService

MachineService<
    TData extends object,
    const TStates extends
        Record<
            string,
            MachineStateDefinition<
                MachineContractOf<TData, MachineEventMap, string>,
                string,
            >,
        >,
>(
    config: { data: TData } & Omit<
        MachineConfig<
            MachineContractOf<TData, {}, Extract<keyof TStates, string>>,
        >,
        "data" | "initial" | "states",
    > & {
        initial: Extract<keyof TStates, string>;
        states: TStates & MachineStateMap<
            MachineContractOf<TData, {}, Extract<keyof TStates, string>>,
        >;
    },
): Machine<MachineContractOf<TData, {}, Extract<keyof TStates, string>>>

MachineService<
    const TStates extends
        Record<
            string,
            MachineStateDefinition<
                MachineContractOf<MachineEmptyData, MachineEventMap, string>,
                string,
            >,
        >,
>(
    config: { data?: undefined } & Omit<
        MachineConfig<
            MachineContractOf<
                MachineEmptyData,
                {},
                Extract<keyof TStates, string>,
            >,
        >,
        "data" | "initial" | "states",
    > & {
        initial: Extract<keyof TStates, string>;
        states: TStates & MachineStateMap<
            MachineContractOf<
                MachineEmptyData,
                {},
                Extract<keyof TStates, string>,
            >,
        >;
    },
): Machine<
    MachineContractOf<MachineEmptyData, {}, Extract<keyof TStates, string>>,
>

MachineService<TContract extends MachineContract = DefaultMachineContract>(
    config: MachineConfig<TContract>,
): Machine<TContract>