Documentation

data ConwayEraOnwards era where Source #

conwayEraOnwardsConstraints :: ConwayEraOnwards era -> (ConwayEraOnwardsConstraints era => a) -> a Source #

conwayEraOnwardsToShelleyBasedEra :: ConwayEraOnwards era -> ShelleyBasedEra era Source #

conwayEraOnwardsToBabbageEraOnwards :: ConwayEraOnwards era -> BabbageEraOnwards era Source #

type ConwayEraOnwardsConstraints era = (HashAlgorithm (HASH (EraCrypto (ShelleyLedgerEra era))), Signable (VRF (EraCrypto (ShelleyLedgerEra era))) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH (PraosProtocolSupportsNodeCrypto (ConsensusProtocol era)) ~ Blake2b_224, AlonzoEraTxOut (ShelleyLedgerEra era), BabbageEraTxBody (ShelleyLedgerEra era), ConwayEraGov (ShelleyLedgerEra era), ConwayEraPParams (ShelleyLedgerEra era), ConwayEraTxBody (ShelleyLedgerEra era), ConwayEraTxCert (ShelleyLedgerEra era), Crypto (EraCrypto (ShelleyLedgerEra era)), Era (ShelleyLedgerEra era), EraCrypto (ShelleyLedgerEra era) ~ StandardCrypto, EraGov (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), EraUTxO (ShelleyLedgerEra era), GovState (ShelleyLedgerEra era) ~ ConwayGovState (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody StandardCrypto, MaryEraTxBody (ShelleyLedgerEra era), Script (ShelleyLedgerEra era) ~ AlonzoScript (ShelleyLedgerEra era), ScriptsNeeded (ShelleyLedgerEra era) ~ AlonzoScriptsNeeded (ShelleyLedgerEra era), ShelleyEraTxCert (ShelleyLedgerEra era), TxCert (ShelleyLedgerEra era) ~ ConwayTxCert (ShelleyLedgerEra era), Value (ShelleyLedgerEra era) ~ MaryValue StandardCrypto, FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (DebugLedgerState era), Typeable era) Source #

class IsConwayBasedEra era where Source #