Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data BabbageEraOnwards era where
- babbageEraOnwardsConstraints :: BabbageEraOnwards era -> (BabbageEraOnwardsConstraints era => a) -> a
- babbageEraOnwardsToShelleyBasedEra :: BabbageEraOnwards era -> ShelleyBasedEra era
- type BabbageEraOnwardsConstraints 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), BabbageEraPParams (ShelleyLedgerEra era), BabbageEraTxBody (ShelleyLedgerEra era), BabbageEraTxOut (ShelleyLedgerEra era), Crypto (EraCrypto (ShelleyLedgerEra era)), Era (ShelleyLedgerEra era), EraCrypto (ShelleyLedgerEra era) ~ StandardCrypto, EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), EraUTxO (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), TxOut (ShelleyLedgerEra era) ~ BabbageTxOut (ShelleyLedgerEra era), Value (ShelleyLedgerEra era) ~ MaryValue StandardCrypto, FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (DebugLedgerState era), Typeable era)
- class IsAlonzoBasedEra era => IsBabbageBasedEra era where
- babbageBasedEra :: BabbageEraOnwards era
Documentation
data BabbageEraOnwards era where Source #
BabbageEraOnwardsBabbage :: BabbageEraOnwards BabbageEra | |
BabbageEraOnwardsConway :: BabbageEraOnwards ConwayEra |
Instances
babbageEraOnwardsConstraints :: BabbageEraOnwards era -> (BabbageEraOnwardsConstraints era => a) -> a Source #
babbageEraOnwardsToShelleyBasedEra :: BabbageEraOnwards era -> ShelleyBasedEra era Source #
Deprecated: Use convert
instead.
type BabbageEraOnwardsConstraints 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), BabbageEraPParams (ShelleyLedgerEra era), BabbageEraTxBody (ShelleyLedgerEra era), BabbageEraTxOut (ShelleyLedgerEra era), Crypto (EraCrypto (ShelleyLedgerEra era)), Era (ShelleyLedgerEra era), EraCrypto (ShelleyLedgerEra era) ~ StandardCrypto, EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), EraUTxO (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), TxOut (ShelleyLedgerEra era) ~ BabbageTxOut (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 IsAlonzoBasedEra era => IsBabbageBasedEra era where Source #
babbageBasedEra :: BabbageEraOnwards era Source #