import { Branded } from 'schemata-ts/brand'; import { SchemaExt } from 'schemata-ts/SchemaExt'; interface NonPositiveFloatBrand { readonly NonPositiveFloat: unique symbol; } /** * Non-positive floating point branded newtype. * * Represents non-positive floating point numbers: * * ```math * { f | f ∈ ℝ, f <= 0, f >= -Number.MAX_VALUE } * ``` * * @since 1.0.0 * @category Model */ export declare type NonPositiveFloat = Branded; /** * @since 1.0.0 * @category Model */ export declare type NonPositiveFloatS = SchemaExt; /** * Non-positive floating point branded newtype. * * Represents non-positive floating point numbers: * * ```math * { f | f ∈ ℝ, f <= 0, f >= -Number.MAX_VALUE } * ``` * * @since 1.0.0 * @category Schema */ export declare const NonPositiveFloat: NonPositiveFloatS; export {}; //# sourceMappingURL=NonPositiveFloat.d.ts.map