import { Comonad2 } from './Comonad';
import { Endomorphism } from './function';
import { Functor, Functor1, Functor2, Functor2C, Functor3 } from './Functor';
import { HKT, Kind, Kind2, Kind3, URIS, URIS2, URIS3 } from './HKT';
declare module './HKT' {
    interface URItoKind2<L, A> {
        Store: Store<L, A>;
    }
}
export declare const URI = "Store";
export declare type URI = typeof URI;
/**
 * @since 1.0.0
 */
export declare class Store<S, A> {
    readonly peek: (s: S) => A;
    readonly pos: S;
    readonly _A: A;
    readonly _L: S;
    readonly _URI: URI;
    constructor(peek: (s: S) => A, pos: S);
    /**
     * Reposition the focus at the specified position
     * @obsolete
     */
    seek(s: S): Store<S, A>;
    /** @obsolete */
    map<B>(f: (a: A) => B): Store<S, B>;
    /** @obsolete */
    extract(): A;
    /** @obsolete */
    extend<B>(f: (sa: Store<S, A>) => B): Store<S, B>;
    inspect(): string;
    toString(): string;
}
/**
 * Extract a value from a position which depends on the current position
 *
 * @since 1.0.0
 */
export declare function peeks<S>(f: Endomorphism<S>): <A>(wa: Store<S, A>) => A;
/**
 * Reposition the focus at the specified position, which depends on the current position
 *
 * @since 1.0.0
 */
export declare const seeks: <S>(f: Endomorphism<S>) => <A>(sa: Store<S, A>) => Store<S, A>;
/**
 * Extract a collection of values from positions which depend on the current position
 *
 * @since 1.0.0
 */
export declare function experiment<F extends URIS3>(F: Functor3<F>): <U, L, S>(f: (s: S) => Kind3<F, U, L, S>) => <A>(wa: Store<S, A>) => Kind3<F, U, L, A>;
export declare function experiment<F extends URIS2>(F: Functor2<F>): <L, S>(f: (s: S) => Kind2<F, L, S>) => <A>(wa: Store<S, A>) => Kind2<F, L, A>;
export declare function experiment<F extends URIS2, L>(F: Functor2C<F, L>): <S>(f: (s: S) => Kind2<F, L, S>) => <A>(wa: Store<S, A>) => Kind2<F, L, A>;
export declare function experiment<F extends URIS>(F: Functor1<F>): <S>(f: (s: S) => Kind<F, S>) => <A>(wa: Store<S, A>) => Kind<F, A>;
export declare function experiment<F>(F: Functor<F>): <S>(f: (s: S) => HKT<F, S>) => <A>(wa: Store<S, A>) => HKT<F, A>;
/**
 * @since 1.0.0
 */
export declare const store: Comonad2<URI>;
/**
 * Reposition the focus at the specified position
 *
 * @since 1.19.0
 */
export declare function seek<S>(s: S): <A>(wa: Store<S, A>) => Store<S, A>;
declare const duplicate: <L, A>(ma: Store<L, A>) => Store<L, Store<L, A>>, extend: <L, A, B>(f: (fa: Store<L, A>) => B) => (ma: Store<L, A>) => Store<L, B>, map: <A, B>(f: (a: A) => B) => <L>(fa: Store<L, A>) => Store<L, B>;
export { duplicate, extend, map };