Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Era
Synopsis
- class (EraTx era, EraTxOut era, EraTxBody era, EraTxAuxData era, EraTxWits era, EraScript era, EraPParams era, EraBlockBody era, EraTxCert era, EraCertState era, EraGov era, EraStake era, EraUTxO era, EraAccounts era, Arbitrary (Tx era), Arbitrary (TxOut era), Arbitrary (TxBody era), Arbitrary (TxAuxData era), Arbitrary (TxWits era), Arbitrary (Script era), Arbitrary (PParamsHKD Identity era), Arbitrary (PParamsHKD StrictMaybe era), Arbitrary (TxCert era), Arbitrary (Value era), Arbitrary (CertState era), Arbitrary (GovState era), Arbitrary (InstantStake era), Arbitrary (Accounts era), Arbitrary (AccountState era), ToExpr (Tx era), ToExpr (TxOut era), ToExpr (TxBody era), ToExpr (TxAuxData era), ToExpr (TxWits era), ToExpr (Script era), ToExpr (PParamsHKD Identity era), ToExpr (PParamsHKD StrictMaybe era), ToExpr (TxCert era), ToExpr (Value era), ToExpr (CertState era), ToExpr (GovState era), ToExpr (InstantStake era), ToExpr (Accounts era), ToExpr (AccountState era), Eq (TranslationContext era), Show (TranslationContext era), Typeable (TranslationContext era), ToJSON (TranslationContext era), FromJSON (TranslationContext era), Arbitrary (TranslationContext era)) ⇒ EraTest era where
- zeroCostModels ∷ CostModels
- mkTestAccountState ∷ HasCallStack ⇒ Maybe Ptr → CompactForm Coin → Maybe (KeyHash 'StakePool) → Maybe DRep → AccountState era
- accountsFromAccountsMap ∷ Map (Credential 'Staking) (AccountState era) → Accounts era
- accountsToUMap ∷ Accounts era → UMap
- registerTestAccount ∷ (HasCallStack, EraTest era) ⇒ Credential 'Staking → Maybe Ptr → CompactForm Coin → Maybe (KeyHash 'StakePool) → Maybe DRep → Accounts era → Accounts era
- accountsFromUMap ∷ (EraTest era, HasCallStack) ⇒ UMap → Accounts era
Documentation
class (EraTx era, EraTxOut era, EraTxBody era, EraTxAuxData era, EraTxWits era, EraScript era, EraPParams era, EraBlockBody era, EraTxCert era, EraCertState era, EraGov era, EraStake era, EraUTxO era, EraAccounts era, Arbitrary (Tx era), Arbitrary (TxOut era), Arbitrary (TxBody era), Arbitrary (TxAuxData era), Arbitrary (TxWits era), Arbitrary (Script era), Arbitrary (PParamsHKD Identity era), Arbitrary (PParamsHKD StrictMaybe era), Arbitrary (TxCert era), Arbitrary (Value era), Arbitrary (CertState era), Arbitrary (GovState era), Arbitrary (InstantStake era), Arbitrary (Accounts era), Arbitrary (AccountState era), ToExpr (Tx era), ToExpr (TxOut era), ToExpr (TxBody era), ToExpr (TxAuxData era), ToExpr (TxWits era), ToExpr (Script era), ToExpr (PParamsHKD Identity era), ToExpr (PParamsHKD StrictMaybe era), ToExpr (TxCert era), ToExpr (Value era), ToExpr (CertState era), ToExpr (GovState era), ToExpr (InstantStake era), ToExpr (Accounts era), ToExpr (AccountState era), Eq (TranslationContext era), Show (TranslationContext era), Typeable (TranslationContext era), ToJSON (TranslationContext era), FromJSON (TranslationContext era), Arbitrary (TranslationContext era)) ⇒ EraTest era where Source #
Methods
zeroCostModels ∷ CostModels Source #
mkTestAccountState ∷ HasCallStack ⇒ Maybe Ptr → CompactForm Coin → Maybe (KeyHash 'StakePool) → Maybe DRep → AccountState era Source #
This is a helper function that allows for creation of an EraAccounts
in era agnostic
fashion. There is no equivalent function outside of testing since arguments required for
creation of EraAccounts
varies between eras and we can get away with such function in
testing because we allow for such function to be partial.
accountsFromAccountsMap ∷ Map (Credential 'Staking) (AccountState era) → Accounts era Source #
accountsToUMap ∷ Accounts era → UMap Source #
registerTestAccount ∷ (HasCallStack, EraTest era) ⇒ Credential 'Staking → Maybe Ptr → CompactForm Coin → Maybe (KeyHash 'StakePool) → Maybe DRep → Accounts era → Accounts era Source #
This is a helper function that uses mkTestAccountState
to register an account.
accountsFromUMap ∷ (EraTest era, HasCallStack) ⇒ UMap → Accounts era Source #