/**
 * Non-negative floating point branded newtype string.
 *
 * Represents non-negative floating point numbers:
 *
 * ```math
 *  { f | f ∈ ℝ, f >= 0, f <= Number.MAX_VALUE }
 * ```
 *
 * @since 0.0.2
 */
import { Kind, Kind2, URIS, URIS2, HKT2 } from 'fp-ts/HKT';
import * as D from 'io-ts/Decoder';
import * as Enc from 'io-ts/Encoder';
import * as Eq_ from 'fp-ts/Eq';
import * as G from 'io-ts/Guard';
import * as TD from 'io-ts/TaskDecoder';
import * as t from 'io-ts/Type';
import * as Arb from '../internal/ArbitraryBase';
import * as NonNegativeFloat from '../number/NonNegativeFloat';
/**
 * Non-negative floating point branded newtype string.
 *
 * Represents non-negative floating point numbers:
 *
 * ```math
 *  { f | f ∈ ℝ, f >= 0, f <= Number.MAX_VALUE }
 * ```
 *
 * @since 0.0.2
 * @category Model
 */
export declare type NonNegativeFloatString = string & NonNegativeFloatStringBrand;
/**
 * @since 0.0.2
 * @category Model
 */
export declare type SchemableParams<S> = HKT2<S, string, NonNegativeFloatString>;
/**
 * @since 0.0.2
 * @category Model
 */
export declare type SchemableParams1<S extends URIS> = Kind<S, NonNegativeFloatString>;
/**
 * @since 0.0.2
 * @category Model
 */
export declare type SchemableParams2<S extends URIS2> = Kind2<S, string, NonNegativeFloatString>;
/**
 * @since 0.0.2
 * @category Model
 */
export declare type SchemableParams2C<S extends URIS2> = Kind2<S, unknown, NonNegativeFloatString>;
/**
 * @since 0.0.2
 * @category Refinements
 */
export declare const isNonNegativeFloatString: (s: string) => s is NonNegativeFloatString;
/**
 * @since 0.0.2
 * @category Instances
 */
export declare const Decoder: SchemableParams2C<D.URI>;
/**
 * @since 0.0.2
 * @category Instances
 */
export declare const Eq: SchemableParams1<Eq_.URI>;
/**
 * @since 0.0.2
 * @category Instances
 */
export declare const Guard: SchemableParams1<G.URI>;
/**
 * @since 0.0.2
 * @category Instances
 */
export declare const TaskDecoder: SchemableParams2C<TD.URI>;
/**
 * @since 0.0.2
 * @category Instances
 */
export declare const Type: SchemableParams1<t.URI>;
/**
 * @since 0.0.3
 * @category Instances
 */
export declare const Encoder: SchemableParams2<Enc.URI>;
/**
 * @since 0.0.3
 * @category Instances
 */
export declare const Arbitrary: SchemableParams1<Arb.URI>;
/**
 * @since 0.0.2
 * @category Utilities
 */
export declare const toNonNegativeFloat: (s: NonNegativeFloatString) => NonNegativeFloat.NonNegativeFloat;
//# sourceMappingURL=NonNegativeFloatString.d.ts.map