RedeemerBuilder overviewCopy Anchor Link

Deferred redeemer construction for dynamic index resolution.

Cardano redeemers must reference inputs/policies by their sorted index in the final transaction. But coin selection may add new inputs, changing all indices. This creates a chicken-and-egg problem: you need indices to build redeemers, but indices aren't known until the transaction is finalized.

The solution is three modes:

• Static: When you know the redeemer value upfront (no index needed)
• Self: When redeemer depends on THIS input's final index
• Batch: When redeemer depends on MULTIPLE inputs' final indices

Added in v2.0.0

Table of contents

• types
  • BatchRedeemer (interface)
  • BatchRedeemerBuilder (interface)
  • BatchRedeemerFn (type alias)
  • DeferredRedeemer (type alias)
  • IndexedInput (interface)
  • RedeemerArg (type alias)
  • SelfRedeemer (interface)
  • SelfRedeemerFn (type alias)
  • StaticRedeemer (interface)
• utils
  • isBatchBuilder
  • isSelfFn
  • isStaticData

typesCopy Anchor Link

BatchRedeemer (interface)Copy Anchor Link

A redeemer built once from several script inputs once their final indexes are known.

Signature

export interface BatchRedeemer {
  readonly _tag: "batch"
  readonly fn: BatchRedeemerFn
  readonly inputs: ReadonlyArray<UTxO.UTxO>
}

Added in v2.0.0

BatchRedeemerBuilder (interface)Copy Anchor Link

Batch redeemer builder for multi-input coordination.

When multiple UTxOs need to share information about each other's indices, use batch mode. The all function receives all specified inputs with their resolved indices.

Signature

export interface BatchRedeemerBuilder {
  /** Function invoked with all inputs' resolved indices. */
  readonly all: BatchRedeemerFn
  /** Which UTxOs to include in the batch. */
  readonly inputs: ReadonlyArray<UTxO.UTxO>
}

Added in v2.0.0

BatchRedeemerFn (type alias)Copy Anchor Link

Batch-mode function: constructs a single redeemer from multiple inputs.

Called once with all indexed inputs, returns one redeemer shared by all. Use when multiple inputs need coordinated redeemer values.

Signature

export type BatchRedeemerFn = (inputs: ReadonlyArray<IndexedInput>) => Data.Data

Added in v2.0.0

DeferredRedeemer (type alias)Copy Anchor Link

A redeemer whose data may depend on the final input indexes, resolved after coin selection.

Signature

export type DeferredRedeemer = StaticRedeemer | SelfRedeemer | BatchRedeemer

Added in v2.0.0

IndexedInput (interface)Copy Anchor Link

An input with its resolved transaction index.

Provided to redeemer functions after coin selection completes. Contains both the final sorted index and the original UTxO for reference.

Signature

export interface IndexedInput {
  /** The final 0-based index of this input in the sorted transaction inputs. */
  readonly index: number
  /** The original UTxO being spent. */
  readonly utxo: UTxO.UTxO
}

Added in v2.0.0

RedeemerArg (type alias)Copy Anchor Link

Redeemer argument for collectFrom and mint operations.

Supports three modes:

• Static (Data): Direct redeemer value, no deferred computation
• Self (SelfRedeemerFn): Per-input function, receives { index, utxo }
• Batch (BatchRedeemerBuilder): Multi-input function, receives array

The appropriate mode is auto-detected at runtime:

• Function → Self mode
• Object with all property → Batch mode
• Otherwise → Static mode

Signature

export type RedeemerArg = Data.Data | SelfRedeemerFn | BatchRedeemerBuilder

Added in v2.0.0

SelfRedeemer (interface)Copy Anchor Link

A redeemer built per script input once its final index is known.

Signature

export interface SelfRedeemer {
  readonly _tag: "self"
  readonly fn: SelfRedeemerFn
}

Added in v2.0.0

SelfRedeemerFn (type alias)Copy Anchor Link

Self-mode function: constructs a redeemer for a single script input.

Called once per script-locked UTxO with its resolved index. The same function is invoked for each script UTxO in the collection.

Signature

export type SelfRedeemerFn = (input: IndexedInput) => Data.Data

Added in v2.0.0

StaticRedeemer (interface)Copy Anchor Link

A redeemer whose data is known when the transaction is built.

Signature

export interface StaticRedeemer {
  readonly _tag: "static"
  readonly data: Data.Data
}

Added in v2.0.0

utilsCopy Anchor Link

isBatchBuilderCopy Anchor Link

Signature

export declare const isBatchBuilder: (arg: RedeemerArg) => arg is BatchRedeemerBuilder

Added in v2.0.0 @category guards

isSelfFnCopy Anchor Link

Signature

export declare const isSelfFn: (arg: RedeemerArg) => arg is SelfRedeemerFn

Added in v2.0.0 @category guards

isStaticDataCopy Anchor Link

Signature

export declare const isStaticData: (arg: RedeemerArg) => arg is Data.Data

Added in v2.0.0 @category guards