Index - R
| realWorldModelUTxO | Hydra.Chain.Direct.TxTraceSpec |
| reapplyEquivalence | Hydra.Ledger.CardanoSpec |
| reapplyRejectsExpired | Hydra.Ledger.CardanoSpec |
| receiveMessage | Hydra.HeadLogicSpec |
| receiveMessageFrom | Hydra.HeadLogicSpec |
| recordEventsHandler | Hydra.Chain.Direct.HandlersSpec |
| recordNetwork | Hydra.NodeSpec |
| recordServerOutputs | Hydra.NodeSpec |
| reqDecDecommitTx | Hydra.HeadLogicSpec |
| reqDecDepositedUTxO | Hydra.HeadLogicSpec |
| reqDecDepositTxId | Hydra.HeadLogicSpec |
| reqDecStateWith | Hydra.HeadLogicSpec |
| retry | Hydra.Chain.BlockfrostSpec |
| RollbackAndForward | Hydra.Model |
| roundtripPParams | Hydra.Ledger.CardanoSpec |
| runATestBackend | Hydra.Chain.ScriptRegistrySpec |
| RunException | Hydra.Model |
| runHeadLogic | Hydra.HeadLogicSpec |
| runIOSimProp | Hydra.ModelSpec |
| RunMonad | |
| 1 (Type/Class) | Hydra.Model |
| 2 (Data Constructor) | Hydra.Model |
| runPostconditionM' | Hydra.Chain.Direct.TxTraceSpec |
| runRunMonadIOSimGen | Hydra.ModelSpec |
| RunState | |
| 1 (Type/Class) | Hydra.Model |
| 2 (Data Constructor) | Hydra.Model |
| runSuccessfulBackend | Hydra.Chain.ScriptRegistrySpec |
| runToCompletion | Hydra.NodeSpec |