import { Show } from '../typeclasses/Show';
import { Setoid } from '../typeclasses/Setoid';
import { Ord } from '../typeclasses/Ord';
import { Semigroup } from '../typeclasses/Semigroup';
import { Bifunctor } from '../typeclasses/Bifunctor';
import { Functor } from '../typeclasses/Functor';
import { Apply } from '../typeclasses/Apply';
export interface Tuple<F, S> extends Tuple_<F, S> {
}
export interface ITuple {
    <F, S>(fst: F, snd: S): Tuple<F, S>;
    fanout: typeof Tuple_.fanout;
    fromArray: typeof Tuple_.fromArray;
}
export declare class Tuple_<F, S> implements Show, Setoid<Tuple<F, S>>, Ord<Tuple<F, S>>, Semigroup<Tuple<F, S>>, Bifunctor<F, S>, Functor<S>, Apply<S> {
    private readonly first;
    private readonly second;
    constructor(first: F, second: S);
    readonly 'fantasy-land/equals': (other: Tuple<F, S>) => boolean;
    readonly 'fantasy-land/lte': (other: Tuple<F, S>) => boolean;
    readonly 'fantasy-land/concat': (other: Tuple<F, S>) => Tuple<F, S>;
    readonly 'fantasy-land/bimap': <F2, S2>(f: (fst: F) => F2, g: (snd: S) => S2) => Tuple<F2, S2>;
    readonly 'fantasy-land/map': <S2>(f: (snd: S) => S2) => Tuple<F, S2>;
    readonly 'fantasy-land/ap': <T, S2>(f: Tuple<T, (value: S) => S2>) => Tuple<F, S2>;
    static fanout<F, S, T>(f: (value: T) => F, g: (value: T) => S): (value: T) => Tuple<F, S>;
    static fanout<F, S, T>(f: (value: T) => F, g: (value: T) => S, value: T): Tuple<F, S>;
    static fromArray<F, S>([fst, snd]: [F, S]): Tuple<F, S>;
    toJSON(): [F, S];
    inspect(): string;
    toString(): string;
    fst(): F;
    snd(): S;
    equals(other: Tuple<F, S>): boolean;
    lte(other: Tuple<F, S>): boolean;
    bimap<F2, S2>(f: (fst: F) => F2, g: (snd: S) => S2): Tuple<F2, S2>;
    mapFirst<F2>(f: (fst: F) => F2): Tuple<F2, S>;
    map<S2>(f: (snd: S) => S2): Tuple<F, S2>;
    toArray(): [F, S];
    swap(): Tuple<S, F>;
    concat(other: Tuple<F, S>): Tuple<F, S>;
    ap<T, S2>(f: Tuple<T, (value: S) => S2>): Tuple<F, S2>;
}
export declare const Tuple: ITuple;