/**
 * Progress is a data structure to represent loading some data.
 *
 * @since 0.9.2
 */
import * as E from 'fp-ts/Eq';
import * as O from 'fp-ts/Option';
import * as S from 'fp-ts/Semigroup';
import * as Sh from 'fp-ts/Show';
/**
 * @since 0.9.2
 * @category Model
 */
export interface Progress {
    readonly loaded: number;
    readonly total: O.Option<number>;
}
/**
 * @since 0.9.2
 * @category Constructor
 */
export declare const progress: (loaded: number, total?: O.Option<number>) => Progress;
/**
 * @since 0.9.2
 * @category Instance
 */
export declare const Show: Sh.Show<Progress>;
/**
 * @since 0.9.2
 * @category Instance
 */
export declare const Eq: E.Eq<Progress>;
/**
 * @since 0.9.2
 * @category Instance
 */
export declare const Semigroup: S.Semigroup<Progress>;
//# sourceMappingURL=Progress.d.ts.map