| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Hydra.Cluster.Scenarios
Contents
Synopsis
- data EndToEndLog
- = ClusterOptions { }
- | FromCardanoNode NodeLog
- | FromFaucet FaucetLog
- | FromHydraNode HydraNodeLog
- | FromMithril MithrilLog
- | StartingFunds { }
- | RefueledFunds {
- actor :: String
- refuelingAmount :: Coin
- utxo :: UTxO
- | RemainingFunds { }
- | PublishedHydraScriptsAt {
- hydraScriptsTxId :: TxId
- | UsingHydraScriptsAt {
- hydraScriptsTxId :: TxId
- | CreatedKey { }
- restartedNodeCanObserveCommitTx :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO ()
- testPreventResumeReconfiguredPeer :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO ()
- restartedNodeCanAbort :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO ()
- singlePartyHeadFullLifeCycle :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO ()
- singlePartyOpenAHead :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> (HydraClient -> SigningKey PaymentKey -> IO ()) -> IO ()
- singlePartyCommitsExternalScriptWithInlineDatum :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO ()
- singlePartyCommitsFromExternalScript :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO ()
- singlePartyCannotCommitExternallyWalletUtxo :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO ()
- canCloseWithLongContestationPeriod :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO ()
- canSubmitTransactionThroughAPI :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO ()
- threeNodesNoErrorsOnOpen :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO ()
- initWithWrongKeys :: FilePath -> Tracer IO EndToEndLog -> RunningNode -> TxId -> IO ()
- respendUTxO :: HydraClient -> SigningKey PaymentKey -> NominalDiffTime -> IO ()
- refuelIfNeeded :: Tracer IO EndToEndLog -> RunningNode -> Actor -> Coin -> IO ()
- returnFundsToFaucet :: Tracer IO EndToEndLog -> RunningNode -> Actor -> IO ()
- headIsInitializingWith :: Set Party -> Value -> Maybe HeadId
- expectErrorStatus :: Int -> Maybe ByteString -> HttpException -> Bool
Documentation
data EndToEndLog Source #
Constructors
| ClusterOptions | |
| FromCardanoNode NodeLog | |
| FromFaucet FaucetLog | |
| FromHydraNode HydraNodeLog | |
| FromMithril MithrilLog | |
| StartingFunds | |
| RefueledFunds | |
Fields
| |
| RemainingFunds | |
| PublishedHydraScriptsAt | |
Fields
| |
| UsingHydraScriptsAt | |
Fields
| |
| CreatedKey | |
Instances
restartedNodeCanObserveCommitTx :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO () Source #
testPreventResumeReconfiguredPeer :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO () Source #
restartedNodeCanAbort :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO () Source #
singlePartyHeadFullLifeCycle :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO () Source #
Step through the full life cycle of a Hydra Head with only a single participant. This scenario is also used by the smoke test run via the `hydra-cluster` executable.
Arguments
| :: Tracer IO EndToEndLog | |
| -> FilePath | |
| -> RunningNode | |
| -> TxId | |
| -> (HydraClient -> SigningKey PaymentKey -> IO ()) | Continuation called when the head is open |
| -> IO () |
Open a Hydra Head with only a single participant but some arbitrary UTxO committed.
singlePartyCommitsExternalScriptWithInlineDatum :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO () Source #
Exercise committing a script utxo that uses inline datums.
singlePartyCommitsFromExternalScript :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO () Source #
Single hydra-node where the commit is done from an external UTxO owned by a script which requires providing script, datum and redeemer instead of signing the transaction.
singlePartyCannotCommitExternallyWalletUtxo :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO () Source #
canCloseWithLongContestationPeriod :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO () Source #
Initialize open and close a head on a real network and ensure contestation period longer than the time horizon is possible. For this it is enough that we can close a head and not wait for the deadline.
canSubmitTransactionThroughAPI :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO () Source #
threeNodesNoErrorsOnOpen :: Tracer IO EndToEndLog -> FilePath -> RunningNode -> TxId -> IO () Source #
Three hydra nodes open a head and we assert that none of them sees errors. This was particularly misleading when everyone tries to post the collect transaction concurrently.
initWithWrongKeys :: FilePath -> Tracer IO EndToEndLog -> RunningNode -> TxId -> IO () Source #
Two hydra node setup where Alice is wrongly configured to use Carol's
cardano keys instead of Bob's which will prevent him to be notified the
HeadIsInitializing but he should still receive some notification.
L2 scenarios
respendUTxO :: HydraClient -> SigningKey PaymentKey -> NominalDiffTime -> IO () Source #
Finds UTxO owned by given key in the head and creates transactions respending it to the same address as fast as possible, forever. NOTE: This relies on zero-fee protocol parameters.
Utilities
refuelIfNeeded :: Tracer IO EndToEndLog -> RunningNode -> Actor -> Coin -> IO () Source #
Refuel given Actor with given Lovelace if current marked UTxO is below that amount.
returnFundsToFaucet :: Tracer IO EndToEndLog -> RunningNode -> Actor -> IO () Source #
Return the remaining funds to the faucet
headIsInitializingWith :: Set Party -> Value -> Maybe HeadId Source #
Arguments
| :: Int | Expected http status code |
| -> Maybe ByteString | Optional string expected to be present somewhere in the response body |
| -> HttpException | Expected exception |
| -> Bool |