import { Show } from '../typeclasses/Show';
import { Functor } from '../typeclasses/Functor';
import { Chain } from '../typeclasses/Chain';
import { Apply } from '../typeclasses/Apply';
import { Monad } from '../typeclasses/Monad';
import { Applicative } from '../typeclasses/Applicative';
import { Setoid } from '../typeclasses/Setoid';
import { Ord } from '../typeclasses/Ord';
import { Semigroup } from '../typeclasses/Semigroup';
export interface Id<T> extends Id_<T> {
}
export interface IId {
    <T>(value: T): Id<T>;
    of: typeof Id_.of;
}
export declare class Id_<T> implements Show, Functor<T>, Chain<T>, Apply<T>, Applicative<T>, Monad<T>, Setoid<Id<T>>, Ord<Id<T>>, Semigroup<Id<T>> {
    private readonly value;
    constructor(value: T);
    of: typeof Id_.of;
    readonly 'fantasy-land/map': <U>(f: (value: T) => U) => Id<U>;
    readonly 'fantasy-land/chain': <U>(f: (value: T) => Id<U>) => Id<U>;
    readonly 'fantasy-land/ap': <U>(f: Id<(value: T) => U>) => Id<U>;
    readonly 'fantasy-land/of': typeof Id_.of;
    readonly 'fantasy-land/equals': (other: Id<T>) => boolean;
    readonly 'fantasy-land/lte': (other: Id<T>) => boolean;
    readonly 'fantasy-land/concat': (other: Id<T>) => Id<T>;
    static of<T>(value: T): Id<T>;
    extract(): T;
    toJSON(): T;
    inspect(): string;
    toString(): string;
    map<U>(f: (value: T) => U): Id<U>;
    chain<U>(f: (value: T) => Id<U>): Id<U>;
    ap<U>(f: Id<(value: T) => U>): Id<U>;
    equals(other: Id<T>): boolean;
    lte(other: Id<T>): boolean;
    concat(other: Id<T>): Id<T>;
}
export declare const Id: IId;