ContractModule

Defined in: src/Contract.ts:87

A contract module definition.

Since

0.2.0

Type Parameters

TLedger

TLedger = unknown

The ledger state type returned by the ledger function

TCircuits

TCircuits extends string = string

Union of circuit names (e.g., ‘increment’ | ‘decrement’)

Properties

Contract()

Contract: (witnesses) => object

Defined in: src/Contract.ts:92

Parameters

witnesses

any

Returns

object

impureCircuits

impureCircuits: Record<TCircuits, (…args) => any>

---

ledger()

ledger: (state) => TLedger

Defined in: src/Contract.ts:97

Parameters

state

any

Returns

TLedger