@parischap/conversions 0.1.0

package/dts/PositiveInteger.d.ts

@@ -0,0 +1,161 @@
+/**
+ * This module implements a finite integer brand (Infinity, NaN or non-null fractional part
+ * disallowed)
+ */
+import { MTypes } from '@parischap/effect-lib';
+import { BigDecimal, Brand, Either, Option } from 'effect';
+import * as CVInteger from './Integer.js';
+import * as CVPositive from './internal/Positive.js';
+import type * as CVPositiveReal from './PositiveReal.js';
+import * as CVReal from './Real.js';
+/**
+ * Module tag
+ *
+ * @category Module markers
+ */
+export declare const moduleTag = "@parischap/conversions/PositiveInteger/";
+/**
+ * Brand constructor. Should not be used directly
+ *
+ * @category Constructors
+ */
+export declare const constructor: Brand.Brand.Constructor<number & Brand.Brand<typeof CVPositive._TypeId> & Brand.Brand<typeof CVReal.TypeId> & Brand.Brand<typeof import("./internal/Int.js")._TypeId>>;
+/**
+ * Integer type
+ *
+ * @category Models
+ */
+export type Type = Brand.Brand.FromConstructor<typeof constructor>;
+/**
+ * Constructs a PositiveInteger from a number without any verifications
+ *
+ * @category Constructors
+ */
+export declare const unsafeFromNumber: Brand.Brand.Constructor<number & Brand.Brand<typeof CVPositive._TypeId> & Brand.Brand<typeof CVReal.TypeId> & Brand.Brand<typeof import("./internal/Int.js")._TypeId>>;
+/**
+ * Constructs an Option of a PositiveInteger from a number
+ *
+ * @category Constructors
+ */
+export declare const fromNumberOption: MTypes.OneArgFunction<number, Option.Option<Type>>;
+/**
+ * Constructs an Either of a PositiveInteger from a number
+ *
+ * @category Constructors
+ */
+export declare const fromNumber: MTypes.OneArgFunction<number, Either.Either<Type, Brand.Brand.BrandErrors>>;
+/**
+ * Constructs a PositiveInteger from a number or throws
+ *
+ * @category Constructors
+ */
+export declare const fromNumberOrThrow: MTypes.OneArgFunction<number, Type>;
+/**
+ * Constructs a PositiveInteger from a BigDecimal without any checks
+ *
+ * @category Constructors
+ */
+export declare const unsafeFromBigDecimal: MTypes.OneArgFunction<BigDecimal.BigDecimal, Type>;
+/**
+ * Constructs an Option of a PositiveInteger from a BigDecimal
+ *
+ * @category Constructors
+ */
+export declare const fromBigDecimalOption: MTypes.OneArgFunction<BigDecimal.BigDecimal, Option.Option<Type>>;
+/**
+ * Constructs an Either of a PositiveInteger from a BigDecimal
+ *
+ * @category Constructors
+ */
+export declare const fromBigDecimal: MTypes.OneArgFunction<BigDecimal.BigDecimal, Either.Either<Type, Brand.Brand.BrandErrors>>;
+/**
+ * Constructs a PositiveInteger from a BigDecimal or throws
+ *
+ * @category Constructors
+ */
+export declare const fromBigDecimalOrThrow: MTypes.OneArgFunction<BigDecimal.BigDecimal, Type>;
+/**
+ * Constructs a PositiveInteger from a BigInt without any checks
+ *
+ * @category Constructors
+ */
+export declare const unsafeFromBigInt: MTypes.OneArgFunction<bigint, Type>;
+/**
+ * Constructs an Option of a PositiveInteger from a BigInt
+ *
+ * @category Constructors
+ */
+export declare const fromBigIntOption: MTypes.OneArgFunction<bigint, Option.Option<Type>>;
+/**
+ * Constructs an Either of a PositiveInteger from a BigInt
+ *
+ * @category Constructors
+ */
+export declare const fromBigInt: MTypes.OneArgFunction<bigint, Either.Either<Type, Brand.Brand.BrandErrors>>;
+/**
+ * Constructs a PositiveInteger from a BigInt or throws
+ *
+ * @category Constructors
+ */
+export declare const fromBigIntOrThrow: MTypes.OneArgFunction<bigint, Type>;
+/**
+ * Constructs a PositiveInteger from a Real without any checks
+ *
+ * @category Constructors
+ */
+export declare const unsafeFromReal: MTypes.OneArgFunction<CVReal.Type, Type>;
+/**
+ * Constructs an Option of a PositiveInteger from a Real
+ *
+ * @category Constructors
+ */
+export declare const fromRealOption: MTypes.OneArgFunction<CVReal.Type, Option.Option<Type>>;
+/**
+ * Constructs an Either of a PositiveInteger from a Real
+ *
+ * @category Constructors
+ */
+export declare const fromReal: MTypes.OneArgFunction<CVReal.Type, Either.Either<Type, Brand.Brand.BrandErrors>>;
+/**
+ * Constructs a PositiveInteger from a Real or throws
+ *
+ * @category Constructors
+ */
+export declare const fromRealOrThrow: MTypes.OneArgFunction<CVReal.Type, Type>;
+/**
+ * Constructs an Option of a PositiveInteger from an Integer
+ *
+ * @category Constructors
+ */
+export declare const fromIntegerOption: MTypes.OneArgFunction<CVInteger.Type, Option.Option<Type>>;
+/**
+ * Constructs an Either of a PositiveInteger from an Integer
+ *
+ * @category Constructors
+ */
+export declare const fromInteger: MTypes.OneArgFunction<CVInteger.Type, Either.Either<Type, Brand.Brand.BrandErrors>>;
+/**
+ * Constructs a PositiveInteger from an Integer or throws
+ *
+ * @category Constructors
+ */
+export declare const fromIntegerOrThrow: MTypes.OneArgFunction<CVInteger.Type, Type>;
+/**
+ * Constructs an Option of a PositiveInteger from a PositiveReal
+ *
+ * @category Constructors
+ */
+export declare const fromPositiveRealOption: MTypes.OneArgFunction<CVPositiveReal.Type, Option.Option<Type>>;
+/**
+ * Constructs an Either of a PositiveInteger from a PositiveReal
+ *
+ * @category Constructors
+ */
+export declare const fromPositiveReal: MTypes.OneArgFunction<CVPositiveReal.Type, Either.Either<Type, Brand.Brand.BrandErrors>>;
+/**
+ * Constructs a PositiveInteger from a PositiveReal or throws
+ *
+ * @category Constructors
+ */
+export declare const fromPositiveRealOrThrow: MTypes.OneArgFunction<CVPositiveReal.Type, Type>;
+//# sourceMappingURL=PositiveInteger.d.ts.map

package/dts/PositiveInteger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"PositiveInteger.d.ts","sourceRoot":"","sources":["../../esm/PositiveInteger.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAkB,MAAM,EAAU,MAAM,QAAQ,CAAC;AACnF,OAAO,KAAK,SAAS,MAAM,cAAc,CAAC;AAC1C,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,KAAK,cAAc,MAAM,mBAAmB,CAAC;AACzD,OAAO,KAAK,MAAM,MAAM,WAAW,CAAC;AAEpC;;;;GAIG;AACH,eAAO,MAAM,SAAS,4CAA4C,CAAC;AAEnE;;;;GAIG;AACH,eAAO,MAAM,WAAW,wKAA2D,CAAC;AAEpF;;;;GAIG;AACH,MAAM,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,WAAW,CAAC,CAAC;AAEnE;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,wKAAwB,CAAC;AAEtD;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,cAAc,CACnD,MAAM,EACN,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CACoB,CAAC;AAEzC;;;;GAIG;AACH,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,cAAc,CAC7C,MAAM,EACN,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CACL,CAAC;AAEzC;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAe,CAAC;AAElF;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAC5C,CAAC;AAEzC;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,cAAc,CACvD,UAAU,CAAC,UAAU,EACrB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAC0E,CAAC;AAE/F;;;;GAIG;AACH,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,cAAc,CACjD,UAAU,CAAC,UAAU,EACrB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CACqC,CAAC;AAEnF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,EAAE,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAG3E,CAAC;AAEX;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAC7B,CAAC;AAErC;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAGtE,CAAC;AAEX;;;;GAIG;AACH,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,cAAc,CAC7C,MAAM,EACN,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CACiC,CAAC;AAE/E;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAGxD,CAAC;AAEX;;;;GAIG;AACH,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAA8B,CAAC;AAEnG;;;;GAIG;AACH,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAGzE,CAAC;AAEX;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,cAAc,CAC3C,MAAM,CAAC,IAAI,EACX,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAC+B,CAAC;AAE7E;;;;GAIG;AACH,eAAO,MAAM,eAAe,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAG3D,CAAC;AAEX;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAE/E,CAAC;AAEX;;;;GAIG;AACH,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,cAAc,CAC9C,SAAS,CAAC,IAAI,EACd,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CACX,CAAC;AAEnC;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,EAAE,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAEjE,CAAC;AAEX;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,EAAE,MAAM,CAAC,cAAc,CACzD,cAAc,CAAC,IAAI,EACnB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CACuB,CAAC;AAE5C;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,cAAc,CACnD,cAAc,CAAC,IAAI,EACnB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CACd,CAAC;AAEhC;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,EAAE,MAAM,CAAC,cAAc,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAE3E,CAAC"}

package/dts/PositiveReal.d.ts

@@ -0,0 +1,130 @@
+/**
+ * This module implements a positive finite number brand (NaN, Infinity and negative numbers
+ * disallowed). Useful for a price, a physical quantity...
+ */
+import { MTypes } from '@parischap/effect-lib';
+import { BigDecimal, Brand, Either, Option } from 'effect';
+import * as CVPositive from './internal/Positive.js';
+import type * as CVPositiveInteger from './PositiveInteger.js';
+import * as CVReal from './Real.js';
+/**
+ * Module tag
+ *
+ * @category Module markers
+ */
+export declare const moduleTag = "@parischap/conversions/PositiveReal/";
+/**
+ * Brand constructor. Should not be used directly
+ *
+ * @category Constructors
+ */
+export declare const constructor: Brand.Brand.Constructor<number & Brand.Brand<typeof CVReal.TypeId> & Brand.Brand<typeof CVPositive._TypeId>>;
+/**
+ * PositiveReal type
+ *
+ * @category Models
+ */
+export type Type = Brand.Brand.FromConstructor<typeof constructor>;
+/**
+ * Constructs a PositiveReal from a number without any verifications
+ *
+ * @category Constructors
+ */
+export declare const unsafeFromNumber: Brand.Brand.Constructor<number & Brand.Brand<typeof CVReal.TypeId> & Brand.Brand<typeof CVPositive._TypeId>>;
+/**
+ * Constructs an Option of a PositiveReal from a number
+ *
+ * @category Constructors
+ */
+export declare const fromNumberOption: MTypes.OneArgFunction<number, Option.Option<Type>>;
+/**
+ * Constructs an Either of a PositiveReal from a number
+ *
+ * @category Constructors
+ */
+export declare const fromNumber: MTypes.OneArgFunction<number, Either.Either<Type, Brand.Brand.BrandErrors>>;
+/**
+ * Constructs a PositiveReal from a number or throws
+ *
+ * @category Constructors
+ */
+export declare const fromNumberOrThrow: MTypes.OneArgFunction<number, Type>;
+/**
+ * Constructs a PositiveReal from a BigDecimal without any checks
+ *
+ * @category Constructors
+ */
+export declare const unsafeFromBigDecimal: MTypes.OneArgFunction<BigDecimal.BigDecimal, Type>;
+/**
+ * Constructs an Option of a PositiveReal from a BigDecimal
+ *
+ * @category Constructors
+ */
+export declare const fromBigDecimalOption: MTypes.OneArgFunction<BigDecimal.BigDecimal, Option.Option<Type>>;
+/**
+ * Constructs an Either of a PositiveReal from a BigDecimal
+ *
+ * @category Constructors
+ */
+export declare const fromBigDecimal: MTypes.OneArgFunction<BigDecimal.BigDecimal, Either.Either<Type, Brand.Brand.BrandErrors>>;
+/**
+ * Constructs a PositiveReal from a BigDecimal or throws
+ *
+ * @category Constructors
+ */
+export declare const fromBigDecimalOrThrow: MTypes.OneArgFunction<BigDecimal.BigDecimal, Type>;
+/**
+ * Constructs a PositiveReal from a BigInt without any checks
+ *
+ * @category Constructors
+ */
+export declare const unsafeFromBigInt: MTypes.OneArgFunction<bigint, Type>;
+/**
+ * Constructs an Option of a PositiveReal from a BigInt
+ *
+ * @category Constructors
+ */
+export declare const fromBigIntOption: MTypes.OneArgFunction<bigint, Option.Option<Type>>;
+/**
+ * Constructs an Either of a PositiveReal from a BigInt
+ *
+ * @category Constructors
+ */
+export declare const fromBigInt: MTypes.OneArgFunction<bigint, Either.Either<Type, Brand.Brand.BrandErrors>>;
+/**
+ * Constructs a PositiveReal from a BigInt or throws
+ *
+ * @category Constructors
+ */
+export declare const fromBigIntOrThrow: MTypes.OneArgFunction<bigint, Type>;
+/**
+ * Constructs a PositiveReal from a Real without any checks
+ *
+ * @category Constructors
+ */
+export declare const unsafeFromReal: MTypes.OneArgFunction<CVReal.Type, Type>;
+/**
+ * Constructs an Option of a PositiveReal from a Real
+ *
+ * @category Constructors
+ */
+export declare const fromRealOption: MTypes.OneArgFunction<CVReal.Type, Option.Option<Type>>;
+/**
+ * Constructs an Either of a PositiveReal from a Real
+ *
+ * @category Constructors
+ */
+export declare const fromReal: MTypes.OneArgFunction<CVReal.Type, Either.Either<Type, Brand.Brand.BrandErrors>>;
+/**
+ * Constructs a PositiveReal from a Real or throws
+ *
+ * @category Constructors
+ */
+export declare const fromRealOrThrow: MTypes.OneArgFunction<CVReal.Type, Type>;
+/**
+ * Constructs a PositiveReal from a PositiveInteger
+ *
+ * @category Constructors
+ */
+export declare const fromPositiveInteger: MTypes.OneArgFunction<CVPositiveInteger.Type, Type>;
+//# sourceMappingURL=PositiveReal.d.ts.map

package/dts/PositiveReal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"PositiveReal.d.ts","sourceRoot":"","sources":["../../esm/PositiveReal.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAW,MAAM,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAkB,MAAM,EAAU,MAAM,QAAQ,CAAC;AACnF,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,KAAK,iBAAiB,MAAM,sBAAsB,CAAC;AAC/D,OAAO,KAAK,MAAM,MAAM,WAAW,CAAC;AAEpC;;;;GAIG;AACH,eAAO,MAAM,SAAS,yCAAyC,CAAC;AAEhE;;;;GAIG;AACH,eAAO,MAAM,WAAW,8GAAwD,CAAC;AAEjF;;;;GAIG;AACH,MAAM,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,WAAW,CAAC,CAAC;AAEnE;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,8GAAwB,CAAC;AAEtD;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,cAAc,CACnD,MAAM,EACN,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CACoB,CAAC;AAEzC;;;;GAIG;AACH,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,cAAc,CAC7C,MAAM,EACN,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CACL,CAAC;AAEzC;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAe,CAAC;AAElF;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAC9C,CAAC;AAEvC;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,cAAc,CACvD,UAAU,CAAC,UAAU,EACrB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CACuE,CAAC;AAE5F;;;;GAIG;AACH,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,cAAc,CACjD,UAAU,CAAC,UAAU,EACrB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CACkC,CAAC;AAEhF;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,EAAE,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAG3E,CAAC;AAEX;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAC/B,CAAC;AAEnC;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAGtE,CAAC;AAEX;;;;GAIG;AACH,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,cAAc,CAC7C,MAAM,EACN,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAC8B,CAAC;AAE5E;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAGxD,CAAC;AAEX;;;;GAIG;AACH,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAA8B,CAAC;AAEnG;;;;GAIG;AACH,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,cAAc,CACjD,MAAM,CAAC,IAAI,EACX,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CACoB,CAAC;AAEzC;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,cAAc,CAC3C,MAAM,CAAC,IAAI,EACX,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CACX,CAAC;AAEnC;;;;GAIG;AACH,eAAO,MAAM,eAAe,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAC/B,CAAC;AAEvC;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,EAAE,MAAM,CAAC,cAAc,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CACzD,CAAC"}

package/dts/Real.d.ts

@@ -0,0 +1,102 @@
+/** This module implements a finite number brand (Infinity or Nan disallowed) */
+import { MTypes } from '@parischap/effect-lib';
+import { BigDecimal, Brand, Either, Option } from 'effect';
+/**
+ * Module tag
+ *
+ * @category Module markers
+ */
+export declare const moduleTag = "@parischap/conversions/Real/";
+/**
+ * Module TypeId
+ *
+ * @category Module markers
+ */
+export declare const TypeId: unique symbol;
+type _TypeId = typeof TypeId;
+/**
+ * Real type
+ *
+ * @category Models
+ */
+export type Type = Brand.Branded<number, _TypeId>;
+/**
+ * Brand constructor. Should not be used directly
+ *
+ * @category Constructors
+ */
+export declare const constructor: Brand.Brand.Constructor<Type>;
+/**
+ * Constructs a Real from a number without any verifications
+ *
+ * @category Constructors
+ */
+export declare const unsafeFromNumber: Brand.Brand.Constructor<Type>;
+/**
+ * Constructs an Option of a Real from a number
+ *
+ * @category Constructors
+ */
+export declare const fromNumberOption: MTypes.OneArgFunction<number, Option.Option<Type>>;
+/**
+ * Constructs an Either of a Real from a number
+ *
+ * @category Constructors
+ */
+export declare const fromNumber: MTypes.OneArgFunction<number, Either.Either<Type, Brand.Brand.BrandErrors>>;
+/**
+ * Constructs a Real from a number or throws
+ *
+ * @category Constructors
+ */
+export declare const fromNumberOrThrow: MTypes.OneArgFunction<number, Type>;
+/**
+ * Constructs a Real from a BigDecimal without any checks
+ *
+ * @category Constructors
+ */
+export declare const unsafeFromBigDecimal: MTypes.OneArgFunction<BigDecimal.BigDecimal, Type>;
+/**
+ * Constructs an Option of a Real from a BigDecimal.
+ *
+ * @category Constructors
+ */
+export declare const fromBigDecimalOption: MTypes.OneArgFunction<BigDecimal.BigDecimal, Option.Option<Type>>;
+/**
+ * Constructs an Either of a Real from a BigDecimal.
+ *
+ * @category Constructors
+ */
+export declare const fromBigDecimal: MTypes.OneArgFunction<BigDecimal.BigDecimal, Either.Either<Type, Brand.Brand.BrandErrors>>;
+/**
+ * Constructs a Real from a BigDecimal or throws
+ *
+ * @category Constructors
+ */
+export declare const fromBigDecimalOrThrow: MTypes.OneArgFunction<BigDecimal.BigDecimal, Type>;
+/**
+ * Constructs a Real from a BigInt without any checks
+ *
+ * @category Constructors
+ */
+export declare const unsafeFromBigInt: MTypes.OneArgFunction<bigint, Type>;
+/**
+ * Constructs an Option of a Real from a BigInt.
+ *
+ * @category Constructors
+ */
+export declare const fromBigIntOption: MTypes.OneArgFunction<bigint, Option.Option<Type>>;
+/**
+ * Constructs an Either of a Real from a BigInt.
+ *
+ * @category Constructors
+ */
+export declare const fromBigInt: MTypes.OneArgFunction<bigint, Either.Either<Type, Brand.Brand.BrandErrors>>;
+/**
+ * Constructs a Real from a BigInt or throws
+ *
+ * @category Constructors
+ */
+export declare const fromBigIntOrThrow: MTypes.OneArgFunction<bigint, Type>;
+export {};
+//# sourceMappingURL=Real.d.ts.map

package/dts/Real.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Real.d.ts","sourceRoot":"","sources":["../../esm/Real.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAEhF,OAAO,EAAoB,MAAM,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAQ,MAAM,EAAU,MAAM,QAAQ,CAAC;AAEzE;;;;GAIG;AACH,eAAO,MAAM,SAAS,iCAAiC,CAAC;AAExD;;;;GAIG;AACH,eAAO,MAAM,MAAM,EAAE,OAAO,MAAyC,CAAC;AACtE,KAAK,OAAO,GAAG,OAAO,MAAM,CAAC;AAE7B;;;;GAIG;AACH,MAAM,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAElD;;;;GAIG;AACH,eAAO,MAAM,WAAW,+BAQvB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,+BAAwB,CAAC;AAEtD;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,cAAc,CACnD,MAAM,EACN,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CACoB,CAAC;AAEzC;;;;GAIG;AACH,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,cAAc,CAC7C,MAAM,EACN,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CACL,CAAC;AAEzC;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAe,CAAC;AAElF;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAC9C,CAAC;AAEvC;;;;GAIG;AACH,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,cAAc,CACvD,UAAU,CAAC,UAAU,EACrB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CACqB,CAAC;AAE1C;;;;GAIG;AACH,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,cAAc,CACjD,UAAU,CAAC,UAAU,EACrB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CACV,CAAC;AAEpC;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,EAAE,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,UAAU,EAAE,IAAI,CAC9C,CAAC;AAExC;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAC/B,CAAC;AAEnC;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,cAAc,CACnD,MAAM,EACN,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CACiB,CAAC;AAEtC;;;;GAIG;AACH,eAAO,MAAM,UAAU,EAAE,MAAM,CAAC,cAAc,CAC7C,MAAM,EACN,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CACd,CAAC;AAEhC;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAC/B,CAAC"}

package/dts/RoundingMode.d.ts

@@ -0,0 +1,72 @@
+/** This module defines possible rounding modes (see Intl.NumberFormat) */
+import { MTypes } from '@parischap/effect-lib';
+/**
+ * Possible rounding modes
+ *
+ * @category Models
+ */
+export declare enum Type {
+    /** Round toward +∞. Positive values round up. Negative values round "more positive" */
+    Ceil = 0,
+    /** Round toward -∞. Positive values round down. Negative values round "more negative" */
+    Floor = 1,
+    /**
+     * Round away from 0. The magnitude of the value is always increased by rounding. Positive values
+     * round up. Negative values round "more negative"
+     */
+    Expand = 2,
+    /**
+     * Round toward 0. The magnitude of the value is always reduced by rounding. Positive values round
+     * down. Negative values round "less negative"
+     */
+    Trunc = 3,
+    /**
+     * Ties toward +∞. Values above the half-increment round like "ceil" (towards +∞), and below like
+     * "floor" (towards -∞). On the half-increment, values round like "ceil"
+     */
+    HalfCeil = 4,
+    /**
+     * Ties toward -∞. Values above the half-increment round like "ceil" (towards +∞), and below like
+     * "floor" (towards -∞). On the half-increment, values round like "floor"
+     */
+    HalfFloor = 5,
+    /**
+     * Ties away from 0. Values above the half-increment round like "expand" (away from zero), and
+     * below like "trunc" (towards 0). On the half-increment, values round like "expand"
+     */
+    HalfExpand = 6,
+    /**
+     * Ties toward 0. Values above the half-increment round like "expand" (away from zero), and below
+     * like "trunc" (towards 0). On the half-increment, values round like "trunc"
+     */
+    HalfTrunc = 7,
+    /**
+     * Ties towards the nearest even integer. Values above the half-increment round like "expand"
+     * (away from zero), and below like "trunc" (towards 0). On the half-increment values round
+     * towards the nearest even digit
+     */
+    HalfEven = 8
+}
+/**
+ * Returns the name of `self`
+ *
+ * @category Destructors
+ */
+export declare const toName: MTypes.OneArgFunction<Type, string>;
+/**
+ * Type of a Correcter
+ *
+ * @category Models
+ */
+export interface Correcter extends MTypes.OneArgFunction<{
+    readonly firstFollowingDigit: number;
+    readonly isEven: boolean;
+}, number> {
+}
+/**
+ * Builds a `Correcter` implementing `self`
+ *
+ * @category Destructors
+ */
+export declare const toCorrecter: MTypes.OneArgFunction<Type, Correcter>;
+//# sourceMappingURL=RoundingMode.d.ts.map

package/dts/RoundingMode.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"RoundingMode.d.ts","sourceRoot":"","sources":["../../esm/RoundingMode.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAE1E,OAAO,EAAU,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAGvD;;;;GAIG;AACH,oBAAY,IAAI;IACf,uFAAuF;IACvF,IAAI,IAAI;IACR,yFAAyF;IACzF,KAAK,IAAI;IACT;;;OAGG;IACH,MAAM,IAAI;IACV;;;OAGG;IACH,KAAK,IAAI;IACT;;;OAGG;IACH,QAAQ,IAAI;IACZ;;;OAGG;IACH,SAAS,IAAI;IACb;;;OAGG;IACH,UAAU,IAAI;IACd;;;OAGG;IACH,SAAS,IAAI;IACb;;;;OAIG;IACH,QAAQ,IAAI;CACZ;AAED;;;;GAIG;AACH,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CActD,CAAC;AAEF;;;;GAIG;AACH,MAAM,WAAW,SAChB,SAAQ,MAAM,CAAC,cAAc,CAC5B;IACC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CACzB,EACD,MAAM,CACN;CAAG;AAEL;;;;GAIG;AACH,eAAO,MAAM,WAAW,EAAE,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,CAiE9D,CAAC"}

package/dts/RoundingOption.d.ts

@@ -0,0 +1,79 @@
+/**
+ * This module allows you to round numbers and BigDecimal's according to diverse RoundingMode's with
+ * a given precision
+ */
+import { MInspectable, MTypes } from '@parischap/effect-lib';
+import { BigDecimal, Equal, Equivalence, Pipeable } from 'effect';
+import * as CVRoundingMode from './RoundingMode.js';
+/**
+ * Module tag
+ *
+ * @category Module markers
+ */
+export declare const moduleTag = "@parischap/conversions/RoundingOption/";
+/**
+ * Type that represents a Rounder.
+ *
+ * @category Models
+ */
+export interface Type extends Equal.Equal, MInspectable.Type, Pipeable.Pipeable {
+    /** The precision at which to round the number. Must be a finite positive integer. */
+    readonly precision: number;
+    /** The rounding mode to use */
+    readonly roundingMode: CVRoundingMode.Type;
+}
+/**
+ * Type guard
+ *
+ * @category Guards
+ */
+export declare const has: (u: unknown) => u is Type;
+/**
+ * Equivalence
+ *
+ * @category Equivalences
+ */
+export declare const equivalence: Equivalence.Equivalence<Type>;
+/**
+ * Constructor
+ *
+ * @category Constructors
+ */
+export declare const make: ({ precision, roundingMode }?: {
+    readonly precision?: number;
+    readonly roundingMode?: CVRoundingMode.Type;
+}) => Type;
+/**
+ * RoundingOption instance that uses the HalfExpand Rounding mode and precision=2. Can be used in
+ * accounting apps of most countries.
+ *
+ * @category Instances
+ */
+export declare const halfExpand2: Type;
+/**
+ * Returns the `precision` property of `self`
+ *
+ * @category Destructors
+ */
+export declare const precision: MTypes.OneArgFunction<Type, number>;
+/**
+ * Returns the `roundingMode` property of `self`
+ *
+ * @category Destructors
+ */
+export declare const roundingMode: MTypes.OneArgFunction<Type, CVRoundingMode.Type>;
+/**
+ * Builds a number Rounder implementing `self`, i.e a function that rounds a number as specified by
+ * `self`
+ *
+ * @category Destructors
+ */
+export declare const toNumberRounder: (self: Type) => MTypes.OneArgFunction<number>;
+/**
+ * Builds a BigDecimal Rounder implementing `self`, i.e a function that rounds a BigDecimal as
+ * specified by `self`
+ *
+ * @category Destructors
+ */
+export declare const toBigDecimalRounder: (self: Type) => MTypes.OneArgFunction<BigDecimal.BigDecimal>;
+//# sourceMappingURL=RoundingOption.d.ts.map

package/dts/RoundingOption.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"RoundingOption.d.ts","sourceRoot":"","sources":["../../esm/RoundingOption.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAGN,YAAY,EAGZ,MAAM,EACN,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,EAAc,QAAQ,EAAqB,MAAM,QAAQ,CAAC;AACjG,OAAO,KAAK,cAAc,MAAM,mBAAmB,CAAC;AAEpD;;;;GAIG;AACH,eAAO,MAAM,SAAS,2CAA2C,CAAC;AAMlE;;;;GAIG;AACH,MAAM,WAAW,IAAK,SAAQ,KAAK,CAAC,KAAK,EAAE,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ;IAC9E,qFAAqF;IACrF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAE3B,+BAA+B;IAC/B,QAAQ,CAAC,YAAY,EAAE,cAAc,CAAC,IAAI,CAAC;CAI3C;AAED;;;;GAIG;AACH,eAAO,MAAM,GAAG,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,IAAyC,CAAC;AAEhF;;;;GAIG;AACH,eAAO,MAAM,WAAW,EAAE,WAAW,CAAC,WAAW,CAAC,IAAI,CACuB,CAAC;AA2B9E;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,8BAGlB;IAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,cAAc,CAAC,IAAI,CAAA;CAAO,KAAG,IACpD,CAAC;AAEpC;;;;;GAKG;AACH,eAAO,MAAM,WAAW,MAAuE,CAAC;AAEhG;;;;GAIG;AACH,eAAO,MAAM,SAAS,EAAE,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAA2B,CAAC;AAEtF;;;;GAIG;AACH,eAAO,MAAM,YAAY,EAAE,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,CAC/C,CAAC;AAE5B;;;;;GAKG;AACH,eAAO,MAAM,eAAe,GAAI,MAAM,IAAI,KAAG,MAAM,CAAC,cAAc,CAAC,MAAM,CAcxE,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,GAAI,MAAM,IAAI,KAAG,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,UAAU,CA2B3F,CAAC"}