Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Babbage

Synopsis

data BabbageEra c
type Self c = BabbageEra c
data TxOut era
data TxBody era
data Script era
data AuxiliaryData era

Documentation

data BabbageEra c Source #

The Babbage era

Instances

Instances details

Crypto c => ExtendedUTxO ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage Methods txInfo :: PParams ( BabbageEra c) -> Language -> EpochInfo ( Either Text ) -> SystemStart -> UTxO ( BabbageEra c) -> Tx ( BabbageEra c) -> Either ( TranslationError ( Crypto ( BabbageEra c))) VersionedTxInfo Source # inputDataHashes :: Map ( ScriptHash ( Crypto ( BabbageEra c))) ( Script ( BabbageEra c)) -> ValidatedTx ( BabbageEra c) -> UTxO ( BabbageEra c) -> ( Set ( DataHash ( Crypto ( BabbageEra c))), Set ( TxIn ( Crypto ( BabbageEra c)))) Source # txscripts :: UTxO ( BabbageEra c) -> Tx ( BabbageEra c) -> Map ( ScriptHash ( Crypto ( BabbageEra c))) ( Script ( BabbageEra c)) Source # getAllowedSupplimentalDataHashes :: TxBody ( BabbageEra c) -> UTxO ( BabbageEra c) -> Set ( DataHash ( Crypto ( BabbageEra c))) Source # getDatum :: Tx ( BabbageEra c) -> UTxO ( BabbageEra c) -> ScriptPurpose ( Crypto ( BabbageEra c)) -> Maybe ( Data ( BabbageEra c)) Source # getTxOutDatum :: TxOut ( BabbageEra c) -> Datum ( BabbageEra c) Source # allOuts :: TxBody ( BabbageEra c) -> [ TxOut ( BabbageEra c)] Source # allSizedOuts :: TxBody ( BabbageEra c) -> [ Sized ( TxOut ( BabbageEra c))] Source #
Crypto c => Era ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage Associated Types type Crypto ( BabbageEra c) Source # Methods getTxOutEitherAddr :: TxOut ( BabbageEra c) -> Either ( Addr ( Crypto ( BabbageEra c))) ( CompactAddr ( Crypto ( BabbageEra c))) Source # getTxOutAddr :: TxOut ( BabbageEra c) -> Addr ( Crypto ( BabbageEra c)) Source # getTxOutCompactAddr :: TxOut ( BabbageEra c) -> CompactAddr ( Crypto ( BabbageEra c)) Source # getAllTxInputs :: TxBody ( BabbageEra c) -> Set ( TxIn ( Crypto ( BabbageEra c))) Source #
Crypto c => ValidateScript ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage Methods scriptPrefixTag :: Script ( BabbageEra c) -> ByteString Source # validateScript :: Script ( BabbageEra c) -> Tx ( BabbageEra c) -> Bool Source # hashScript :: Script ( BabbageEra c) -> ScriptHash ( Crypto ( BabbageEra c)) Source # isNativeScript :: Script ( BabbageEra c) -> Bool Source #
Crypto c => SupportsSegWit ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage Associated Types type TxSeq ( BabbageEra c) = (r :: Type ) Source # Methods fromTxSeq :: TxSeq ( BabbageEra c) -> StrictSeq ( Tx ( BabbageEra c)) Source # toTxSeq :: StrictSeq ( Tx ( BabbageEra c)) -> TxSeq ( BabbageEra c) Source # hashTxSeq :: TxSeq ( BabbageEra c) -> Hash ( HASH ( Crypto ( BabbageEra c))) EraIndependentBlockBody Source # numSegComponents :: Word64 Source #
ShelleyEraCrypto c => ShelleyBasedEra ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage
Crypto c => CanStartFromGenesis ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage Associated Types type AdditionalGenesisConfig ( BabbageEra c) Source # Methods initialState :: ShelleyGenesis ( BabbageEra c) -> AdditionalGenesisConfig ( BabbageEra c) -> NewEpochState ( BabbageEra c) Source #
Crypto c => CLI ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage Methods evaluateMinFee :: PParams ( BabbageEra c) -> Tx ( BabbageEra c) -> Coin Source # evaluateConsumed :: PParams ( BabbageEra c) -> UTxO ( BabbageEra c) -> TxBody ( BabbageEra c) -> Value ( BabbageEra c) Source # addKeyWitnesses :: Tx ( BabbageEra c) -> Set ( WitVKey ' Witness ( Crypto ( BabbageEra c))) -> Tx ( BabbageEra c) Source # evaluateTransactionBalance :: PParams ( BabbageEra c) -> UTxO ( BabbageEra c) -> ( KeyHash ' StakePool ( Crypto ( BabbageEra c)) -> Bool ) -> TxBody ( BabbageEra c) -> Value ( BabbageEra c) Source # evaluateTransactionFee :: PParams ( BabbageEra c) -> Tx ( BabbageEra c) -> Word -> Coin Source # evaluateMinLovelaceOutput :: PParams ( BabbageEra c) -> TxOut ( BabbageEra c) -> Coin Source #
ShelleyEraCrypto c => ApplyTx ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage Methods applyTx :: MonadError ( ApplyTxError ( BabbageEra c)) m => Globals -> MempoolEnv ( BabbageEra c) -> MempoolState ( BabbageEra c) -> Tx ( BabbageEra c) -> m ( MempoolState ( BabbageEra c), Validated ( Tx ( BabbageEra c))) Source # reapplyTx :: MonadError ( ApplyTxError ( BabbageEra c)) m => Globals -> MempoolEnv ( BabbageEra c) -> MempoolState ( BabbageEra c) -> Validated ( Tx ( BabbageEra c)) -> m ( MempoolState ( BabbageEra c)) Source #
ShelleyEraCrypto c => ApplyBlock ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage Methods applyTickOpts :: forall (ep :: EventPolicy ). ApplySTSOpts ep -> Globals -> NewEpochState ( BabbageEra c) -> SlotNo -> EventReturnType ep ( EraRule "TICK" ( BabbageEra c)) ( NewEpochState ( BabbageEra c)) Source # applyBlockOpts :: forall (ep :: EventPolicy ) m. ( EventReturnTypeRep ep, MonadError ( BlockTransitionError ( BabbageEra c)) m) => ApplySTSOpts ep -> Globals -> NewEpochState ( BabbageEra c) -> Block ( BHeaderView ( Crypto ( BabbageEra c))) ( BabbageEra c) -> m ( EventReturnType ep ( EraRule "BBODY" ( BabbageEra c)) ( NewEpochState ( BabbageEra c))) Source # reapplyBlock :: Globals -> NewEpochState ( BabbageEra c) -> Block ( BHeaderView ( Crypto ( BabbageEra c))) ( BabbageEra c) -> NewEpochState ( BabbageEra c) Source #
Crypto c => UsesValue ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage
Crypto c => UsesTxOut ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage Methods makeTxOut :: Proxy ( BabbageEra c) -> Addr ( Crypto ( BabbageEra c)) -> Value ( BabbageEra c) -> TxOut ( BabbageEra c) Source #
Crypto c => UsesPParams ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage Methods mergePPUpdates :: proxy ( BabbageEra c) -> PParams ( BabbageEra c) -> PParamsDelta ( BabbageEra c) -> PParams ( BabbageEra c) Source #
Crypto c => TranslateEra ( BabbageEra c) ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError ( BabbageEra c) ProposedPPUpdates Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> ProposedPPUpdates ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) ProposedPPUpdates ) ( ProposedPPUpdates ( BabbageEra c)) Source #
Crypto c => TranslateEra ( BabbageEra c) PPUPState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError ( BabbageEra c) PPUPState Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> PPUPState ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) PPUPState ) ( PPUPState ( BabbageEra c)) Source #
Crypto c => TranslateEra ( BabbageEra c) UTxO Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError ( BabbageEra c) UTxO Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> UTxO ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) UTxO ) ( UTxO ( BabbageEra c)) Source #
Crypto c => TranslateEra ( BabbageEra c) UTxOState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError ( BabbageEra c) UTxOState Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> UTxOState ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) UTxOState ) ( UTxOState ( BabbageEra c)) Source #
Crypto c => TranslateEra ( BabbageEra c) LedgerState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError ( BabbageEra c) LedgerState Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> LedgerState ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) LedgerState ) ( LedgerState ( BabbageEra c)) Source #
Crypto c => TranslateEra ( BabbageEra c) EpochState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError ( BabbageEra c) EpochState Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> EpochState ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) EpochState ) ( EpochState ( BabbageEra c)) Source #
( Crypto c, Tx ( BabbageEra c) ~ ValidatedTx ( BabbageEra c)) => TranslateEra ( BabbageEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError ( BabbageEra c) Tx Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> Tx ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) Tx ) ( Tx ( BabbageEra c)) Source #
Crypto c => TranslateEra ( BabbageEra c) ShelleyGenesis Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError ( BabbageEra c) ShelleyGenesis Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> ShelleyGenesis ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) ShelleyGenesis ) ( ShelleyGenesis ( BabbageEra c)) Source #
Crypto c => TranslateEra ( BabbageEra c) NewEpochState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError ( BabbageEra c) NewEpochState Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> NewEpochState ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) NewEpochState ) ( NewEpochState ( BabbageEra c)) Source #
Crypto c => ValidateAuxiliaryData ( BabbageEra c) c Source #
Instance details Defined in Cardano.Ledger.Babbage Methods hashAuxiliaryData :: AuxiliaryData ( BabbageEra c) -> AuxiliaryDataHash c Source # validateAuxiliaryData :: ProtVer -> AuxiliaryData ( BabbageEra c) -> Bool Source #
( Crypto c, Functor f) => TranslateEra ( BabbageEra c) ( PParams' f) Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation Associated Types type TranslationError ( BabbageEra c) ( PParams' f) Source # Methods translateEra :: TranslationContext ( BabbageEra c) -> PParams' f ( PreviousEra ( BabbageEra c)) -> Except ( TranslationError ( BabbageEra c) ( PParams' f)) ( PParams' f ( BabbageEra c)) Source #
type EraRule "BBODY" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "BBODY" ( BabbageEra c) = AlonzoBBODY ( BabbageEra c)
type EraRule "DELEG" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "DELEG" ( BabbageEra c) = DELEG ( BabbageEra c)
type EraRule "DELEGS" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "DELEGS" ( BabbageEra c) = DELEGS ( BabbageEra c)
type EraRule "DELPL" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "DELPL" ( BabbageEra c) = DELPL ( BabbageEra c)
type EraRule "EPOCH" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "EPOCH" ( BabbageEra c) = EPOCH ( BabbageEra c)
type EraRule "LEDGER" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "LEDGER" ( BabbageEra c) = BabbageLEDGER ( BabbageEra c)
type EraRule "LEDGERS" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "LEDGERS" ( BabbageEra c) = LEDGERS ( BabbageEra c)
type EraRule "MIR" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "MIR" ( BabbageEra c) = MIR ( BabbageEra c)
type EraRule "NEWEPOCH" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "NEWEPOCH" ( BabbageEra c) = NEWEPOCH ( BabbageEra c)
type EraRule "NEWPP" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "NEWPP" ( BabbageEra c) = NEWPP ( BabbageEra c)
type EraRule "POOL" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "POOL" ( BabbageEra c) = POOL ( BabbageEra c)
type EraRule "POOLREAP" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "POOLREAP" ( BabbageEra c) = POOLREAP ( BabbageEra c)
type EraRule "PPUP" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "PPUP" ( BabbageEra c) = PPUP ( BabbageEra c)
type EraRule "RUPD" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "RUPD" ( BabbageEra c) = RUPD ( BabbageEra c)
type EraRule "SNAP" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "SNAP" ( BabbageEra c) = SNAP ( BabbageEra c)
type EraRule "TICK" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "TICK" ( BabbageEra c) = TICK ( BabbageEra c)
type EraRule "TICKF" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "TICKF" ( BabbageEra c) = TICKF ( BabbageEra c)
type EraRule "UPEC" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "UPEC" ( BabbageEra c) = UPEC ( BabbageEra c)
type EraRule "UTXO" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "UTXO" ( BabbageEra c) = BabbageUTXO ( BabbageEra c)
type EraRule "UTXOS" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "UTXOS" ( BabbageEra c) = BabbageUTXOS ( BabbageEra c)
type EraRule "UTXOW" ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type EraRule "UTXOW" ( BabbageEra c) = BabbageUTXOW ( BabbageEra c)
type Tx ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type Tx ( BabbageEra c) = ValidatedTx ( BabbageEra c)
type Value ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type Value ( BabbageEra c) = Value c
type TxOut ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type TxOut ( BabbageEra c) = TxOut ( BabbageEra c)
type Crypto ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type Crypto ( BabbageEra c) = c
type TxSeq ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type TxSeq ( BabbageEra c) = TxSeq ( BabbageEra c)
type PreviousEra ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type PreviousEra ( BabbageEra c) = AlonzoEra c
type TranslationContext ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationContext ( BabbageEra c) = AlonzoGenesis
type TxBody ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type TxBody ( BabbageEra c) = TxBody ( BabbageEra c)
type Script ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type Script ( BabbageEra c) = Script ( BabbageEra c)
type AuxiliaryData ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type AuxiliaryData ( BabbageEra c) = AuxiliaryData ( BabbageEra c)
type PParams ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type PParams ( BabbageEra c) = PParams ( BabbageEra c)
type PParamsDelta ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type PParamsDelta ( BabbageEra c) = PParamsUpdate ( BabbageEra c)
type Witnesses ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type Witnesses ( BabbageEra c) = TxWitness ( BabbageEra c)
type AdditionalGenesisConfig ( BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage type AdditionalGenesisConfig ( BabbageEra c) = AlonzoGenesis
type TranslationError ( BabbageEra c) ProposedPPUpdates Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError ( BabbageEra c) ProposedPPUpdates = Void
type TranslationError ( BabbageEra c) PPUPState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError ( BabbageEra c) PPUPState = Void
type TranslationError ( BabbageEra c) UTxO Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError ( BabbageEra c) UTxO = Void
type TranslationError ( BabbageEra c) UTxOState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError ( BabbageEra c) UTxOState = Void
type TranslationError ( BabbageEra c) LedgerState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError ( BabbageEra c) LedgerState = Void
type TranslationError ( BabbageEra c) EpochState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError ( BabbageEra c) EpochState = Void
type TranslationError ( BabbageEra c) ShelleyGenesis Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError ( BabbageEra c) ShelleyGenesis = Void
type TranslationError ( BabbageEra c) NewEpochState Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError ( BabbageEra c) NewEpochState = Void
type TranslationError ( BabbageEra c) Tx Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError ( BabbageEra c) Tx = DecoderError
type TranslationError ( BabbageEra c) ( PParams' f) Source #
Instance details Defined in Cardano.Ledger.Babbage.Translation type TranslationError ( BabbageEra c) ( PParams' f) = Void

type Self c = BabbageEra c Source #

data TxOut era Source #

Instances

Instances details

( Era era, Value era ~ val, Compactible val) => HasField "value" ( TxOut era) val Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxOut era -> val Source #
HasField "collateralReturn" ( TxBody era) ( StrictMaybe ( TxOut era)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictMaybe ( TxOut era) Source #
( Era era, c ~ Crypto era) => HasField "datahash" ( TxOut era) ( StrictMaybe ( DataHash c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxOut era -> StrictMaybe ( DataHash c) Source #
HasField "outputs" ( TxBody era) ( StrictSeq ( TxOut era)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictSeq ( TxOut era) Source #
( Era era, s ~ Script era) => HasField "referenceScript" ( TxOut era) ( StrictMaybe s) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxOut era -> StrictMaybe s Source #
HasField "sizedCollateralReturn" ( TxBody era) ( StrictMaybe ( Sized ( TxOut era))) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictMaybe ( Sized ( TxOut era)) Source #
HasField "sizedOutputs" ( TxBody era) ( StrictSeq ( Sized ( TxOut era))) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictSeq ( Sized ( TxOut era)) Source #
( Eq ( Value era), Eq ( Script era), Compactible ( Value era)) => Eq ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods (==) :: TxOut era -> TxOut era -> Bool Source # (/=) :: TxOut era -> TxOut era -> Bool Source #
( Era era, Show ( Value era), Show ( Script era), Show ( CompactForm ( Value era))) => Show ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods showsPrec :: Int -> TxOut era -> ShowS Source # show :: TxOut era -> String Source # showList :: [ TxOut era] -> ShowS Source #
NFData ( TxOut era) Source #	Already in NF
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods rnf :: TxOut era -> () Source #
( Era era, ToCBOR ( Value era), ToCBOR ( Script era)) => ToCBOR ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.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, DecodeNonNegative ( Value era), Show ( Value era), FromCBOR ( Annotator ( Script era)), Compactible ( Value era)) => FromCBOR ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods fromCBOR :: Decoder s ( TxOut era) Source # label :: Proxy ( TxOut era) -> Text Source #
( Era era, DecodeNonNegative ( Value era), Show ( Value era), FromCBOR ( Annotator ( Script era)), Compactible ( Value era)) => FromSharedCBOR ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.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 #
NoThunks ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods noThunks :: Context -> TxOut era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> TxOut era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( TxOut era) -> String Source #
type Share ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody type Share ( TxOut era) = Interns ( Credential ' Staking ( Crypto era))

data TxBody era Source #

Instances

Instances details

HasField "txfee" ( TxBody era) Coin Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> Coin Source #
HasField "vldt" ( TxBody era) ValidityInterval Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> ValidityInterval Source #
c ~ Crypto era => HasField "adHash" ( TxBody era) ( StrictMaybe ( AuxiliaryDataHash c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictMaybe ( AuxiliaryDataHash c) Source #
Crypto era ~ crypto => HasField "certs" ( TxBody era) ( StrictSeq ( DCert crypto)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictSeq ( DCert crypto) Source #
Crypto era ~ c => HasField "collateral" ( TxBody era) ( Set ( TxIn c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> Set ( TxIn c) Source #
HasField "collateralReturn" ( TxBody era) ( StrictMaybe ( TxOut era)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictMaybe ( TxOut era) Source #
Crypto era ~ c => HasField "inputs" ( TxBody era) ( Set ( TxIn c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> Set ( TxIn c) Source #
Crypto era ~ c => HasField "mint" ( TxBody era) ( Value c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> Value c Source #
Crypto era ~ c => HasField "minted" ( TxBody era) ( Set ( ScriptHash c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> Set ( ScriptHash c) Source #
HasField "outputs" ( TxBody era) ( StrictSeq ( TxOut era)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictSeq ( TxOut era) Source #
Crypto era ~ c => HasField "referenceInputs" ( TxBody era) ( Set ( TxIn c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> Set ( TxIn c) Source #
Crypto era ~ c => HasField "reqSignerHashes" ( TxBody era) ( Set ( KeyHash ' Witness c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> Set ( KeyHash ' Witness c) Source #
c ~ Crypto era => HasField "scriptIntegrityHash" ( TxBody era) ( StrictMaybe ( ScriptIntegrityHash c)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictMaybe ( ScriptIntegrityHash c) Source #
HasField "sizedCollateralReturn" ( TxBody era) ( StrictMaybe ( Sized ( TxOut era))) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictMaybe ( Sized ( TxOut era)) Source #
HasField "sizedOutputs" ( TxBody era) ( StrictSeq ( Sized ( TxOut era))) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictSeq ( Sized ( TxOut era)) Source #
HasField "totalCollateral" ( TxBody era) ( StrictMaybe Coin ) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictMaybe Coin Source #
HasField "txnetworkid" ( TxBody era) ( StrictMaybe Network ) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods getField :: TxBody era -> StrictMaybe Network Source #
HasField "update" ( TxBody era) ( StrictMaybe ( Update era)) Source #
Instance details Defined in Cardano.Ledger.Babbage.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.Babbage.TxBody Methods getField :: TxBody era -> Wdrl crypto Source #
Crypto ( Crypto era) => Eq ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods (==) :: TxBody era -> TxBody era -> Bool Source # (/=) :: TxBody era -> TxBody era -> Bool Source #
( Era era, Compactible ( Value era), Show ( Script era), Show ( Value era), Show ( PParamsDelta era)) => Show ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods showsPrec :: Int -> TxBody era -> ShowS Source # show :: TxBody era -> String Source # showList :: [ TxBody era] -> ShowS Source #
Typeable era => ToCBOR ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.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 #
( Era era, Typeable ( Script era), Typeable ( AuxiliaryData era), Compactible ( Value era), Show ( Value era), DecodeNonNegative ( Value era), FromCBOR ( Annotator ( Script era)), SerialisableData ( PParamsDelta era)) => FromCBOR ( Annotator ( TxBody era)) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods fromCBOR :: Decoder s ( Annotator ( TxBody era)) Source # label :: Proxy ( Annotator ( TxBody era)) -> Text Source #
SafeToHash ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods originalBytes :: TxBody era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> TxBody era -> SafeHash c index Source #
( Typeable era, NoThunks ( Value era), NoThunks ( PParamsDelta era)) => NoThunks ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Babbage.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 => HashAnnotated ( TxBody era) EraIndependentTxBody c Source #
Instance details Defined in Cardano.Ledger.Babbage.TxBody Methods indexProxy :: TxBody era -> Proxy EraIndependentTxBody Source #

data Script era Source #

Scripts in the Alonzo Era, Either a Timelock script or a Plutus script.

Instances

Instances details

HasField "referenceScript" ( TxOut era) ( StrictMaybe ( Script era))
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxOut era -> StrictMaybe ( Script era) Source #
Eq ( Script era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods (==) :: Script era -> Script era -> Bool Source # (/=) :: Script era -> Script era -> Bool Source #
Ord ( Script era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods compare :: Script era -> Script era -> Ordering Source # (<) :: Script era -> Script era -> Bool Source # (<=) :: Script era -> Script era -> Bool Source # (>) :: Script era -> Script era -> Bool Source # (>=) :: Script era -> Script era -> Bool Source # max :: Script era -> Script era -> Script era Source # min :: Script era -> Script era -> Script era Source #
( ValidateScript era, Script era ~ Script era) => Show ( Script era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods showsPrec :: Int -> Script era -> ShowS Source # show :: Script era -> String Source # showList :: [ Script era] -> ShowS Source #
Generic ( Script era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Associated Types type Rep ( Script era) :: Type -> Type Source # Methods from :: Script era -> Rep ( Script era) x Source # to :: Rep ( Script era) x -> Script era Source #
NFData ( Script era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods rnf :: Script era -> () Source #
( Typeable ( Crypto era), Typeable era) => ToCBOR ( Script era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods toCBOR :: Script era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( Script era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Script era] -> Size Source #
( Crypto ( Crypto era), Typeable ( Crypto era), Typeable era) => FromCBOR ( Annotator ( Script era))
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods fromCBOR :: Decoder s ( Annotator ( Script era)) Source # label :: Proxy ( Annotator ( Script era)) -> Text Source #
SafeToHash ( Script era)	Both constructors know their original bytes
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods originalBytes :: Script era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> Script era -> SafeHash c index Source #
NoThunks ( Script era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods noThunks :: Context -> Script era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Script era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Script era) -> String Source #
type Rep ( Script era)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Rep ( Script era) = D1 (' MetaData "Script" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-0.1.0.0-xW3meaGVQP43dxJ76zbGD" ' False ) ( C1 (' MetaCons "TimelockScript" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Timelock ( Crypto era)))) :+: C1 (' MetaCons "PlutusScript" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Language ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ShortByteString )))

data AuxiliaryData era Source #

Instances

Instances details

Eq ( AuxiliaryData era)
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods (==) :: AuxiliaryData era -> AuxiliaryData era -> Bool Source # (/=) :: AuxiliaryData era -> AuxiliaryData era -> Bool Source #
Show ( Script era) => Show ( AuxiliaryData era)
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods showsPrec :: Int -> AuxiliaryData era -> ShowS Source # show :: AuxiliaryData era -> String Source # showList :: [ AuxiliaryData era] -> ShowS Source #
NFData ( Script era) => NFData ( AuxiliaryData era)
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods rnf :: AuxiliaryData era -> () Source #
Typeable era => ToCBOR ( AuxiliaryData era)
Instance details Defined in Cardano.Ledger.Alonzo.Data 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, Ord ( Script era), FromCBOR ( Annotator ( Script era)), Script era ~ Script era) => FromCBOR ( Annotator ( AuxiliaryData era))
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods fromCBOR :: Decoder s ( Annotator ( AuxiliaryData era)) Source # label :: Proxy ( Annotator ( AuxiliaryData era)) -> Text Source #
SafeToHash ( AuxiliaryData era)
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods originalBytes :: AuxiliaryData era -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> AuxiliaryData era -> SafeHash c index Source #
NoThunks ( AuxiliaryData era)
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods noThunks :: Context -> AuxiliaryData era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> AuxiliaryData era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( AuxiliaryData era) -> String Source #
Crypto era ~ c => HashAnnotated ( AuxiliaryData era) EraIndependentAuxiliaryData c
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods indexProxy :: AuxiliaryData era -> Proxy EraIndependentAuxiliaryData Source #