Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data ConwayEraOnwards era where
- conwayEraOnwardsConstraints :: ConwayEraOnwards era -> (ConwayEraOnwardsConstraints era => a) -> a
- conwayEraOnwardsToShelleyBasedEra :: ConwayEraOnwards era -> ShelleyBasedEra era
- conwayEraOnwardsToBabbageEraOnwards :: ConwayEraOnwards era -> BabbageEraOnwards era
- 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), AlonzoEraTxWits (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)
- class IsBabbageBasedEra era => IsConwayBasedEra era where
- conwayBasedEra :: ConwayEraOnwards era
Documentation
data ConwayEraOnwards era where Source #
Instances
conwayEraOnwardsConstraints :: ConwayEraOnwards era -> (ConwayEraOnwardsConstraints era => a) -> a Source #
conwayEraOnwardsToShelleyBasedEra :: ConwayEraOnwards era -> ShelleyBasedEra era Source #
Deprecated: Use convert
instead.
conwayEraOnwardsToBabbageEraOnwards :: ConwayEraOnwards era -> BabbageEraOnwards era Source #
Deprecated: Use convert
instead.
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), AlonzoEraTxWits (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 IsBabbageBasedEra era => IsConwayBasedEra era where Source #
conwayBasedEra :: ConwayEraOnwards era Source #