import * as t from 'io-ts';
import * as R from './Result';
import * as M from './Maybe';
import * as P from './Phantom';
import { Nominal } from './Nominal';
export declare type Serialisable<URI extends string, A> = {
    uri: URI;
    value: A;
};
export declare const Serialisable: <URI extends string, A>(uri: URI, value: A) => Serialisable<URI, A>;
export declare const serialisableC: <URI extends string, A>(uri: t.LiteralC<URI>, value: t.Type<A, A, unknown>) => t.Type<Serialisable<URI, A>, Serialisable<URI, A>, unknown>;
export declare type ToSerialisable<U> = U extends M.Maybe<infer A> ? M.SerialiseableMaybe<ToSerialisable<A>> : U extends R.Result<infer E, infer A> ? R.SerialiseableResult<ToSerialisable<E>, ToSerialisable<A>> : U extends P.Phantom<infer A, infer B> ? P.SerialiseablePhantom<ToSerialisable<B>> : U extends Nominal<infer A, infer B> ? A : U extends Date ? SerialiseableDate : U extends Record<string, any> ? SerialiseableObject<{
    [K in keyof U]: ToSerialisable<U[K]>;
}> : U extends Array<infer A> ? SerialiseableArray<ToSerialisable<A>> : U;
export declare const isInstanceOfUriClass: <URI, A extends {}>(uri: URI, a: unknown) => a is A;
export declare const toSerialisable: <A>(a: A) => ToSerialisable<A>;
export declare const fromSerialisable: <A>(a: ToSerialisable<A>) => A;
export declare type ObjectURI = 'Object';
export declare const objectURI: ObjectURI;
declare type SerialiseableObject<A> = Serialisable<ObjectURI, A>;
export declare type DateURI = 'Date';
export declare const dateURI: DateURI;
declare type SerialiseableDate = Serialisable<DateURI, string>;
export declare type ArrayURI = 'Array';
export declare const arrayURI: ArrayURI;
declare type SerialiseableArray<A> = Serialisable<ArrayURI, Array<A>>;
export {};