@parischap/conversions 0.1.0

package/esm/TemplatePlaceholder.js

@@ -0,0 +1,342 @@
+/**
+ * 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, MPipeable, MRegExp, MRegExpString, MString, MStruct, MTuple, MTypes } from '@parischap/effect-lib';
+import { Array, Either, flow, Function, HashMap, pipe, Predicate, Schema, String, Struct, Tuple } from 'effect';
+import * as CVNumberBase10Format from './NumberBase10Format.js';
+import * as CVReal from './Real.js';
+/**
+ * Module tag
+ *
+ * @category Module markers
+ */
+export const moduleTag = '@parischap/conversions/TemplatePlaceholder/';
+const _TypeId = /*#__PURE__*/Symbol.for(moduleTag);
+/**
+ * Type guard
+ *
+ * @category Guards
+ */
+export const has = u => Predicate.hasProperty(u, _TypeId);
+/** Proto */
+/* eslint-disable-next-line @typescript-eslint/no-explicit-any */
+const proto = {
+  [_TypeId]: {
+    _N: MTypes.covariantValue,
+    _T: MTypes.invariantValue
+  },
+  [MInspectable.IdSymbol]() {
+    return getLabelledDescription(this);
+  },
+  ... /*#__PURE__*/MInspectable.BaseProto(moduleTag),
+  ...MPipeable.BaseProto
+};
+const _make = params => MTypes.objectFromDataAndProto(proto, params);
+/**
+ * Constructor
+ *
+ * @category Constructors
+ */
+export const make = /*#__PURE__*/flow(/*#__PURE__*/MStruct.enrichWith({
+  label: ({
+    name
+  }) => MString.prepend('#')(name)
+}), _make);
+/**
+ * Returns the `name` property of `self`
+ *
+ * @category Destructors
+ */
+export const name = /*#__PURE__*/Struct.get('name');
+/**
+ * Returns the `label` property of `self`
+ *
+ * @category Destructors
+ */
+export const label = /*#__PURE__*/Struct.get('label');
+/**
+ * Returns the `description` property of `self`
+ *
+ * @category Destructors
+ */
+export const description = /*#__PURE__*/Struct.get('description');
+/**
+ * Returns the `parser` property of `self`
+ *
+ * @category Destructors
+ */
+export const parser = /*#__PURE__*/Struct.get('parser');
+/**
+ * Returns the `formatter` property of `self`
+ *
+ * @category Destructors
+ */
+export const formatter = /*#__PURE__*/Struct.get('formatter');
+/**
+ * Returns the `schemaInstance` property of `self`
+ *
+ * @category Destructors
+ */
+export const schemaInstance = /*#__PURE__*/Struct.get('schemaInstance');
+/**
+ * Returns the description of `self`
+ *
+ * @category Destructors
+ */
+export const getLabelledDescription = self => `${self.label}: ${self.description}`;
+/**
+ * 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 const modify = ({
+  descriptorMapper,
+  postParser,
+  preFormatter,
+  t1SchemaInstance
+}) => self => make({
+  name: self.name,
+  description: descriptorMapper(self.description),
+  parser: function (text) {
+    return Either.flatMap(self.parser.call(this, text), flow(Tuple.mapBoth({
+      onFirst: t => postParser.call(this, t),
+      onSecond: Either.right
+    }), Either.all));
+  },
+  formatter: function (t1) {
+    return pipe(preFormatter.call(this, t1), Either.flatMap(t => self.formatter.call(this, t)));
+  },
+  schemaInstance: t1SchemaInstance === undefined ? self.schemaInstance : t1SchemaInstance
+});
+/**
+ * Builds a TemplatePlaceholder instance that parses/formats exactly `length` characters from a
+ * string. `length` must be a strictly positive integer.
+ *
+ * @category Constructors
+ */
+export const fixedLength = ({
+  name,
+  length
+}) => {
+  return make({
+    name,
+    description: `${length}-character string`,
+    parser: function (text) {
+      return pipe(text, MString.splitAt(length), Tuple.mapBoth({
+        onFirst: MInputError.assertLength({
+          expected: length,
+          name: this.label
+        }),
+        onSecond: Either.right
+      }), Either.all);
+    },
+    formatter: function (value) {
+      return MInputError.assertLength({
+        expected: length,
+        name: this.label
+      })(value);
+    },
+    schemaInstance: Schema.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 const paddedFixedLength = params => {
+  const trimmer = flow(MString.trim(params), Either.right);
+  const padder = flow(MString.pad(params), Either.right);
+  return pipe(fixedLength(params), modify({
+    descriptorMapper: MString.append(` ${MString.PadPosition.toId(params.padPosition)}-padded with '${params.fillChar}'`),
+    postParser: trimmer,
+    preFormatter: padder
+  }));
+};
+/**
+ * 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 const fixedLengthToReal = params => {
+  const {
+    numberBase10Format,
+    fillChar
+  } = params;
+  const numberParser = function (input) {
+    return pipe(input, CVNumberBase10Format.toRealParser(numberBase10Format, fillChar), Either.fromOption(() => new MInputError.Type({
+      message: `${this.label}: value '${input}' cannot be converted to a(n) ${CVNumberBase10Format.toDescription(numberBase10Format)}`
+    })));
+  };
+  const numberFormatter = flow(CVNumberBase10Format.toNumberFormatter(numberBase10Format, pipe(fillChar, String.repeat(params.length))), Either.right);
+  return pipe(fixedLength(params), modify({
+    descriptorMapper: MString.append(` left-padded with '${fillChar}' to ${CVNumberBase10Format.toDescription(numberBase10Format)}`),
+    postParser: numberParser,
+    preFormatter: numberFormatter,
+    t1SchemaInstance: CVReal.SchemaFromSelf
+  }));
+};
+/**
+ * Builds a TemplatePlaceholder instance that parses/formats a Real provided in
+ * `numberBase10Format`.
+ *
+ * @category Constructors
+ */
+export const real = ({
+  name,
+  numberBase10Format
+}) => {
+  const numberParser = CVNumberBase10Format.toRealExtractor(numberBase10Format);
+  const numberFormatter = CVNumberBase10Format.toNumberFormatter(numberBase10Format);
+  const flippedTakeRightBut = Function.flip(MString.takeRightBut);
+  return make({
+    name,
+    description: `${CVNumberBase10Format.toDescription(numberBase10Format)}`,
+    parser: function (text) {
+      return pipe(text, numberParser, Either.fromOption(() => new MInputError.Type({
+        message: `${this.label} contains '${text}' from the start of which a(n) ${CVNumberBase10Format.toDescription(numberBase10Format)} could not be extracted`
+      })), Either.map(Tuple.mapSecond(flow(String.length, flippedTakeRightBut(text)))));
+    },
+    formatter: flow(numberFormatter, Either.right),
+    schemaInstance: CVReal.SchemaFromSelf
+  });
+};
+/**
+ * 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 const mappedLiterals = ({
+  name,
+  keyValuePairs,
+  schemaInstance = Schema.declare(_input => false)
+}) => {
+  const keys = pipe(keyValuePairs, Array.map(Tuple.getFirst), Array.join(', '), MString.prepend('['), MString.append(']'));
+  const values = pipe(keyValuePairs, Array.map(flow(Tuple.getSecond, MString.fromUnknown)), Array.join(', '), MString.prepend('['), MString.append(']'));
+  const valueNameMap = pipe(keyValuePairs, Array.map(Tuple.swap), HashMap.fromIterable);
+  const isTheStartOf = Function.flip(String.startsWith);
+  const flippedTakeRightBut = Function.flip(MString.takeRightBut);
+  return make({
+    name,
+    description: `from ${keys} to ${values}`,
+    parser: function (text) {
+      return pipe(keyValuePairs, Array.findFirst(flow(Tuple.getFirst, isTheStartOf(text))), Either.fromOption(() => new MInputError.Type({
+        message: `Expected remaining text for ${this.label} to start with one of ${keys}. Actual: '${text}'`
+      })), Either.map(MTuple.makeBothBy({
+        toFirst: Tuple.getSecond,
+        toSecond: flow(Tuple.getFirst, String.length, flippedTakeRightBut(text))
+      })));
+    },
+    formatter: function (value) {
+      return pipe(valueNameMap, HashMap.get(value), Either.fromOption(() => new MInputError.Type({
+        message: `${this.label}: expected one of ${values}. Actual: ${MString.fromUnknown(value)}`
+      })));
+    },
+    schemaInstance
+  });
+};
+/**
+ * Same as `mappedLiterals` but `T` is assumed to be `CVReal.Type` which should be the most usual
+ * use case
+ *
+ * @category Constructors
+ */
+export const realMappedLiterals = params => mappedLiterals({
+  ...params,
+  schemaInstance: CVReal.SchemaFromSelf
+});
+/**
+ * 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 const fulfilling = ({
+  name,
+  regExp,
+  regExpDescriptor
+}) => {
+  const flippedTakeRightBut = Function.flip(MString.takeRightBut);
+  const match = label => MInputError.match({
+    regExp,
+    regExpDescriptor,
+    name: label
+  });
+  return make({
+    name,
+    description: `${regExpDescriptor}`,
+    parser: function (text) {
+      return pipe(text, match(this.label), Either.map(MTuple.makeBothBy({
+        toFirst: Function.identity,
+        toSecond: flow(String.length, flippedTakeRightBut(text))
+      })));
+    },
+    formatter: function (text) {
+      return pipe(text, match(this.label), Either.filterOrLeft(MString.hasLength(text.length), () => new MInputError.Type({
+        message: `${this.label}: expected ${regExpDescriptor}. Actual: '${text}'`
+      })));
+    },
+    schemaInstance: Schema.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 const anythingBut = ({
+  name,
+  forbiddenChars
+}) => {
+  const forbiddenCharsAsString = pipe(forbiddenChars, Array.join("', '"), MString.prepend("[ '"), MString.append("' ]"));
+  return fulfilling({
+    name,
+    regExp: pipe(forbiddenChars, MRegExpString.notInRange, MRegExpString.oneOrMore, MRegExpString.atStart, MRegExp.fromRegExpString()),
+    regExpDescriptor: `a non-empty string containing non of the following characters: ${forbiddenCharsAsString}`
+  });
+};
+/**
+ * Builds a TemplatePlaceholder instance that parses/formats all the remaining text.
+ *
+ * @category Constructors
+ */
+export const toEnd = name => fulfilling({
+  name,
+  regExp: /^.*/,
+  regExpDescriptor: 'a string'
+});
+//# sourceMappingURL=TemplatePlaceholder.js.map

package/esm/TemplatePlaceholder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TemplatePlaceholder.js","names":["MInputError","MInspectable","MPipeable","MRegExp","MRegExpString","MString","MStruct","MTuple","MTypes","Array","Either","flow","Function","HashMap","pipe","Predicate","Schema","String","Struct","Tuple","CVNumberBase10Format","CVReal","moduleTag","_TypeId","Symbol","for","has","u","hasProperty","proto","_N","covariantValue","_T","invariantValue","IdSymbol","getLabelledDescription","BaseProto","_make","params","objectFromDataAndProto","make","enrichWith","label","name","prepend","get","description","parser","formatter","schemaInstance","self","modify","descriptorMapper","postParser","preFormatter","t1SchemaInstance","text","flatMap","call","mapBoth","onFirst","t","onSecond","right","all","t1","undefined","fixedLength","length","splitAt","assertLength","expected","value","paddedFixedLength","trimmer","trim","padder","pad","append","PadPosition","toId","padPosition","fillChar","fixedLengthToReal","numberBase10Format","numberParser","input","toRealParser","fromOption","Type","message","toDescription","numberFormatter","toNumberFormatter","repeat","SchemaFromSelf","real","toRealExtractor","flippedTakeRightBut","flip","takeRightBut","map","mapSecond","mappedLiterals","keyValuePairs","declare","_input","keys","getFirst","join","values","getSecond","fromUnknown","valueNameMap","swap","fromIterable","isTheStartOf","startsWith","findFirst","makeBothBy","toFirst","toSecond","realMappedLiterals","fulfilling","regExp","regExpDescriptor","match","identity","filterOrLeft","hasLength","anythingBut","forbiddenChars","forbiddenCharsAsString","notInRange","oneOrMore","atStart","fromRegExpString","toEnd"],"sources":["../../esm/TemplatePlaceholder.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;;;;;;;AAeA,SACCA,WAAW,EACXC,YAAY,EACZC,SAAS,EACTC,OAAO,EACPC,aAAa,EACbC,OAAO,EACPC,OAAO,EACPC,MAAM,EACNC,MAAM,QACA,uBAAuB;AAE9B,SACCC,KAAK,EACLC,MAAM,EACNC,IAAI,EACJC,QAAQ,EACRC,OAAO,EACPC,IAAI,EAEJC,SAAS,EACTC,MAAM,EACNC,MAAM,EACNC,MAAM,EACNC,KAAK,QAEC,QAAQ;AAEf,OAAO,KAAKC,oBAAoB,MAAM,yBAAyB;AAC/D,OAAO,KAAKC,MAAM,MAAM,WAAW;AAEnC;;;;;AAKA,OAAO,MAAMC,SAAS,GAAG,6CAA6C;AACtE,MAAMC,OAAO,gBAAkBC,MAAM,CAACC,GAAG,CAACH,SAAS,CAAY;AAqF/D;;;;;AAKA,OAAO,MAAMI,GAAG,GAAIC,CAAU,IAAiCZ,SAAS,CAACa,WAAW,CAACD,CAAC,EAAEJ,OAAO,CAAC;AAEhG;AACA;AACA,MAAMM,KAAK,GAAmC;EAC7C,CAACN,OAAO,GAAG;IAAEO,EAAE,EAAEtB,MAAM,CAACuB,cAAc;IAAEC,EAAE,EAAExB,MAAM,CAACyB;EAAc,CAAE;EACnE,CAAChC,YAAY,CAACiC,QAAQ,IAAC;IACtB,OAAOC,sBAAsB,CAAC,IAAI,CAAC;EACpC,CAAC;EACD,iBAAGlC,YAAY,CAACmC,SAAS,CAACd,SAAS,CAAC;EACpC,GAAGpB,SAAS,CAACkC;CACb;AAED,MAAMC,KAAK,GAA+BC,MAA+B,IACxE9B,MAAM,CAAC+B,sBAAsB,CAACV,KAAK,EAAES,MAAM,CAAC;AAE7C;;;;;AAKA,OAAO,MAAME,IAAI,gBAEC7B,IAAI,cACrBL,OAAO,CAACmC,UAAU,CAAC;EAAEC,KAAK,EAAEA,CAAC;IAAEC;EAAI,CAAE,KAAKtC,OAAO,CAACuC,OAAO,CAAC,GAAG,CAAC,CAACD,IAAI;AAAC,CAAE,CAAC,EACvEN,KAAK,CACL;AAED;;;;;AAKA,OAAO,MAAMM,IAAI,gBAAuDzB,MAAM,CAAC2B,GAAG,CAAC,MAAM,CAAC;AAE1F;;;;;AAKA,OAAO,MAAMH,KAAK,gBAA4DxB,MAAM,CAAC2B,GAAG,CAAC,OAAO,CAAC;AAEjG;;;;;AAKA,OAAO,MAAMC,WAAW,gBACvB5B,MAAM,CAAC2B,GAAG,CAAC,aAAa,CAAC;AAE1B;;;;;AAKA,OAAO,MAAME,MAAM,gBAClB7B,MAAM,CAAC2B,GAAG,CAAC,QAAQ,CAAC;AAErB;;;;;AAKA,OAAO,MAAMG,SAAS,gBACrB9B,MAAM,CAAC2B,GAAG,CAAC,WAAW,CAAC;AAExB;;;;;AAKA,OAAO,MAAMI,cAAc,gBAC1B/B,MAAM,CAAC2B,GAAG,CAAC,gBAAgB,CAAC;AAE7B;;;;;AAKA,OAAO,MAAMV,sBAAsB,GAAyBe,IAAgB,IAC3E,GAAGA,IAAI,CAACR,KAAK,KAAKQ,IAAI,CAACJ,WAAW,EAAE;AAErC;;;;;;AAMA,OAAO,MAAMK,MAAM,GAsBlBA,CAAQ;EACPC,gBAAgB;EAChBC,UAAU;EACVC,YAAY;EACZC;AAAgB,CAMhB,KACwBL,IAAgB,IACxCV,IAAI,CAAC;EACJG,IAAI,EAAEO,IAAI,CAACP,IAAI;EACfG,WAAW,EAAEM,gBAAgB,CAACF,IAAI,CAACJ,WAAW,CAAC;EAC/CC,MAAM,EAAE,SAAAA,CAA6BS,IAAI;IACxC,OAAO9C,MAAM,CAAC+C,OAAO,CACpBP,IAAI,CAACH,MAAM,CAACW,IAAI,CAAC,IAAI,EAAEF,IAAI,CAAC,EAC5B7C,IAAI,CACHQ,KAAK,CAACwC,OAAO,CAAC;MACbC,OAAO,EAAGC,CAAC,IAAKR,UAAU,CAACK,IAAI,CAAC,IAAI,EAAEG,CAAC,CAAC;MACxCC,QAAQ,EAAEpD,MAAM,CAACqD;KACjB,CAAC,EACFrD,MAAM,CAACsD,GAAG,CACV,CACD;EACF,CAAC;EACDhB,SAAS,EAAE,SAAAA,CAA6BiB,EAAE;IACzC,OAAOnD,IAAI,CACVwC,YAAY,CAACI,IAAI,CAAC,IAAI,EAAEO,EAAE,CAAC,EAC3BvD,MAAM,CAAC+C,OAAO,CAAEI,CAAC,IAAKX,IAAI,CAACF,SAAS,CAACU,IAAI,CAAC,IAAI,EAAEG,CAAC,CAAC,CAAC,CACnD;EACF,CAAC;EACDZ,cAAc,EACbM,gBAAgB,KAAKW,SAAS,GAC5BhB,IAAI,CAACD,cAAmD,GACxDM;CACH,CAAC;AAEJ;;;;;;AAMA,OAAO,MAAMY,WAAW,GAAGA,CAAyB;EACnDxB,IAAI;EACJyB;AAAM,CAIN,KAAqB;EACrB,OAAO5B,IAAI,CAAC;IACXG,IAAI;IACJG,WAAW,EAAE,GAAGsB,MAAM,mBAAmB;IACzCrB,MAAM,EAAE,SAAAA,CAAiCS,IAAI;MAC5C,OAAO1C,IAAI,CACV0C,IAAI,EACJnD,OAAO,CAACgE,OAAO,CAACD,MAAM,CAAC,EACvBjD,KAAK,CAACwC,OAAO,CAAC;QACbC,OAAO,EAAE5D,WAAW,CAACsE,YAAY,CAAC;UAAEC,QAAQ,EAAEH,MAAM;UAAEzB,IAAI,EAAE,IAAI,CAACD;QAAK,CAAE,CAAC;QACzEoB,QAAQ,EAAEpD,MAAM,CAACqD;OACjB,CAAC,EACFrD,MAAM,CAACsD,GAAG,CACV;IACF,CAAC;IACDhB,SAAS,EAAE,SAAAA,CAAiCwB,KAAK;MAChD,OAAOxE,WAAW,CAACsE,YAAY,CAAC;QAAEC,QAAQ,EAAEH,MAAM;QAAEzB,IAAI,EAAE,IAAI,CAACD;MAAK,CAAE,CAAC,CAAC8B,KAAK,CAAC;IAC/E,CAAC;IACDvB,cAAc,EAAEjC,MAAM,CAACC;GACvB,CAAC;AACH,CAAC;AAED;;;;;;;;AAQA,OAAO,MAAMwD,iBAAiB,GAA4BnC,MAMzD,IAAqB;EACrB,MAAMoC,OAAO,GAAG/D,IAAI,CAACN,OAAO,CAACsE,IAAI,CAACrC,MAAM,CAAC,EAAE5B,MAAM,CAACqD,KAAK,CAAC;EACxD,MAAMa,MAAM,GAAGjE,IAAI,CAACN,OAAO,CAACwE,GAAG,CAACvC,MAAM,CAAC,EAAE5B,MAAM,CAACqD,KAAK,CAAC;EAEtD,OAAOjD,IAAI,CACVqD,WAAW,CAAC7B,MAAM,CAAC,EACnBa,MAAM,CAAC;IACNC,gBAAgB,EAAE/C,OAAO,CAACyE,MAAM,CAC/B,IAAIzE,OAAO,CAAC0E,WAAW,CAACC,IAAI,CAAC1C,MAAM,CAAC2C,WAAW,CAAC,iBAAiB3C,MAAM,CAAC4C,QAAQ,GAAG,CACnF;IACD7B,UAAU,EAAEqB,OAAO;IACnBpB,YAAY,EAAEsB;GACd,CAAC,CACF;AACF,CAAC;AAED;;;;;;;;;AAUA,OAAO,MAAMO,iBAAiB,GAA4B7C,MAKzD,IAA0B;EAC1B,MAAM;IAAE8C,kBAAkB;IAAEF;EAAQ,CAAE,GAAG5C,MAAM;EAC/C,MAAM+C,YAAY,GAAG,SAAAA,CAAsCC,KAAa;IACvE,OAAOxE,IAAI,CACVwE,KAAK,EACLlE,oBAAoB,CAACmE,YAAY,CAACH,kBAAkB,EAAEF,QAAQ,CAAC,EAC/DxE,MAAM,CAAC8E,UAAU,CAChB,MACC,IAAIxF,WAAW,CAACyF,IAAI,CAAC;MACpBC,OAAO,EAAE,GAAG,IAAI,CAAChD,KAAK,YAAY4C,KAAK,iCAAiClE,oBAAoB,CAACuE,aAAa,CAACP,kBAAkB,CAAC;KAC9H,CAAC,CACH,CACD;EACF,CAAC;EAED,MAAMQ,eAAe,GAAGjF,IAAI,CAC3BS,oBAAoB,CAACyE,iBAAiB,CACrCT,kBAAkB,EAClBtE,IAAI,CAACoE,QAAQ,EAAEjE,MAAM,CAAC6E,MAAM,CAACxD,MAAM,CAAC8B,MAAM,CAAC,CAAC,CAC5C,EACD1D,MAAM,CAACqD,KAAK,CACZ;EAED,OAAOjD,IAAI,CACVqD,WAAW,CAAC7B,MAAM,CAAC,EACnBa,MAAM,CAAC;IACNC,gBAAgB,EAAE/C,OAAO,CAACyE,MAAM,CAC/B,sBAAsBI,QAAQ,QAAQ9D,oBAAoB,CAACuE,aAAa,CAACP,kBAAkB,CAAC,EAAE,CAC9F;IACD/B,UAAU,EAAEgC,YAAY;IACxB/B,YAAY,EAAEsC,eAAe;IAC7BrC,gBAAgB,EAAElC,MAAM,CAAC0E;GACzB,CAAC,CACF;AACF,CAAC;AAED;;;;;;AAMA,OAAO,MAAMC,IAAI,GAAGA,CAAyB;EAC5CrD,IAAI;EACJyC;AAAkB,CAIlB,KAA0B;EAC1B,MAAMC,YAAY,GAAGjE,oBAAoB,CAAC6E,eAAe,CAACb,kBAAkB,CAAC;EAC7E,MAAMQ,eAAe,GAAGxE,oBAAoB,CAACyE,iBAAiB,CAACT,kBAAkB,CAAC;EAClF,MAAMc,mBAAmB,GAAGtF,QAAQ,CAACuF,IAAI,CAAC9F,OAAO,CAAC+F,YAAY,CAAC;EAE/D,OAAO5D,IAAI,CAAC;IACXG,IAAI;IACJG,WAAW,EAAE,GAAG1B,oBAAoB,CAACuE,aAAa,CAACP,kBAAkB,CAAC,EAAE;IACxErC,MAAM,EAAE,SAAAA,CAAsCS,IAAI;MACjD,OAAO1C,IAAI,CACV0C,IAAI,EACJ6B,YAAY,EACZ3E,MAAM,CAAC8E,UAAU,CAChB,MACC,IAAIxF,WAAW,CAACyF,IAAI,CAAC;QACpBC,OAAO,EAAE,GAAG,IAAI,CAAChD,KAAK,cAAcc,IAAI,kCAAkCpC,oBAAoB,CAACuE,aAAa,CAACP,kBAAkB,CAAC;OAChI,CAAC,CACH,EACD1E,MAAM,CAAC2F,GAAG,CAAClF,KAAK,CAACmF,SAAS,CAAC3F,IAAI,CAACM,MAAM,CAACmD,MAAM,EAAE8B,mBAAmB,CAAC1C,IAAI,CAAC,CAAC,CAAC,CAAC,CAC3E;IACF,CAAC;IACDR,SAAS,EAAErC,IAAI,CAACiF,eAAe,EAAElF,MAAM,CAACqD,KAAK,CAAC;IAC9Cd,cAAc,EAAE5B,MAAM,CAAC0E;GACvB,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;AAkBA,OAAO,MAAMQ,cAAc,GAAGA,CAA4B;EACzD5D,IAAI;EACJ6D,aAAa;EACbvD,cAAc,GAAGjC,MAAM,CAACyF,OAAO,CAAEC,MAAe,IAAkB,KAAK;AAAC,CAKxE,KAAgB;EAChB,MAAMC,IAAI,GAAG7F,IAAI,CAChB0F,aAAa,EACb/F,KAAK,CAAC4F,GAAG,CAAClF,KAAK,CAACyF,QAAQ,CAAC,EACzBnG,KAAK,CAACoG,IAAI,CAAC,IAAI,CAAC,EAChBxG,OAAO,CAACuC,OAAO,CAAC,GAAG,CAAC,EACpBvC,OAAO,CAACyE,MAAM,CAAC,GAAG,CAAC,CACnB;EACD,MAAMgC,MAAM,GAAGhG,IAAI,CAClB0F,aAAa,EACb/F,KAAK,CAAC4F,GAAG,CAAC1F,IAAI,CAACQ,KAAK,CAAC4F,SAAS,EAAE1G,OAAO,CAAC2G,WAAW,CAAC,CAAC,EACrDvG,KAAK,CAACoG,IAAI,CAAC,IAAI,CAAC,EAChBxG,OAAO,CAACuC,OAAO,CAAC,GAAG,CAAC,EACpBvC,OAAO,CAACyE,MAAM,CAAC,GAAG,CAAC,CACnB;EACD,MAAMmC,YAAY,GAAGnG,IAAI,CAAC0F,aAAa,EAAE/F,KAAK,CAAC4F,GAAG,CAAClF,KAAK,CAAC+F,IAAI,CAAC,EAAErG,OAAO,CAACsG,YAAY,CAAC;EAErF,MAAMC,YAAY,GAAGxG,QAAQ,CAACuF,IAAI,CAAClF,MAAM,CAACoG,UAAU,CAAC;EACrD,MAAMnB,mBAAmB,GAAGtF,QAAQ,CAACuF,IAAI,CAAC9F,OAAO,CAAC+F,YAAY,CAAC;EAE/D,OAAO5D,IAAI,CAAC;IACXG,IAAI;IACJG,WAAW,EAAE,QAAQ6D,IAAI,OAAOG,MAAM,EAAE;IACxC/D,MAAM,EAAE,SAAAA,CAA4BS,IAAI;MACvC,OAAO1C,IAAI,CACV0F,aAAa,EACb/F,KAAK,CAAC6G,SAAS,CAAC3G,IAAI,CAACQ,KAAK,CAACyF,QAAQ,EAAEQ,YAAY,CAAC5D,IAAI,CAAC,CAAC,CAAC,EACzD9C,MAAM,CAAC8E,UAAU,CAChB,MACC,IAAIxF,WAAW,CAACyF,IAAI,CAAC;QACpBC,OAAO,EAAE,+BAA+B,IAAI,CAAChD,KAAK,yBAAyBiE,IAAI,cAAcnD,IAAI;OACjG,CAAC,CACH,EACD9C,MAAM,CAAC2F,GAAG,CACT9F,MAAM,CAACgH,UAAU,CAAC;QACjBC,OAAO,EAAErG,KAAK,CAAC4F,SAAS;QACxBU,QAAQ,EAAE9G,IAAI,CAACQ,KAAK,CAACyF,QAAQ,EAAE3F,MAAM,CAACmD,MAAM,EAAE8B,mBAAmB,CAAC1C,IAAI,CAAC;OACvE,CAAC,CACF,CACD;IACF,CAAC;IACDR,SAAS,EAAE,SAAAA,CAA4BwB,KAAK;MAC3C,OAAO1D,IAAI,CACVmG,YAAY,EACZpG,OAAO,CAACgC,GAAG,CAAC2B,KAAK,CAAC,EAClB9D,MAAM,CAAC8E,UAAU,CAChB,MACC,IAAIxF,WAAW,CAACyF,IAAI,CAAC;QACpBC,OAAO,EAAE,GAAG,IAAI,CAAChD,KAAK,qBAAqBoE,MAAM,aAAazG,OAAO,CAAC2G,WAAW,CAACxC,KAAK,CAAC;OACxF,CAAC,CACH,CACD;IACF,CAAC;IACDvB;GACA,CAAC;AACH,CAAC;AAED;;;;;;AAMA,OAAO,MAAMyE,kBAAkB,GAA4BpF,MAG1D,IAA2BiE,cAAc,CAAC;EAAE,GAAGjE,MAAM;EAAEW,cAAc,EAAE5B,MAAM,CAAC0E;AAAc,CAAE,CAAC;AAEhG;;;;;;AAMA,OAAO,MAAM4B,UAAU,GAAGA,CAAyB;EAClDhF,IAAI;EACJiF,MAAM;EACNC;AAAgB,CAKhB,KAAqB;EACrB,MAAM3B,mBAAmB,GAAGtF,QAAQ,CAACuF,IAAI,CAAC9F,OAAO,CAAC+F,YAAY,CAAC;EAE/D,MAAM0B,KAAK,GAAIpF,KAAa,IAC3B1C,WAAW,CAAC8H,KAAK,CAAC;IACjBF,MAAM;IACNC,gBAAgB;IAChBlF,IAAI,EAAED;GACN,CAAC;EAEH,OAAOF,IAAI,CAAC;IACXG,IAAI;IACJG,WAAW,EAAE,GAAG+E,gBAAgB,EAAE;IAClC9E,MAAM,EAAE,SAAAA,CAAiCS,IAAI;MAC5C,OAAO1C,IAAI,CACV0C,IAAI,EACJsE,KAAK,CAAC,IAAI,CAACpF,KAAK,CAAC,EACjBhC,MAAM,CAAC2F,GAAG,CACT9F,MAAM,CAACgH,UAAU,CAAC;QACjBC,OAAO,EAAE5G,QAAQ,CAACmH,QAAQ;QAC1BN,QAAQ,EAAE9G,IAAI,CAACM,MAAM,CAACmD,MAAM,EAAE8B,mBAAmB,CAAC1C,IAAI,CAAC;OACvD,CAAC,CACF,CACD;IACF,CAAC;IACDR,SAAS,EAAE,SAAAA,CAAiCQ,IAAI;MAC/C,OAAO1C,IAAI,CACV0C,IAAI,EACJsE,KAAK,CAAC,IAAI,CAACpF,KAAK,CAAC,EACjBhC,MAAM,CAACsH,YAAY,CAClB3H,OAAO,CAAC4H,SAAS,CAACzE,IAAI,CAACY,MAAM,CAAC,EAC9B,MACC,IAAIpE,WAAW,CAACyF,IAAI,CAAC;QACpBC,OAAO,EAAE,GAAG,IAAI,CAAChD,KAAK,cAAcmF,gBAAgB,cAAcrE,IAAI;OACtE,CAAC,CACH,CACD;IACF,CAAC;IACDP,cAAc,EAAEjC,MAAM,CAACC;GACvB,CAAC;AACH,CAAC;AAED;;;;;;;AAOA,OAAO,MAAMiH,WAAW,GAAGA,CAAyB;EACnDvF,IAAI;EACJwF;AAAc,CAId,KAAqB;EACrB,MAAMC,sBAAsB,GAAGtH,IAAI,CAClCqH,cAAc,EACd1H,KAAK,CAACoG,IAAI,CAAC,MAAM,CAAC,EAClBxG,OAAO,CAACuC,OAAO,CAAC,KAAK,CAAC,EACtBvC,OAAO,CAACyE,MAAM,CAAC,KAAK,CAAC,CACrB;EACD,OAAO6C,UAAU,CAAC;IACjBhF,IAAI;IACJiF,MAAM,EAAE9G,IAAI,CACXqH,cAAc,EACd/H,aAAa,CAACiI,UAAU,EACxBjI,aAAa,CAACkI,SAAS,EACvBlI,aAAa,CAACmI,OAAO,EACrBpI,OAAO,CAACqI,gBAAgB,EAAE,CAC1B;IACDX,gBAAgB,EAAE,kEAAkEO,sBAAsB;GAC1G,CAAC;AACH,CAAC;AAED;;;;;AAKA,OAAO,MAAMK,KAAK,GAA4B9F,IAAO,IACpDgF,UAAU,CAAC;EACVhF,IAAI;EACJiF,MAAM,EAAE,KAAK;EACbC,gBAAgB,EAAE;CAClB,CAAC","ignoreList":[]}

package/esm/TemplateSeparator.js

@@ -0,0 +1,107 @@
+/**
+ * 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, MPipeable, MString, MTypes } from '@parischap/effect-lib';
+import { Either, flow, Function, Predicate, Struct } from 'effect';
+/**
+ * Module tag
+ *
+ * @category Module markers
+ */
+export const moduleTag = '@parischap/conversions/TemplateSeparator/';
+const _TypeId = /*#__PURE__*/Symbol.for(moduleTag);
+/**
+ * Type guard
+ *
+ * @category Guards
+ */
+export const has = u => Predicate.hasProperty(u, _TypeId);
+/** Proto */
+const proto = {
+  [_TypeId]: _TypeId,
+  [MInspectable.IdSymbol]() {
+    return this.value;
+  },
+  ... /*#__PURE__*/MInspectable.BaseProto(moduleTag),
+  ...MPipeable.BaseProto
+};
+const _make = params => MTypes.objectFromDataAndProto(proto, params);
+/**
+ * Builds a Separator instance that parses/formats a given string.
+ *
+ * @category Constructors
+ */
+export const make = value => _make({
+  value,
+  parser: pos => flow(MInputError.assertStartsWith({
+    startString: value,
+    name: `remaining text for separator at position ${pos}`
+  }), Either.map(MString.takeRightBut(value.length))),
+  formatter: Function.constant(value)
+});
+/**
+ * Returns the `value` property of `self`
+ *
+ * @category Destructors
+ */
+export const value = /*#__PURE__*/Struct.get('value');
+/**
+ * Returns the `parser` property of `self`
+ *
+ * @category Destructors
+ */
+export const parser = /*#__PURE__*/Struct.get('parser');
+/**
+ * Returns the `formatter` property of `self`
+ *
+ * @category Destructors
+ */
+export const formatter = /*#__PURE__*/Struct.get('formatter');
+/**
+ * Slash Separator instance
+ *
+ * @category Instances
+ */
+export const slash = /*#__PURE__*/make('/');
+/**
+ * Backslash Separator instance
+ *
+ * @category Instances
+ */
+export const backslash = /*#__PURE__*/make('\\');
+/**
+ * Dot Separator instance
+ *
+ * @category Instances
+ */
+export const dot = /*#__PURE__*/make('.');
+/**
+ * Hyphen Separator instance
+ *
+ * @category Instances
+ */
+export const hyphen = /*#__PURE__*/make('-');
+/**
+ * Colon Separator instance
+ *
+ * @category Instances
+ */
+export const colon = /*#__PURE__*/make(':');
+/**
+ * Comma Separator instance
+ *
+ * @category Instances
+ */
+export const comma = /*#__PURE__*/make(',');
+/**
+ * Space Separator instance
+ *
+ * @category Instances
+ */
+export const space = /*#__PURE__*/make(' ');
+//# sourceMappingURL=TemplateSeparator.js.map

package/esm/TemplateSeparator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TemplateSeparator.js","names":["MInputError","MInspectable","MPipeable","MString","MTypes","Either","flow","Function","Predicate","Struct","moduleTag","_TypeId","Symbol","for","has","u","hasProperty","proto","IdSymbol","value","BaseProto","_make","params","objectFromDataAndProto","make","parser","pos","assertStartsWith","startString","name","map","takeRightBut","length","formatter","constant","get","slash","backslash","dot","hyphen","colon","comma","space"],"sources":["../../esm/TemplateSeparator.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;;;;;AASA,SAASA,WAAW,EAAEC,YAAY,EAAEC,SAAS,EAAEC,OAAO,EAAEC,MAAM,QAAQ,uBAAuB;AAE7F,SAASC,MAAM,EAAEC,IAAI,EAAEC,QAAQ,EAAYC,SAAS,EAAEC,MAAM,QAAQ,QAAQ;AAE5E;;;;;AAKA,OAAO,MAAMC,SAAS,GAAG,2CAA2C;AACpE,MAAMC,OAAO,gBAAkBC,MAAM,CAACC,GAAG,CAACH,SAAS,CAAY;AAsD/D;;;;;AAKA,OAAO,MAAMI,GAAG,GAAIC,CAAU,IAAgBP,SAAS,CAACQ,WAAW,CAACD,CAAC,EAAEJ,OAAO,CAAC;AAE/E;AACA,MAAMM,KAAK,GAAuB;EACjC,CAACN,OAAO,GAAGA,OAAO;EAClB,CAACV,YAAY,CAACiB,QAAQ,IAAC;IACtB,OAAO,IAAI,CAACC,KAAK;EAClB,CAAC;EACD,iBAAGlB,YAAY,CAACmB,SAAS,CAACV,SAAS,CAAC;EACpC,GAAGR,SAAS,CAACkB;CACb;AAED,MAAMC,KAAK,GAAIC,MAAyB,IAAWlB,MAAM,CAACmB,sBAAsB,CAACN,KAAK,EAAEK,MAAM,CAAC;AAE/F;;;;;AAKA,OAAO,MAAME,IAAI,GAAIL,KAAa,IACjCE,KAAK,CAAC;EACLF,KAAK;EACLM,MAAM,EAAGC,GAAG,IACXpB,IAAI,CACHN,WAAW,CAAC2B,gBAAgB,CAAC;IAC5BC,WAAW,EAAET,KAAK;IAClBU,IAAI,EAAE,4CAA4CH,GAAG;GACrD,CAAC,EACFrB,MAAM,CAACyB,GAAG,CAAC3B,OAAO,CAAC4B,YAAY,CAACZ,KAAK,CAACa,MAAM,CAAC,CAAC,CAC9C;EACFC,SAAS,EAAE1B,QAAQ,CAAC2B,QAAQ,CAACf,KAAK;CAClC,CAAC;AAEH;;;;;AAKA,OAAO,MAAMA,KAAK,gBAAwCV,MAAM,CAAC0B,GAAG,CAAC,OAAO,CAAC;AAE7E;;;;;AAKA,OAAO,MAAMV,MAAM,gBAA6ChB,MAAM,CAAC0B,GAAG,CAAC,QAAQ,CAAC;AAEpF;;;;;AAKA,OAAO,MAAMF,SAAS,gBAAgDxB,MAAM,CAAC0B,GAAG,CAAC,WAAW,CAAC;AAE7F;;;;;AAKA,OAAO,MAAMC,KAAK,gBAASZ,IAAI,CAAC,GAAG,CAAC;AAEpC;;;;;AAKA,OAAO,MAAMa,SAAS,gBAASb,IAAI,CAAC,IAAI,CAAC;AAEzC;;;;;AAKA,OAAO,MAAMc,GAAG,gBAASd,IAAI,CAAC,GAAG,CAAC;AAElC;;;;;AAKA,OAAO,MAAMe,MAAM,gBAASf,IAAI,CAAC,GAAG,CAAC;AAErC;;;;;AAKA,OAAO,MAAMgB,KAAK,gBAAShB,IAAI,CAAC,GAAG,CAAC;AAEpC;;;;;AAKA,OAAO,MAAMiB,KAAK,gBAASjB,IAAI,CAAC,GAAG,CAAC;AAEpC;;;;;AAKA,OAAO,MAAMkB,KAAK,gBAASlB,IAAI,CAAC,GAAG,CAAC","ignoreList":[]}

package/esm/index.js

@@ -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.js.map

package/esm/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","names":["CVBigDecimal","CVBigInt","CVDateTime","CVDateTimeFormat","CVDateTimeFormatContext","CVEmail","CVInteger","CVNumberBase10Format","CVPositiveInteger","CVPositiveReal","CVReal","CVRoundingMode","CVRoundingOption","CVSchema","CVSemVer","CVTemplate","CVTemplatePart","CVTemplateParts","CVTemplatePlaceholder","CVTemplateSeparator"],"sources":["../../esm/index.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,YAAY,MAAM,iBAAiB;AAC/C,OAAO,KAAKC,QAAQ,MAAM,aAAa;AACvC,OAAO,KAAKC,UAAU,MAAM,eAAe;AAC3C,OAAO,KAAKC,gBAAgB,MAAM,qBAAqB;AACvD,OAAO,KAAKC,uBAAuB,MAAM,4BAA4B;AACrE,OAAO,KAAKC,OAAO,MAAM,YAAY;AACrC,OAAO,KAAKC,SAAS,MAAM,cAAc;AACzC,OAAO,KAAKC,oBAAoB,MAAM,yBAAyB;AAC/D,OAAO,KAAKC,iBAAiB,MAAM,sBAAsB;AACzD,OAAO,KAAKC,cAAc,MAAM,mBAAmB;AACnD,OAAO,KAAKC,MAAM,MAAM,WAAW;AACnC,OAAO,KAAKC,cAAc,MAAM,mBAAmB;AACnD,OAAO,KAAKC,gBAAgB,MAAM,qBAAqB;AACvD,OAAO,KAAKC,QAAQ,MAAM,aAAa;AACvC,OAAO,KAAKC,QAAQ,MAAM,aAAa;AACvC,OAAO,KAAKC,UAAU,MAAM,eAAe;AAC3C,OAAO,KAAKC,cAAc,MAAM,mBAAmB;AACnD,OAAO,KAAKC,eAAe,MAAM,oBAAoB;AACrD,OAAO,KAAKC,qBAAqB,MAAM,0BAA0B;AACjE,OAAO,KAAKC,mBAAmB,MAAM,wBAAwB","ignoreList":[]}

package/esm/internal/Int.js

@@ -0,0 +1,43 @@
+/**
+ * A module that implements an integer brand (non-null fractional part disallowed). Not exported.
+ * Only used internally
+ */
+import { MNumber, MString } from '@parischap/effect-lib';
+import { Brand, flow } from 'effect';
+/**
+ * Module tag
+ *
+ * @internal
+ */
+const _moduleTag = '@parischap/conversions/Int/';
+/**
+ * Module TypeId
+ *
+ * @internal
+ */
+export const _TypeId = /*#__PURE__*/Symbol.for(_moduleTag);
+/**
+ * Brand constructor. Should not be used directly
+ *
+ * @internal
+ */
+export const constructor = /*#__PURE__*/Brand.refined(MNumber.isInt, /*#__PURE__*/flow(/*#__PURE__*/MString.fromNumber(10), /*#__PURE__*/MString.prepend("'"), /*#__PURE__*/MString.append("' does not represent an integer"), Brand.error));
+/**
+ * Constructs an Option of an Int from a number.
+ *
+ * @internal
+ */
+export const fromNumberOption = /*#__PURE__*/constructor.option.bind(constructor);
+/**
+ * Constructs an Either of an Int from a number.
+ *
+ * @internal
+ */
+export const fromNumber = /*#__PURE__*/constructor.either.bind(constructor);
+/**
+ * Constructs an Int from a number or throws
+ *
+ * @internal
+ */
+export const fromNumberOrThrow = constructor;
+//# sourceMappingURL=Int.js.map

package/esm/internal/Int.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Int.js","names":["MNumber","MString","Brand","flow","_moduleTag","_TypeId","Symbol","for","constructor","refined","isInt","fromNumber","prepend","append","error","fromNumberOption","option","bind","either","fromNumberOrThrow"],"sources":["../../../esm/internal/Int.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;AAKA,SAASA,OAAO,EAAEC,OAAO,QAAgB,uBAAuB;AAChE,SAASC,KAAK,EAAUC,IAAI,QAAgB,QAAQ;AAEpD;;;;;AAKA,MAAMC,UAAU,GAAG,6BAA6B;AAEhD;;;;;AAKA,OAAO,MAAMC,OAAO,gBAAkBC,MAAM,CAACC,GAAG,CAACH,UAAU,CAAY;AAUvE;;;;;AAKA,OAAO,MAAMI,WAAW,gBAAGN,KAAK,CAACO,OAAO,CACvCT,OAAO,CAACU,KAAK,eACbP,IAAI,cACHF,OAAO,CAACU,UAAU,CAAC,EAAE,CAAC,eACtBV,OAAO,CAACW,OAAO,CAAC,GAAG,CAAC,eACpBX,OAAO,CAACY,MAAM,CAAC,iCAAiC,CAAC,EACjDX,KAAK,CAACY,KAAK,CACX,CACD;AAED;;;;;AAKA,OAAO,MAAMC,gBAAgB,gBAGzBP,WAAW,CAACQ,MAAM,CAACC,IAAI,CAACT,WAAW,CAAC;AAExC;;;;;AAKA,OAAO,MAAMG,UAAU,gBAGnBH,WAAW,CAACU,MAAM,CAACD,IAAI,CAACT,WAAW,CAAC;AAExC;;;;;AAKA,OAAO,MAAMW,iBAAiB,GAAwCX,WAAW","ignoreList":[]}

package/esm/internal/Positive.js

@@ -0,0 +1,43 @@
+/**
+ * A module that implements a positive number brand (negative number disallowed). Not exported. Only
+ * used internally
+ */
+import { MString } from '@parischap/effect-lib';
+import { Brand, flow, Number } from 'effect';
+/**
+ * Module tag
+ *
+ * @internal
+ */
+export const _moduleTag = '@parischap/conversions/Positive/';
+/**
+ * Module TypeId
+ *
+ * @internal
+ */
+export const _TypeId = /*#__PURE__*/Symbol.for(_moduleTag);
+/**
+ * Brand constructor. Should not be used directly
+ *
+ * @internal
+ */
+export const constructor = /*#__PURE__*/Brand.refined(/*#__PURE__*/Number.greaterThanOrEqualTo(0), /*#__PURE__*/flow(/*#__PURE__*/MString.fromNumber(10), /*#__PURE__*/MString.prepend("'"), /*#__PURE__*/MString.append("' is not positive"), Brand.error));
+/**
+ * Constructs an Option of a Positive from a number.
+ *
+ * @internal
+ */
+export const fromNumberOption = /*#__PURE__*/constructor.option.bind(constructor);
+/**
+ * Constructs an Either of a Positive from a number.
+ *
+ * @internal
+ */
+export const fromNumber = /*#__PURE__*/constructor.either.bind(constructor);
+/**
+ * Constructs a Positive from a number or throws
+ *
+ * @internal
+ */
+export const fromNumberOrThrow = constructor;
+//# sourceMappingURL=Positive.js.map

package/esm/internal/Positive.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Positive.js","names":["MString","Brand","flow","Number","_moduleTag","_TypeId","Symbol","for","constructor","refined","greaterThanOrEqualTo","fromNumber","prepend","append","error","fromNumberOption","option","bind","either","fromNumberOrThrow"],"sources":["../../../esm/internal/Positive.ts"],"sourcesContent":[null],"mappings":"AAAA;;;;AAKA,SAASA,OAAO,QAAgB,uBAAuB;AACvD,SAASC,KAAK,EAAUC,IAAI,EAAEC,MAAM,QAAgB,QAAQ;AAE5D;;;;;AAKA,OAAO,MAAMC,UAAU,GAAG,kCAAkC;AAE5D;;;;;AAKA,OAAO,MAAMC,OAAO,gBAAkBC,MAAM,CAACC,GAAG,CAACH,UAAU,CAAY;AAUvE;;;;;AAKA,OAAO,MAAMI,WAAW,gBAAGP,KAAK,CAACQ,OAAO,cACvCN,MAAM,CAACO,oBAAoB,CAAC,CAAC,CAAC,eAC9BR,IAAI,cACHF,OAAO,CAACW,UAAU,CAAC,EAAE,CAAC,eACtBX,OAAO,CAACY,OAAO,CAAC,GAAG,CAAC,eACpBZ,OAAO,CAACa,MAAM,CAAC,mBAAmB,CAAC,EACnCZ,KAAK,CAACa,KAAK,CACX,CACD;AAED;;;;;AAKA,OAAO,MAAMC,gBAAgB,gBAGzBP,WAAW,CAACQ,MAAM,CAACC,IAAI,CAACT,WAAW,CAAC;AAExC;;;;;AAKA,OAAO,MAAMG,UAAU,gBAGnBH,WAAW,CAACU,MAAM,CAACD,IAAI,CAACT,WAAW,CAAC;AAExC;;;;;AAKA,OAAO,MAAMW,iBAAiB,GAAwCX,WAAW","ignoreList":[]}

package/esm/package.json

@@ -0,0 +1,3 @@
+{
+	"type": "module"
+}

package/package.json

@@ -0,0 +1,49 @@
+{
+	"name": "@parischap/conversions",
+	"author": "Jérôme MARTIN",
+	"license": "MIT",
+	"bugs": {
+		"url": "https://github.com/parischap/effect-libs/issues"
+	},
+	"funding": [
+		{
+			"type": "ko-fi",
+			"url": "https://ko-fi.com/parischap"
+		}
+	],
+	"keywords": [
+		"number",
+		"text",
+		"conversion",
+		"n2t",
+		"num2text",
+		"convert",
+		"typescript",
+		"effect",
+		"effect",
+		"typescript",
+		"functional-programming"
+	],
+	"description": "A functional library to convert number and dates to string and vice-versa",
+	"module": "./esm/index.js",
+	"exports": {
+		".": {
+			"default": "./cjs/index.js",
+			"import": "./esm/index.js",
+			"types": "./dts/index.d.ts"
+		}
+	},
+	"peerDependencies": {
+		"@parischap/effect-lib": "^0.6.0",
+		"effect": "^3.17.13"
+	},
+	"repository": {
+		"type": "git",
+		"url": "git+https://github.com/parischap/effect-libs.git",
+		"directory": "packages/conversions"
+	},
+	"homepage": "https://github.com/parischap/effect-libs/tree/master/packages/conversions",
+	"version": "0.1.0",
+	"main": "./cjs/index.js",
+	"types": "./dts/index.d.ts"
+}