| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Api.Era
Description
Cardano eras, sometimes we have to distinguish them.
Synopsis
- data ByronEra
- data ShelleyEra
- data AllegraEra
- data MaryEra
- data AlonzoEra
- data BabbageEra
- data ConwayEra
- eraProtVerLow :: ShelleyBasedEra era -> Version
- data ShelleyBasedEra era where
- ShelleyBasedEraShelley :: ShelleyBasedEra ShelleyEra
- ShelleyBasedEraAllegra :: ShelleyBasedEra AllegraEra
- ShelleyBasedEraMary :: ShelleyBasedEra MaryEra
- ShelleyBasedEraAlonzo :: ShelleyBasedEra AlonzoEra
- ShelleyBasedEraBabbage :: ShelleyBasedEra BabbageEra
- ShelleyBasedEraConway :: ShelleyBasedEra ConwayEra
- type family ShelleyLedgerEra era = (ledgerera :: Type) | ledgerera -> era where ...
- class IsCardanoEra era => IsShelleyBasedEra era where
- shelleyBasedEra :: ShelleyBasedEra era
- data AnyShelleyBasedEra where
- AnyShelleyBasedEra :: forall era. Typeable era => ShelleyBasedEra era -> AnyShelleyBasedEra
- data InAnyShelleyBasedEra (thing :: Type -> Type) where
- InAnyShelleyBasedEra :: forall era (thing :: Type -> Type). Typeable era => ShelleyBasedEra era -> thing era -> InAnyShelleyBasedEra thing
- inAnyShelleyBasedEra :: ShelleyBasedEra era -> thing era -> InAnyShelleyBasedEra thing
- inEonForShelleyBasedEra :: Eon eon => a -> (eon era -> a) -> ShelleyBasedEra era -> a
- inEonForShelleyBasedEraMaybe :: Eon eon => (eon era -> a) -> ShelleyBasedEra era -> Maybe a
- forShelleyBasedEraInEon :: Eon eon => ShelleyBasedEra era -> a -> (eon era -> a) -> a
- forShelleyBasedEraInEonMaybe :: Eon eon => ShelleyBasedEra era -> (eon era -> a) -> Maybe a
- forShelleyBasedEraMaybeEon :: Eon eon => ShelleyBasedEra era -> Maybe (eon era)
- requireShelleyBasedEra :: Applicative m => CardanoEra era -> m (Maybe (ShelleyBasedEra era))
- type ShelleyBasedEraConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), FromCBOR (ChainDepState (ConsensusProtocol era)), IsCardanoEra era, IsShelleyBasedEra era, ADDRHASH ~ Blake2b_224, Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), EraUTxO (ShelleyLedgerEra era), EraTxWits (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, ShelleyEraTxCert (ShelleyLedgerEra era), FromCBOR (ChainDepState (ConsensusProtocol era)), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (PredicateFailure (EraRule "LEDGER" (ShelleyLedgerEra era))), Typeable era, (era == ByronEra) ~ 'False)
- shelleyBasedEraConstraints :: ShelleyBasedEra era -> (ShelleyBasedEraConstraints era => a) -> a
- data AllegraEraOnwards era where
- allegraEraOnwardsConstraints :: AllegraEraOnwards era -> (AllegraEraOnwardsConstraints era => a) -> a
- allegraEraOnwardsToShelleyBasedEra :: AllegraEraOnwards era -> ShelleyBasedEra era
- type AllegraEraOnwardsConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, AllegraEraTxBody (ShelleyLedgerEra era), ShelleyEraTxCert (ShelleyLedgerEra era), FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False)
- class IsShelleyBasedEra era => IsAllegraBasedEra era where
- allegraBasedEra :: AllegraEraOnwards era
- data BabbageEraOnwards era where
- babbageEraOnwardsConstraints :: BabbageEraOnwards era -> (BabbageEraOnwardsConstraints era => a) -> a
- babbageEraOnwardsToShelleyBasedEra :: BabbageEraOnwards era -> ShelleyBasedEra era
- type BabbageEraOnwardsConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, AlonzoEraTxOut (ShelleyLedgerEra era), BabbageEraPParams (ShelleyLedgerEra era), BabbageEraTxBody (ShelleyLedgerEra era), BabbageEraTxOut (ShelleyLedgerEra era), Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), EraUTxO (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, 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, FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False)
- class IsAlonzoBasedEra era => IsBabbageBasedEra era where
- babbageBasedEra :: BabbageEraOnwards era
- data ByronToAlonzoEra era where
- byronToAlonzoEraConstraints :: ByronToAlonzoEra era -> (ByronToAlonzoEraConstraints era => a) -> a
- type ByronToAlonzoEraConstraints era = (IsCardanoEra era, Typeable era)
- data MaryEraOnwards era where
- maryEraOnwardsConstraints :: MaryEraOnwards era -> (MaryEraOnwardsConstraints era => a) -> a
- maryEraOnwardsToShelleyBasedEra :: MaryEraOnwards era -> ShelleyBasedEra era
- type MaryEraOnwardsConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), EraUTxO (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, MaryEraTxBody (ShelleyLedgerEra era), ShelleyEraTxCert (ShelleyLedgerEra era), Value (ShelleyLedgerEra era) ~ MaryValue, FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False)
- class IsAllegraBasedEra era => IsMaryBasedEra era where
- maryBasedEra :: MaryEraOnwards era
- data ShelleyEraOnly era where
- shelleyEraOnlyConstraints :: ShelleyEraOnly era -> (ShelleyEraOnlyConstraints era => a) -> a
- shelleyEraOnlyToShelleyBasedEra :: ShelleyEraOnly era -> ShelleyBasedEra era
- type ShelleyEraOnlyConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), ExactEra ShelleyEra (ShelleyLedgerEra era), ExactEra ShelleyEra (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, ProtVerAtMost (ShelleyLedgerEra era) 2, ProtVerAtMost (ShelleyLedgerEra era) 6, ProtVerAtMost (ShelleyLedgerEra era) 8, ShelleyEraTxBody (ShelleyLedgerEra era), ShelleyEraTxCert (ShelleyLedgerEra era), TxCert (ShelleyLedgerEra era) ~ ShelleyTxCert (ShelleyLedgerEra era), Value (ShelleyLedgerEra era) ~ Coin, FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False)
- data ShelleyToAllegraEra era where
- shelleyToAllegraEraConstraints :: ShelleyToAllegraEra era -> (ShelleyToAllegraEraConstraints era => a) -> a
- shelleyToAllegraEraToShelleyBasedEra :: ShelleyToAllegraEra era -> ShelleyBasedEra era
- type ShelleyToAllegraEraConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), EraUTxO (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, ProtVerAtMost (ShelleyLedgerEra era) 4, ProtVerAtMost (ShelleyLedgerEra era) 6, ProtVerAtMost (ShelleyLedgerEra era) 8, ShelleyEraTxBody (ShelleyLedgerEra era), ShelleyEraTxCert (ShelleyLedgerEra era), TxCert (ShelleyLedgerEra era) ~ ShelleyTxCert (ShelleyLedgerEra era), Value (ShelleyLedgerEra era) ~ Coin, FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False)
- data ShelleyToAlonzoEra era where
- shelleyToAlonzoEraConstraints :: ShelleyToAlonzoEra era -> (ShelleyToAlonzoEraConstraints era => a) -> a
- shelleyToAlonzoEraToShelleyBasedEra :: ShelleyToAlonzoEra era -> ShelleyBasedEra era
- type ShelleyToAlonzoEraConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, ProtVerAtMost (ShelleyLedgerEra era) 6, ProtVerAtMost (ShelleyLedgerEra era) 8, ShelleyEraTxBody (ShelleyLedgerEra era), ShelleyEraTxCert (ShelleyLedgerEra era), TxCert (ShelleyLedgerEra era) ~ ShelleyTxCert (ShelleyLedgerEra era), FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False)
- data ShelleyToBabbageEra era where
- shelleyToBabbageEraConstraints :: ShelleyToBabbageEra era -> (ShelleyToBabbageEraConstraints era => a) -> a
- shelleyToBabbageEraToShelleyBasedEra :: ShelleyToBabbageEra era -> ShelleyBasedEra era
- type ShelleyToBabbageEraConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, ProtVerAtMost (ShelleyLedgerEra era) 8, ShelleyEraTxBody (ShelleyLedgerEra era), ShelleyEraTxCert (ShelleyLedgerEra era), TxCert (ShelleyLedgerEra era) ~ ShelleyTxCert (ShelleyLedgerEra era), FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False)
- data ShelleyToMaryEra era where
- shelleyToMaryEraConstraints :: ShelleyToMaryEra era -> (ShelleyToMaryEraConstraints era => a) -> a
- shelleyToMaryEraToShelleyBasedEra :: ShelleyToMaryEra era -> ShelleyBasedEra era
- type ShelleyToMaryEraConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, ProtVerAtMost (ShelleyLedgerEra era) 4, ProtVerAtMost (ShelleyLedgerEra era) 6, ProtVerAtMost (ShelleyLedgerEra era) 8, ShelleyEraTxBody (ShelleyLedgerEra era), ShelleyEraTxCert (ShelleyLedgerEra era), TxCert (ShelleyLedgerEra era) ~ ShelleyTxCert (ShelleyLedgerEra era), FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False)
- 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, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, AlonzoEraTxOut (ShelleyLedgerEra era), AlonzoEraTxWits (ShelleyLedgerEra era), BabbageEraTxBody (ShelleyLedgerEra era), ConwayEraGov (ShelleyLedgerEra era), ConwayEraPParams (ShelleyLedgerEra era), ConwayEraTxBody (ShelleyLedgerEra era), ConwayEraTxCert (ShelleyLedgerEra era), Era (ShelleyLedgerEra era), 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, 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, FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False)
- class IsBabbageBasedEra era => IsConwayBasedEra era where
- conwayBasedEra :: ConwayEraOnwards era
- data AlonzoEraOnwards era where
- alonzoEraOnwardsConstraints :: AlonzoEraOnwards era -> (AlonzoEraOnwardsConstraints era => a) -> a
- alonzoEraOnwardsToShelleyBasedEra :: AlonzoEraOnwards era -> ShelleyBasedEra era
- type AlonzoEraOnwardsConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, AlonzoEraPParams (ShelleyLedgerEra era), AlonzoEraTx (ShelleyLedgerEra era), AlonzoEraTxBody (ShelleyLedgerEra era), AlonzoEraTxOut (ShelleyLedgerEra era), AlonzoEraTxWits (ShelleyLedgerEra era), Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), EraUTxO (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, MaryEraTxBody (ShelleyLedgerEra era), NativeScript (ShelleyLedgerEra era) ~ Timelock (ShelleyLedgerEra era), EraPlutusContext (ShelleyLedgerEra era), Script (ShelleyLedgerEra era) ~ AlonzoScript (ShelleyLedgerEra era), ScriptsNeeded (ShelleyLedgerEra era) ~ AlonzoScriptsNeeded (ShelleyLedgerEra era), ShelleyEraTxCert (ShelleyLedgerEra era), Value (ShelleyLedgerEra era) ~ MaryValue, FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False)
- class IsMaryBasedEra era => IsAlonzoBasedEra era where
- alonzoBasedEra :: AlonzoEraOnwards era
- data CardanoEra era where
- class HasTypeProxy era => IsCardanoEra era where
- cardanoEra :: CardanoEra era
- data AnyCardanoEra where
- AnyCardanoEra :: forall era. Typeable era => CardanoEra era -> AnyCardanoEra
- anyCardanoEra :: CardanoEra era -> AnyCardanoEra
- data InAnyCardanoEra (thing :: Type -> Type) where
- InAnyCardanoEra :: forall era (thing :: Type -> Type). Typeable era => CardanoEra era -> thing era -> InAnyCardanoEra thing
- inAnyCardanoEra :: CardanoEra era -> thing era -> InAnyCardanoEra thing
- cardanoEraConstraints :: CardanoEra era -> (CardanoEraConstraints era => a) -> a
- type family CardanoLedgerEra era = (ledgerera :: Type) | ledgerera -> era where ...
- class ToCardanoEra (eon :: Type -> Type) where
- toCardanoEra :: eon era -> CardanoEra era
- class Eon (eon :: Type -> Type) where
- inEonForEra :: a -> (eon era -> a) -> CardanoEra era -> a
- data EraInEon (eon :: Type -> Type) where
- inEonForEraMaybe :: Eon eon => (eon era -> a) -> CardanoEra era -> Maybe a
- forEraInEon :: Eon eon => CardanoEra era -> a -> (eon era -> a) -> a
- forEraInEonMaybe :: Eon eon => CardanoEra era -> (eon era -> a) -> Maybe a
- forEraMaybeEon :: Eon eon => CardanoEra era -> Maybe (eon era)
- maybeEon :: (Eon eon, IsCardanoEra era) => Maybe (eon era)
- monoidForEraInEon :: (Eon eon, Monoid a) => CardanoEra era -> (eon era -> a) -> a
- monoidForEraInEonA :: (Eon eon, Applicative f, Monoid a) => CardanoEra era -> (eon era -> f a) -> f a
- class Convert (f :: a -> Type) (g :: a -> Type) where
- convert :: forall (era :: a). f era -> g era
- class Inject t s where
- inject :: t -> s
- data Featured (eon :: Type -> Type) era a where
- mkFeatured :: forall (eon :: Type -> Type) era a. (IsCardanoEra era, Eon eon) => a -> Maybe (Featured eon era a)
- unFeatured :: forall (eon :: Type -> Type) era a. Featured eon era a -> a
- asFeaturedInEra :: forall (eon :: Type -> Type) a era. Eon eon => a -> CardanoEra era -> Maybe (Featured eon era a)
- asFeaturedInShelleyBasedEra :: forall (eon :: Type -> Type) a era. Eon eon => a -> ShelleyBasedEra era -> Maybe (Featured eon era a)
- data family AsType t
- caseByronOrShelleyBasedEra :: a -> (ShelleyBasedEraConstraints era => ShelleyBasedEra era -> a) -> CardanoEra era -> a
- caseByronToAlonzoOrBabbageEraOnwards :: (ByronToAlonzoEraConstraints era => ByronToAlonzoEra era -> a) -> (BabbageEraOnwardsConstraints era => BabbageEraOnwards era -> a) -> CardanoEra era -> a
- caseShelleyToAllegraOrMaryEraOnwards :: (ShelleyToAllegraEraConstraints era => ShelleyToAllegraEra era -> a) -> (MaryEraOnwardsConstraints era => MaryEraOnwards era -> a) -> ShelleyBasedEra era -> a
- caseShelleyToMaryOrAlonzoEraOnwards :: (ShelleyToMaryEraConstraints era => ShelleyToMaryEra era -> a) -> (AlonzoEraOnwardsConstraints era => AlonzoEraOnwards era -> a) -> ShelleyBasedEra era -> a
- caseShelleyToAlonzoOrBabbageEraOnwards :: (ShelleyToAlonzoEraConstraints era => ShelleyToAlonzoEra era -> a) -> (BabbageEraOnwardsConstraints era => BabbageEraOnwards era -> a) -> ShelleyBasedEra era -> a
- caseShelleyToBabbageOrConwayEraOnwards :: (ShelleyToBabbageEraConstraints era => ShelleyToBabbageEra era -> a) -> (ConwayEraOnwardsConstraints era => ConwayEraOnwards era -> a) -> ShelleyBasedEra era -> a
Eras
A type used as a tag to distinguish the Byron era.
Instances
| IsCardanoEra ByronEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Core Methods | |||||
| HasTypeProxy ByronEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Core Associated Types
| |||||
| data AsType ByronEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Core | |||||
data ShelleyEra Source #
A type used as a tag to distinguish the Shelley era.
Instances
| IsCardanoEra ShelleyEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Core Methods | |||||
| IsShelleyBasedEra ShelleyEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods | |||||
| HasTypeProxy ShelleyEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Core Associated Types
Methods proxyToAsType :: Proxy ShelleyEra -> AsType ShelleyEra Source # | |||||
| data AsType ShelleyEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Core | |||||
data AllegraEra Source #
A type used as a tag to distinguish the Allegra era.
Instances
| IsCardanoEra AllegraEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Core Methods | |||||
| IsAllegraBasedEra AllegraEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods | |||||
| IsShelleyBasedEra AllegraEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods | |||||
| HasTypeProxy AllegraEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Core Associated Types
Methods proxyToAsType :: Proxy AllegraEra -> AsType AllegraEra Source # | |||||
| data AsType AllegraEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Core | |||||
A type used as a tag to distinguish the Mary era.
Instances
| IsCardanoEra MaryEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Core Methods | |||||
| IsAllegraBasedEra MaryEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods | |||||
| IsMaryBasedEra MaryEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Eon.MaryEraOnwards Methods | |||||
| IsShelleyBasedEra MaryEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods | |||||
| HasTypeProxy MaryEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Core Associated Types
| |||||
| data AsType MaryEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Core | |||||
A type used as a tag to distinguish the Alonzo era.
Instances
| IsCardanoEra AlonzoEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Core Methods | |||||
| IsAllegraBasedEra AlonzoEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods | |||||
| IsAlonzoBasedEra AlonzoEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Eon.AlonzoEraOnwards Methods | |||||
| IsMaryBasedEra AlonzoEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Eon.MaryEraOnwards Methods | |||||
| IsShelleyBasedEra AlonzoEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods | |||||
| HasTypeProxy AlonzoEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Core Associated Types
| |||||
| HasScriptLanguageInEra PlutusScriptV1 AlonzoEra Source # | |||||
Defined in Cardano.Api.Plutus.Internal.Script | |||||
| data AsType AlonzoEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Core | |||||
data BabbageEra Source #
A type used as a tag to distinguish the Babbage era.
Instances
A type used as a tag to distinguish the Conway era.
Instances
| IsCardanoEra ConwayEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Core Methods | |||||
| IsAllegraBasedEra ConwayEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods | |||||
| IsAlonzoBasedEra ConwayEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Eon.AlonzoEraOnwards Methods | |||||
| IsBabbageBasedEra ConwayEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods | |||||
| IsConwayBasedEra ConwayEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Eon.ConwayEraOnwards Methods | |||||
| IsMaryBasedEra ConwayEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Eon.MaryEraOnwards Methods | |||||
| IsShelleyBasedEra ConwayEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods | |||||
| IsEra ConwayEra Source # | |||||
| HasTypeProxy ConwayEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Core Associated Types
| |||||
| HasScriptLanguageInEra PlutusScriptV1 ConwayEra Source # | |||||
Defined in Cardano.Api.Plutus.Internal.Script | |||||
| HasScriptLanguageInEra PlutusScriptV2 ConwayEra Source # | |||||
Defined in Cardano.Api.Plutus.Internal.Script | |||||
| HasScriptLanguageInEra PlutusScriptV3 ConwayEra Source # | |||||
Defined in Cardano.Api.Plutus.Internal.Script | |||||
| ToAlonzoScript PlutusScriptV1 ConwayEra Source # | |||||
Defined in Cardano.Api.Plutus.Internal.Script Methods toLedgerScript :: PlutusScript PlutusScriptV1 -> AlonzoScript (ShelleyLedgerEra ConwayEra) Source # | |||||
| ToAlonzoScript PlutusScriptV2 ConwayEra Source # | |||||
Defined in Cardano.Api.Plutus.Internal.Script Methods toLedgerScript :: PlutusScript PlutusScriptV2 -> AlonzoScript (ShelleyLedgerEra ConwayEra) Source # | |||||
| ToAlonzoScript PlutusScriptV3 ConwayEra Source # | |||||
Defined in Cardano.Api.Plutus.Internal.Script Methods toLedgerScript :: PlutusScript PlutusScriptV3 -> AlonzoScript (ShelleyLedgerEra ConwayEra) Source # | |||||
| data AsType ConwayEra Source # | |||||
Defined in Cardano.Api.Era.Internal.Core | |||||
Eons
eraProtVerLow :: ShelleyBasedEra era -> Version Source #
Lookup the lower major protocol version for the shelley based era. In other words this is the major protocol version that the era has started in.
data ShelleyBasedEra era where Source #
While the Byron and Shelley eras are quite different, there are several eras that are based on Shelley with only minor differences. It is useful to be able to treat the Shelley-based eras in a mostly-uniform way.
Values of this type witness the fact that the era is Shelley-based. This can be used to constrain the era to being a Shelley-based on. It allows non-uniform handling making case distinctions on the constructor.
Constructors
| ShelleyBasedEraShelley :: ShelleyBasedEra ShelleyEra | |
| ShelleyBasedEraAllegra :: ShelleyBasedEra AllegraEra | |
| ShelleyBasedEraMary :: ShelleyBasedEra MaryEra | |
| ShelleyBasedEraAlonzo :: ShelleyBasedEra AlonzoEra | |
| ShelleyBasedEraBabbage :: ShelleyBasedEra BabbageEra | |
| ShelleyBasedEraConway :: ShelleyBasedEra ConwayEra |
Instances
| Eon ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods inEonForEra :: a -> (ShelleyBasedEra era -> a) -> CardanoEra era -> a Source # | |
| ToCardanoEra ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods toCardanoEra :: ShelleyBasedEra era -> CardanoEra era Source # | |
| TestEquality ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods testEquality :: ShelleyBasedEra a -> ShelleyBasedEra b -> Maybe (a :~: b) Source # | |
| Convert AllegraEraOnwards ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods convert :: AllegraEraOnwards era -> ShelleyBasedEra era Source # | |
| Convert AlonzoEraOnwards ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AlonzoEraOnwards Methods convert :: AlonzoEraOnwards era -> ShelleyBasedEra era Source # | |
| Convert BabbageEraOnwards ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods convert :: BabbageEraOnwards era -> ShelleyBasedEra era Source # | |
| Convert ConwayEraOnwards ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ConwayEraOnwards Methods convert :: ConwayEraOnwards era -> ShelleyBasedEra era Source # | |
| Convert MaryEraOnwards ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.MaryEraOnwards Methods convert :: MaryEraOnwards era -> ShelleyBasedEra era Source # | |
| Convert ShelleyBasedEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods convert :: ShelleyBasedEra era -> CardanoEra era Source # | |
| Convert ShelleyEraOnly ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyEraOnly Methods convert :: ShelleyEraOnly era -> ShelleyBasedEra era Source # | |
| Convert ShelleyToAllegraEra ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAllegraEra Methods convert :: ShelleyToAllegraEra era -> ShelleyBasedEra era Source # | |
| Convert ShelleyToAlonzoEra ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAlonzoEra Methods convert :: ShelleyToAlonzoEra era -> ShelleyBasedEra era Source # | |
| Convert ShelleyToBabbageEra ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToBabbageEra Methods convert :: ShelleyToBabbageEra era -> ShelleyBasedEra era Source # | |
| Convert ShelleyToMaryEra ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToMaryEra Methods convert :: ShelleyToMaryEra era -> ShelleyBasedEra era Source # | |
| Convert Era ShelleyBasedEra Source # | |
Defined in Cardano.Api.Experimental.Era Methods convert :: Era era -> ShelleyBasedEra era Source # | |
| ToJSON (ShelleyBasedEra era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods toJSON :: ShelleyBasedEra era -> Value # toEncoding :: ShelleyBasedEra era -> Encoding # toJSONList :: [ShelleyBasedEra era] -> Value # toEncodingList :: [ShelleyBasedEra era] -> Encoding # omitField :: ShelleyBasedEra era -> Bool # | |
| Show (ShelleyBasedEra era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra | |
| NFData (ShelleyBasedEra era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods rnf :: ShelleyBasedEra era -> () Source # | |
| Eq (ShelleyBasedEra era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods (==) :: ShelleyBasedEra era -> ShelleyBasedEra era -> Bool Source # (/=) :: ShelleyBasedEra era -> ShelleyBasedEra era -> Bool Source # | |
| Ord (ShelleyBasedEra era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods compare :: ShelleyBasedEra era -> ShelleyBasedEra era -> Ordering Source # (<) :: ShelleyBasedEra era -> ShelleyBasedEra era -> Bool Source # (<=) :: ShelleyBasedEra era -> ShelleyBasedEra era -> Bool Source # (>) :: ShelleyBasedEra era -> ShelleyBasedEra era -> Bool Source # (>=) :: ShelleyBasedEra era -> ShelleyBasedEra era -> Bool Source # max :: ShelleyBasedEra era -> ShelleyBasedEra era -> ShelleyBasedEra era Source # min :: ShelleyBasedEra era -> ShelleyBasedEra era -> ShelleyBasedEra era Source # | |
| Pretty (ShelleyBasedEra era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra | |
type family ShelleyLedgerEra era = (ledgerera :: Type) | ledgerera -> era where ... Source #
A type family that connects our era type tags to equivalent type tags used in the Shelley ledger library.
This type mapping connect types from this API with types in the Shelley ledger library which allows writing conversion functions in a more generic way.
class IsCardanoEra era => IsShelleyBasedEra era where Source #
The class of eras that are based on Shelley. This allows uniform handling
of Shelley-based eras, but also non-uniform by making case distinctions on
the ShelleyBasedEra constructors.
Methods
shelleyBasedEra :: ShelleyBasedEra era Source #
Instances
| IsShelleyBasedEra AllegraEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods | |
| IsShelleyBasedEra AlonzoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods | |
| IsShelleyBasedEra BabbageEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods | |
| IsShelleyBasedEra ConwayEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods | |
| IsShelleyBasedEra MaryEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods | |
| IsShelleyBasedEra ShelleyEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods | |
data AnyShelleyBasedEra where Source #
Constructors
| AnyShelleyBasedEra :: forall era. Typeable era => ShelleyBasedEra era -> AnyShelleyBasedEra |
Instances
| FromJSON AnyShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods parseJSON :: Value -> Parser AnyShelleyBasedEra # parseJSONList :: Value -> Parser [AnyShelleyBasedEra] # | |
| ToJSON AnyShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods toJSON :: AnyShelleyBasedEra -> Value # toEncoding :: AnyShelleyBasedEra -> Encoding # toJSONList :: [AnyShelleyBasedEra] -> Value # toEncodingList :: [AnyShelleyBasedEra] -> Encoding # omitField :: AnyShelleyBasedEra -> Bool # | |
| Bounded AnyShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra | |
| Enum AnyShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods succ :: AnyShelleyBasedEra -> AnyShelleyBasedEra Source # pred :: AnyShelleyBasedEra -> AnyShelleyBasedEra Source # toEnum :: Int -> AnyShelleyBasedEra Source # fromEnum :: AnyShelleyBasedEra -> Int Source # enumFrom :: AnyShelleyBasedEra -> [AnyShelleyBasedEra] Source # enumFromThen :: AnyShelleyBasedEra -> AnyShelleyBasedEra -> [AnyShelleyBasedEra] Source # enumFromTo :: AnyShelleyBasedEra -> AnyShelleyBasedEra -> [AnyShelleyBasedEra] Source # enumFromThenTo :: AnyShelleyBasedEra -> AnyShelleyBasedEra -> AnyShelleyBasedEra -> [AnyShelleyBasedEra] Source # | |
| Show AnyShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra | |
| Eq AnyShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods (==) :: AnyShelleyBasedEra -> AnyShelleyBasedEra -> Bool Source # (/=) :: AnyShelleyBasedEra -> AnyShelleyBasedEra -> Bool Source # | |
data InAnyShelleyBasedEra (thing :: Type -> Type) where Source #
This pairs up some era-dependent type with a ShelleyBasedEra value that
tells us what era it is, but hides the era type. This is useful when the era
is not statically known, for example when deserialising from a file.
Constructors
| InAnyShelleyBasedEra :: forall era (thing :: Type -> Type). Typeable era => ShelleyBasedEra era -> thing era -> InAnyShelleyBasedEra thing |
Instances
| Show (InAnyShelleyBasedEra Tx) Source # | |
Defined in Cardano.Api.Tx.Internal.Sign | |
| Eq (InAnyShelleyBasedEra Tx) Source # | |
Defined in Cardano.Api.Tx.Internal.Sign Methods (==) :: InAnyShelleyBasedEra Tx -> InAnyShelleyBasedEra Tx -> Bool Source # (/=) :: InAnyShelleyBasedEra Tx -> InAnyShelleyBasedEra Tx -> Bool Source # | |
inAnyShelleyBasedEra :: ShelleyBasedEra era -> thing era -> InAnyShelleyBasedEra thing Source #
inEonForShelleyBasedEra :: Eon eon => a -> (eon era -> a) -> ShelleyBasedEra era -> a Source #
Determine the value to use for a feature in a given ShelleyBasedEra.
inEonForShelleyBasedEraMaybe :: Eon eon => (eon era -> a) -> ShelleyBasedEra era -> Maybe a Source #
forShelleyBasedEraInEon :: Eon eon => ShelleyBasedEra era -> a -> (eon era -> a) -> a Source #
forShelleyBasedEraInEonMaybe :: Eon eon => ShelleyBasedEra era -> (eon era -> a) -> Maybe a Source #
forShelleyBasedEraMaybeEon :: Eon eon => ShelleyBasedEra era -> Maybe (eon era) Source #
requireShelleyBasedEra :: Applicative m => CardanoEra era -> m (Maybe (ShelleyBasedEra era)) Source #
type ShelleyBasedEraConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), FromCBOR (ChainDepState (ConsensusProtocol era)), IsCardanoEra era, IsShelleyBasedEra era, ADDRHASH ~ Blake2b_224, Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), EraUTxO (ShelleyLedgerEra era), EraTxWits (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, ShelleyEraTxCert (ShelleyLedgerEra era), FromCBOR (ChainDepState (ConsensusProtocol era)), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (PredicateFailure (EraRule "LEDGER" (ShelleyLedgerEra era))), Typeable era, (era == ByronEra) ~ 'False) Source #
shelleyBasedEraConstraints :: ShelleyBasedEra era -> (ShelleyBasedEraConstraints era => a) -> a Source #
data AllegraEraOnwards era where Source #
Constructors
| AllegraEraOnwardsAllegra :: AllegraEraOnwards AllegraEra | |
| AllegraEraOnwardsMary :: AllegraEraOnwards MaryEra | |
| AllegraEraOnwardsAlonzo :: AllegraEraOnwards AlonzoEra | |
| AllegraEraOnwardsBabbage :: AllegraEraOnwards BabbageEra | |
| AllegraEraOnwardsConway :: AllegraEraOnwards ConwayEra |
Instances
| Eon AllegraEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods inEonForEra :: a -> (AllegraEraOnwards era -> a) -> CardanoEra era -> a Source # | |
| ToCardanoEra AllegraEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods toCardanoEra :: AllegraEraOnwards era -> CardanoEra era Source # | |
| Convert AllegraEraOnwards CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods convert :: AllegraEraOnwards era -> CardanoEra era Source # | |
| Convert AllegraEraOnwards ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods convert :: AllegraEraOnwards era -> ShelleyBasedEra era Source # | |
| Convert ConwayEraOnwards AllegraEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ConwayEraOnwards Methods convert :: ConwayEraOnwards era -> AllegraEraOnwards era Source # | |
| Show (AllegraEraOnwards era) Source # | |
| Eq (AllegraEraOnwards era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods (==) :: AllegraEraOnwards era -> AllegraEraOnwards era -> Bool Source # (/=) :: AllegraEraOnwards era -> AllegraEraOnwards era -> Bool Source # | |
allegraEraOnwardsConstraints :: AllegraEraOnwards era -> (AllegraEraOnwardsConstraints era => a) -> a Source #
allegraEraOnwardsToShelleyBasedEra :: AllegraEraOnwards era -> ShelleyBasedEra era Source #
Deprecated: Use convert instead.
type AllegraEraOnwardsConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, AllegraEraTxBody (ShelleyLedgerEra era), ShelleyEraTxCert (ShelleyLedgerEra era), FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False) Source #
class IsShelleyBasedEra era => IsAllegraBasedEra era where Source #
Methods
allegraBasedEra :: AllegraEraOnwards era Source #
Instances
| IsAllegraBasedEra AllegraEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods | |
| IsAllegraBasedEra AlonzoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods | |
| IsAllegraBasedEra BabbageEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods | |
| IsAllegraBasedEra ConwayEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods | |
| IsAllegraBasedEra MaryEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods | |
data BabbageEraOnwards era where Source #
Constructors
| BabbageEraOnwardsBabbage :: BabbageEraOnwards BabbageEra | |
| BabbageEraOnwardsConway :: BabbageEraOnwards ConwayEra |
Instances
| Eon BabbageEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods inEonForEra :: a -> (BabbageEraOnwards era -> a) -> CardanoEra era -> a Source # | |
| ToCardanoEra BabbageEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods toCardanoEra :: BabbageEraOnwards era -> CardanoEra era Source # | |
| Convert BabbageEraOnwards CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods convert :: BabbageEraOnwards era -> CardanoEra era Source # | |
| Convert BabbageEraOnwards AlonzoEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods convert :: BabbageEraOnwards era -> AlonzoEraOnwards era Source # | |
| Convert BabbageEraOnwards MaryEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods convert :: BabbageEraOnwards era -> MaryEraOnwards era Source # | |
| Convert BabbageEraOnwards ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods convert :: BabbageEraOnwards era -> ShelleyBasedEra era Source # | |
| Convert ConwayEraOnwards BabbageEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ConwayEraOnwards Methods convert :: ConwayEraOnwards era -> BabbageEraOnwards era Source # | |
| Convert Era BabbageEraOnwards Source # | |
Defined in Cardano.Api.Experimental.Era Methods convert :: Era era -> BabbageEraOnwards era Source # | |
| Show (BabbageEraOnwards era) Source # | |
| Eq (BabbageEraOnwards era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods (==) :: BabbageEraOnwards era -> BabbageEraOnwards era -> Bool Source # (/=) :: BabbageEraOnwards era -> BabbageEraOnwards era -> Bool Source # | |
babbageEraOnwardsConstraints :: BabbageEraOnwards era -> (BabbageEraOnwardsConstraints era => a) -> a Source #
babbageEraOnwardsToShelleyBasedEra :: BabbageEraOnwards era -> ShelleyBasedEra era Source #
Deprecated: Use convert instead.
type BabbageEraOnwardsConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, AlonzoEraTxOut (ShelleyLedgerEra era), BabbageEraPParams (ShelleyLedgerEra era), BabbageEraTxBody (ShelleyLedgerEra era), BabbageEraTxOut (ShelleyLedgerEra era), Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), EraUTxO (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, 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, FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False) Source #
class IsAlonzoBasedEra era => IsBabbageBasedEra era where Source #
Methods
babbageBasedEra :: BabbageEraOnwards era Source #
Instances
| IsBabbageBasedEra BabbageEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods | |
| IsBabbageBasedEra ConwayEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods | |
data ByronToAlonzoEra era where Source #
Constructors
| ByronToAlonzoEraByron :: ByronToAlonzoEra ByronEra | |
| ByronToAlonzoEraShelley :: ByronToAlonzoEra ShelleyEra | |
| ByronToAlonzoEraAllegra :: ByronToAlonzoEra AllegraEra | |
| ByronToAlonzoEraMary :: ByronToAlonzoEra MaryEra | |
| ByronToAlonzoEraAlonzo :: ByronToAlonzoEra AlonzoEra |
Instances
| Eon ByronToAlonzoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ByronToAlonzoEra Methods inEonForEra :: a -> (ByronToAlonzoEra era -> a) -> CardanoEra era -> a Source # | |
| ToCardanoEra ByronToAlonzoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ByronToAlonzoEra Methods toCardanoEra :: ByronToAlonzoEra era -> CardanoEra era Source # | |
| Convert ByronToAlonzoEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ByronToAlonzoEra Methods convert :: ByronToAlonzoEra era -> CardanoEra era Source # | |
| Show (ByronToAlonzoEra era) Source # | |
| Eq (ByronToAlonzoEra era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ByronToAlonzoEra Methods (==) :: ByronToAlonzoEra era -> ByronToAlonzoEra era -> Bool Source # (/=) :: ByronToAlonzoEra era -> ByronToAlonzoEra era -> Bool Source # | |
byronToAlonzoEraConstraints :: ByronToAlonzoEra era -> (ByronToAlonzoEraConstraints era => a) -> a Source #
type ByronToAlonzoEraConstraints era = (IsCardanoEra era, Typeable era) Source #
data MaryEraOnwards era where Source #
Constructors
| MaryEraOnwardsMary :: MaryEraOnwards MaryEra | |
| MaryEraOnwardsAlonzo :: MaryEraOnwards AlonzoEra | |
| MaryEraOnwardsBabbage :: MaryEraOnwards BabbageEra | |
| MaryEraOnwardsConway :: MaryEraOnwards ConwayEra |
Instances
| Eon MaryEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.MaryEraOnwards Methods inEonForEra :: a -> (MaryEraOnwards era -> a) -> CardanoEra era -> a Source # | |
| ToCardanoEra MaryEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.MaryEraOnwards Methods toCardanoEra :: MaryEraOnwards era -> CardanoEra era Source # | |
| Convert BabbageEraOnwards MaryEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods convert :: BabbageEraOnwards era -> MaryEraOnwards era Source # | |
| Convert MaryEraOnwards CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.MaryEraOnwards Methods convert :: MaryEraOnwards era -> CardanoEra era Source # | |
| Convert MaryEraOnwards ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.MaryEraOnwards Methods convert :: MaryEraOnwards era -> ShelleyBasedEra era Source # | |
| Convert Era MaryEraOnwards Source # | |
Defined in Cardano.Api.Experimental.Era Methods convert :: Era era -> MaryEraOnwards era Source # | |
| Show (MaryEraOnwards era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.MaryEraOnwards | |
| Eq (MaryEraOnwards era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.MaryEraOnwards Methods (==) :: MaryEraOnwards era -> MaryEraOnwards era -> Bool Source # (/=) :: MaryEraOnwards era -> MaryEraOnwards era -> Bool Source # | |
maryEraOnwardsConstraints :: MaryEraOnwards era -> (MaryEraOnwardsConstraints era => a) -> a Source #
maryEraOnwardsToShelleyBasedEra :: MaryEraOnwards era -> ShelleyBasedEra era Source #
Deprecated: Use convert instead.
type MaryEraOnwardsConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), EraUTxO (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, MaryEraTxBody (ShelleyLedgerEra era), ShelleyEraTxCert (ShelleyLedgerEra era), Value (ShelleyLedgerEra era) ~ MaryValue, FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False) Source #
class IsAllegraBasedEra era => IsMaryBasedEra era where Source #
Methods
maryBasedEra :: MaryEraOnwards era Source #
Instances
| IsMaryBasedEra AlonzoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.MaryEraOnwards Methods | |
| IsMaryBasedEra BabbageEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.MaryEraOnwards Methods | |
| IsMaryBasedEra ConwayEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.MaryEraOnwards Methods | |
| IsMaryBasedEra MaryEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.MaryEraOnwards Methods | |
data ShelleyEraOnly era where Source #
Constructors
| ShelleyEraOnlyShelley :: ShelleyEraOnly ShelleyEra |
Instances
| Eon ShelleyEraOnly Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyEraOnly Methods inEonForEra :: a -> (ShelleyEraOnly era -> a) -> CardanoEra era -> a Source # | |
| ToCardanoEra ShelleyEraOnly Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyEraOnly Methods toCardanoEra :: ShelleyEraOnly era -> CardanoEra era Source # | |
| Convert ShelleyEraOnly CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyEraOnly Methods convert :: ShelleyEraOnly era -> CardanoEra era Source # | |
| Convert ShelleyEraOnly ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyEraOnly Methods convert :: ShelleyEraOnly era -> ShelleyBasedEra era Source # | |
| Show (ShelleyEraOnly era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyEraOnly | |
| Eq (ShelleyEraOnly era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyEraOnly Methods (==) :: ShelleyEraOnly era -> ShelleyEraOnly era -> Bool Source # (/=) :: ShelleyEraOnly era -> ShelleyEraOnly era -> Bool Source # | |
shelleyEraOnlyConstraints :: ShelleyEraOnly era -> (ShelleyEraOnlyConstraints era => a) -> a Source #
shelleyEraOnlyToShelleyBasedEra :: ShelleyEraOnly era -> ShelleyBasedEra era Source #
Deprecated: Use convert instead.
type ShelleyEraOnlyConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), ExactEra ShelleyEra (ShelleyLedgerEra era), ExactEra ShelleyEra (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, ProtVerAtMost (ShelleyLedgerEra era) 2, ProtVerAtMost (ShelleyLedgerEra era) 6, ProtVerAtMost (ShelleyLedgerEra era) 8, ShelleyEraTxBody (ShelleyLedgerEra era), ShelleyEraTxCert (ShelleyLedgerEra era), TxCert (ShelleyLedgerEra era) ~ ShelleyTxCert (ShelleyLedgerEra era), Value (ShelleyLedgerEra era) ~ Coin, FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False) Source #
data ShelleyToAllegraEra era where Source #
Constructors
| ShelleyToAllegraEraShelley :: ShelleyToAllegraEra ShelleyEra | |
| ShelleyToAllegraEraAllegra :: ShelleyToAllegraEra AllegraEra |
Instances
| Eon ShelleyToAllegraEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAllegraEra Methods inEonForEra :: a -> (ShelleyToAllegraEra era -> a) -> CardanoEra era -> a Source # | |
| ToCardanoEra ShelleyToAllegraEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAllegraEra Methods toCardanoEra :: ShelleyToAllegraEra era -> CardanoEra era Source # | |
| Convert ShelleyToAllegraEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAllegraEra Methods convert :: ShelleyToAllegraEra era -> CardanoEra era Source # | |
| Convert ShelleyToAllegraEra ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAllegraEra Methods convert :: ShelleyToAllegraEra era -> ShelleyBasedEra era Source # | |
| Show (ShelleyToAllegraEra era) Source # | |
| Eq (ShelleyToAllegraEra era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAllegraEra Methods (==) :: ShelleyToAllegraEra era -> ShelleyToAllegraEra era -> Bool Source # (/=) :: ShelleyToAllegraEra era -> ShelleyToAllegraEra era -> Bool Source # | |
shelleyToAllegraEraConstraints :: ShelleyToAllegraEra era -> (ShelleyToAllegraEraConstraints era => a) -> a Source #
shelleyToAllegraEraToShelleyBasedEra :: ShelleyToAllegraEra era -> ShelleyBasedEra era Source #
Deprecated: Use convert instead.
type ShelleyToAllegraEraConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), EraUTxO (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, ProtVerAtMost (ShelleyLedgerEra era) 4, ProtVerAtMost (ShelleyLedgerEra era) 6, ProtVerAtMost (ShelleyLedgerEra era) 8, ShelleyEraTxBody (ShelleyLedgerEra era), ShelleyEraTxCert (ShelleyLedgerEra era), TxCert (ShelleyLedgerEra era) ~ ShelleyTxCert (ShelleyLedgerEra era), Value (ShelleyLedgerEra era) ~ Coin, FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False) Source #
data ShelleyToAlonzoEra era where Source #
Constructors
| ShelleyToAlonzoEraShelley :: ShelleyToAlonzoEra ShelleyEra | |
| ShelleyToAlonzoEraAllegra :: ShelleyToAlonzoEra AllegraEra | |
| ShelleyToAlonzoEraMary :: ShelleyToAlonzoEra MaryEra | |
| ShelleyToAlonzoEraAlonzo :: ShelleyToAlonzoEra AlonzoEra |
Instances
| Eon ShelleyToAlonzoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAlonzoEra Methods inEonForEra :: a -> (ShelleyToAlonzoEra era -> a) -> CardanoEra era -> a Source # | |
| ToCardanoEra ShelleyToAlonzoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAlonzoEra Methods toCardanoEra :: ShelleyToAlonzoEra era -> CardanoEra era Source # | |
| Convert ShelleyToAlonzoEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAlonzoEra Methods convert :: ShelleyToAlonzoEra era -> CardanoEra era Source # | |
| Convert ShelleyToAlonzoEra ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAlonzoEra Methods convert :: ShelleyToAlonzoEra era -> ShelleyBasedEra era Source # | |
| Show (ShelleyToAlonzoEra era) Source # | |
| Eq (ShelleyToAlonzoEra era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAlonzoEra Methods (==) :: ShelleyToAlonzoEra era -> ShelleyToAlonzoEra era -> Bool Source # (/=) :: ShelleyToAlonzoEra era -> ShelleyToAlonzoEra era -> Bool Source # | |
shelleyToAlonzoEraConstraints :: ShelleyToAlonzoEra era -> (ShelleyToAlonzoEraConstraints era => a) -> a Source #
type ShelleyToAlonzoEraConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, ProtVerAtMost (ShelleyLedgerEra era) 6, ProtVerAtMost (ShelleyLedgerEra era) 8, ShelleyEraTxBody (ShelleyLedgerEra era), ShelleyEraTxCert (ShelleyLedgerEra era), TxCert (ShelleyLedgerEra era) ~ ShelleyTxCert (ShelleyLedgerEra era), FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False) Source #
data ShelleyToBabbageEra era where Source #
Constructors
| ShelleyToBabbageEraShelley :: ShelleyToBabbageEra ShelleyEra | |
| ShelleyToBabbageEraAllegra :: ShelleyToBabbageEra AllegraEra | |
| ShelleyToBabbageEraMary :: ShelleyToBabbageEra MaryEra | |
| ShelleyToBabbageEraAlonzo :: ShelleyToBabbageEra AlonzoEra | |
| ShelleyToBabbageEraBabbage :: ShelleyToBabbageEra BabbageEra |
Instances
| Eon ShelleyToBabbageEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToBabbageEra Methods inEonForEra :: a -> (ShelleyToBabbageEra era -> a) -> CardanoEra era -> a Source # | |
| ToCardanoEra ShelleyToBabbageEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToBabbageEra Methods toCardanoEra :: ShelleyToBabbageEra era -> CardanoEra era Source # | |
| Convert ShelleyToBabbageEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToBabbageEra Methods convert :: ShelleyToBabbageEra era -> CardanoEra era Source # | |
| Convert ShelleyToBabbageEra ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToBabbageEra Methods convert :: ShelleyToBabbageEra era -> ShelleyBasedEra era Source # | |
| Show (ShelleyToBabbageEra era) Source # | |
| Eq (ShelleyToBabbageEra era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToBabbageEra Methods (==) :: ShelleyToBabbageEra era -> ShelleyToBabbageEra era -> Bool Source # (/=) :: ShelleyToBabbageEra era -> ShelleyToBabbageEra era -> Bool Source # | |
| Ord (ShelleyToBabbageEra era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToBabbageEra Methods compare :: ShelleyToBabbageEra era -> ShelleyToBabbageEra era -> Ordering Source # (<) :: ShelleyToBabbageEra era -> ShelleyToBabbageEra era -> Bool Source # (<=) :: ShelleyToBabbageEra era -> ShelleyToBabbageEra era -> Bool Source # (>) :: ShelleyToBabbageEra era -> ShelleyToBabbageEra era -> Bool Source # (>=) :: ShelleyToBabbageEra era -> ShelleyToBabbageEra era -> Bool Source # max :: ShelleyToBabbageEra era -> ShelleyToBabbageEra era -> ShelleyToBabbageEra era Source # min :: ShelleyToBabbageEra era -> ShelleyToBabbageEra era -> ShelleyToBabbageEra era Source # | |
shelleyToBabbageEraConstraints :: ShelleyToBabbageEra era -> (ShelleyToBabbageEraConstraints era => a) -> a Source #
shelleyToBabbageEraToShelleyBasedEra :: ShelleyToBabbageEra era -> ShelleyBasedEra era Source #
Deprecated: Use convert instead.
type ShelleyToBabbageEraConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, ProtVerAtMost (ShelleyLedgerEra era) 8, ShelleyEraTxBody (ShelleyLedgerEra era), ShelleyEraTxCert (ShelleyLedgerEra era), TxCert (ShelleyLedgerEra era) ~ ShelleyTxCert (ShelleyLedgerEra era), FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False) Source #
data ShelleyToMaryEra era where Source #
Constructors
| ShelleyToMaryEraShelley :: ShelleyToMaryEra ShelleyEra | |
| ShelleyToMaryEraAllegra :: ShelleyToMaryEra AllegraEra | |
| ShelleyToMaryEraMary :: ShelleyToMaryEra MaryEra |
Instances
| Eon ShelleyToMaryEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToMaryEra Methods inEonForEra :: a -> (ShelleyToMaryEra era -> a) -> CardanoEra era -> a Source # | |
| ToCardanoEra ShelleyToMaryEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToMaryEra Methods toCardanoEra :: ShelleyToMaryEra era -> CardanoEra era Source # | |
| Convert ShelleyToMaryEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToMaryEra Methods convert :: ShelleyToMaryEra era -> CardanoEra era Source # | |
| Convert ShelleyToMaryEra ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToMaryEra Methods convert :: ShelleyToMaryEra era -> ShelleyBasedEra era Source # | |
| Show (ShelleyToMaryEra era) Source # | |
| Eq (ShelleyToMaryEra era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToMaryEra Methods (==) :: ShelleyToMaryEra era -> ShelleyToMaryEra era -> Bool Source # (/=) :: ShelleyToMaryEra era -> ShelleyToMaryEra era -> Bool Source # | |
shelleyToMaryEraConstraints :: ShelleyToMaryEra era -> (ShelleyToMaryEraConstraints era => a) -> a Source #
shelleyToMaryEraToShelleyBasedEra :: ShelleyToMaryEra era -> ShelleyBasedEra era Source #
Deprecated: Use convert instead.
type ShelleyToMaryEraConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, ProtVerAtMost (ShelleyLedgerEra era) 4, ProtVerAtMost (ShelleyLedgerEra era) 6, ProtVerAtMost (ShelleyLedgerEra era) 8, ShelleyEraTxBody (ShelleyLedgerEra era), ShelleyEraTxCert (ShelleyLedgerEra era), TxCert (ShelleyLedgerEra era) ~ ShelleyTxCert (ShelleyLedgerEra era), FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False) Source #
data ConwayEraOnwards era where Source #
Constructors
| ConwayEraOnwardsConway :: ConwayEraOnwards ConwayEra |
Instances
| Eon ConwayEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ConwayEraOnwards Methods inEonForEra :: a -> (ConwayEraOnwards era -> a) -> CardanoEra era -> a Source # | |
| ToCardanoEra ConwayEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ConwayEraOnwards Methods toCardanoEra :: ConwayEraOnwards era -> CardanoEra era Source # | |
| Convert ConwayEraOnwards CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ConwayEraOnwards Methods convert :: ConwayEraOnwards era -> CardanoEra era Source # | |
| Convert ConwayEraOnwards AllegraEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ConwayEraOnwards Methods convert :: ConwayEraOnwards era -> AllegraEraOnwards era Source # | |
| Convert ConwayEraOnwards BabbageEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ConwayEraOnwards Methods convert :: ConwayEraOnwards era -> BabbageEraOnwards era Source # | |
| Convert ConwayEraOnwards ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ConwayEraOnwards Methods convert :: ConwayEraOnwards era -> ShelleyBasedEra era Source # | |
| Convert ConwayEraOnwards Era Source # | |
Defined in Cardano.Api.Experimental.Era Methods convert :: ConwayEraOnwards era -> Era era Source # | |
| Convert Era ConwayEraOnwards Source # | |
Defined in Cardano.Api.Experimental.Era Methods convert :: Era era -> ConwayEraOnwards era Source # | |
| Show (ConwayEraOnwards era) Source # | |
| Eq (ConwayEraOnwards era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ConwayEraOnwards Methods (==) :: ConwayEraOnwards era -> ConwayEraOnwards era -> Bool Source # (/=) :: ConwayEraOnwards era -> ConwayEraOnwards era -> Bool Source # | |
| Ord (ConwayEraOnwards era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ConwayEraOnwards Methods compare :: ConwayEraOnwards era -> ConwayEraOnwards era -> Ordering Source # (<) :: ConwayEraOnwards era -> ConwayEraOnwards era -> Bool Source # (<=) :: ConwayEraOnwards era -> ConwayEraOnwards era -> Bool Source # (>) :: ConwayEraOnwards era -> ConwayEraOnwards era -> Bool Source # (>=) :: ConwayEraOnwards era -> ConwayEraOnwards era -> Bool Source # max :: ConwayEraOnwards era -> ConwayEraOnwards era -> ConwayEraOnwards era Source # min :: ConwayEraOnwards era -> ConwayEraOnwards era -> ConwayEraOnwards era Source # | |
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, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, AlonzoEraTxOut (ShelleyLedgerEra era), AlonzoEraTxWits (ShelleyLedgerEra era), BabbageEraTxBody (ShelleyLedgerEra era), ConwayEraGov (ShelleyLedgerEra era), ConwayEraPParams (ShelleyLedgerEra era), ConwayEraTxBody (ShelleyLedgerEra era), ConwayEraTxCert (ShelleyLedgerEra era), Era (ShelleyLedgerEra era), 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, 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, FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False) Source #
class IsBabbageBasedEra era => IsConwayBasedEra era where Source #
Methods
conwayBasedEra :: ConwayEraOnwards era Source #
Instances
data AlonzoEraOnwards era where Source #
Constructors
| AlonzoEraOnwardsAlonzo :: AlonzoEraOnwards AlonzoEra | |
| AlonzoEraOnwardsBabbage :: AlonzoEraOnwards BabbageEra | |
| AlonzoEraOnwardsConway :: AlonzoEraOnwards ConwayEra |
Instances
| Eon AlonzoEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AlonzoEraOnwards Methods inEonForEra :: a -> (AlonzoEraOnwards era -> a) -> CardanoEra era -> a Source # | |
| ToCardanoEra AlonzoEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AlonzoEraOnwards Methods toCardanoEra :: AlonzoEraOnwards era -> CardanoEra era Source # | |
| Convert AlonzoEraOnwards CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AlonzoEraOnwards Methods convert :: AlonzoEraOnwards era -> CardanoEra era Source # | |
| Convert AlonzoEraOnwards ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AlonzoEraOnwards Methods convert :: AlonzoEraOnwards era -> ShelleyBasedEra era Source # | |
| Convert BabbageEraOnwards AlonzoEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods convert :: BabbageEraOnwards era -> AlonzoEraOnwards era Source # | |
| Convert Era AlonzoEraOnwards Source # | |
Defined in Cardano.Api.Experimental.Era Methods convert :: Era era -> AlonzoEraOnwards era Source # | |
| Show (AlonzoEraOnwards era) Source # | |
| Eq (AlonzoEraOnwards era) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AlonzoEraOnwards Methods (==) :: AlonzoEraOnwards era -> AlonzoEraOnwards era -> Bool Source # (/=) :: AlonzoEraOnwards era -> AlonzoEraOnwards era -> Bool Source # | |
alonzoEraOnwardsConstraints :: AlonzoEraOnwards era -> (AlonzoEraOnwardsConstraints era => a) -> a Source #
alonzoEraOnwardsToShelleyBasedEra :: AlonzoEraOnwards era -> ShelleyBasedEra era Source #
Deprecated: Use convert instead.
type AlonzoEraOnwardsConstraints era = (HashAlgorithm HASH, Signable (VRF StandardCrypto) Seed, PraosProtocolSupportsNode (ConsensusProtocol era), ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era, ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era), ADDRHASH ~ Blake2b_224, AlonzoEraPParams (ShelleyLedgerEra era), AlonzoEraTx (ShelleyLedgerEra era), AlonzoEraTxBody (ShelleyLedgerEra era), AlonzoEraTxOut (ShelleyLedgerEra era), AlonzoEraTxWits (ShelleyLedgerEra era), Era (ShelleyLedgerEra era), EraPParams (ShelleyLedgerEra era), EraTx (ShelleyLedgerEra era), EraTxBody (ShelleyLedgerEra era), EraTxOut (ShelleyLedgerEra era), EraUTxO (ShelleyLedgerEra era), HashAnnotated (TxBody (ShelleyLedgerEra era)) EraIndependentTxBody, MaryEraTxBody (ShelleyLedgerEra era), NativeScript (ShelleyLedgerEra era) ~ Timelock (ShelleyLedgerEra era), EraPlutusContext (ShelleyLedgerEra era), Script (ShelleyLedgerEra era) ~ AlonzoScript (ShelleyLedgerEra era), ScriptsNeeded (ShelleyLedgerEra era) ~ AlonzoScriptsNeeded (ShelleyLedgerEra era), ShelleyEraTxCert (ShelleyLedgerEra era), Value (ShelleyLedgerEra era) ~ MaryValue, FromCBOR (ChainDepState (ConsensusProtocol era)), FromCBOR (DebugLedgerState era), IsCardanoEra era, IsShelleyBasedEra era, ToJSON (ChainDepState (ConsensusProtocol era)), ToJSON (DebugLedgerState era), Typeable era, (era == ByronEra) ~ 'False) Source #
class IsMaryBasedEra era => IsAlonzoBasedEra era where Source #
Methods
alonzoBasedEra :: AlonzoEraOnwards era Source #
Instances
| IsAlonzoBasedEra AlonzoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AlonzoEraOnwards Methods | |
| IsAlonzoBasedEra BabbageEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AlonzoEraOnwards Methods | |
| IsAlonzoBasedEra ConwayEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AlonzoEraOnwards Methods | |
CardanoEra
data CardanoEra era where Source #
This GADT provides a value-level representation of all the Cardano eras. This enables pattern matching on the era to allow them to be treated in a non-uniform way.
This can be used in combination with the IsCardanoEra class to get access
to this value.
In combination this can often enable code that handles all eras, and does so uniformly where possible, and non-uniformly where necessary.
Constructors
| ByronEra :: CardanoEra ByronEra | |
| ShelleyEra :: CardanoEra ShelleyEra | |
| AllegraEra :: CardanoEra AllegraEra | |
| MaryEra :: CardanoEra MaryEra | |
| AlonzoEra :: CardanoEra AlonzoEra | |
| BabbageEra :: CardanoEra BabbageEra | |
| ConwayEra :: CardanoEra ConwayEra |
Instances
| Eon CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Core Methods inEonForEra :: a -> (CardanoEra era -> a) -> CardanoEra era -> a Source # | |
| ToCardanoEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Core Methods toCardanoEra :: CardanoEra era -> CardanoEra era Source # | |
| TestEquality CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Core Methods testEquality :: CardanoEra a -> CardanoEra b -> Maybe (a :~: b) Source # | |
| Convert AllegraEraOnwards CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods convert :: AllegraEraOnwards era -> CardanoEra era Source # | |
| Convert AlonzoEraOnwards CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AlonzoEraOnwards Methods convert :: AlonzoEraOnwards era -> CardanoEra era Source # | |
| Convert BabbageEraOnwards CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods convert :: BabbageEraOnwards era -> CardanoEra era Source # | |
| Convert ByronToAlonzoEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ByronToAlonzoEra Methods convert :: ByronToAlonzoEra era -> CardanoEra era Source # | |
| Convert ConwayEraOnwards CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ConwayEraOnwards Methods convert :: ConwayEraOnwards era -> CardanoEra era Source # | |
| Convert MaryEraOnwards CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.MaryEraOnwards Methods convert :: MaryEraOnwards era -> CardanoEra era Source # | |
| Convert ShelleyBasedEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods convert :: ShelleyBasedEra era -> CardanoEra era Source # | |
| Convert ShelleyEraOnly CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyEraOnly Methods convert :: ShelleyEraOnly era -> CardanoEra era Source # | |
| Convert ShelleyToAllegraEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAllegraEra Methods convert :: ShelleyToAllegraEra era -> CardanoEra era Source # | |
| Convert ShelleyToAlonzoEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAlonzoEra Methods convert :: ShelleyToAlonzoEra era -> CardanoEra era Source # | |
| Convert ShelleyToBabbageEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToBabbageEra Methods convert :: ShelleyToBabbageEra era -> CardanoEra era Source # | |
| Convert ShelleyToMaryEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToMaryEra Methods convert :: ShelleyToMaryEra era -> CardanoEra era Source # | |
| Convert Era CardanoEra Source # | |
Defined in Cardano.Api.Experimental.Era Methods convert :: Era era -> CardanoEra era Source # | |
| ToJSON (CardanoEra era) Source # | |
Defined in Cardano.Api.Era.Internal.Core Methods toJSON :: CardanoEra era -> Value # toEncoding :: CardanoEra era -> Encoding # toJSONList :: [CardanoEra era] -> Value # toEncodingList :: [CardanoEra era] -> Encoding # omitField :: CardanoEra era -> Bool # | |
| Show (CardanoEra era) Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
| Eq (CardanoEra era) Source # | |
Defined in Cardano.Api.Era.Internal.Core Methods (==) :: CardanoEra era -> CardanoEra era -> Bool Source # (/=) :: CardanoEra era -> CardanoEra era -> Bool Source # | |
| Ord (CardanoEra era) Source # | |
Defined in Cardano.Api.Era.Internal.Core Methods compare :: CardanoEra era -> CardanoEra era -> Ordering Source # (<) :: CardanoEra era -> CardanoEra era -> Bool Source # (<=) :: CardanoEra era -> CardanoEra era -> Bool Source # (>) :: CardanoEra era -> CardanoEra era -> Bool Source # (>=) :: CardanoEra era -> CardanoEra era -> Bool Source # max :: CardanoEra era -> CardanoEra era -> CardanoEra era Source # min :: CardanoEra era -> CardanoEra era -> CardanoEra era Source # | |
| Pretty (CardanoEra era) Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
class HasTypeProxy era => IsCardanoEra era where Source #
The class of Cardano eras. This allows uniform handling of all Cardano
eras, but also non-uniform by making case distinctions on the CardanoEra
constructors.
Methods
cardanoEra :: CardanoEra era Source #
Instances
| IsCardanoEra AllegraEra Source # | |
Defined in Cardano.Api.Era.Internal.Core Methods | |
| IsCardanoEra AlonzoEra Source # | |
Defined in Cardano.Api.Era.Internal.Core Methods | |
| IsCardanoEra BabbageEra Source # | |
Defined in Cardano.Api.Era.Internal.Core Methods | |
| IsCardanoEra ByronEra Source # | |
Defined in Cardano.Api.Era.Internal.Core Methods | |
| IsCardanoEra ConwayEra Source # | |
Defined in Cardano.Api.Era.Internal.Core Methods | |
| IsCardanoEra MaryEra Source # | |
Defined in Cardano.Api.Era.Internal.Core Methods | |
| IsCardanoEra ShelleyEra Source # | |
Defined in Cardano.Api.Era.Internal.Core Methods | |
data AnyCardanoEra where Source #
Constructors
| AnyCardanoEra :: forall era. Typeable era => CardanoEra era -> AnyCardanoEra |
Instances
| FromJSON AnyCardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Core Methods parseJSON :: Value -> Parser AnyCardanoEra # parseJSONList :: Value -> Parser [AnyCardanoEra] # | |
| ToJSON AnyCardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Core Methods toJSON :: AnyCardanoEra -> Value # toEncoding :: AnyCardanoEra -> Encoding # toJSONList :: [AnyCardanoEra] -> Value # toEncodingList :: [AnyCardanoEra] -> Encoding # omitField :: AnyCardanoEra -> Bool # | |
| Bounded AnyCardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
| Enum AnyCardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Core Methods succ :: AnyCardanoEra -> AnyCardanoEra Source # pred :: AnyCardanoEra -> AnyCardanoEra Source # toEnum :: Int -> AnyCardanoEra Source # fromEnum :: AnyCardanoEra -> Int Source # enumFrom :: AnyCardanoEra -> [AnyCardanoEra] Source # enumFromThen :: AnyCardanoEra -> AnyCardanoEra -> [AnyCardanoEra] Source # enumFromTo :: AnyCardanoEra -> AnyCardanoEra -> [AnyCardanoEra] Source # enumFromThenTo :: AnyCardanoEra -> AnyCardanoEra -> AnyCardanoEra -> [AnyCardanoEra] Source # | |
| Show AnyCardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
| Eq AnyCardanoEra Source # | Assumes that 'CardanoEra era' are singletons |
Defined in Cardano.Api.Era.Internal.Core Methods (==) :: AnyCardanoEra -> AnyCardanoEra -> Bool Source # (/=) :: AnyCardanoEra -> AnyCardanoEra -> Bool Source # | |
| Pretty AnyCardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
anyCardanoEra :: CardanoEra era -> AnyCardanoEra Source #
Like the AnyCardanoEra constructor but does not demand a IsCardanoEra
class constraint.
data InAnyCardanoEra (thing :: Type -> Type) where Source #
This pairs up some era-dependent type with a CardanoEra value that tells
us what era it is, but hides the era type. This is useful when the era is
not statically known, for example when deserialising from a file.
Constructors
| InAnyCardanoEra :: forall era (thing :: Type -> Type). Typeable era => CardanoEra era -> thing era -> InAnyCardanoEra thing |
Instances
| Show (InAnyCardanoEra Tx) Source # | |
Defined in Cardano.Api.Tx.Internal.Sign | |
| Eq (InAnyCardanoEra Tx) Source # | |
Defined in Cardano.Api.Tx.Internal.Sign Methods (==) :: InAnyCardanoEra Tx -> InAnyCardanoEra Tx -> Bool Source # (/=) :: InAnyCardanoEra Tx -> InAnyCardanoEra Tx -> Bool Source # | |
inAnyCardanoEra :: CardanoEra era -> thing era -> InAnyCardanoEra thing Source #
cardanoEraConstraints :: CardanoEra era -> (CardanoEraConstraints era => a) -> a Source #
type family CardanoLedgerEra era = (ledgerera :: Type) | ledgerera -> era where ... Source #
A type family that connects our era type tags to equivalent type tags used in the ledger library.
This type mapping connect types from this API with types in the ledger library which allows writing conversion functions in a more generic way.
class ToCardanoEra (eon :: Type -> Type) where Source #
Methods
toCardanoEra :: eon era -> CardanoEra era Source #
Instances
| ToCardanoEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Core Methods toCardanoEra :: CardanoEra era -> CardanoEra era Source # | |
| ToCardanoEra AllegraEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods toCardanoEra :: AllegraEraOnwards era -> CardanoEra era Source # | |
| ToCardanoEra AlonzoEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AlonzoEraOnwards Methods toCardanoEra :: AlonzoEraOnwards era -> CardanoEra era Source # | |
| ToCardanoEra BabbageEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods toCardanoEra :: BabbageEraOnwards era -> CardanoEra era Source # | |
| ToCardanoEra ByronToAlonzoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ByronToAlonzoEra Methods toCardanoEra :: ByronToAlonzoEra era -> CardanoEra era Source # | |
| ToCardanoEra ConwayEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ConwayEraOnwards Methods toCardanoEra :: ConwayEraOnwards era -> CardanoEra era Source # | |
| ToCardanoEra MaryEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.MaryEraOnwards Methods toCardanoEra :: MaryEraOnwards era -> CardanoEra era Source # | |
| ToCardanoEra ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods toCardanoEra :: ShelleyBasedEra era -> CardanoEra era Source # | |
| ToCardanoEra ShelleyEraOnly Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyEraOnly Methods toCardanoEra :: ShelleyEraOnly era -> CardanoEra era Source # | |
| ToCardanoEra ShelleyToAllegraEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAllegraEra Methods toCardanoEra :: ShelleyToAllegraEra era -> CardanoEra era Source # | |
| ToCardanoEra ShelleyToAlonzoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAlonzoEra Methods toCardanoEra :: ShelleyToAlonzoEra era -> CardanoEra era Source # | |
| ToCardanoEra ShelleyToBabbageEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToBabbageEra Methods toCardanoEra :: ShelleyToBabbageEra era -> CardanoEra era Source # | |
| ToCardanoEra ShelleyToMaryEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToMaryEra Methods toCardanoEra :: ShelleyToMaryEra era -> CardanoEra era Source # | |
| ToCardanoEra Era Source # | A temporary compatibility instance for easier conversion between the experimental and old APIs. |
Defined in Cardano.Api.Experimental.Era Methods toCardanoEra :: Era era -> CardanoEra era Source # | |
IsEon
class Eon (eon :: Type -> Type) where Source #
An Eon is a span of multiple eras. Eons are used to scope functionality to particular eras such that it isn't possible construct code that uses functionality that is outside of given eras.
Methods
Arguments
| :: a | Value to use if the eon does not include the era |
| -> (eon era -> a) | Function to get the value to use if the eon includes the era |
| -> CardanoEra era | Era to check |
| -> a | The value to use |
Determine the value to use in an eon (a span of multiple eras).
Note that the negative case is the first argument, and the positive case is the second as per
the either function convention.
Instances
| Eon CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Core Methods inEonForEra :: a -> (CardanoEra era -> a) -> CardanoEra era -> a Source # | |
| Eon AllegraEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods inEonForEra :: a -> (AllegraEraOnwards era -> a) -> CardanoEra era -> a Source # | |
| Eon AlonzoEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AlonzoEraOnwards Methods inEonForEra :: a -> (AlonzoEraOnwards era -> a) -> CardanoEra era -> a Source # | |
| Eon BabbageEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods inEonForEra :: a -> (BabbageEraOnwards era -> a) -> CardanoEra era -> a Source # | |
| Eon ByronToAlonzoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ByronToAlonzoEra Methods inEonForEra :: a -> (ByronToAlonzoEra era -> a) -> CardanoEra era -> a Source # | |
| Eon ConwayEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ConwayEraOnwards Methods inEonForEra :: a -> (ConwayEraOnwards era -> a) -> CardanoEra era -> a Source # | |
| Eon MaryEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.MaryEraOnwards Methods inEonForEra :: a -> (MaryEraOnwards era -> a) -> CardanoEra era -> a Source # | |
| Eon ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods inEonForEra :: a -> (ShelleyBasedEra era -> a) -> CardanoEra era -> a Source # | |
| Eon ShelleyEraOnly Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyEraOnly Methods inEonForEra :: a -> (ShelleyEraOnly era -> a) -> CardanoEra era -> a Source # | |
| Eon ShelleyToAllegraEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAllegraEra Methods inEonForEra :: a -> (ShelleyToAllegraEra era -> a) -> CardanoEra era -> a Source # | |
| Eon ShelleyToAlonzoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAlonzoEra Methods inEonForEra :: a -> (ShelleyToAlonzoEra era -> a) -> CardanoEra era -> a Source # | |
| Eon ShelleyToBabbageEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToBabbageEra Methods inEonForEra :: a -> (ShelleyToBabbageEra era -> a) -> CardanoEra era -> a Source # | |
| Eon ShelleyToMaryEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToMaryEra Methods inEonForEra :: a -> (ShelleyToMaryEra era -> a) -> CardanoEra era -> a Source # | |
| Eon Era Source # | A temporary compatibility instance for easier conversion between the experimental and old APIs. |
Defined in Cardano.Api.Experimental.Era Methods inEonForEra :: a -> (Era era -> a) -> CardanoEra era -> a Source # | |
data EraInEon (eon :: Type -> Type) where Source #
Constructors
| EraInEon :: forall era (eon :: Type -> Type). (Typeable era, Typeable (eon era), Eon eon) => eon era -> EraInEon eon |
Arguments
| :: Eon eon | |
| => (eon era -> a) | Function to get the value to use if the eon includes the era |
| -> CardanoEra era | Era to check |
| -> Maybe a | The value to use |
Arguments
| :: Eon eon | |
| => CardanoEra era | Era to check |
| -> a | Value to use if the eon does not include the era |
| -> (eon era -> a) | Function to get the value to use if the eon includes the era |
| -> a | The value to use |
Arguments
| :: Eon eon | |
| => CardanoEra era | Era to check |
| -> (eon era -> a) | Function to get the value to use if the eon includes the era |
| -> Maybe a | The value to use |
Arguments
| :: Eon eon | |
| => CardanoEra era | Era to check |
| -> Maybe (eon era) | The eon if supported in the era |
Arguments
| :: (Eon eon, IsCardanoEra era) | |
| => Maybe (eon era) | The eon if supported in the era |
monoidForEraInEon :: (Eon eon, Monoid a) => CardanoEra era -> (eon era -> a) -> a Source #
monoidForEraInEonA :: (Eon eon, Applicative f, Monoid a) => CardanoEra era -> (eon era -> f a) -> f a Source #
class Convert (f :: a -> Type) (g :: a -> Type) where Source #
The Convert class is aimed at exposing a single interface that lets us convert between eons. However this is generalizable to any injective relationship between types.
Instances
| Convert AllegraEraOnwards CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods convert :: AllegraEraOnwards era -> CardanoEra era Source # | |
| Convert AllegraEraOnwards ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AllegraEraOnwards Methods convert :: AllegraEraOnwards era -> ShelleyBasedEra era Source # | |
| Convert AlonzoEraOnwards CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AlonzoEraOnwards Methods convert :: AlonzoEraOnwards era -> CardanoEra era Source # | |
| Convert AlonzoEraOnwards ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.AlonzoEraOnwards Methods convert :: AlonzoEraOnwards era -> ShelleyBasedEra era Source # | |
| Convert BabbageEraOnwards CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods convert :: BabbageEraOnwards era -> CardanoEra era Source # | |
| Convert BabbageEraOnwards AlonzoEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods convert :: BabbageEraOnwards era -> AlonzoEraOnwards era Source # | |
| Convert BabbageEraOnwards MaryEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods convert :: BabbageEraOnwards era -> MaryEraOnwards era Source # | |
| Convert BabbageEraOnwards ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.BabbageEraOnwards Methods convert :: BabbageEraOnwards era -> ShelleyBasedEra era Source # | |
| Convert ByronToAlonzoEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ByronToAlonzoEra Methods convert :: ByronToAlonzoEra era -> CardanoEra era Source # | |
| Convert ConwayEraOnwards CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ConwayEraOnwards Methods convert :: ConwayEraOnwards era -> CardanoEra era Source # | |
| Convert ConwayEraOnwards AllegraEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ConwayEraOnwards Methods convert :: ConwayEraOnwards era -> AllegraEraOnwards era Source # | |
| Convert ConwayEraOnwards BabbageEraOnwards Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ConwayEraOnwards Methods convert :: ConwayEraOnwards era -> BabbageEraOnwards era Source # | |
| Convert ConwayEraOnwards ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ConwayEraOnwards Methods convert :: ConwayEraOnwards era -> ShelleyBasedEra era Source # | |
| Convert ConwayEraOnwards Era Source # | |
Defined in Cardano.Api.Experimental.Era Methods convert :: ConwayEraOnwards era -> Era era Source # | |
| Convert MaryEraOnwards CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.MaryEraOnwards Methods convert :: MaryEraOnwards era -> CardanoEra era Source # | |
| Convert MaryEraOnwards ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.MaryEraOnwards Methods convert :: MaryEraOnwards era -> ShelleyBasedEra era Source # | |
| Convert ShelleyBasedEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra Methods convert :: ShelleyBasedEra era -> CardanoEra era Source # | |
| Convert ShelleyEraOnly CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyEraOnly Methods convert :: ShelleyEraOnly era -> CardanoEra era Source # | |
| Convert ShelleyEraOnly ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyEraOnly Methods convert :: ShelleyEraOnly era -> ShelleyBasedEra era Source # | |
| Convert ShelleyToAllegraEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAllegraEra Methods convert :: ShelleyToAllegraEra era -> CardanoEra era Source # | |
| Convert ShelleyToAllegraEra ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAllegraEra Methods convert :: ShelleyToAllegraEra era -> ShelleyBasedEra era Source # | |
| Convert ShelleyToAlonzoEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAlonzoEra Methods convert :: ShelleyToAlonzoEra era -> CardanoEra era Source # | |
| Convert ShelleyToAlonzoEra ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToAlonzoEra Methods convert :: ShelleyToAlonzoEra era -> ShelleyBasedEra era Source # | |
| Convert ShelleyToBabbageEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToBabbageEra Methods convert :: ShelleyToBabbageEra era -> CardanoEra era Source # | |
| Convert ShelleyToBabbageEra ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToBabbageEra Methods convert :: ShelleyToBabbageEra era -> ShelleyBasedEra era Source # | |
| Convert ShelleyToMaryEra CardanoEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToMaryEra Methods convert :: ShelleyToMaryEra era -> CardanoEra era Source # | |
| Convert ShelleyToMaryEra ShelleyBasedEra Source # | |
Defined in Cardano.Api.Era.Internal.Eon.ShelleyToMaryEra Methods convert :: ShelleyToMaryEra era -> ShelleyBasedEra era Source # | |
| Convert Era CardanoEra Source # | |
Defined in Cardano.Api.Experimental.Era Methods convert :: Era era -> CardanoEra era Source # | |
| Convert Era AlonzoEraOnwards Source # | |
Defined in Cardano.Api.Experimental.Era Methods convert :: Era era -> AlonzoEraOnwards era Source # | |
| Convert Era BabbageEraOnwards Source # | |
Defined in Cardano.Api.Experimental.Era Methods convert :: Era era -> BabbageEraOnwards era Source # | |
| Convert Era ConwayEraOnwards Source # | |
Defined in Cardano.Api.Experimental.Era Methods convert :: Era era -> ConwayEraOnwards era Source # | |
| Convert Era MaryEraOnwards Source # | |
Defined in Cardano.Api.Experimental.Era Methods convert :: Era era -> MaryEraOnwards era Source # | |
| Convert Era ShelleyBasedEra Source # | |
Defined in Cardano.Api.Experimental.Era Methods convert :: Era era -> ShelleyBasedEra era Source # | |
| Convert (a2 :: a1 -> Type) (a2 :: a1 -> Type) Source # | |
Defined in Cardano.Api.Era.Internal.Eon.Convert | |
class Inject t s where Source #
Instances
| Inject Coin DeltaCoin | |
| Inject Coin MaryValue | |
| Inject a a | |
Defined in Cardano.Ledger.BaseTypes | |
| Inject (BabbageContextError era) (ConwayContextError era) | |
Defined in Cardano.Ledger.Conway.TxInfo Methods inject :: BabbageContextError era -> ConwayContextError era Source # | |
| Inject (AlonzoContextError era) (BabbageContextError era) | |
Defined in Cardano.Ledger.Babbage.TxInfo Methods inject :: AlonzoContextError era -> BabbageContextError era Source # | |
| Inject (AlonzoContextError era) (ConwayContextError era) | |
Defined in Cardano.Ledger.Conway.TxInfo Methods inject :: AlonzoContextError era -> ConwayContextError era Source # | |
Era-dependend features
data Featured (eon :: Type -> Type) era a where Source #
A value only if the eon includes era
Constructors
| Featured | |
Arguments
| :: forall (eon :: Type -> Type) era a. (IsCardanoEra era, Eon eon) | |
| => a | a value featured in eon |
| -> Maybe (Featured eon era a) |
|
Create a Featured with automatic witness conjuring
asFeaturedInEra :: forall (eon :: Type -> Type) a era. Eon eon => a -> CardanoEra era -> Maybe (Featured eon era a) Source #
Attempt to construct a FeatureValue from a value and era.
If the eon is not supported in the era, then NoFeatureValue is returned.
asFeaturedInShelleyBasedEra :: forall (eon :: Type -> Type) a era. Eon eon => a -> ShelleyBasedEra era -> Maybe (Featured eon era a) Source #
Attempt to construct a FeatureValue from a value and a shelley-based-era.
Data family instances
A family of singleton types used in this API to indicate which type to use where it would otherwise be ambiguous or merely unclear.
Values of this type are passed to deserialisation functions for example.
Instances
| data AsType AddressAny Source # | |
Defined in Cardano.Api.Address | |
| data AsType ByronAddr Source # | |
Defined in Cardano.Api.Address | |
| data AsType ShelleyAddr Source # | |
Defined in Cardano.Api.Address | |
| data AsType StakeAddress Source # | |
Defined in Cardano.Api.Address | |
| data AsType BlockHeader Source # | |
Defined in Cardano.Api.Block | |
| data AsType ByronKey Source # | |
Defined in Cardano.Api.Byron.Internal.Key | |
| data AsType ByronKeyLegacy Source # | |
Defined in Cardano.Api.Byron.Internal.Key | |
| data AsType ByronUpdateProposal Source # | |
Defined in Cardano.Api.Byron.Internal.Proposal | |
| data AsType ByronVote Source # | |
Defined in Cardano.Api.Byron.Internal.Proposal | |
| data AsType DRepMetadata Source # | |
| data AsType OperationalCertificate Source # | |
| data AsType OperationalCertificateIssueCounter Source # | |
| data AsType StakePoolMetadata Source # | |
| data AsType AllegraEra Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
| data AsType AlonzoEra Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
| data AsType BabbageEra Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
| data AsType ByronEra Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
| data AsType ConwayEra Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
| data AsType MaryEra Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
| data AsType ShelleyEra Source # | |
Defined in Cardano.Api.Era.Internal.Core | |
| data AsType GovernancePoll Source # | |
Defined in Cardano.Api.Governance.Internal.Poll | |
| data AsType GovernancePollAnswer Source # | |
Defined in Cardano.Api.Governance.Internal.Poll | |
| data AsType CommitteeColdExtendedKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType CommitteeColdKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType CommitteeHotExtendedKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType CommitteeHotKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType DRepExtendedKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType DRepKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType GenesisDelegateExtendedKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType GenesisDelegateKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType GenesisExtendedKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType GenesisKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType GenesisUTxOKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType PaymentExtendedKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType PaymentKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType StakeExtendedKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType StakeKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType StakePoolExtendedKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType StakePoolKey Source # | |
Defined in Cardano.Api.Key.Internal | |
| data AsType KesKey Source # | |
Defined in Cardano.Api.Key.Internal.Praos | |
| data AsType VrfKey Source # | |
Defined in Cardano.Api.Key.Internal.Praos | |
| data AsType PlutusScriptV1 Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType PlutusScriptV2 Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType PlutusScriptV3 Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType ScriptHash Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType ScriptInAnyLang Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType SimpleScript' Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType HashableScriptData Source # | |
Defined in Cardano.Api.Plutus.Internal.ScriptData | |
| data AsType ScriptData Source # | |
Defined in Cardano.Api.Plutus.Internal.ScriptData | |
| data AsType PraosNonce Source # | |
Defined in Cardano.Api.ProtocolParameters | |
| data AsType UpdateProposal Source # | |
Defined in Cardano.Api.ProtocolParameters | |
| data AsType EraHistory Source # | |
Defined in Cardano.Api.Query.Internal.Type.QueryInMode | |
| data AsType TextEnvelope Source # | |
Defined in Cardano.Api.Serialise.TextEnvelope.Internal | |
| data AsType TxId Source # | |
Defined in Cardano.Api.Tx.Internal.TxIn | |
| data AsType TxMetadata Source # | |
Defined in Cardano.Api.Tx.Internal.TxMetadata | |
| data AsType AssetName Source # | |
Defined in Cardano.Api.Value.Internal | |
| data AsType PolicyId Source # | |
Defined in Cardano.Api.Value.Internal | |
| data AsType GovActionId Source # | |
Defined in Cardano.Api.Internal.Orphans.Serialisation | |
| data AsType Term Source # | |
Defined in Cardano.Api.Serialise.Cbor.Canonical | |
| data AsType (Address addrtype) Source # | |
Defined in Cardano.Api.Address | |
| data AsType (AddressInEra era) Source # | |
Defined in Cardano.Api.Address | |
| data AsType (Certificate era) Source # | |
Defined in Cardano.Api.Certificate.Internal | |
| data AsType (Proposal era) Source # | |
| data AsType (VotingProcedure era) Source # | |
| data AsType (VotingProcedures era) Source # | |
| data AsType (Hash a) Source # | |
Defined in Cardano.Api.Hash | |
| data AsType (SigningKey a) Source # | |
Defined in Cardano.Api.Key.Internal.Class | |
| data AsType (VerificationKey a) Source # | |
Defined in Cardano.Api.Key.Internal.Class | |
| data AsType (PlutusScript lang) Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType (Script lang) Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType (ScriptInEra era) Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
| data AsType (KeyWitness era) Source # | |
Defined in Cardano.Api.Tx.Internal.Sign | |
| data AsType (Tx era) Source # | |
Defined in Cardano.Api.Tx.Internal.Sign | |
| data AsType (TxBody era) Source # | |
Defined in Cardano.Api.Tx.Internal.Sign | |
| data AsType (Credential 'ColdCommitteeRole) Source # | |
Defined in Cardano.Api.Internal.Orphans.Serialisation | |
| data AsType (Credential 'DRepRole) Source # | |
Defined in Cardano.Api.Internal.Orphans.Serialisation | |
| data AsType (Credential 'HotCommitteeRole) Source # | |
Defined in Cardano.Api.Internal.Orphans.Serialisation | |
| data AsType (PlutusScriptInEra era lang) Source # | |
Defined in Cardano.Api.Plutus.Internal.Script | |
Era case handling
Case on CardanoEra
caseByronOrShelleyBasedEra :: a -> (ShelleyBasedEraConstraints era => ShelleyBasedEra era -> a) -> CardanoEra era -> a Source #
caseByronOrShelleyBasedEra f g era returns f in Byron and applies g to Shelley-based eras.
Case on ShelleyBasedEra
caseByronToAlonzoOrBabbageEraOnwards :: (ByronToAlonzoEraConstraints era => ByronToAlonzoEra era -> a) -> (BabbageEraOnwardsConstraints era => BabbageEraOnwards era -> a) -> CardanoEra era -> a Source #
caseByronToAlonzoOrBabbageEraOnwards f g era applies f to byron, shelley, allegra, mary, and alonzo;
and g to babbage and later eras.
caseShelleyToAllegraOrMaryEraOnwards :: (ShelleyToAllegraEraConstraints era => ShelleyToAllegraEra era -> a) -> (MaryEraOnwardsConstraints era => MaryEraOnwards era -> a) -> ShelleyBasedEra era -> a Source #
caseShelleyToAllegraOrMaryEraOnwards f g era applies f to shelley and allegra;
and applies g to mary and later eras.
caseShelleyToMaryOrAlonzoEraOnwards :: (ShelleyToMaryEraConstraints era => ShelleyToMaryEra era -> a) -> (AlonzoEraOnwardsConstraints era => AlonzoEraOnwards era -> a) -> ShelleyBasedEra era -> a Source #
caseShelleyToMaryOrAlonzoEraOnwards f g era applies f to shelley, allegra, and mary;
and applies g to alonzo and later eras.
caseShelleyToAlonzoOrBabbageEraOnwards :: (ShelleyToAlonzoEraConstraints era => ShelleyToAlonzoEra era -> a) -> (BabbageEraOnwardsConstraints era => BabbageEraOnwards era -> a) -> ShelleyBasedEra era -> a Source #
caseShelleyToAlonzoOrBabbageEraOnwards f g era applies f to shelley, allegra, mary, and alonzo;
and applies g to babbage and later eras.
caseShelleyToBabbageOrConwayEraOnwards :: (ShelleyToBabbageEraConstraints era => ShelleyToBabbageEra era -> a) -> (ConwayEraOnwardsConstraints era => ConwayEraOnwards era -> a) -> ShelleyBasedEra era -> a Source #
caseShelleyToBabbageOrConwayEraOnwards f g era applies f to eras before conway;
and applies g to conway and later eras.