Documentation

ledgerSpendOneUTxO ∷ Integer → () Source #

ledgerSpendOneGivenUTxO ∷ UTxOState ShelleyEra → () Source #

initUTxO ∷ Integer → UTxOState ShelleyEra Source #

ledgerEnv ∷ (EraPParams era, AtMostEra "Mary" era, AtMostEra "Alonzo" era) ⇒ LedgerEnv era Source #

ledgerRegisterStakeKeys ∷ Word64 → Word64 → LedgerState ShelleyEra → () Source #

ledgerDeRegisterStakeKeys ∷ Word64 → Word64 → LedgerState ShelleyEra → () Source #

ledgerRewardWithdrawals ∷ Word64 → Word64 → LedgerState ShelleyEra → () Source #

ledgerStateWithNregisteredKeys ∷ Word64 → Word64 → LedgerState ShelleyEra Source #

ledgerRegisterStakePools ∷ Word64 → Word64 → LedgerState ShelleyEra → () Source #

ledgerReRegisterStakePools ∷ Word64 → Word64 → LedgerState ShelleyEra → () Source #

ledgerRetireStakePools ∷ Word64 → Word64 → LedgerState ShelleyEra → () Source #

ledgerStateWithNregisteredPools ∷ Word64 → Word64 → LedgerState ShelleyEra Source #

ledgerDelegateManyKeysOnePool ∷ Word64 → Word64 → LedgerState ShelleyEra → () Source #

ledgerStateWithNkeysMpools ∷ Word64 → Word64 → LedgerState ShelleyEra Source #