{-# LANGUAGE TypeFamilies #-} {-# OPTIONS_GHC -Wno-orphans #-} module Cardano.Ledger.Mary.State.Stake () where import Cardano.Ledger.Mary.Core () import Cardano.Ledger.Mary.Era (MaryEra) import Cardano.Ledger.Shelley.State ( EraStake (..), ShelleyInstantStake, addShelleyInstantStake, deleteShelleyInstantStake, resolveShelleyInstantStake, shelleyInstantStakeCredentialsL, ) instance EraStake MaryEra where type InstantStake MaryEra = ShelleyInstantStake MaryEra instantStakeCredentialsL :: Lens' (InstantStake MaryEra) (Map (Credential 'Staking) (CompactForm Coin)) instantStakeCredentialsL = forall era. Lens' (ShelleyInstantStake era) (Map (Credential 'Staking) (CompactForm Coin)) shelleyInstantStakeCredentialsL addInstantStake :: UTxO MaryEra -> InstantStake MaryEra -> InstantStake MaryEra addInstantStake = forall era. EraTxOut era => UTxO era -> ShelleyInstantStake era -> ShelleyInstantStake era addShelleyInstantStake deleteInstantStake :: UTxO MaryEra -> InstantStake MaryEra -> InstantStake MaryEra deleteInstantStake = forall era. EraTxOut era => UTxO era -> ShelleyInstantStake era -> ShelleyInstantStake era deleteShelleyInstantStake resolveInstantStake :: InstantStake MaryEra -> UMap -> Stake resolveInstantStake = forall era. (EraStake era, InstantStake era ~ ShelleyInstantStake era) => ShelleyInstantStake era -> UMap -> Stake resolveShelleyInstantStake