import { $, $type, TyK, TyVar } from '@fp4ts/core';
import { Eq, Monoid } from '@fp4ts/cats-kernel';
import { Applicative } from '../applicative';
import { Apply } from '../apply';
import { Contravariant } from '../contravariant';
import { EqK } from '../eq-k';
import { Foldable } from '../foldable';
import { Functor } from '../functor';
import { FunctorFilter } from '../functor-filter';
import { MonoidK } from '../monoid-k';
import { SemigroupK } from '../semigroup-k';
import { TraversableFilter } from '../traversable-filter';
export type Const<A, B> = A;
export declare const Const: ConstObj;
interface ConstObj {
    <A, B>(a: A): Const<A, B>;
    pure<A>(A: Monoid<A>): <B>(x: B) => Const<A, B>;
    empty<A>(A: Monoid<A>): Const<A, never>;
    EqK<A>(E: Eq<A>): EqK<$<ConstF, [A]>>;
    SemigroupK<A>(A: Monoid<A>): SemigroupK<$<ConstF, [A]>>;
    MonoidK<A>(A: Monoid<A>): MonoidK<$<ConstF, [A]>>;
    Functor<A>(): Functor<$<ConstF, [A]>>;
    FunctorFilter<A>(): FunctorFilter<$<ConstF, [A]>>;
    Contravariant<A>(): Contravariant<$<ConstF, [A]>>;
    Apply<A>(A: Monoid<A>): Apply<$<ConstF, [A]>>;
    Applicative<A>(A: Monoid<A>): Applicative<$<ConstF, [A]>>;
    Foldable<A>(): Foldable<$<ConstF, [A]>>;
    TraversableFilter<A>(): TraversableFilter<$<ConstF, [A]>>;
}
/**
 * @category Type Constructor
 * @category Data
 */
export interface ConstF extends TyK<[unknown, unknown]> {
    [$type]: Const<TyVar<this, 0>, TyVar<this, 1>>;
}
export {};
//# sourceMappingURL=const.d.ts.map