@parischap/conversions 0.1.0

package/dts/TemplatePlaceholder.d.ts

@@ -0,0 +1,274 @@
+/**
+ * This module implements a TemplatePlaceholder type which is a sub-type of the TemplatePart type
+ * (see TemplatePart.ts)
+ *
+ * A TemplatePlaceholder represents the mutable part of a template. Each Placeholder defines a
+ * parser and a formatter:
+ *
+ * - The parser takes a string, consumes a part of that string, optionnally converts the consumed part
+ *   to a value of type T and, if successful, returns a right of that value and of what has not been
+ *   consumed. In case of an error, it returns a left.
+ * - The formatter takes a value of type T, converts it to a string (if T is not string), checks that
+ *   the result is coherent and, if so, returns a right of that string. Otherwise, it returns a
+ *   left.
+ */
+import { MInputError, MInspectable, MString, MTypes } from '@parischap/effect-lib';
+import { Either, Pipeable, Schema } from 'effect';
+import * as CVNumberBase10Format from './NumberBase10Format.js';
+import * as CVReal from './Real.js';
+/**
+ * Module tag
+ *
+ * @category Module markers
+ */
+export declare const moduleTag = "@parischap/conversions/TemplatePlaceholder/";
+/**
+ * Namespace of a Parser
+ *
+ * @category Models
+ */
+export declare namespace Parser {
+    /**
+     * Type that describes a Parser
+     *
+     * @category Models
+     */
+    interface Type<out T> extends MTypes.OneArgFunction<string, Either.Either<readonly [consumed: T, leftOver: string], MInputError.Type>> {
+    }
+}
+/**
+ * Namespace of a Formatter
+ *
+ * @category Models
+ */
+export declare namespace Formatter {
+    /**
+     * Type that describes a Formatter
+     *
+     * @category Models
+     */
+    interface Type<in T> extends MTypes.OneArgFunction<T, Either.Either<string, MInputError.Type>> {
+    }
+}
+/**
+ * Type that represents a TemplatePlaceholder
+ *
+ * @category Models
+ */
+export interface Type<out N extends string, in out T> extends MInspectable.Type, Pipeable.Pipeable {
+    /** Name of this TemplatePlaceholder */
+    readonly name: N;
+    /** Label of this TemplatePlaceholder(usually the name prefixed with '#') */
+    readonly label: string;
+    /** Descriptor of this TemplatePlaceholder (used for debugging purposes) */
+    readonly description: string;
+    /** Parser of this TemplatePlaceholder */
+    readonly parser: Parser.Type<T>;
+    /** Formatter of this TemplatePlaceholder */
+    readonly formatter: Formatter.Type<T>;
+    readonly schemaInstance: Schema.Schema<T, T>;
+}
+/**
+ * Type that represents a TemplatePlaceholder from and to any type
+ *
+ * @category Models
+ */
+export interface All extends Type<string, any> {
+}
+/**
+ * Utility type that extracts the Name type of a TemplatePlaceholder
+ *
+ * @category Utility types
+ */
+export type ExtractName<P extends All> = P extends Type<infer N, infer _> ? N : never;
+/**
+ * Utility type that extracts the Type type of a TemplatePlaceholder
+ *
+ * @category Utility types
+ */
+export type ExtractType<P extends All> = P extends Type<string, infer T> ? T : never;
+/**
+ * Type guard
+ *
+ * @category Guards
+ */
+export declare const has: (u: unknown) => u is Type<string, unknown>;
+/**
+ * Constructor
+ *
+ * @category Constructors
+ */
+export declare const make: <const N extends string, T>(params: Omit<MTypes.Data<Type<N, T>>, 'label'>) => Type<N, T>;
+/**
+ * Returns the `name` property of `self`
+ *
+ * @category Destructors
+ */
+export declare const name: <const N extends string, T>(self: Type<N, T>) => N;
+/**
+ * Returns the `label` property of `self`
+ *
+ * @category Destructors
+ */
+export declare const label: <const N extends string, T>(self: Type<N, T>) => string;
+/**
+ * Returns the `description` property of `self`
+ *
+ * @category Destructors
+ */
+export declare const description: <const N extends string, T>(self: Type<N, T>) => string;
+/**
+ * Returns the `parser` property of `self`
+ *
+ * @category Destructors
+ */
+export declare const parser: <const N extends string, T>(self: Type<N, T>) => Parser.Type<T>;
+/**
+ * Returns the `formatter` property of `self`
+ *
+ * @category Destructors
+ */
+export declare const formatter: <const N extends string, T>(self: Type<N, T>) => Formatter.Type<T>;
+/**
+ * Returns the `schemaInstance` property of `self`
+ *
+ * @category Destructors
+ */
+export declare const schemaInstance: <const N extends string, T>(self: Type<N, T>) => Schema.Schema<T, T>;
+/**
+ * Returns the description of `self`
+ *
+ * @category Destructors
+ */
+export declare const getLabelledDescription: <N extends string, T>(self: Type<N, T>) => string;
+/**
+ * Returns a modified copy of `self` where a postParser function is executed after the parser of
+ * `self` and a preFormatter function is executed before the formatter of `self`
+ *
+ * @category Destructors
+ */
+export declare const modify: {
+    <T>({ descriptorMapper, postParser, preFormatter }: {
+        readonly descriptorMapper: MTypes.OneArgFunction<string>;
+        readonly postParser: MTypes.OneArgFunction<T, Either.Either<T, MInputError.Type>>;
+        readonly preFormatter: MTypes.OneArgFunction<T, Either.Either<T, MInputError.Type>>;
+    }): <const N extends string>(self: Type<N, T>) => Type<N, T>;
+    <T, T1>({ descriptorMapper, postParser, preFormatter, t1SchemaInstance }: {
+        readonly descriptorMapper: MTypes.OneArgFunction<string>;
+        readonly postParser: MTypes.OneArgFunction<T, Either.Either<T1, MInputError.Type>>;
+        readonly preFormatter: MTypes.OneArgFunction<T1, Either.Either<T, MInputError.Type>>;
+        readonly t1SchemaInstance: Schema.Schema<T1, T1>;
+    }): <const N extends string>(self: Type<N, T>) => Type<N, T1>;
+};
+/**
+ * Builds a TemplatePlaceholder instance that parses/formats exactly `length` characters from a
+ * string. `length` must be a strictly positive integer.
+ *
+ * @category Constructors
+ */
+export declare const fixedLength: <const N extends string>({ name, length }: {
+    readonly name: N;
+    readonly length: number;
+}) => Type<N, string>;
+/**
+ * Builds a TemplatePlaceholder instance that parses/formats exactly `length` characters from a
+ * string and trims/pads the result at `padPosition` with `fillChar`. `fillChar` should be a
+ * one-character string. `length` must be a strictly positive integer. See the meaning of
+ * `disallowEmptyString` in String.trim.
+ *
+ * @category Constructors
+ */
+export declare const paddedFixedLength: <const N extends string>(params: {
+    readonly name: N;
+    readonly length: number;
+    readonly fillChar: string;
+    readonly padPosition: MString.PadPosition;
+    readonly disallowEmptyString: boolean;
+}) => Type<N, string>;
+/**
+ * Builds a TemplatePlaceholder instance that parses/formats a Real in the given
+ * `numberBase10Format`. If the number to parse/format is less than `length` characters, `fillChar`
+ * is trimmed/padded between the sign and the number so that the length condition is respected.
+ * fillChar must be a one-character string (but no error is triggered if you do not respect that
+ * condition)
+ *
+ * @category Constructors
+ */
+export declare const fixedLengthToReal: <const N extends string>(params: {
+    readonly name: N;
+    readonly length: number;
+    readonly fillChar: string;
+    readonly numberBase10Format: CVNumberBase10Format.Type;
+}) => Type<N, CVReal.Type>;
+/**
+ * Builds a TemplatePlaceholder instance that parses/formats a Real provided in
+ * `numberBase10Format`.
+ *
+ * @category Constructors
+ */
+export declare const real: <const N extends string>({ name, numberBase10Format }: {
+    readonly name: N;
+    readonly numberBase10Format: CVNumberBase10Format.Type;
+}) => Type<N, CVReal.Type>;
+/**
+ * Builds a TemplatePlaceholder instance that works as a map:
+ *
+ * The parser expects one of the keys of `keyValuePairs` and will return the associated value. The
+ * formatter expects one of the values of `keyValuePairs` and will return the associated key.
+ *
+ * `keyValuePairs` should define a bijection (each key and each value must be present only once). It
+ * is best if the type of the values defines a toString method. Value equality is checked with The
+ * Effect Equal.equals function.
+ *
+ * `schemaInstance` is a Schema instance that transforms a value of type T into a value of type T.
+ * It is an optional parameter. You need only provide it if you intend to use a CVTemplate built
+ * from it within the Effect Schema module. In that case, you can build such a Schema with the
+ * Schema.declare function. If you don't provide it and use a CVTemplate built from it within the
+ * Effect Schema module, it will not work.
+ *
+ * @category Constructors
+ */
+export declare const mappedLiterals: <const N extends string, T>({ name, keyValuePairs, schemaInstance }: {
+    readonly name: N;
+    readonly keyValuePairs: ReadonlyArray<readonly [string, T]>;
+    readonly schemaInstance?: Schema.Schema<T, T>;
+}) => Type<N, T>;
+/**
+ * Same as `mappedLiterals` but `T` is assumed to be `CVReal.Type` which should be the most usual
+ * use case
+ *
+ * @category Constructors
+ */
+export declare const realMappedLiterals: <const N extends string>(params: {
+    readonly name: N;
+    readonly keyValuePairs: ReadonlyArray<readonly [string, CVReal.Type]>;
+}) => Type<N, CVReal.Type>;
+/**
+ * Builds a TemplatePlaceholder instance that parses/formats the regular expression regExp. `regExp`
+ * must start with the ^ character. Otherwise, the parser and formatter will not work properly.
+ *
+ * @category Constructors
+ */
+export declare const fulfilling: <const N extends string>({ name, regExp, regExpDescriptor }: {
+    readonly name: N;
+    readonly regExp: RegExp;
+    readonly regExpDescriptor: string;
+}) => Type<N, string>;
+/**
+ * Builds a TemplatePlaceholder instance that parses/formats a non-empty string made up of
+ * characters other than those contained in `forbiddenChars`. `forbiddenChars` should be an array of
+ * 1-character strings (will not throw otherwise but strange behaviors can be expected)
+ *
+ * @category Constructors
+ */
+export declare const anythingBut: <const N extends string>({ name, forbiddenChars }: {
+    readonly name: N;
+    readonly forbiddenChars: MTypes.OverOne<string>;
+}) => Type<N, string>;
+/**
+ * Builds a TemplatePlaceholder instance that parses/formats all the remaining text.
+ *
+ * @category Constructors
+ */
+export declare const toEnd: <const N extends string>(name: N) => Type<N, string>;
+//# sourceMappingURL=TemplatePlaceholder.d.ts.map

package/dts/TemplatePlaceholder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TemplatePlaceholder.d.ts","sourceRoot":"","sources":["../../esm/TemplatePlaceholder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EACN,WAAW,EACX,YAAY,EAIZ,OAAO,EAGP,MAAM,EACN,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAEN,MAAM,EAKN,QAAQ,EAER,MAAM,EAKN,MAAM,QAAQ,CAAC;AAEhB,OAAO,KAAK,oBAAoB,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,MAAM,MAAM,WAAW,CAAC;AAEpC;;;;GAIG;AACH,eAAO,MAAM,SAAS,gDAAgD,CAAC;AAIvE;;;;GAIG;AACH,yBAAiB,MAAM,CAAC;IACvB;;;;OAIG;IACH,UAAiB,IAAI,CAAC,GAAG,CAAC,CAAC,CAC1B,SAAQ,MAAM,CAAC,cAAc,CAC5B,MAAM,EACN,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,WAAW,CAAC,IAAI,CAAC,CACzE;KAAG;CACL;AAED;;;;GAIG;AACH,yBAAiB,SAAS,CAAC;IAC1B;;;;OAIG;IACH,UAAiB,IAAI,CAAC,EAAE,CAAC,CAAC,CACzB,SAAQ,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;KAAG;CAC7E;AAED;;;;GAIG;AACH,MAAM,WAAW,IAAI,CAAC,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAE,SAAQ,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ;IACjG,uCAAuC;IACvC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAEjB,4EAA4E;IAC5E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAEvB,2EAA2E;IAC3E,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAE7B,yCAAyC;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAEhC,4CAA4C;IAC5C,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAEtC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAI7C;AAED;;;;GAIG;AAEH,MAAM,WAAW,GAAI,SAAQ,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC;CAAG;AAEjD;;;;GAIG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAEtF;;;;GAIG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAErF;;;;GAIG;AACH,eAAO,MAAM,GAAG,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,OAAO,CAAsC,CAAC;AAgBjG;;;;GAIG;AACH,eAAO,MAAM,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAC5C,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,KAC1C,IAAI,CAAC,CAAC,EAAE,CAAC,CAGb,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAsB,CAAC;AAE3F;;;;GAIG;AACH,eAAO,MAAM,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAA4B,CAAC;AAElG;;;;GAIG;AACH,eAAO,MAAM,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MACjD,CAAC;AAE3B;;;;GAIG;AACH,eAAO,MAAM,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAC9D,CAAC;AAEtB;;;;GAIG;AACH,eAAO,MAAM,SAAS,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC,CAAC,CACjE,CAAC;AAEzB;;;;GAIG;AACH,eAAO,MAAM,cAAc,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CACnE,CAAC;AAE9B;;;;GAIG;AACH,eAAO,MAAM,sBAAsB,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,WACvC,CAAC;AAEtC;;;;;GAKG;AACH,eAAO,MAAM,MAAM,EAAE;IACpB,CAAC,CAAC,EAAE,EACH,gBAAgB,EAChB,UAAU,EACV,YAAY,EACZ,EAAE;QACF,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QACzD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QAClF,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;KACpF,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,EAAE,EAAE,EAAE,EACP,gBAAgB,EAChB,UAAU,EACV,YAAY,EACZ,gBAAgB,EAChB,EAAE;QACF,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QACzD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QACnF,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,cAAc,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QACrF,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;KACjD,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;CAuC3D,CAAC;AAEL;;;;;GAKG;AACH,eAAO,MAAM,WAAW,GAAI,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,kBAGjD;IACF,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACxB,KAAG,IAAI,CAAC,CAAC,EAAE,MAAM,CAoBjB,CAAC;AAEF;;;;;;;GAOG;AACH,eAAO,MAAM,iBAAiB,GAAI,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,QAAQ;IACjE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC;IAC1C,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC;CACtC,KAAG,IAAI,CAAC,CAAC,EAAE,MAAM,CAcjB,CAAC;AAEF;;;;;;;;GAQG;AAEH,eAAO,MAAM,iBAAiB,GAAI,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,QAAQ;IACjE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,kBAAkB,EAAE,oBAAoB,CAAC,IAAI,CAAC;CACvD,KAAG,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAkCtB,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GAAI,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,8BAG1C;IACF,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,kBAAkB,EAAE,oBAAoB,CAAC,IAAI,CAAC;CACvD,KAAG,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAwBtB,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,cAAc,GAAI,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,yCAIvD;IACF,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5D,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAC9C,KAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAuDZ,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,GAAI,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,QAAQ;IAClE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;CACtE,KAAG,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAyE,CAAC;AAEjG;;;;;GAKG;AACH,eAAO,MAAM,UAAU,GAAI,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,oCAIhD;IACF,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CAClC,KAAG,IAAI,CAAC,CAAC,EAAE,MAAM,CAwCjB,CAAC;AAEF;;;;;;GAMG;AACH,eAAO,MAAM,WAAW,GAAI,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,0BAGjD;IACF,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;CAChD,KAAG,IAAI,CAAC,CAAC,EAAE,MAAM,CAkBjB,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,KAAK,GAAI,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,CAAC,KAAG,IAAI,CAAC,CAAC,EAAE,MAAM,CAKnE,CAAC"}

package/dts/TemplateSeparator.d.ts

@@ -0,0 +1,130 @@
+/**
+ * This module implements a TemplateSeparator type which is a sub-type of the TemplatePart type (see
+ * TemplatePart.ts)
+ *
+ * A TemplateSeparator represents the immutable part of a template. Upon parsing, we must check that
+ * it is present as is in the text. Upon formatting, it must be inserted as is into the text. A
+ * Separator contains no valuable information
+ */
+import { MInputError, MInspectable, MTypes } from '@parischap/effect-lib';
+import { Either, Function, Pipeable } from 'effect';
+/**
+ * Module tag
+ *
+ * @category Module markers
+ */
+export declare const moduleTag = "@parischap/conversions/TemplateSeparator/";
+/**
+ * Namespace of a Parser
+ *
+ * @category Models
+ */
+export declare namespace Parser {
+    /**
+     * Type that describes a Parser
+     *
+     * @category Models
+     */
+    interface Type extends MTypes.OneArgFunction<number, MTypes.OneArgFunction<string, Either.Either<string, MInputError.Type>>> {
+    }
+}
+/**
+ * Namespace of a Formatter
+ *
+ * @category Models
+ */
+export declare namespace Formatter {
+    /**
+     * Type that describes a Formatter
+     *
+     * @category Models
+     */
+    interface Type extends Function.LazyArg<string> {
+    }
+}
+/**
+ * Type that represents a TemplateSeparator
+ *
+ * @category Models
+ */
+export interface Type extends MInspectable.Type, Pipeable.Pipeable {
+    /** The string representing this separator */
+    readonly value: string;
+    /** Parser of this TemplateSeparator */
+    readonly parser: Parser.Type;
+    /** Formatter of this TemplateSeparator */
+    readonly formatter: Formatter.Type;
+}
+/**
+ * Type guard
+ *
+ * @category Guards
+ */
+export declare const has: (u: unknown) => u is Type;
+/**
+ * Builds a Separator instance that parses/formats a given string.
+ *
+ * @category Constructors
+ */
+export declare const make: (value: string) => Type;
+/**
+ * Returns the `value` property of `self`
+ *
+ * @category Destructors
+ */
+export declare const value: MTypes.OneArgFunction<Type, string>;
+/**
+ * Returns the `parser` property of `self`
+ *
+ * @category Destructors
+ */
+export declare const parser: MTypes.OneArgFunction<Type, Parser.Type>;
+/**
+ * Returns the `formatter` property of `self`
+ *
+ * @category Destructors
+ */
+export declare const formatter: MTypes.OneArgFunction<Type, Formatter.Type>;
+/**
+ * Slash Separator instance
+ *
+ * @category Instances
+ */
+export declare const slash: Type;
+/**
+ * Backslash Separator instance
+ *
+ * @category Instances
+ */
+export declare const backslash: Type;
+/**
+ * Dot Separator instance
+ *
+ * @category Instances
+ */
+export declare const dot: Type;
+/**
+ * Hyphen Separator instance
+ *
+ * @category Instances
+ */
+export declare const hyphen: Type;
+/**
+ * Colon Separator instance
+ *
+ * @category Instances
+ */
+export declare const colon: Type;
+/**
+ * Comma Separator instance
+ *
+ * @category Instances
+ */
+export declare const comma: Type;
+/**
+ * Space Separator instance
+ *
+ * @category Instances
+ */
+export declare const space: Type;
+//# sourceMappingURL=TemplateSeparator.d.ts.map

package/dts/TemplateSeparator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TemplateSeparator.d.ts","sourceRoot":"","sources":["../../esm/TemplateSeparator.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,WAAW,EAAE,YAAY,EAAsB,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAE9F,OAAO,EAAE,MAAM,EAAQ,QAAQ,EAAE,QAAQ,EAAqB,MAAM,QAAQ,CAAC;AAE7E;;;;GAIG;AACH,eAAO,MAAM,SAAS,8CAA8C,CAAC;AAIrE;;;;GAIG;AACH,yBAAiB,MAAM,CAAC;IACvB;;;;OAIG;IACH,UAAiB,IAChB,SAAQ,MAAM,CAAC,cAAc,CAC5B,MAAM,EACN,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CACtE;KAAG;CACL;AAED;;;;GAIG;AACH,yBAAiB,SAAS,CAAC;IAC1B;;;;OAIG;IACH,UAAiB,IAAK,SAAQ,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC;KAAG;CACzD;AAED;;;;GAIG;AACH,MAAM,WAAW,IAAK,SAAQ,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ;IACjE,6CAA6C;IAC7C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAEvB,uCAAuC;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC;IAE7B,0CAA0C;IAC1C,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC;CAInC;AAED;;;;GAIG;AACH,eAAO,MAAM,GAAG,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,IAAyC,CAAC;AAchF;;;;GAIG;AACH,eAAO,MAAM,IAAI,GAAI,OAAO,MAAM,KAAG,IAYlC,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAuB,CAAC;AAE9E;;;;GAIG;AACH,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAwB,CAAC;AAErF;;;;GAIG;AACH,eAAO,MAAM,SAAS,EAAE,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAA2B,CAAC;AAE9F;;;;GAIG;AACH,eAAO,MAAM,KAAK,EAAE,IAAgB,CAAC;AAErC;;;;GAIG;AACH,eAAO,MAAM,SAAS,EAAE,IAAiB,CAAC;AAE1C;;;;GAIG;AACH,eAAO,MAAM,GAAG,EAAE,IAAgB,CAAC;AAEnC;;;;GAIG;AACH,eAAO,MAAM,MAAM,EAAE,IAAgB,CAAC;AAEtC;;;;GAIG;AACH,eAAO,MAAM,KAAK,EAAE,IAAgB,CAAC;AAErC;;;;GAIG;AACH,eAAO,MAAM,KAAK,EAAE,IAAgB,CAAC;AAErC;;;;GAIG;AACH,eAAO,MAAM,KAAK,EAAE,IAAgB,CAAC"}

package/dts/index.d.ts

@@ -0,0 +1,21 @@
+export * as CVBigDecimal from './BigDecimal.js';
+export * as CVBigInt from './BigInt.js';
+export * as CVDateTime from './DateTime.js';
+export * as CVDateTimeFormat from './DateTimeFormat.js';
+export * as CVDateTimeFormatContext from './DateTimeFormatContext.js';
+export * as CVEmail from './Email.js';
+export * as CVInteger from './Integer.js';
+export * as CVNumberBase10Format from './NumberBase10Format.js';
+export * as CVPositiveInteger from './PositiveInteger.js';
+export * as CVPositiveReal from './PositiveReal.js';
+export * as CVReal from './Real.js';
+export * as CVRoundingMode from './RoundingMode.js';
+export * as CVRoundingOption from './RoundingOption.js';
+export * as CVSchema from './Schema.js';
+export * as CVSemVer from './SemVer.js';
+export * as CVTemplate from './Template.js';
+export * as CVTemplatePart from './TemplatePart.js';
+export * as CVTemplateParts from './TemplateParts.js';
+export * as CVTemplatePlaceholder from './TemplatePlaceholder.js';
+export * as CVTemplateSeparator from './TemplateSeparator.js';
+//# sourceMappingURL=index.d.ts.map

package/dts/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../esm/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,YAAY,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,QAAQ,MAAM,aAAa,CAAC;AACxC,OAAO,KAAK,UAAU,MAAM,eAAe,CAAC;AAC5C,OAAO,KAAK,gBAAgB,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,uBAAuB,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,OAAO,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,SAAS,MAAM,cAAc,CAAC;AAC1C,OAAO,KAAK,oBAAoB,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,iBAAiB,MAAM,sBAAsB,CAAC;AAC1D,OAAO,KAAK,cAAc,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,MAAM,MAAM,WAAW,CAAC;AACpC,OAAO,KAAK,cAAc,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,gBAAgB,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,QAAQ,MAAM,aAAa,CAAC;AACxC,OAAO,KAAK,QAAQ,MAAM,aAAa,CAAC;AACxC,OAAO,KAAK,UAAU,MAAM,eAAe,CAAC;AAC5C,OAAO,KAAK,cAAc,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,eAAe,MAAM,oBAAoB,CAAC;AACtD,OAAO,KAAK,qBAAqB,MAAM,0BAA0B,CAAC;AAClE,OAAO,KAAK,mBAAmB,MAAM,wBAAwB,CAAC"}

package/dts/internal/Int.d.ts

@@ -0,0 +1,6 @@
+/**
+ * A module that implements an integer brand (non-null fractional part disallowed). Not exported.
+ * Only used internally
+ */
+export {};
+//# sourceMappingURL=Int.d.ts.map

package/dts/internal/Int.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Int.d.ts","sourceRoot":"","sources":["../../../esm/internal/Int.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dts/internal/Positive.d.ts

@@ -0,0 +1,6 @@
+/**
+ * A module that implements a positive number brand (negative number disallowed). Not exported. Only
+ * used internally
+ */
+export {};
+//# sourceMappingURL=Positive.d.ts.map

package/dts/internal/Positive.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Positive.d.ts","sourceRoot":"","sources":["../../../esm/internal/Positive.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/esm/BigDecimal.js

@@ -0,0 +1,9 @@
+/** A simple extension to the Effect BigDecimal module */
+import { BigDecimal } from 'effect';
+/**
+ * Constructs a BigDecimal from a Real
+ *
+ * @category Constructors
+ */
+export const fromReal = BigDecimal.unsafeFromNumber;
+//# sourceMappingURL=BigDecimal.js.map

package/esm/BigDecimal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"BigDecimal.js","names":["BigDecimal","fromReal","unsafeFromNumber"],"sources":["../../esm/BigDecimal.ts"],"sourcesContent":[null],"mappings":"AAAA;AAGA,SAASA,UAAU,QAAQ,QAAQ;AAGnC;;;;;AAKA,OAAO,MAAMC,QAAQ,GACpBD,UAAU,CAACE,gBAAgB","ignoreList":[]}

package/esm/BigInt.js

@@ -0,0 +1,27 @@
+/** A simple extension to the Effect BigInt module */
+import { MBigInt } from '@parischap/effect-lib';
+/**
+ * Constructs a BigInt from a Integer
+ *
+ * @category Constructors
+ */
+export const fromInteger = MBigInt.fromPrimitiveOrThrow;
+/**
+ * Constructs an Option of a BigInt from a Real
+ *
+ * @category Constructors
+ */
+export const fromRealOption = MBigInt.fromPrimitiveOption;
+/**
+ * Constructs an Either of a BigInt from a Real
+ *
+ * @category Constructors
+ */
+export const fromReal = MBigInt.fromPrimitive;
+/**
+ * Constructs a BigInt from a Real or throws
+ *
+ * @category Constructors
+ */
+export const fromRealOrThrow = MBigInt.fromPrimitiveOrThrow;
+//# sourceMappingURL=BigInt.js.map

package/esm/BigInt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"BigInt.js","names":["MBigInt","fromInteger","fromPrimitiveOrThrow","fromRealOption","fromPrimitiveOption","fromReal","fromPrimitive","fromRealOrThrow"],"sources":["../../esm/BigInt.ts"],"sourcesContent":[null],"mappings":"AAAA;AAEA,SAASA,OAAO,QAAgB,uBAAuB;AAKvD;;;;;AAKA,OAAO,MAAMC,WAAW,GACvBD,OAAO,CAACE,oBAAoB;AAE7B;;;;;AAKA,OAAO,MAAMC,cAAc,GAGvBH,OAAO,CAACI,mBAA4B;AAExC;;;;;AAKA,OAAO,MAAMC,QAAQ,GAGjBL,OAAO,CAACM,aAAsB;AAElC;;;;;AAKA,OAAO,MAAMC,eAAe,GAC3BP,OAAO,CAACE,oBAA6B","ignoreList":[]}