A class for accessing the known UTxO' set in a type. This is useful to get all the relevant UTxO for resolving transaction inputs.

The chain state used by the Hydra.Chain.Direct implementation. It records the actual ChainState paired with a ChainSlot (used to know up to which point to rewind on rollbacks).

Get a generic ChainSlot from a Cardano ChainPoint. Slot 0 is used for the genesis point.

A definition of all transitions between ChainStates. Enumerable and bounded to be used as labels for checking coverage.

An enumeration of all possible on-chain states of a Hydra Head, where each case stores the relevant information to construct & observe transactions to other states.

Read-only chain-specific data. This is different to HydraContext as it only contains data known to single peer.

Get all cardano verification keys available in the chain context.

Construct an init transaction given some general ChainContext, the HeadParameters and a seed TxIn which will be spent.

Construct a commit transaction based on the InitialState. This does look for "our initial output" to spend and check the given UTxO' to be compatible. Hence, this function does fail if already committed.

NOTE: This version of commit does only commit outputs which are held by payment keys. For a variant which supports committing scripts, see commit`.

Construct a commit transaction base on the InitialState and some arbitrary UTxOs to commit.

NOTE: A simpler variant only supporting pubkey outputs is commit.

Construct a collect transaction based on the InitialState. This will reimburse all the already committed outputs.

Construct a collect transaction based on the InitialState. This will know collect all the committed outputs.

Construct a close transaction based on the OpenState and a confirmed snapshot. - SlotNo parameter will be used as the Tx lower bound. - PointInTime parameter will be used as an upper validity bound and will define the start of the contestation period. NB: lower and upper bound slot difference should not exceed contestation period

Construct a contest transaction based on the ClosedState and a confirmed snapshot. The given PointInTime will be used as an upper validity bound and needs to be before the deadline.

Construct a fanout transaction based on the ClosedState and off-chain agreed UTxO' set to fan out.

Observe a transition without knowing the starting or ending state. This function should try to observe all relevant transitions given some ChainState.

Observe an init transition using a InitialState and observeInitTx.

Observe an commit transition using a InitialState and observeCommitTx.

Observe an collect transition using a InitialState and observeCollectComTx. This function checks the head id and ignores if not relevant.

Observe an abort transition using a InitialState and observeAbortTx.

Observe a close transition using a OpenState and observeCloseTx. This function checks the head id and ignores if not relevant.

Observe a fanout transition using a ClosedState and observeContestTx. This function checks the head id and ignores if not relevant.

Observe a fanout transition using a ClosedState and observeFanoutTx.

Maximum number of parties used in the generators.

Maximum number of assets (ADA or other tokens) used in the generators.

Generate a ChainState within known limits above.

Generate a ChainContext and ChainState within the known limits above, along with a transaction that results in a transition away from it.

Define some global context from which generators can pick values for generation. This allows to write fairly independent generators which however still make sense with one another within the context of a head.

For example, one can generate a head's _party_ from that global list, whereas other functions may rely on all parties and thus, we need both generation to be coherent.

Do not use this in production code, but only for generating test data.

Generate a HydraContext for a arbitrary number of parties, bounded by given maximum.

Generate a HydraContext for a given number of parties.

Get all peer-specific ChainContexts from a HydraContext. NOTE: This assumes that HydraContext has same length $sel:ctxVerificationKeys:HydraContext and $sel:ctxHydraSigningKeys:HydraContext. XXX: This is actually a non-monadic function.

Pick one of the participants and derive the peer-specific ChainContext from a HydraContext. NOTE: This assumes that HydraContext has same length $sel:ctxVerificationKeys:HydraContext and $sel:ctxHydraSigningKeys:HydraContext.