import { Ok, Err, Result } from '@hazae41/result';
import { DataInit, Data } from './data.js';
import { FailInit, Fail } from './fail.js';
import { Times, TimesInit } from './times.js';

type FetchedInit<D, F> = DataInit<D> | FailInit<F>;
declare namespace FetchedInit {
    type Infer<T> = DataInit.Infer<T> | FailInit.Infer<T>;
}
type Fetched<D, F> = Data<D> | Fail<F>;
declare namespace Fetched {
    type Infer<T> = Data.Infer<T> | Fail.Infer<T>;
    function from<T extends FetchedInit.Infer<T>>(init: T): Fetched<DataInit.Inner<T>, FailInit.Inner<T>>;
    type Timed<T> = T & {
        times?: Times;
    };
    function rewrap<T extends Ok.Infer<T>>(result: Timed<T>, times?: TimesInit): Data<Ok.Inner<T>>;
    function rewrap<T extends Err.Infer<T>>(result: Timed<T>, times?: TimesInit): Fail<Err.Inner<T>>;
    function rewrap<T extends Result.Infer<T>>(result: Timed<T>, times?: TimesInit): Fetched<Ok.Inner<T>, Err.Inner<T>>;
}

export { Fetched, FetchedInit };