| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Conway.Imp.SnapSpec
Documentation
spec ∷ ConwayEraImp era ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #
conwayOnlySpec ∷ ConwayEraImp era ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #
getSpoVotingStake ∷ ConwayEraImp era ⇒ KeyHash 'StakePool → ImpTestM era Coin Source #
getDRepVotingStake ∷ ConwayEraImp era ⇒ Credential 'DRepRole → ImpTestM era Coin Source #
setupExpiredRefundScenario ∷ ConwayEraImp era ⇒ ImpTestM era (KeyHash 'StakePool, Credential 'DRepRole, Coin) Source #
setupReapedPoolScenario ∷ ConwayEraImp era ⇒ ImpTestM era (KeyHash 'StakePool, Credential 'DRepRole, Coin) Source #
setupWithdrawalScenario ∷ ConwayEraImp era ⇒ ImpTestM era (KeyHash 'StakePool, Credential 'DRepRole, Coin) Source #
setupCombinedScenario ∷ ConwayEraImp era ⇒ ImpTestM era (KeyHash 'StakePool, Credential 'DRepRole, Coin) Source #
getActiveProposalDeposits ∷ ConwayEraImp era ⇒ KeyHash 'StakePool → ImpTestM era Coin Source #
setupRetiredPoolInLeaderDistr ∷ ConwayEraImp era ⇒ ImpTestM era (KeyHash 'StakePool) Source #