/**
 * A port of `newtype-ts` to schemata-ts
 *
 * @since 1.4.0
 */
import { Iso } from 'schemata-ts/iso';
/**
 * Represents a wrapped type that's not assignable to its underlying type.
 *
 * @since 1.4.0
 * @category Models
 */
export interface Newtype<URI, A> {
    readonly _URI: URI;
    readonly _A: A;
}
/**
 * @since 1.4.0
 * @category Type Helpers
 */
export declare type URIOf<N extends Newtype<any, any>> = N['_URI'];
/**
 * @since 1.4.0
 * @category Type Helpers
 */
export declare type CarrierOf<N extends Newtype<any, any>> = N['_A'];
/**
 * @since 1.4.0
 * @category Type Helpers
 */
export declare type CombineURIs<N1 extends Newtype<any, any>, N2 extends Newtype<any, CarrierOf<N1>>> = Newtype<URIOf<N1> & URIOf<N2>, CarrierOf<N1>>;
/**
 * @since 1.4.0
 * @category Constructors
 */
export declare const iso: <Nt extends Newtype<any, any>>() => Iso<Nt, CarrierOf<Nt>>;
/**
 * @since 1.4.0
 * @category Constructors
 */
export declare const wrap: <Nt extends Newtype<any, any>>() => (a: CarrierOf<Nt>) => Nt;
/**
 * @since 1.4.0
 * @category Destructors
 */
export declare const unwrap: <Nt extends Newtype<any, any>>() => (a: Nt) => CarrierOf<Nt>;
//# sourceMappingURL=newtype.d.ts.map