Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Api.Tx.Cert

Contents

Shelley Era
Conway Era

Synopsis

class (Era era, DecCBOR (TxCert era), EncCBOR (TxCert era), ToCBOR (TxCert era), FromCBOR (TxCert era), NoThunks (TxCert era), NFData (TxCert era), Show (TxCert era), Eq (TxCert era), ToExpr (TxCert era)) => EraTxCert era where
- type TxCert era = (r :: Type) | r -> era
- type TxCertUpgradeError era
upgradeTxCert :: EraTxCert era => TxCert (PreviousEra era) -> Either (TxCertUpgradeError era) (TxCert era)
getVKeyWitnessTxCert :: EraTxCert era => TxCert era -> Maybe (KeyHash 'Witness (EraCrypto era))
getScriptWitnessTxCert :: EraTxCert era => TxCert era -> Maybe (ScriptHash (EraCrypto era))
pattern RegPoolTxCert :: EraTxCert era => PoolParams (EraCrypto era) -> TxCert era
pattern RetirePoolTxCert :: EraTxCert era => KeyHash 'StakePool (EraCrypto era) -> EpochNo -> TxCert era
lookupRegStakeTxCert :: EraTxCert era => TxCert era -> Maybe (Credential 'Staking (EraCrypto era))
lookupUnRegStakeTxCert :: EraTxCert era => TxCert era -> Maybe (Credential 'Staking (EraCrypto era))
isRegStakeTxCert :: EraTxCert era => TxCert era -> Bool
isUnRegStakeTxCert :: EraTxCert era => TxCert era -> Bool
class EraTxCert era => ShelleyEraTxCert era
pattern MirTxCert :: (ShelleyEraTxCert era, ProtVerAtMost era 8) => MIRCert (EraCrypto era) -> TxCert era
pattern GenesisDelegTxCert :: (ShelleyEraTxCert era, ProtVerAtMost era 8) => KeyHash 'Genesis (EraCrypto era) -> KeyHash 'GenesisDelegate (EraCrypto era) -> Hash (EraCrypto era) (VerKeyVRF (EraCrypto era)) -> TxCert era
pattern RegTxCert :: ShelleyEraTxCert era => StakeCredential (EraCrypto era) -> TxCert era
pattern UnRegTxCert :: ShelleyEraTxCert era => StakeCredential (EraCrypto era) -> TxCert era
pattern DelegStakeTxCert :: ShelleyEraTxCert era => StakeCredential (EraCrypto era) -> KeyHash 'StakePool (EraCrypto era) -> TxCert era
class ShelleyEraTxCert era => ConwayEraTxCert era
getDelegateeTxCert :: ConwayEraTxCert era => TxCert era -> Maybe (Delegatee (EraCrypto era))
data Delegatee c
- = DelegStake !(KeyHash 'StakePool c)
- | DelegVote !(DRep c)
- | DelegStakeVote !(KeyHash 'StakePool c) !(DRep c)
getStakePoolDelegatee :: Delegatee c -> Maybe (KeyHash 'StakePool c)
pattern RegDepositTxCert :: ConwayEraTxCert era => StakeCredential (EraCrypto era) -> Coin -> TxCert era
pattern UnRegDepositTxCert :: ConwayEraTxCert era => StakeCredential (EraCrypto era) -> Coin -> TxCert era
pattern DelegTxCert :: ConwayEraTxCert era => StakeCredential (EraCrypto era) -> Delegatee (EraCrypto era) -> TxCert era
pattern RegDepositDelegTxCert :: ConwayEraTxCert era => StakeCredential (EraCrypto era) -> Delegatee (EraCrypto era) -> Coin -> TxCert era
pattern AuthCommitteeHotKeyTxCert :: ConwayEraTxCert era => Credential 'ColdCommitteeRole (EraCrypto era) -> Credential 'HotCommitteeRole (EraCrypto era) -> TxCert era
pattern ResignCommitteeColdTxCert :: ConwayEraTxCert era => Credential 'ColdCommitteeRole (EraCrypto era) -> StrictMaybe (Anchor (EraCrypto era)) -> TxCert era
pattern RegDRepTxCert :: ConwayEraTxCert era => Credential 'DRepRole (EraCrypto era) -> Coin -> StrictMaybe (Anchor (EraCrypto era)) -> TxCert era
pattern UnRegDRepTxCert :: ConwayEraTxCert era => Credential 'DRepRole (EraCrypto era) -> Coin -> TxCert era

Documentation

class (Era era, DecCBOR (TxCert era), EncCBOR (TxCert era), ToCBOR (TxCert era), FromCBOR (TxCert era), NoThunks (TxCert era), NFData (TxCert era), Show (TxCert era), Eq (TxCert era), ToExpr (TxCert era)) => EraTxCert era #

Minimal complete definition

upgradeTxCert, getVKeyWitnessTxCert, getScriptWitnessTxCert, mkRegPoolTxCert, getRegPoolTxCert, mkRetirePoolTxCert, getRetirePoolTxCert, lookupRegStakeTxCert, lookupUnRegStakeTxCert, getTotalDepositsTxCerts, getTotalRefundsTxCerts

Associated Types

type TxCert era = (r :: Type) | r -> era #

type TxCertUpgradeError era #

type TxCertUpgradeError era = Void

upgradeTxCert :: EraTxCert era => TxCert (PreviousEra era) -> Either (TxCertUpgradeError era) (TxCert era) #

getVKeyWitnessTxCert :: EraTxCert era => TxCert era -> Maybe (KeyHash 'Witness (EraCrypto era)) #

getScriptWitnessTxCert :: EraTxCert era => TxCert era -> Maybe (ScriptHash (EraCrypto era)) #

pattern RegPoolTxCert :: EraTxCert era => PoolParams (EraCrypto era) -> TxCert era #

pattern RetirePoolTxCert :: EraTxCert era => KeyHash 'StakePool (EraCrypto era) -> EpochNo -> TxCert era #

lookupRegStakeTxCert :: EraTxCert era => TxCert era -> Maybe (Credential 'Staking (EraCrypto era)) #

lookupUnRegStakeTxCert :: EraTxCert era => TxCert era -> Maybe (Credential 'Staking (EraCrypto era)) #

isRegStakeTxCert :: EraTxCert era => TxCert era -> Bool #

isUnRegStakeTxCert :: EraTxCert era => TxCert era -> Bool #

Shelley Era

Complete set of patterns for Shelley through Babbage TxCert:

TxCert =
  RegPoolTxCert
  RetirePoolTxCert
  RegTxCert
  UnRegTxCert
  DelegStakeTxCert
  MirTxCert
  GenesisDelegTxCert

class EraTxCert era => ShelleyEraTxCert era #

Minimal complete definition

mkRegTxCert, getRegTxCert, mkUnRegTxCert, getUnRegTxCert, mkDelegStakeTxCert, getDelegStakeTxCert, mkGenesisDelegTxCert, getGenesisDelegTxCert, mkMirTxCert, getMirTxCert

Instances

Instances details

Crypto c => ShelleyEraTxCert (ShelleyEra c)

Instance details

Defined in Cardano.Ledger.Shelley.TxCert

Methods

mkRegTxCert :: StakeCredential (EraCrypto (ShelleyEra c)) -> TxCert (ShelleyEra c)

getRegTxCert :: TxCert (ShelleyEra c) -> Maybe (StakeCredential (EraCrypto (ShelleyEra c)))

mkUnRegTxCert :: StakeCredential (EraCrypto (ShelleyEra c)) -> TxCert (ShelleyEra c)

getUnRegTxCert :: TxCert (ShelleyEra c) -> Maybe (StakeCredential (EraCrypto (ShelleyEra c)))

mkDelegStakeTxCert :: StakeCredential (EraCrypto (ShelleyEra c)) -> KeyHash 'StakePool (EraCrypto (ShelleyEra c)) -> TxCert (ShelleyEra c)

getDelegStakeTxCert :: TxCert (ShelleyEra c) -> Maybe (StakeCredential (EraCrypto (ShelleyEra c)), KeyHash 'StakePool (EraCrypto (ShelleyEra c)))

mkGenesisDelegTxCert :: GenesisDelegCert (EraCrypto (ShelleyEra c)) -> TxCert (ShelleyEra c)

getGenesisDelegTxCert :: TxCert (ShelleyEra c) -> Maybe (GenesisDelegCert (EraCrypto (ShelleyEra c)))

mkMirTxCert :: MIRCert (EraCrypto (ShelleyEra c)) -> TxCert (ShelleyEra c)

getMirTxCert :: TxCert (ShelleyEra c) -> Maybe (MIRCert (EraCrypto (ShelleyEra c)))

pattern MirTxCert :: (ShelleyEraTxCert era, ProtVerAtMost era 8) => MIRCert (EraCrypto era) -> TxCert era #

pattern GenesisDelegTxCert :: (ShelleyEraTxCert era, ProtVerAtMost era 8) => KeyHash 'Genesis (EraCrypto era) -> KeyHash 'GenesisDelegate (EraCrypto era) -> Hash (EraCrypto era) (VerKeyVRF (EraCrypto era)) -> TxCert era #

pattern RegTxCert :: ShelleyEraTxCert era => StakeCredential (EraCrypto era) -> TxCert era #

pattern UnRegTxCert :: ShelleyEraTxCert era => StakeCredential (EraCrypto era) -> TxCert era #

pattern DelegStakeTxCert :: ShelleyEraTxCert era => StakeCredential (EraCrypto era) -> KeyHash 'StakePool (EraCrypto era) -> TxCert era #

Conway Era

Complete set of patterns for Conway TxCert:

TxCert =
  RegPoolTxCert
  RetirePoolTxCert
  RegTxCert
  UnRegTxCert
  RegDepositTxCert
  UnRegDepositTxCert
  DelegTxCert
  RegDepositDelegTxCert
  AuthCommitteeHotKeyTxCert
  ResignCommitteeColdTxCert
  RegDRepTxCert
  UnRegDRepTxCert

class ShelleyEraTxCert era => ConwayEraTxCert era #

Minimal complete definition

mkRegDepositTxCert, getRegDepositTxCert, mkUnRegDepositTxCert, getUnRegDepositTxCert, mkDelegTxCert, getDelegTxCert, mkRegDepositDelegTxCert, getRegDepositDelegTxCert, mkAuthCommitteeHotKeyTxCert, getAuthCommitteeHotKeyTxCert, mkResignCommitteeColdTxCert, getResignCommitteeColdTxCert, mkRegDRepTxCert, getRegDRepTxCert, mkUnRegDRepTxCert, getUnRegDRepTxCert, mkUpdateDRepTxCert, getUpdateDRepTxCert

Instances

Instances details

Crypto c => ConwayEraTxCert (ConwayEra c)

Instance details

Defined in Cardano.Ledger.Conway.TxCert

Methods

mkRegDepositTxCert :: StakeCredential (EraCrypto (ConwayEra c)) -> Coin -> TxCert (ConwayEra c)

getRegDepositTxCert :: TxCert (ConwayEra c) -> Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin)

mkUnRegDepositTxCert :: StakeCredential (EraCrypto (ConwayEra c)) -> Coin -> TxCert (ConwayEra c)

getUnRegDepositTxCert :: TxCert (ConwayEra c) -> Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin)

mkDelegTxCert :: StakeCredential (EraCrypto (ConwayEra c)) -> Delegatee (EraCrypto (ConwayEra c)) -> TxCert (ConwayEra c)

getDelegTxCert :: TxCert (ConwayEra c) -> Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c)))

mkRegDepositDelegTxCert :: StakeCredential (EraCrypto (ConwayEra c)) -> Delegatee (EraCrypto (ConwayEra c)) -> Coin -> TxCert (ConwayEra c)

getRegDepositDelegTxCert :: TxCert (ConwayEra c) -> Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c)), Coin)

mkAuthCommitteeHotKeyTxCert :: Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) -> Credential 'HotCommitteeRole (EraCrypto (ConwayEra c)) -> TxCert (ConwayEra c)

getAuthCommitteeHotKeyTxCert :: TxCert (ConwayEra c) -> Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), Credential 'HotCommitteeRole (EraCrypto (ConwayEra c)))

mkResignCommitteeColdTxCert :: Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) -> StrictMaybe (Anchor (EraCrypto (ConwayEra c))) -> TxCert (ConwayEra c)

getResignCommitteeColdTxCert :: TxCert (ConwayEra c) -> Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c))))

mkRegDRepTxCert :: Credential 'DRepRole (EraCrypto (ConwayEra c)) -> Coin -> StrictMaybe (Anchor (EraCrypto (ConwayEra c))) -> TxCert (ConwayEra c)

getRegDRepTxCert :: TxCert (ConwayEra c) -> Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin, StrictMaybe (Anchor (EraCrypto (ConwayEra c))))

mkUnRegDRepTxCert :: Credential 'DRepRole (EraCrypto (ConwayEra c)) -> Coin -> TxCert (ConwayEra c)

getUnRegDRepTxCert :: TxCert (ConwayEra c) -> Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin)

mkUpdateDRepTxCert :: Credential 'DRepRole (EraCrypto (ConwayEra c)) -> StrictMaybe (Anchor (EraCrypto (ConwayEra c))) -> TxCert (ConwayEra c)

getUpdateDRepTxCert :: TxCert (ConwayEra c) -> Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c))))

getDelegateeTxCert :: ConwayEraTxCert era => TxCert era -> Maybe (Delegatee (EraCrypto era)) #

data Delegatee c #

Constructors

DelegStake !(KeyHash 'StakePool c)
DelegVote !(DRep c)
DelegStakeVote !(KeyHash 'StakePool c) !(DRep c)

Instances

Instances details

Generic (Delegatee c)
Instance details Defined in Cardano.Ledger.Conway.TxCert Associated Types type Rep (Delegatee c) :: Type -> Type Source # Methods from :: Delegatee c -> Rep (Delegatee c) x Source # to :: Rep (Delegatee c) x -> Delegatee c Source #
Show (Delegatee c)
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods showsPrec :: Int -> Delegatee c -> ShowS Source # show :: Delegatee c -> String Source # showList :: [Delegatee c] -> ShowS Source #
NFData (Delegatee c)
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods rnf :: Delegatee c -> () Source #
Eq (Delegatee c)
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods (==) :: Delegatee c -> Delegatee c -> Bool Source # (/=) :: Delegatee c -> Delegatee c -> Bool Source #
Ord (Delegatee c)
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods compare :: Delegatee c -> Delegatee c -> Ordering Source # (<) :: Delegatee c -> Delegatee c -> Bool Source # (<=) :: Delegatee c -> Delegatee c -> Bool Source # (>) :: Delegatee c -> Delegatee c -> Bool Source # (>=) :: Delegatee c -> Delegatee c -> Bool Source # max :: Delegatee c -> Delegatee c -> Delegatee c Source # min :: Delegatee c -> Delegatee c -> Delegatee c Source #
NoThunks (Delegatee c)
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods noThunks :: Context -> Delegatee c -> IO (Maybe ThunkInfo) wNoThunks :: Context -> Delegatee c -> IO (Maybe ThunkInfo) showTypeOf :: Proxy (Delegatee c) -> String
ToExpr (Delegatee c)
Instance details Defined in Cardano.Ledger.Conway.TxCert Methods toExpr :: Delegatee c -> Expr listToExpr :: [Delegatee c] -> Expr
type Rep (Delegatee c)
Instance details Defined in Cardano.Ledger.Conway.TxCert type Rep (Delegatee c) = D1 ('MetaData "Delegatee" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.11.0.0-1XJ0KRTiRBuAzYQI5C9XmE" 'False) (C1 ('MetaCons "DelegStake" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c))) :+: (C1 ('MetaCons "DelegVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DRep c))) :+: C1 ('MetaCons "DelegStakeVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DRep c)))))

getStakePoolDelegatee :: Delegatee c -> Maybe (KeyHash 'StakePool c) #

pattern RegDepositTxCert :: ConwayEraTxCert era => StakeCredential (EraCrypto era) -> Coin -> TxCert era #

pattern UnRegDepositTxCert :: ConwayEraTxCert era => StakeCredential (EraCrypto era) -> Coin -> TxCert era #

pattern DelegTxCert :: ConwayEraTxCert era => StakeCredential (EraCrypto era) -> Delegatee (EraCrypto era) -> TxCert era #

pattern RegDepositDelegTxCert :: ConwayEraTxCert era => StakeCredential (EraCrypto era) -> Delegatee (EraCrypto era) -> Coin -> TxCert era #

pattern AuthCommitteeHotKeyTxCert :: ConwayEraTxCert era => Credential 'ColdCommitteeRole (EraCrypto era) -> Credential 'HotCommitteeRole (EraCrypto era) -> TxCert era #

pattern ResignCommitteeColdTxCert :: ConwayEraTxCert era => Credential 'ColdCommitteeRole (EraCrypto era) -> StrictMaybe (Anchor (EraCrypto era)) -> TxCert era #

pattern RegDRepTxCert :: ConwayEraTxCert era => Credential 'DRepRole (EraCrypto era) -> Coin -> StrictMaybe (Anchor (EraCrypto era)) -> TxCert era #

pattern UnRegDRepTxCert :: ConwayEraTxCert era => Credential 'DRepRole (EraCrypto era) -> Coin -> TxCert era #