Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.ShelleyMA

Synopsis

data ShelleyMAEra (ma :: MaryOrAllegra ) c
data MaryOrAllegra
- = Mary
- | Allegra
data TxOut era
data TxBody e
data AuxiliaryData era
type PParams era = PParams' Identity era
data Tx era

Documentation

data ShelleyMAEra (ma :: MaryOrAllegra ) c Source #

The Shelley Mary/Allegra eras The uninhabited type that indexes both the Mary and Allegra Eras.

Instances

Instances details

MAClass ma c => HasField "minted" ( TxBody ( ShelleyMAEra ma c)) ( Set ( ScriptHash c)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA Methods getField :: TxBody ( ShelleyMAEra ma c) -> Set ( ScriptHash c) Source #
ShelleyEraCrypto c => ShelleyBasedEra ( MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary
ShelleyEraCrypto c => ShelleyBasedEra ( AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra
Crypto c => CanStartFromGenesis ( MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary Associated Types type AdditionalGenesisConfig ( MaryEra c) Source # Methods initialState :: ShelleyGenesis ( MaryEra c) -> AdditionalGenesisConfig ( MaryEra c) -> NewEpochState ( MaryEra c) Source #
Crypto c => CanStartFromGenesis ( AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra Associated Types type AdditionalGenesisConfig ( AllegraEra c) Source # Methods initialState :: ShelleyGenesis ( AllegraEra c) -> AdditionalGenesisConfig ( AllegraEra c) -> NewEpochState ( AllegraEra c) Source #
Crypto c => CLI ( MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary Methods evaluateMinFee :: PParams ( MaryEra c) -> Tx ( MaryEra c) -> Coin Source # evaluateConsumed :: PParams ( MaryEra c) -> UTxO ( MaryEra c) -> TxBody ( MaryEra c) -> Value ( MaryEra c) Source # addKeyWitnesses :: Tx ( MaryEra c) -> Set ( WitVKey ' Witness ( Crypto ( MaryEra c))) -> Tx ( MaryEra c) Source # evaluateTransactionBalance :: PParams ( MaryEra c) -> UTxO ( MaryEra c) -> ( KeyHash ' StakePool ( Crypto ( MaryEra c)) -> Bool ) -> TxBody ( MaryEra c) -> Value ( MaryEra c) Source # evaluateTransactionFee :: PParams ( MaryEra c) -> Tx ( MaryEra c) -> Word -> Coin Source # evaluateMinLovelaceOutput :: PParams ( MaryEra c) -> TxOut ( MaryEra c) -> Coin Source #
Crypto c => CLI ( AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra Methods evaluateMinFee :: PParams ( AllegraEra c) -> Tx ( AllegraEra c) -> Coin Source # evaluateConsumed :: PParams ( AllegraEra c) -> UTxO ( AllegraEra c) -> TxBody ( AllegraEra c) -> Value ( AllegraEra c) Source # addKeyWitnesses :: Tx ( AllegraEra c) -> Set ( WitVKey ' Witness ( Crypto ( AllegraEra c))) -> Tx ( AllegraEra c) Source # evaluateTransactionBalance :: PParams ( AllegraEra c) -> UTxO ( AllegraEra c) -> ( KeyHash ' StakePool ( Crypto ( AllegraEra c)) -> Bool ) -> TxBody ( AllegraEra c) -> Value ( AllegraEra c) Source # evaluateTransactionFee :: PParams ( AllegraEra c) -> Tx ( AllegraEra c) -> Word -> Coin Source # evaluateMinLovelaceOutput :: PParams ( AllegraEra c) -> TxOut ( AllegraEra c) -> Coin Source #
ShelleyEraCrypto c => ApplyTx ( MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary Methods applyTx :: MonadError ( ApplyTxError ( MaryEra c)) m => Globals -> MempoolEnv ( MaryEra c) -> MempoolState ( MaryEra c) -> Tx ( MaryEra c) -> m ( MempoolState ( MaryEra c), Validated ( Tx ( MaryEra c))) Source # reapplyTx :: MonadError ( ApplyTxError ( MaryEra c)) m => Globals -> MempoolEnv ( MaryEra c) -> MempoolState ( MaryEra c) -> Validated ( Tx ( MaryEra c)) -> m ( MempoolState ( MaryEra c)) Source #
ShelleyEraCrypto c => ApplyTx ( AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra Methods applyTx :: MonadError ( ApplyTxError ( AllegraEra c)) m => Globals -> MempoolEnv ( AllegraEra c) -> MempoolState ( AllegraEra c) -> Tx ( AllegraEra c) -> m ( MempoolState ( AllegraEra c), Validated ( Tx ( AllegraEra c))) Source # reapplyTx :: MonadError ( ApplyTxError ( AllegraEra c)) m => Globals -> MempoolEnv ( AllegraEra c) -> MempoolState ( AllegraEra c) -> Validated ( Tx ( AllegraEra c)) -> m ( MempoolState ( AllegraEra c)) Source #
ShelleyEraCrypto c => ApplyBlock ( MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary Methods applyTickOpts :: forall (ep :: EventPolicy ). ApplySTSOpts ep -> Globals -> NewEpochState ( MaryEra c) -> SlotNo -> EventReturnType ep ( EraRule "TICK" ( MaryEra c)) ( NewEpochState ( MaryEra c)) Source # applyBlockOpts :: forall (ep :: EventPolicy ) m. ( EventReturnTypeRep ep, MonadError ( BlockTransitionError ( MaryEra c)) m) => ApplySTSOpts ep -> Globals -> NewEpochState ( MaryEra c) -> Block ( BHeaderView ( Crypto ( MaryEra c))) ( MaryEra c) -> m ( EventReturnType ep ( EraRule "BBODY" ( MaryEra c)) ( NewEpochState ( MaryEra c))) Source # reapplyBlock :: Globals -> NewEpochState ( MaryEra c) -> Block ( BHeaderView ( Crypto ( MaryEra c))) ( MaryEra c) -> NewEpochState ( MaryEra c) Source #
ShelleyEraCrypto c => ApplyBlock ( AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra Methods applyTickOpts :: forall (ep :: EventPolicy ). ApplySTSOpts ep -> Globals -> NewEpochState ( AllegraEra c) -> SlotNo -> EventReturnType ep ( EraRule "TICK" ( AllegraEra c)) ( NewEpochState ( AllegraEra c)) Source # applyBlockOpts :: forall (ep :: EventPolicy ) m. ( EventReturnTypeRep ep, MonadError ( BlockTransitionError ( AllegraEra c)) m) => ApplySTSOpts ep -> Globals -> NewEpochState ( AllegraEra c) -> Block ( BHeaderView ( Crypto ( AllegraEra c))) ( AllegraEra c) -> m ( EventReturnType ep ( EraRule "BBODY" ( AllegraEra c)) ( NewEpochState ( AllegraEra c))) Source # reapplyBlock :: Globals -> NewEpochState ( AllegraEra c) -> Block ( BHeaderView ( Crypto ( AllegraEra c))) ( AllegraEra c) -> NewEpochState ( AllegraEra c) Source #
Crypto c => TranslateEra ( MaryEra c) AuxiliaryData Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) AuxiliaryData Source # Methods translateEra :: TranslationContext ( MaryEra c) -> AuxiliaryData ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) AuxiliaryData ) ( AuxiliaryData ( MaryEra c)) Source #
Crypto c => TranslateEra ( MaryEra c) Update Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) Update Source # Methods translateEra :: TranslationContext ( MaryEra c) -> Update ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) Update ) ( Update ( MaryEra c)) Source #
Crypto c => TranslateEra ( MaryEra c) WitnessSet Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) WitnessSet Source # Methods translateEra :: TranslationContext ( MaryEra c) -> WitnessSet ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) WitnessSet ) ( WitnessSet ( MaryEra c)) Source #
Crypto c => TranslateEra ( MaryEra c) UTxO Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) UTxO Source # Methods translateEra :: TranslationContext ( MaryEra c) -> UTxO ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) UTxO ) ( UTxO ( MaryEra c)) Source #
Crypto c => TranslateEra ( MaryEra c) TxOut Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) TxOut Source # Methods translateEra :: TranslationContext ( MaryEra c) -> TxOut ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) TxOut ) ( TxOut ( MaryEra c)) Source #
Crypto c => TranslateEra ( MaryEra c) UTxOState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) UTxOState Source # Methods translateEra :: TranslationContext ( MaryEra c) -> UTxOState ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) UTxOState ) ( UTxOState ( MaryEra c)) Source #
Crypto c => TranslateEra ( MaryEra c) PPUPState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) PPUPState Source # Methods translateEra :: TranslationContext ( MaryEra c) -> PPUPState ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) PPUPState ) ( PPUPState ( MaryEra c)) Source #
Crypto c => TranslateEra ( MaryEra c) ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) ProposedPPUpdates Source # Methods translateEra :: TranslationContext ( MaryEra c) -> ProposedPPUpdates ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) ProposedPPUpdates ) ( ProposedPPUpdates ( MaryEra c)) Source #
Crypto c => TranslateEra ( MaryEra c) LedgerState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) LedgerState Source # Methods translateEra :: TranslationContext ( MaryEra c) -> LedgerState ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) LedgerState ) ( LedgerState ( MaryEra c)) Source #
Crypto c => TranslateEra ( MaryEra c) EpochState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) EpochState Source # Methods translateEra :: TranslationContext ( MaryEra c) -> EpochState ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) EpochState ) ( EpochState ( MaryEra c)) Source #
Crypto c => TranslateEra ( MaryEra c) ShelleyGenesis Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) ShelleyGenesis Source # Methods translateEra :: TranslationContext ( MaryEra c) -> ShelleyGenesis ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) ShelleyGenesis ) ( ShelleyGenesis ( MaryEra c)) Source #
Crypto c => TranslateEra ( MaryEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) Tx Source # Methods translateEra :: TranslationContext ( MaryEra c) -> Tx ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) Tx ) ( Tx ( MaryEra c)) Source #
Crypto c => TranslateEra ( MaryEra c) NewEpochState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) NewEpochState Source # Methods translateEra :: TranslationContext ( MaryEra c) -> NewEpochState ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) NewEpochState ) ( NewEpochState ( MaryEra c)) Source #
Crypto c => TranslateEra ( AllegraEra c) Update Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError ( AllegraEra c) Update Source # Methods translateEra :: TranslationContext ( AllegraEra c) -> Update ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) Update ) ( Update ( AllegraEra c)) Source #
Crypto c => TranslateEra ( AllegraEra c) WitnessSet Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError ( AllegraEra c) WitnessSet Source # Methods translateEra :: TranslationContext ( AllegraEra c) -> WitnessSet ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) WitnessSet ) ( WitnessSet ( AllegraEra c)) Source #
Crypto c => TranslateEra ( AllegraEra c) EpochState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError ( AllegraEra c) EpochState Source # Methods translateEra :: TranslationContext ( AllegraEra c) -> EpochState ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) EpochState ) ( EpochState ( AllegraEra c)) Source #
Crypto c => TranslateEra ( AllegraEra c) LedgerState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError ( AllegraEra c) LedgerState Source # Methods translateEra :: TranslationContext ( AllegraEra c) -> LedgerState ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) LedgerState ) ( LedgerState ( AllegraEra c)) Source #
Crypto c => TranslateEra ( AllegraEra c) UTxOState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError ( AllegraEra c) UTxOState Source # Methods translateEra :: TranslationContext ( AllegraEra c) -> UTxOState ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) UTxOState ) ( UTxOState ( AllegraEra c)) Source #
Crypto c => TranslateEra ( AllegraEra c) UTxO Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError ( AllegraEra c) UTxO Source # Methods translateEra :: TranslationContext ( AllegraEra c) -> UTxO ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) UTxO ) ( UTxO ( AllegraEra c)) Source #
Crypto c => TranslateEra ( AllegraEra c) TxOut Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError ( AllegraEra c) TxOut Source # Methods translateEra :: TranslationContext ( AllegraEra c) -> TxOut ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) TxOut ) ( TxOut ( AllegraEra c)) Source #
Crypto c => TranslateEra ( AllegraEra c) PPUPState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError ( AllegraEra c) PPUPState Source # Methods translateEra :: TranslationContext ( AllegraEra c) -> PPUPState ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) PPUPState ) ( PPUPState ( AllegraEra c)) Source #
Crypto c => TranslateEra ( AllegraEra c) ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError ( AllegraEra c) ProposedPPUpdates Source # Methods translateEra :: TranslationContext ( AllegraEra c) -> ProposedPPUpdates ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) ProposedPPUpdates ) ( ProposedPPUpdates ( AllegraEra c)) Source #
Crypto c => TranslateEra ( AllegraEra c) ShelleyGenesis Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError ( AllegraEra c) ShelleyGenesis Source # Methods translateEra :: TranslationContext ( AllegraEra c) -> ShelleyGenesis ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) ShelleyGenesis ) ( ShelleyGenesis ( AllegraEra c)) Source #
Crypto c => TranslateEra ( AllegraEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError ( AllegraEra c) Tx Source # Methods translateEra :: TranslationContext ( AllegraEra c) -> Tx ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) Tx ) ( Tx ( AllegraEra c)) Source #
Crypto c => TranslateEra ( AllegraEra c) NewEpochState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError ( AllegraEra c) NewEpochState Source # Methods translateEra :: TranslationContext ( AllegraEra c) -> NewEpochState ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) NewEpochState ) ( NewEpochState ( AllegraEra c)) Source #
( Crypto c, Functor f) => TranslateEra ( MaryEra c) ( PParams' f) Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) ( PParams' f) Source # Methods translateEra :: TranslationContext ( MaryEra c) -> PParams' f ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) ( PParams' f)) ( PParams' f ( MaryEra c)) Source #
Crypto c => TranslateEra ( AllegraEra c) ( PParams' f) Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError ( AllegraEra c) ( PParams' f) Source # Methods translateEra :: TranslationContext ( AllegraEra c) -> PParams' f ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) ( PParams' f)) ( PParams' f ( AllegraEra c)) Source #
MAClass ma c => Era ( ShelleyMAEra ma c) Source #	The actual Mary and Allegra instances, rolled into one, the MAClass superclass provides the era-specific code for where they differ.
Instance details Defined in Cardano.Ledger.ShelleyMA Associated Types type Crypto ( ShelleyMAEra ma c) Source # Methods getTxOutEitherAddr :: TxOut ( ShelleyMAEra ma c) -> Either ( Addr ( Crypto ( ShelleyMAEra ma c))) ( CompactAddr ( Crypto ( ShelleyMAEra ma c))) Source # getTxOutAddr :: TxOut ( ShelleyMAEra ma c) -> Addr ( Crypto ( ShelleyMAEra ma c)) Source # getTxOutCompactAddr :: TxOut ( ShelleyMAEra ma c) -> CompactAddr ( Crypto ( ShelleyMAEra ma c)) Source # getAllTxInputs :: TxBody ( ShelleyMAEra ma c) -> Set ( TxIn ( Crypto ( ShelleyMAEra ma c))) Source #
( Crypto c, UsesTxBody ( ShelleyMAEra ma c), AnnotatedData ( AuxiliaryData ( ShelleyMAEra ma c))) => ValidateScript ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA Methods scriptPrefixTag :: Script ( ShelleyMAEra ma c) -> ByteString Source # validateScript :: Script ( ShelleyMAEra ma c) -> Tx ( ShelleyMAEra ma c) -> Bool Source # hashScript :: Script ( ShelleyMAEra ma c) -> ScriptHash ( Crypto ( ShelleyMAEra ma c)) Source # isNativeScript :: Script ( ShelleyMAEra ma c) -> Bool Source #
( Crypto c, MAClass ma c) => SupportsSegWit ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA Associated Types type TxSeq ( ShelleyMAEra ma c) = (r :: Type ) Source # Methods fromTxSeq :: TxSeq ( ShelleyMAEra ma c) -> StrictSeq ( Tx ( ShelleyMAEra ma c)) Source # toTxSeq :: StrictSeq ( Tx ( ShelleyMAEra ma c)) -> TxSeq ( ShelleyMAEra ma c) Source # hashTxSeq :: TxSeq ( ShelleyMAEra ma c) -> Hash ( HASH ( Crypto ( ShelleyMAEra ma c))) EraIndependentBlockBody Source # numSegComponents :: Word64 Source #
Crypto c => UsesValue ( ShelleyMAEra ' Mary c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA
Crypto c => UsesValue ( ShelleyMAEra ' Allegra c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA
Crypto c => UsesTxOut ( ShelleyMAEra ' Mary c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA Methods makeTxOut :: Proxy ( ShelleyMAEra ' Mary c) -> Addr ( Crypto ( ShelleyMAEra ' Mary c)) -> Value ( ShelleyMAEra ' Mary c) -> TxOut ( ShelleyMAEra ' Mary c) Source #
Crypto c => UsesTxOut ( ShelleyMAEra ' Allegra c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA Methods makeTxOut :: Proxy ( ShelleyMAEra ' Allegra c) -> Addr ( Crypto ( ShelleyMAEra ' Allegra c)) -> Value ( ShelleyMAEra ' Allegra c) -> TxOut ( ShelleyMAEra ' Allegra c) Source #
Crypto c => UsesPParams ( ShelleyMAEra ' Mary c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA Methods mergePPUpdates :: proxy ( ShelleyMAEra ' Mary c) -> PParams ( ShelleyMAEra ' Mary c) -> PParamsDelta ( ShelleyMAEra ' Mary c) -> PParams ( ShelleyMAEra ' Mary c) Source #
Crypto c => UsesPParams ( ShelleyMAEra ' Allegra c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA Methods mergePPUpdates :: proxy ( ShelleyMAEra ' Allegra c) -> PParams ( ShelleyMAEra ' Allegra c) -> PParamsDelta ( ShelleyMAEra ' Allegra c) -> PParams ( ShelleyMAEra ' Allegra c) Source #
( Crypto c, AnnotatedData ( Script ( ShelleyMAEra ma c))) => ValidateAuxiliaryData ( ShelleyMAEra ma c) c Source #
Instance details Defined in Cardano.Ledger.ShelleyMA Methods hashAuxiliaryData :: AuxiliaryData ( ShelleyMAEra ma c) -> AuxiliaryDataHash c Source # validateAuxiliaryData :: ProtVer -> AuxiliaryData ( ShelleyMAEra ma c) -> Bool Source #
type EraRule "BBODY" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "BBODY" ( ShelleyMAEra ma c) = BBODY ( ShelleyMAEra ma c)
type EraRule "DELEG" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "DELEG" ( ShelleyMAEra ma c) = DELEG ( ShelleyMAEra ma c)
type EraRule "DELEGS" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "DELEGS" ( ShelleyMAEra ma c) = DELEGS ( ShelleyMAEra ma c)
type EraRule "DELPL" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "DELPL" ( ShelleyMAEra ma c) = DELPL ( ShelleyMAEra ma c)
type EraRule "EPOCH" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "EPOCH" ( ShelleyMAEra ma c) = EPOCH ( ShelleyMAEra ma c)
type EraRule "LEDGER" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "LEDGER" ( ShelleyMAEra ma c) = LEDGER ( ShelleyMAEra ma c)
type EraRule "LEDGERS" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "LEDGERS" ( ShelleyMAEra ma c) = LEDGERS ( ShelleyMAEra ma c)
type EraRule "MIR" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "MIR" ( ShelleyMAEra ma c) = MIR ( ShelleyMAEra ma c)
type EraRule "NEWEPOCH" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "NEWEPOCH" ( ShelleyMAEra ma c) = NEWEPOCH ( ShelleyMAEra ma c)
type EraRule "NEWPP" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "NEWPP" ( ShelleyMAEra ma c) = NEWPP ( ShelleyMAEra ma c)
type EraRule "POOL" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "POOL" ( ShelleyMAEra ma c) = POOL ( ShelleyMAEra ma c)
type EraRule "POOLREAP" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "POOLREAP" ( ShelleyMAEra ma c) = POOLREAP ( ShelleyMAEra ma c)
type EraRule "PPUP" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "PPUP" ( ShelleyMAEra ma c) = PPUP ( ShelleyMAEra ma c)
type EraRule "RUPD" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "RUPD" ( ShelleyMAEra ma c) = RUPD ( ShelleyMAEra ma c)
type EraRule "SNAP" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "SNAP" ( ShelleyMAEra ma c) = SNAP ( ShelleyMAEra ma c)
type EraRule "TICK" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "TICK" ( ShelleyMAEra ma c) = TICK ( ShelleyMAEra ma c)
type EraRule "TICKF" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "TICKF" ( ShelleyMAEra ma c) = TICKF ( ShelleyMAEra ma c)
type EraRule "UPEC" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "UPEC" ( ShelleyMAEra ma c) = UPEC ( ShelleyMAEra ma c)
type EraRule "UTXO" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "UTXO" ( ShelleyMAEra ma c) = UTXO ( ShelleyMAEra ma c)
type EraRule "UTXOW" ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.EraMapping type EraRule "UTXOW" ( ShelleyMAEra ma c) = UTXOW ( ShelleyMAEra ma c)
type PreviousEra ( MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type PreviousEra ( MaryEra c) = AllegraEra c
type PreviousEra ( AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type PreviousEra ( AllegraEra c) = ShelleyEra c
type TranslationContext ( MaryEra c) Source #	Currently no context is needed to translate from Allegra to Mary. Note: if context is needed, please coordinate with consensus, who will have to provide the context in the right place.
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationContext ( MaryEra c) = ()
type TranslationContext ( AllegraEra c) Source #	Currently no context is needed to translate from Shelley to Allegra.
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationContext ( AllegraEra c) = ()
type AdditionalGenesisConfig ( MaryEra c) Source #
Instance details Defined in Cardano.Ledger.Mary type AdditionalGenesisConfig ( MaryEra c) = ()
type AdditionalGenesisConfig ( AllegraEra c) Source #
Instance details Defined in Cardano.Ledger.Allegra type AdditionalGenesisConfig ( AllegraEra c) = ()
type TranslationError ( MaryEra c) AuxiliaryData Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) AuxiliaryData = Void
type TranslationError ( MaryEra c) Update Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) Update = Void
type TranslationError ( MaryEra c) WitnessSet Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) WitnessSet = DecoderError
type TranslationError ( MaryEra c) UTxO Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) UTxO = Void
type TranslationError ( MaryEra c) TxOut Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) TxOut = Void
type TranslationError ( MaryEra c) UTxOState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) UTxOState = Void
type TranslationError ( MaryEra c) PPUPState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) PPUPState = Void
type TranslationError ( MaryEra c) ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) ProposedPPUpdates = Void
type TranslationError ( MaryEra c) LedgerState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) LedgerState = Void
type TranslationError ( MaryEra c) EpochState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) EpochState = Void
type TranslationError ( MaryEra c) ShelleyGenesis Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) ShelleyGenesis = Void
type TranslationError ( MaryEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) Tx = DecoderError
type TranslationError ( MaryEra c) NewEpochState Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) NewEpochState = Void
type TranslationError ( AllegraEra c) Update Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError ( AllegraEra c) Update = Void
type TranslationError ( AllegraEra c) WitnessSet Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError ( AllegraEra c) WitnessSet = DecoderError
type TranslationError ( AllegraEra c) EpochState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError ( AllegraEra c) EpochState = Void
type TranslationError ( AllegraEra c) LedgerState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError ( AllegraEra c) LedgerState = Void
type TranslationError ( AllegraEra c) UTxOState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError ( AllegraEra c) UTxOState = Void
type TranslationError ( AllegraEra c) UTxO Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError ( AllegraEra c) UTxO = Void
type TranslationError ( AllegraEra c) TxOut Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError ( AllegraEra c) TxOut = Void
type TranslationError ( AllegraEra c) PPUPState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError ( AllegraEra c) PPUPState = Void
type TranslationError ( AllegraEra c) ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError ( AllegraEra c) ProposedPPUpdates = Void
type TranslationError ( AllegraEra c) ShelleyGenesis Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError ( AllegraEra c) ShelleyGenesis = Void
type TranslationError ( AllegraEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError ( AllegraEra c) Tx = DecoderError
type TranslationError ( AllegraEra c) NewEpochState Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError ( AllegraEra c) NewEpochState = Void
type TranslationError ( MaryEra c) ( PParams' f) Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) ( PParams' f) = Void
type TranslationError ( AllegraEra c) ( PParams' f) Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError ( AllegraEra c) ( PParams' f) = Void
type Crypto ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA type Crypto ( ShelleyMAEra ma c) = c
type TxSeq ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA type TxSeq ( ShelleyMAEra ma c) = TxSeq ( ShelleyMAEra ma c)
type Tx ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA type Tx ( ShelleyMAEra ma c) = Tx ( ShelleyMAEra ma c)
type TxOut ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA type TxOut ( ShelleyMAEra ma c) = TxOut ( ShelleyMAEra ma c)
type Value ( ShelleyMAEra m c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA type Value ( ShelleyMAEra m c)
type TxBody ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA type TxBody ( ShelleyMAEra ma c) = TxBody ( ShelleyMAEra ma c)
type Script ( ShelleyMAEra _ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA type Script ( ShelleyMAEra _ma c) = Timelock c
type AuxiliaryData ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA type AuxiliaryData ( ShelleyMAEra ma c) = AuxiliaryData ( ShelleyMAEra ma c)
type PParams ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA type PParams ( ShelleyMAEra ma c) = PParams ( ShelleyMAEra ma c)
type PParamsDelta ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA type PParamsDelta ( ShelleyMAEra ma c) = PParamsUpdate ( ShelleyMAEra ma c)
type Witnesses ( ShelleyMAEra ma c) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA type Witnesses ( ShelleyMAEra ma c) = WitnessSet ( ShelleyMAEra ma c)

data MaryOrAllegra Source #

Constructors

Mary
Allegra

data TxOut era Source #

The output of a UTxO.

Instances

Instances details

( Compactible v, v ~ Value era) => HasField "value" ( TxOut era) v
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxOut era -> v Source #
HasField "outputs" ( TxBody era) ( StrictSeq ( TxOut era)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField :: TxBody era -> StrictSeq ( TxOut era) Source #
TransTxOut Eq era => Eq ( TxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods (==) :: TxOut era -> TxOut era -> Bool Source # (/=) :: TxOut era -> TxOut era -> Bool Source #
( TransTxOut Show era, Era era) => Show ( TxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods showsPrec :: Int -> TxOut era -> ShowS Source # show :: TxOut era -> String Source # showList :: [ TxOut era] -> ShowS Source #
NFData ( TxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods rnf :: TxOut era -> () Source #
( Era era, TransTxOut ToCBOR era) => ToCBOR ( TxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods toCBOR :: TxOut era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( TxOut era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxOut era] -> Size Source #
( Era era, TransTxOut DecodeNonNegative era, Show ( Value era)) => FromCBOR ( TxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods fromCBOR :: Decoder s ( TxOut era) Source # label :: Proxy ( TxOut era) -> Text Source #
( Era era, TransTxOut DecodeNonNegative era, Show ( Value era)) => FromSharedCBOR ( TxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxBody Associated Types type Share ( TxOut era) Source # Methods getShare :: TxOut era -> Share ( TxOut era) Source # fromSharedCBOR :: Share ( TxOut era) -> Decoder s ( TxOut era) Source # fromSharedPlusCBOR :: StateT ( Share ( TxOut era)) ( Decoder s) ( TxOut era) Source #
( Crypto ( Crypto era), HeapWords ( CompactForm ( Value era))) => HeapWords ( TxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods heapWords :: TxOut era -> Int Source #
NoThunks ( TxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods noThunks :: Context -> TxOut era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxOut era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxOut era) -> String Source #
Crypto c => TranslateEra ( MaryEra c) TxOut Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) TxOut Source # Methods translateEra :: TranslationContext ( MaryEra c) -> TxOut ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) TxOut ) ( TxOut ( MaryEra c)) Source #
Crypto c => TranslateEra ( AllegraEra c) TxOut Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError ( AllegraEra c) TxOut Source # Methods translateEra :: TranslationContext ( AllegraEra c) -> TxOut ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) TxOut ) ( TxOut ( AllegraEra c)) Source #
type Share ( TxOut era)
Instance details Defined in Cardano.Ledger.Shelley.TxBody type Share ( TxOut era) = Interns ( Credential ' Staking ( Crypto era))
type TranslationError ( MaryEra c) TxOut Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) TxOut = Void
type TranslationError ( AllegraEra c) TxOut Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError ( AllegraEra c) TxOut = Void

data TxBody e Source #

Instances

Instances details

Value era ~ value => HasField "mint" ( TxBody era) value Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField :: TxBody era -> value Source #
HasField "txfee" ( TxBody era) Coin Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField :: TxBody era -> Coin Source #
HasField "vldt" ( TxBody era) ValidityInterval Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField :: TxBody era -> ValidityInterval Source #
Crypto era ~ crypto => HasField "adHash" ( TxBody era) ( StrictMaybe ( AuxiliaryDataHash crypto)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField :: TxBody era -> StrictMaybe ( AuxiliaryDataHash crypto) Source #
Crypto era ~ crypto => HasField "certs" ( TxBody era) ( StrictSeq ( DCert crypto)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField :: TxBody era -> StrictSeq ( DCert crypto) Source #
Crypto era ~ crypto => HasField "inputs" ( TxBody era) ( Set ( TxIn crypto)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField :: TxBody era -> Set ( TxIn crypto) Source #
MAClass ma c => HasField "minted" ( TxBody ( ShelleyMAEra ma c)) ( Set ( ScriptHash c)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA Methods getField :: TxBody ( ShelleyMAEra ma c) -> Set ( ScriptHash c) Source #
HasField "outputs" ( TxBody era) ( StrictSeq ( TxOut era)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField :: TxBody era -> StrictSeq ( TxOut era) Source #
HasField "update" ( TxBody era) ( StrictMaybe ( Update era)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField :: TxBody era -> StrictMaybe ( Update era) Source #
Crypto era ~ crypto => HasField "wdrls" ( TxBody era) ( Wdrl crypto) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods getField :: TxBody era -> Wdrl crypto Source #
Eq ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods (==) :: TxBody era -> TxBody era -> Bool Source # (/=) :: TxBody era -> TxBody era -> Bool Source #
( TransValue Show era, Show ( PParamsDelta era)) => Show ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods showsPrec :: Int -> TxBody era -> ShowS Source # show :: TxBody era -> String Source # showList :: [ TxBody era] -> ShowS Source #
Generic ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Associated Types type Rep ( TxBody era) :: Type -> Type Source # Methods from :: TxBody era -> Rep ( TxBody era) x Source # to :: Rep ( TxBody era) x -> TxBody era Source #
( NFData ( Value era), NFData ( PParamsDelta era), Era era) => NFData ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods rnf :: TxBody era -> () Source #
Typeable era => ToCBOR ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods toCBOR :: TxBody era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( TxBody era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TxBody era] -> Size Source #
FamsFrom era => FromCBOR ( Annotator ( TxBody era)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods fromCBOR :: Decoder s ( Annotator ( TxBody era)) Source # label :: Proxy ( Annotator ( TxBody era)) -> Text Source #
SafeToHash ( TxBody e) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods originalBytes :: TxBody e -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> TxBody e -> SafeHash c index Source #
( Typeable era, NoThunks ( Value era), NoThunks ( PParamsDelta era)) => NoThunks ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods noThunks :: Context -> TxBody era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxBody era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxBody era) -> String Source #
(c ~ Crypto era, Era era) => HashAnnotated ( TxBody era) EraIndependentTxBody c Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody Methods indexProxy :: TxBody era -> Proxy EraIndependentTxBody Source #
type Rep ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.TxBody type Rep ( TxBody era) = D1 (' MetaData "TxBody" "Cardano.Ledger.ShelleyMA.TxBody" "cardano-ledger-shelley-ma-0.1.0.0-IyXhkyY7R1xGIgXdNlolP6" ' True ) ( C1 (' MetaCons "TxBodyConstr" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( MemoBytes ( TxBodyRaw era)))))

data AuxiliaryData era Source #

Instances

Instances details

Era era => Eq ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods (==) :: AuxiliaryData era -> AuxiliaryData era -> Bool Source # (/=) :: AuxiliaryData era -> AuxiliaryData era -> Bool Source #
( Era era, ChainData ( Script era)) => Show ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods showsPrec :: Int -> AuxiliaryData era -> ShowS Source # show :: AuxiliaryData era -> String Source # showList :: [ AuxiliaryData era] -> ShowS Source #
Generic ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Associated Types type Rep ( AuxiliaryData era) :: Type -> Type Source # Methods from :: AuxiliaryData era -> Rep ( AuxiliaryData era) x Source # to :: Rep ( AuxiliaryData era) x -> AuxiliaryData era Source #
NFData ( Script era) => NFData ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods rnf :: AuxiliaryData era -> () Source #
Typeable era => ToCBOR ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods toCBOR :: AuxiliaryData era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( AuxiliaryData era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ AuxiliaryData era] -> Size Source #
( Era era, AnnotatedData ( Script era)) => FromCBOR ( Annotator ( AuxiliaryData era)) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods fromCBOR :: Decoder s ( Annotator ( AuxiliaryData era)) Source # label :: Proxy ( Annotator ( AuxiliaryData era)) -> Text Source #
SafeToHash ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods originalBytes :: AuxiliaryData era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> AuxiliaryData era -> SafeHash c index Source #
( Era era, ChainData ( Script era)) => NoThunks ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods noThunks :: Context -> AuxiliaryData era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> AuxiliaryData era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( AuxiliaryData era) -> String Source #
Crypto c => TranslateEra ( MaryEra c) AuxiliaryData Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) AuxiliaryData Source # Methods translateEra :: TranslationContext ( MaryEra c) -> AuxiliaryData ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) AuxiliaryData ) ( AuxiliaryData ( MaryEra c)) Source #
c ~ Crypto era => HashAnnotated ( AuxiliaryData era) EraIndependentAuxiliaryData c Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData Methods indexProxy :: AuxiliaryData era -> Proxy EraIndependentAuxiliaryData Source #
type Rep ( AuxiliaryData era) Source #
Instance details Defined in Cardano.Ledger.ShelleyMA.AuxiliaryData type Rep ( AuxiliaryData era)
type TranslationError ( MaryEra c) AuxiliaryData Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) AuxiliaryData = Void

type PParams era = PParams' Identity era Source #

data Tx era Source #

Instances

Instances details

body ~ TxBody era => HasField "body" ( Tx era) body
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: Tx era -> body Source #
HasField "txsize" ( Tx era) Integer
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: Tx era -> Integer Source #
wits ~ Witnesses era => HasField "wits" ( Tx era) wits
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: Tx era -> wits Source #
(c ~ Crypto era, Witnesses era ~ WitnessSet era) => HasField "addrWits" ( Tx era) ( Set ( WitVKey ' Witness c))
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: Tx era -> Set ( WitVKey ' Witness c) Source #
aux ~ AuxiliaryData era => HasField "auxiliaryData" ( Tx era) ( StrictMaybe aux)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: Tx era -> StrictMaybe aux Source #
(c ~ Crypto era, Witnesses era ~ WitnessSet era) => HasField "bootWits" ( Tx era) ( Set ( BootstrapWitness c))
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: Tx era -> Set ( BootstrapWitness c) Source #
(c ~ Crypto era, script ~ Script era, Witnesses era ~ WitnessSet era) => HasField "scriptWits" ( Tx era) ( Map ( ScriptHash c) script)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: Tx era -> Map ( ScriptHash c) script Source #
Eq ( Tx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods (==) :: Tx era -> Tx era -> Bool Source # (/=) :: Tx era -> Tx era -> Bool Source #
( Era era, Show ( AuxiliaryData era), Show ( TxBody era), Show ( Witnesses era)) => Show ( Tx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods showsPrec :: Int -> Tx era -> ShowS Source # show :: Tx era -> String Source # showList :: [ Tx era] -> ShowS Source #
( NFData ( TxBody era), NFData ( Witnesses era), NFData ( AuxiliaryData era)) => NFData ( Tx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods rnf :: Tx era -> () Source #
Typeable era => ToCBOR ( Tx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods toCBOR :: Tx era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( Tx era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Tx era] -> Size Source #
( Era era, FromCBOR ( Annotator ( TxBody era)), FromCBOR ( Annotator ( AuxiliaryData era)), FromCBOR ( Annotator ( Witnesses era))) => FromCBOR ( Annotator ( Tx era))
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods fromCBOR :: Decoder s ( Annotator ( Tx era)) Source # label :: Proxy ( Annotator ( Tx era)) -> Text Source #
SafeToHash ( Tx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods originalBytes :: Tx era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> Tx era -> SafeHash c index Source #
( Era era, NoThunks ( AuxiliaryData era), NoThunks ( TxBody era), NoThunks ( Witnesses era)) => NoThunks ( Tx era)
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods noThunks :: Context -> Tx era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Tx era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Tx era) -> String Source #
Crypto c => TranslateEra ( MaryEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Mary.Translation Associated Types type TranslationError ( MaryEra c) Tx Source # Methods translateEra :: TranslationContext ( MaryEra c) -> Tx ( PreviousEra ( MaryEra c)) -> Except ( TranslationError ( MaryEra c) Tx ) ( Tx ( MaryEra c)) Source #
Crypto c => TranslateEra ( AllegraEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError ( AllegraEra c) Tx Source # Methods translateEra :: TranslationContext ( AllegraEra c) -> Tx ( PreviousEra ( AllegraEra c)) -> Except ( TranslationError ( AllegraEra c) Tx ) ( Tx ( AllegraEra c)) Source #
type TranslationError ( MaryEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Mary.Translation type TranslationError ( MaryEra c) Tx = DecoderError
type TranslationError ( AllegraEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError ( AllegraEra c) Tx = DecoderError