/** * @fileoverview Fast-Check Arbitraries for TAP Message Types * * This module provides fast-check arbitraries that can generate valid TAP data structures * for property-based testing. */ import * as fc from "fast-check"; import type { DID, IRI, CAIP10, CAIP19, Amount, Participant, Person, Organization, Agent, Transfer, Payment, RFQ, Quote, Lock, Capture, Authorize, Connect, Settle, Reject, Cancel, Revert, TransferMessage, PaymentMessage, RFQMessage, QuoteMessage, LockMessage, CaptureMessage, AuthorizeMessage, ConnectMessage, SettleMessage, RejectMessage, CancelMessage, RevertMessage, TAPMessage } from "./tap"; import type { IsoCurrency } from "./currencies"; export declare const did: () => fc.Arbitrary; export declare const iri: () => fc.Arbitrary; export declare const uuid: () => fc.Arbitrary; export declare const caip10: () => fc.Arbitrary; export declare const caip19: () => fc.Arbitrary; export declare const amount: () => fc.Arbitrary; export declare const isoCurrency: () => fc.Arbitrary; export declare const supportedAssetPricing: () => fc.Arbitrary; export declare const participant: () => fc.Arbitrary; export declare const person: () => fc.Arbitrary; export declare const organization: () => fc.Arbitrary; export declare const party: () => fc.Arbitrary; export declare const agent: () => fc.Arbitrary; export declare const transfer: () => fc.Arbitrary; export declare const payment: () => fc.Arbitrary; export declare const rfq: () => fc.Arbitrary; export declare const quote: () => fc.Arbitrary; export declare const lock: () => fc.Arbitrary; export declare const capture: () => fc.Arbitrary; export declare const authorize: () => fc.Arbitrary; export declare const connect: () => fc.Arbitrary; export declare const settle: () => fc.Arbitrary; export declare const reject: () => fc.Arbitrary; export declare const cancel: () => fc.Arbitrary; export declare const revert: () => fc.Arbitrary; export declare const didcommMessage: (bodyArb: fc.Arbitrary) => fc.Arbitrary<{ id: string; type: string; from: `did:${string}:${string}`; to: `did:${string}:${string}`[]; created_time: number; body: T | (undefined & T); thid: string | undefined; }>; export declare const didcommReply: (bodyArb: fc.Arbitrary) => fc.Arbitrary<{ id: string; type: string; from: `did:${string}:${string}`; to: `did:${string}:${string}`[]; created_time: number; thid: string; body: T | (undefined & T); }>; export declare const transferMessage: () => fc.Arbitrary; export declare const paymentMessage: () => fc.Arbitrary; export declare const rfqMessage: () => fc.Arbitrary; export declare const quoteMessage: () => fc.Arbitrary; export declare const lockMessage: () => fc.Arbitrary; export declare const captureMessage: () => fc.Arbitrary; export declare const authorizeMessage: () => fc.Arbitrary; export declare const connectMessage: () => fc.Arbitrary; export declare const settleMessage: () => fc.Arbitrary; export declare const rejectMessage: () => fc.Arbitrary; export declare const cancelMessage: () => fc.Arbitrary; export declare const revertMessage: () => fc.Arbitrary; export declare const tapMessage: () => fc.Arbitrary; export declare const arbitraries: { readonly fundamental: { readonly did: () => fc.Arbitrary<`did:${string}:${string}`>; readonly iri: () => fc.Arbitrary<`${string}:${string}`>; readonly uuid: () => fc.Arbitrary; readonly caip10: () => fc.Arbitrary<`${string}:${string}:${string}`>; readonly caip19: () => fc.Arbitrary<`${string}:${string}/${string}:${string}`>; readonly amount: () => fc.Arbitrary; readonly isoCurrency: () => fc.Arbitrary; readonly supportedAssetPricing: () => fc.Arbitrary; }; readonly participants: { readonly participant: () => fc.Arbitrary; readonly person: () => fc.Arbitrary; readonly organization: () => fc.Arbitrary; readonly party: () => fc.Arbitrary; readonly agent: () => fc.Arbitrary; }; readonly messageBodies: { readonly transfer: () => fc.Arbitrary; readonly payment: () => fc.Arbitrary; readonly rfq: () => fc.Arbitrary; readonly quote: () => fc.Arbitrary; readonly lock: () => fc.Arbitrary; readonly capture: () => fc.Arbitrary; readonly authorize: () => fc.Arbitrary; readonly connect: () => fc.Arbitrary; readonly settle: () => fc.Arbitrary; readonly reject: () => fc.Arbitrary; readonly cancel: () => fc.Arbitrary; readonly revert: () => fc.Arbitrary; }; readonly messages: { readonly transferMessage: () => fc.Arbitrary; readonly paymentMessage: () => fc.Arbitrary; readonly rfqMessage: () => fc.Arbitrary; readonly quoteMessage: () => fc.Arbitrary; readonly lockMessage: () => fc.Arbitrary; readonly captureMessage: () => fc.Arbitrary; readonly authorizeMessage: () => fc.Arbitrary; readonly connectMessage: () => fc.Arbitrary; readonly settleMessage: () => fc.Arbitrary; readonly rejectMessage: () => fc.Arbitrary; readonly cancelMessage: () => fc.Arbitrary; readonly revertMessage: () => fc.Arbitrary; readonly tapMessage: () => fc.Arbitrary; }; }; //# sourceMappingURL=arbitraries.d.ts.map