@endevops/peppol-schema 0.1.0-beta.1 → 0.1.0-beta.3

package/src/effect/peppol-billing-base-schema.ts

@@ -0,0 +1,355 @@
+import { Effect, Schema } from 'effect';
+
+import { DEFAULT_CUSTOMIZATION_ID } from '#/effect/fields/default-customization-id';
+import { DEFAULT_PROFILE_ID } from '#/effect/fields/default-profile-id';
+import { peppolAdditionalDocumentReferenceSchema } from '#/effect/fields/peppol-additional-document-reference-schema';
+import { peppolAllowanceChargeSchema } from '#/effect/fields/peppol-allowance-charge-schema';
+import { peppolBillingReferenceSchema } from '#/effect/fields/peppol-billing-reference-schema';
+import { peppolDeliverySchema } from '#/effect/fields/peppol-delivery-schema';
+import { peppolInvoicePeriodSchema } from '#/effect/fields/peppol-invoice-period-schema';
+import { peppolLegalMonetaryTotalSchema } from '#/effect/fields/peppol-legal-monetary-total-schema';
+import { peppolOrderReferenceSchema } from '#/effect/fields/peppol-order-reference-schema';
+import { peppolPartyBaseSchema } from '#/effect/fields/peppol-party-base-schema';
+import { peppolPayeePartySchema } from '#/effect/fields/peppol-payee-party-schema';
+import { peppolPaymentMeansSchema } from '#/effect/fields/peppol-payment-means-schema';
+import { peppolPaymentTermsSchema } from '#/effect/fields/peppol-payment-terms-schema';
+import { peppolTaxRepresentativeSchema } from '#/effect/fields/peppol-tax-representative-schema';
+import { peppolTaxTotalsBaseSchema } from '#/effect/fields/peppol-tax-totals-base-schema';
+import { peppolIsoDateStringSchema } from '#/effect/peppol-iso-date-string-schema';
+import { currencyCodeSchema } from '#/effect/values/currency-code-schema';
+
+/**
+ * @description Base schema for a billing document.
+ *
+ * @see {@link creditNoteSchema} - the credit note schema
+ * @see {@link invoiceSchema} - the invoice schema
+ */
+export const peppolBillingBaseSchema = Schema.Struct({
+  /**
+   * @description An identification of the specification containing the total set of rules regarding semantic content, cardinalities, and business rules to which
+   * the data contained in the intance document conforms.
+   *
+   * @default `urn:cen.eu:en16931:2017#compliant#urn:fdc:peppol.eu:2017:poacc:billing:3.0`
+   *
+   * @summary Specification identifier
+   *
+   * @cardinality 1..1
+   *
+   * @name `cbc:CustomizationID`
+   */
+  customizationId: Schema.String.pipe(Schema.withDecodingDefaultType(Effect.succeed(DEFAULT_CUSTOMIZATION_ID))).check(
+    Schema.isStartsWith('urn:cen.eu:en16931:2017#compliant#urn:fdc:peppol.eu:2017:poacc:billing:3.0', {
+      message:
+        "PEPPOL-EN16931-R004: Specification identifier MUST have the value 'urn:cen.eu:en16931:2017#compliant#urn:fdc:peppol.eu:2017:poacc:billing:3.0'.",
+    })
+  ),
+  /**
+   * @description Identifies the business process context in which the transaction appears, to enable the Buyer to process the Invoice in an appropriate way.
+   *
+   * @default `urn:fdc:peppol.eu:2017:poacc:billing:01:1.0`
+   *
+   * @summary Business process type
+   *
+   * @name `cbc:ProfileID`
+   */
+  profileId: Schema.String.pipe(Schema.withDecodingDefaultType(Effect.succeed(DEFAULT_PROFILE_ID))).check(
+    Schema.isPattern(/^urn:fdc:peppol.eu:2017:poacc:billing:(\d{2}):1\.0$/, {
+      message:
+        "PEPPOL-EN16931-R007: Business process MUST be in the format 'urn:fdc:peppol.eu:2017:poacc:billing:NN:1.0' where NN indicates the process number.",
+    })
+  ),
+  /**
+   * @description A using identification of the Invoice. The sequential number required in Article 226(2) of the directive 2006/112/EC [2], to uniquely identify
+   * the Invoice within the business context, time-frame, operating systems and records of the Seller. No identification scheme is to be used.
+   *
+   * @example
+   *   33445566;
+   *
+   * @summary Invoice number
+   *
+   * @name `cbc:ID`
+   */
+  id: Schema.String,
+  /**
+   * @description The date when the invoice was issued.
+   *
+   * @example
+   *   `2017-11-01`;
+   *
+   * @summary Invoice issue date
+   *
+   * @format `YYYY-MM-DD`
+   *
+   * @name `cbc:IssueDate`
+   */
+  issueDate: peppolIsoDateStringSchema,
+  /**
+   * @description Invoice note A textual note that gives unstructured information that is relevant to the Credit Note as a whole.
+   *
+   * @example
+   *   Please note our new phone number 33 44 55 66
+   *
+   * @name `cbc:Note`
+   */
+  note: Schema.optional(Schema.String),
+  /**
+   * @description The date when the VAT becomes accountable for the Seller and for the Buyer in so far as that date can be determined and differs from the date of
+   * issue of the invoice, according to the VAT directive.This element is required if the Value added tax point date is different from the Invoice
+   * issue date.
+   *
+   * @example
+   *   2017 - 11 - 01;
+   *
+   * @summary Value added tax point date
+   *
+   * @name `cbc:TaxPointDate`
+   */
+  taxPointDate: Schema.optional(peppolIsoDateStringSchema),
+  /**
+   * @description The currency in which all Invoice amounts are given, except for the Total VAT amount in accounting currency. Only one currency shall be used in
+   * the Invoice, except for the VAT accounting currency code (BT-6) and the invoice total VAT amount in accounting currency (BT-111).
+   *
+   * @example
+   *   EUR;
+   *
+   * @summary Invoice currency code
+   *
+   * @name `cbc:DocumentCurrencyCode`
+   */
+  documentCurrencyCode: currencyCodeSchema,
+  /**
+   * @description The currency used for VAT accounting and reporting purposes as accepted or required in the country of the Seller. Shall be used in combination
+   * with the Invoice total VAT amount in accounting currency (BT-111), when the VAT accounting currency code differs from the Invoice currency code.
+   *
+   * @example
+   *   SEK;
+   *
+   * @summary VAT accounting currency code
+   *
+   * @name `cbc:TaxCurrencyCode`
+   */
+  taxCurrencyCode: Schema.optional(currencyCodeSchema),
+  /**
+   * @description A textual value that specifies where to book the relevant data into the Buyer's financial accounts.
+   *
+   * @example
+   *   `4217:2323:2323`;
+   *
+   * @summary Buyer accounting reference
+   *
+   * @name `cbc:AccountingCost`
+   */
+  accountingCost: Schema.optional(Schema.String),
+  /**
+   * @description An identifier assigned by the Buyer used for internal routing purposes. An invoice must have buyer reference or purchase order reference (BT-13).
+   *
+   * @example
+   *   `abs1234`;
+   *
+   * @summary Buyer reference
+   *
+   * @name `cbc:BuyerReference`
+   */
+  buyerReference: Schema.optional(Schema.String),
+  /**
+   * @description A group of business terms providing information on the invoice period. Also called delivery period. If the group is used, the invoiceing period
+   * start date and/or end date must be used.
+   *
+   * @summary DELIVERY OR INVOICE PERIOD
+   *
+   * @name `cac:InvoicePeriod`
+   */
+  invoicePeriod: Schema.optional(peppolInvoicePeriodSchema),
+  /**
+   * @summary ORDER AND SALES ORDER REFERENCE
+   *
+   * @name `cac:OrderReference`
+   */
+  orderReference: Schema.optional(peppolOrderReferenceSchema),
+  /**
+   * @summary PRECEDING INVOICE REFERENCE (0..n)
+   *
+   * @name `cac:BillingReference`
+   */
+  billingReferences: Schema.optional(Schema.Array(peppolBillingReferenceSchema)),
+  /**
+   * @summary DESPATCH ADVICE REFERENCE
+   *
+   * @name `cac:DespatchDocumentReference`
+   */
+  despatchDocumentReference: Schema.optional(
+    Schema.Struct({
+      /**
+       * @description An identifier of a referenced despatch advice.
+       *
+       * @example
+       *   `desp98`;
+       *
+       * @summary Despatch advice reference
+       *
+       * @name `cbc:ID`
+       */
+      id: Schema.String,
+    })
+  ),
+  /**
+   * @summary RECEIPT ADVICE REFERENCE
+   *
+   * @name `cac:ReceiptDocumentReference`
+   */
+  receiptDocumentReference: Schema.optional(
+    Schema.Struct({
+      /**
+       * @description An identifier of a referenced receiving advice.
+       *
+       * @example
+       *   `rec98`;
+       *
+       * @summary Receiving advice reference
+       *
+       * @name `cbc:ID`
+       */
+      id: Schema.String,
+    })
+  ),
+  /**
+   * @summary TENDER OR LOT REFERENCE
+   *
+   * @name `cac:OriginatorDocumentReference`
+   */
+  originatorDocumentReference: Schema.optional(
+    Schema.Struct({
+      /**
+       * @description The identification of the call for tender or lot the invoice relates to.
+       *
+       * @example
+       *   `PPID-123`;
+       *
+       * @summary Tender or lot reference
+       *
+       * @name `cbc:ID`
+       */
+      id: Schema.String,
+    })
+  ),
+
+  /**
+   * @summary CONTRACT REFERENCE
+   *
+   * @name `cac:ContractDocumentReference`
+   */
+  contractDocumentReference: Schema.optional(
+    Schema.Struct({
+      /**
+       * @description An identifier of a referenced contract.
+       *
+       * @example
+       *   `123Contractref`;
+       *
+       * @summary Contract reference
+       *
+       * @name `cbc:ID`
+       */
+      id: Schema.String,
+    })
+  ),
+
+  /**
+   * @description A group of business terms providing information about additional supporting documents substantiating the claims made in the Invoice. The
+   * additional supporting documents can be used for both referencing a document number which is expected to be known by the receiver, an external
+   * document (referenced by a URL) or as an embedded document, Base64 encoded (such as a time report).
+   *
+   * @summary ADDITIONAL SUPPORTING DOCUMENTS
+   *
+   * @name `cac:AdditionalDocumentReference`
+   */
+  additionalDocumentReferences: Schema.optional(Schema.Array(peppolAdditionalDocumentReferenceSchema)),
+
+  /**
+   * @description A group of business terms providing information about the seller.
+   *
+   * @summary SELLER
+   *
+   * @name `cac:AccountingSupplierParty`
+   */
+  accountingSupplierParty: peppolPartyBaseSchema,
+
+  /**
+   * @description A group of business terms providing information about the Buyer.
+   *
+   * @summary BUYER
+   *
+   * @name `cac:AccountingCustomerParty`
+   */
+  accountingCustomerParty: peppolPartyBaseSchema,
+
+  /**
+   * @description A group of business terms providing information about the Payee, i.e. the role that received the payment. Shall be used wwhen the payee is
+   * different from the seller.
+   *
+   * @summary PAYEE
+   *
+   * @name cac:PayeeParty
+   */
+  payeeParty: Schema.optional(peppolPayeePartySchema),
+
+  /**
+   * @description SELLER TAX REPRESENTATIVE PARTY.
+   *
+   * @name cac:TaxRepresentativeParty
+   */
+  taxRepresentativeParty: Schema.optional(peppolTaxRepresentativeSchema),
+
+  /**
+   * @description DELIVERY INFORMATION.
+   *
+   * @name cac:Delivery
+   */
+  delivery: Schema.optional(peppolDeliverySchema),
+
+  /**
+   * @summary PAYMENT INSTRUCTIONS
+   * @summary A group of business terms providing information about the payment.
+   *
+   * @name cac:PaymentMeans
+   */
+  paymentMeans: Schema.optional(Schema.Array(peppolPaymentMeansSchema)),
+
+  /**
+   * @example
+   *   Net within 30 days
+   *
+   * @summary PAYMENT TERMS
+   *
+   * @name cac:PaymentTerms
+   */
+  paymentTerms: Schema.optional(peppolPaymentTermsSchema),
+
+  /**
+   * @description A group of business terms providing information about allowances applicable to the Invoice as a whole. A group of business terms providing
+   * information about charges and taxes other than VAT, applicable to the Invoice as a whole.
+   *
+   * @summary DOCUMENT LEVEL ALLOWANCES AND CHARGES
+   *
+   * @name cac:AllowanceCharge
+   */
+  allowanceCharges: Schema.optional(Schema.Array(peppolAllowanceChargeSchema)),
+
+  /**
+   * @description When tax currency code is provided, two instances of the tax total must be present, but only one with tax subtotal.
+   *
+   * @summary TAX TOTAL
+   *
+   * @name cac:TaxTotal
+   */
+  taxTotals: Schema.Array(peppolTaxTotalsBaseSchema).check(Schema.isMinLength(1), Schema.isMaxLength(2)),
+
+  /**
+   * @summary DOCUMENT TOTALS
+   *
+   * @name cac:LegalMonetaryTotal
+   */
+  legalMonetaryTotal: peppolLegalMonetaryTotalSchema,
+});
+
+export type PeppolBillingBase = typeof peppolBillingBaseSchema.Type;

package/src/effect/peppol-credit-note-schema.ts

@@ -0,0 +1,30 @@
+import { Schema } from 'effect';
+
+import { peppolCreditNoteLineSchema } from '#/effect/fields/peppol-credit-note-line-schema';
+import { peppolBillingBaseSchema } from '#/effect/peppol-billing-base-schema';
+import { creditNoteTypeCodeSchema } from '#/effect/values/credit-note-type-code-schema';
+
+/**
+ * @description Main UBL Credit Note schema (camelCase properties) Effect port of `creditNoteSchema` (`z.extend(billingBaseSchema, ...)` →
+ * `peppolBillingBaseSchema.pipe(Schema.fieldsAssign(...))`).
+ */
+export const peppolCreditNoteSchema = Schema.Struct({
+  ...peppolBillingBaseSchema.fields,
+  /**
+   * @description CREDIT NOTE LINE.
+   *
+   * @name cac:CreditNoteLine (1..n)
+   */
+  creditNoteLines: Schema.Array(peppolCreditNoteLineSchema).check(Schema.isMinLength(1)),
+  /**
+   * @description Invoice type code A code specifying the functional type of the Credit Note.
+   *
+   * @example
+   *   381;
+   *
+   * @name cbc:CreditNoteTypeCode
+   */
+  creditNoteTypeCode: creditNoteTypeCodeSchema,
+});
+
+export interface PeppolCreditNote extends Schema.Schema.Type<typeof peppolCreditNoteSchema> {}

package/src/effect/peppol-document-response-document-reference-schema.ts

@@ -0,0 +1,38 @@
+import { Schema } from 'effect';
+
+import { peppolDocumentTypeCodeSchema } from '#/effect/values/peppol-document-type-code-schema';
+
+export const peppolDocumentResponseDocumentReferenceSchema = Schema.Struct({
+  /**
+   * @description Identifies the document on which the message level response is based.
+   *
+   * @example
+   *   `EnvelopeID-12345`;
+   *
+   * @summary Document identifier
+   *
+   * @name `cbc:ID`
+   */
+  id: Schema.String,
+  /**
+   * @description The type of the document being referred to, expressed as a code.
+   *
+   * @summary Document type code
+   *
+   * @name `cbc:DocumentTypeCode`
+   */
+  documentTypeCode: Schema.optional(peppolDocumentTypeCodeSchema),
+  /**
+   * @description The version of the document that has been identifier with the document identifier.
+   *
+   * @example
+   *   `2`;
+   *
+   * @summary Document version identifier
+   *
+   * @name `cbc:VersionID`
+   */
+  versionId: Schema.optional(Schema.String),
+});
+
+export type PeppolMessageLevelDocumentResponseDocumentReference = typeof peppolDocumentResponseDocumentReferenceSchema.Type;

package/src/effect/peppol-document-response-document-schema.ts

@@ -0,0 +1,35 @@
+import { Schema } from 'effect';
+
+import { applicationResponseTypeCodeSchema } from '#/effect/values/application-response-type-code-schema';
+
+/**
+ * @summary Response information
+ *
+ * @name `cac:Response`
+ *
+ * @cardinality (1..1)
+ *
+ * @see {@link messageLevelResponseDocumentResponseSchema}
+ */
+export const peppolDocumentResponseDocumentSchema = Schema.Struct({
+  /**
+   * @description An indicator stating whether the referenced message was cleared through validation and advanced to the next step in the process. A negative
+   * response states that the document was not processed because of identified issues.
+   *
+   * @example
+   *   `RE`;
+   *
+   * @summary Message response code
+   *
+   * @name `cbc:ResponseCode`
+   */
+  responseCode: applicationResponseTypeCodeSchema,
+  /**
+   * @description Used to meake any comments or instructions relevant to the response. The use of this element requires manual assessment by the receiver.
+   *
+   * @summary Response textual notes
+   */
+  description: Schema.optional(Schema.String),
+});
+
+export type PeppolMessageLevelResponseDocumentResponseDocument = typeof peppolDocumentResponseDocumentSchema.Type;

package/src/effect/peppol-document-response-line-response-content-schema.ts

@@ -0,0 +1,44 @@
+import { Schema } from 'effect';
+
+import { applicationResponseTypeCodeSchema } from '#/effect/values/application-response-type-code-schema';
+
+export const peppolDocumentResponseLineResponseContentSchema = Schema.Struct({
+  /**
+   * @description An indicator stating whether the referenced message was cleared through validation and advanced to the next step in the process. A negative
+   * response states that the document was not processed because of identified issues.
+   *
+   * @example
+   *   `RE`;
+   *
+   * @summary Line response code
+   *
+   * @name `cbc:ResponseCode`
+   */
+  responseCode: applicationResponseTypeCodeSchema,
+  /**
+   * @description The description of the issued identifier in the transaction document.
+   *
+   * @example
+   *   `Validation gives error [CL-T77-R0002]- Tax categories MUST be coded using UN/ECE 5305 code list`;
+   *
+   * @summary Issue description
+   *
+   * @name `cbc:Description`
+   */
+  description: Schema.String,
+  /**
+   * @name `cac:Status`
+   */
+  status: Schema.Struct({
+    /**
+     * @description A codified version of the issue description that describes the nature of the issue. e.g. Syntax violation, business rule violation, ...
+     *
+     * @summary Issue type coded
+     *
+     * @name `cbc:StatusReasonCode`
+     */
+    statusReasonCode: Schema.Literals(['BV', 'BW', 'SV']),
+  }),
+});
+
+export type DocumentResponseLineResponseContent = typeof peppolDocumentResponseLineResponseContentSchema.Type;

package/src/effect/peppol-document-response-line-response-schema.ts

@@ -0,0 +1,33 @@
+import { Schema } from 'effect';
+
+import { peppolDocumentResponseLineResponseContentSchema } from '#/effect/peppol-document-response-line-response-content-schema';
+
+export const peppolDocumentResponseLineResponseSchema = Schema.Struct({
+  /**
+   * @description Identifies the line in the business document to which the reported issue applies.
+   *
+   * @summary Line reference
+   *
+   * @name `cac:LineReference`
+   */
+  lineReference: Schema.Struct({
+    /**
+     * @description Identifies the section of the document to which the reported issue applied. The LineID element mustbe used to indicate where in the business
+     * document the error occurred by using XPath to reference the element causing the error. To cater for scenarios where it is not possible to
+     * provide XPath, a dummy value must be applied. The dummay value must consist of the characters NA. This is due to that the LineID element is
+     * mendatory in the ApplicationResponse message in UBL 2.1 on which the MLR message is based.
+     *
+     * @example
+     *   `/Catalogue/cac:CatalogueLine[3]/cac:Item[1]/cac:ClassifiedTaxCategory[1]/cbc:ID[1]`;
+     *
+     * @summary Section identifier
+     */
+    lineId: Schema.String,
+  }),
+  /**
+   * @summary Line response information
+   */
+  response: peppolDocumentResponseLineResponseContentSchema,
+});
+
+export type PeppolMessageLevelDocumentResponseLineResponse = typeof peppolDocumentResponseLineResponseSchema.Type;

package/src/effect/peppol-document-schema.ts

@@ -0,0 +1,142 @@
+import type { SchemaAST } from 'effect';
+import type { AllUnionFields } from 'type-fest';
+
+import { Effect, Predicate, Schema, SchemaGetter, SchemaIssue } from 'effect';
+import XMLBuilder from 'fast-xml-builder';
+import { XMLParser } from 'fast-xml-parser';
+
+import type { PeppolCreditNoteLine } from '#/effect/fields/peppol-credit-note-line-schema';
+import type { PeppolInvoiceLine } from '#/effect/fields/peppol-invoice-line-schema';
+import type { PeppolCreditNote } from '#/effect/peppol-credit-note-schema';
+import type { PeppolInvoice } from '#/effect/peppol-invoice-schema';
+import type { XmlNode } from '#/helpers/get-prop';
+import type { PeppolCreditNote as ZodPeppolCreditNote } from '#/schemas/credit-note';
+import type { PeppolInvoice as ZodPeppolInvoice } from '#/schemas/invoice';
+import type { PeppolInvoiceResponse as ZodPeppolInvoiceResponse } from '#/schemas/invoice-response-schema';
+import type { PeppolMessageLevelResponse as ZodPeppolMessageLevelResponse } from '#/schemas/message-level-response-schema';
+
+import { INVOICE_RESPONSE_PROFILE_ID } from '#/constants/invoice-response-profile-id';
+import { MESSAGE_LEVEL_RESPONSE_PROFILE_ID } from '#/constants/message-level-response-profile-id';
+import { decodeCreditNote } from '#/decoders/decode-credit-note';
+import { decodeInvoice } from '#/decoders/decode-invoice';
+import { decodeInvoiceResponse } from '#/decoders/decode-invoice-response';
+import { decodeMessageLevelResponse } from '#/decoders/decode-message-level-response';
+import { encodeCreditNote } from '#/decoders/encode-credit-note';
+import { encodeInvoice } from '#/decoders/encode-invoice';
+import { encodeInvoiceResponse } from '#/decoders/encode-invoice-response';
+import { encodeMessageLevelResponse } from '#/decoders/encode-message-level-response';
+import { peppolCreditNoteSchema } from '#/effect/peppol-credit-note-schema';
+import { peppolInvoiceResponseSchema } from '#/effect/peppol-invoice-response-schema';
+import { peppolInvoiceSchema } from '#/effect/peppol-invoice-schema';
+import { peppolMessageLevelResponseSchema } from '#/effect/peppol-message-level-response-schema';
+import { strOrUnd } from '#/helpers/str-or-und';
+import { builderOptions } from '#/xml/builder-options';
+import { parserOptions } from '#/xml/parser-options';
+
+export class PeppolInvalidDocumentType extends Schema.TaggedError<PeppolInvalidDocumentType>()('PeppolInvalidDocumentType', {
+  message: Schema.String,
+  rootNodes: Schema.Array(Schema.String),
+}) {}
+
+/**
+ * @description Object representation of a PEPPOL document, before the member schemas normalise it (dates stay strings, enums stay loose). This is the shape
+ * produced by the legacy `#/decoders/*` functions and consumed by their `#/decoders/encode-*` counterparts.
+ */
+const peppolDocumentObjectSchema = Schema.Union([
+  peppolInvoiceSchema,
+  peppolCreditNoteSchema,
+  peppolMessageLevelResponseSchema,
+  peppolInvoiceResponseSchema,
+]);
+
+type PeppolDocumentObject = typeof peppolDocumentObjectSchema.Encoded;
+
+const parseXml = (value: string): XmlNode => new XMLParser({ ...parserOptions, removeNSPrefix: true }).parse(value);
+
+const toInvalidValue = (error: { readonly message: string }, input: unknown, options: SchemaAST.ParseOptions) =>
+  new SchemaIssue.InvalidValue({ message: error.message }, input, options);
+
+/**
+ * @description XML string -> loose document object. Dispatches on the root element; `ApplicationResponse` is further split by its `cbc:ProfileID`.
+ */
+const decodeDocumentXml = Effect.fn(function* (value: string) {
+  const parsed = parseXml(value);
+
+  if (Predicate.isNotNullish(parsed.Invoice)) {
+    return yield* decodeInvoice(parsed);
+  }
+  if (Predicate.isNotNullish(parsed.CreditNote)) {
+    return yield* decodeCreditNote(parsed);
+  }
+  if (Predicate.isNotNullish(parsed.ApplicationResponse)) {
+    const profileId = yield* strOrUnd(parsed.ApplicationResponse, 'cbc:ProfileID');
+    if (profileId === MESSAGE_LEVEL_RESPONSE_PROFILE_ID) {
+      return yield* decodeMessageLevelResponse(parsed);
+    }
+    if (profileId === INVOICE_RESPONSE_PROFILE_ID) {
+      return yield* decodeInvoiceResponse(parsed);
+    }
+  }
+
+  const rootNodes = Object.keys(parsed);
+  return yield* new PeppolInvalidDocumentType({ message: `Unsupported document type: ${rootNodes.join(',')}`, rootNodes });
+});
+
+/**
+ * @description Loose document object -> XML string. Mirrors {@link decodeDocumentXml} by dispatching on the decoded discriminant.
+ */
+const encodeDocumentXml = Effect.fn(function* (document: PeppolDocumentObject) {
+  let content: unknown;
+
+  if (Predicate.hasProperty(document, 'invoiceLines')) {
+    content = yield* encodeInvoice(document as unknown as ZodPeppolInvoice);
+  } else if (Predicate.hasProperty(document, 'creditNoteLines')) {
+    content = yield* encodeCreditNote(document as unknown as ZodPeppolCreditNote);
+  } else if (Predicate.hasProperty(document, 'documentResponse')) {
+    if (document.profileId === MESSAGE_LEVEL_RESPONSE_PROFILE_ID) {
+      content = yield* encodeMessageLevelResponse(document as unknown as ZodPeppolMessageLevelResponse);
+    } else if (document.profileId === INVOICE_RESPONSE_PROFILE_ID) {
+      content = yield* encodeInvoiceResponse(document as unknown as ZodPeppolInvoiceResponse);
+    }
+  }
+
+  if (Predicate.isNullish(content)) {
+    const rootNodes = Object.keys(document);
+    return yield* new PeppolInvalidDocumentType({ message: `Unsupported document type: ${rootNodes.join(',')}`, rootNodes });
+  }
+
+  return new XMLBuilder(builderOptions).build(content) as string;
+});
+
+/**
+ * @description Union of every supported PEPPOL business document (Effect port of the `z.xor` side of `documentParser`). Members discriminate cleanly: invoice vs
+ * credit note via `invoiceLines`/`creditNoteLines`, message-level vs invoice response via the `profileId` literal.
+ */
+export const peppolDocumentSchema = peppolDocumentObjectSchema.pipe(
+  Schema.encodeTo(Schema.String, {
+    encode: SchemaGetter.transformEffect((document, options) =>
+      encodeDocumentXml(document).pipe(Effect.mapError(error => toInvalidValue(error, document, options)))
+    ),
+    decode: SchemaGetter.transformEffect((value, options) =>
+      decodeDocumentXml(value).pipe(
+        // The legacy decoders emit loose values (e.g. `descriptionCode: string`); the union member below validates and narrows them.
+        Effect.map(document => document as PeppolDocumentObject),
+        Effect.mapError(error => toInvalidValue(error, value, options))
+      )
+    ),
+  })
+);
+
+export type PeppolDocumentEncoded = string;
+export interface PeppolDocumentDecoded extends AllUnionFields<Schema.Schema.Type<typeof peppolDocumentSchema>> {}
+
+/**
+ * @description This defines the types of documents that are sent/received through the peppol network.
+ */
+export interface PeppolDocument extends AllUnionFields<PeppolInvoice | PeppolCreditNote> {}
+/**
+ * @description This defines the types of message that are sent/received through the peppol network.
+ */
+export interface PeppolMessage extends AllUnionFields<typeof peppolMessageLevelResponseSchema.Type | typeof peppolInvoiceResponseSchema.Type> {}
+export interface PeppolAllDocuments extends AllUnionFields<PeppolDocument | PeppolMessage> {}
+export interface PeppolDocumentLine extends AllUnionFields<PeppolInvoiceLine | PeppolCreditNoteLine> {}