utils

export declare const AsyncData: <A, AI, R1, E, EI, R2>(
  valueSchema: Schema.Schema<A, AI, R2>,
  errorSchema: Schema.Schema<E, EI, R1>
) => Schema.Schema<_AsyncData.AsyncData<A, E>, AsyncDataFrom<AI, EI>, R1 | R2>

export type AsyncDataFrom<A, E> = NoDataFrom | LoadingFrom | FailureFrom<E> | SuccessFrom<A> | OptimisticFrom<A, E>

export declare const AsyncDataFromSelf: <A, AI, R1, E, EI, R2>(
  value: Schema.Schema<A, AI, R2>,
  error: Schema.Schema<E, EI, R1>
) => Schema.Schema<_AsyncData.AsyncData<A, E>, _AsyncData.AsyncData<AI, EI>, R1 | R2>

export type FailureFrom<E> = {
  readonly _tag: "Failure"
  readonly cause: Schema.CauseEncoded<E, unknown>
  readonly timestamp: number
  readonly refreshing?: LoadingFrom | undefined
}

export type LoadingFrom = {
  readonly _tag: "Loading"
  readonly timestamp: number
  readonly progress?: ProgressFrom | undefined
}

export type NoDataFrom = { readonly _tag: "NoData" }

export type OptimisticFrom<A, E> = {
  readonly timestamp: number
  readonly _tag: "Optimistic"
  readonly value: A
  readonly previous: AsyncDataFrom<A, E>
}

export declare const Progress: Schema.Schema<
  P.Progress,
  { readonly loaded: string; readonly total?: string | undefined },
  never
>

export type ProgressFrom = {
  readonly loaded: string
  readonly total?: string | undefined
}

export type SuccessFrom<A> = {
  readonly timestamp: number
  readonly _tag: "Success"
  readonly value: A
  readonly refreshing?: LoadingFrom | undefined
}

export declare const asyncDataFromJson: <A, AI, R1, E, EI, R2>(
  value: Schema.Schema<A, AI, R1>,
  error: Schema.Schema<E, EI, R2>
) => Schema.Schema<AsyncDataFrom<A, E>, AsyncDataFrom<AI, EI>, R1 | R2>