Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Alonzo

Synopsis

data AlonzoEra c
type Self c = AlonzoEra c
data TxOut era
type Value era = Value ( Crypto era)
data TxBody era
data Script era
data AuxiliaryData era
type PParams era = PParams' Identity era
type PParamsDelta era = PParamsUpdate era

Documentation

data AlonzoEra c Source #

The Alonzo era

Instances

Instances details

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

type Self c = AlonzoEra 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.Alonzo.TxBody Methods getField :: TxOut era -> val Source #
( Era era, c ~ Crypto era) => HasField "datahash" ( TxOut era) ( StrictMaybe ( DataHash c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxOut era -> StrictMaybe ( DataHash c) Source #
HasField "outputs" ( TxBody era) ( StrictSeq ( TxOut era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> StrictSeq ( TxOut era) Source #
HasField "referenceScript" ( TxOut era) ( StrictMaybe ( Script era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxOut era -> StrictMaybe ( Script era) Source #
( Eq ( Value era), Compactible ( Value era)) => Eq ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods (==) :: TxOut era -> TxOut era -> Bool Source # (/=) :: TxOut era -> TxOut era -> Bool Source #
( Era era, Show ( Value era), Show ( CompactForm ( Value era))) => Show ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.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.Alonzo.TxBody Methods rnf :: TxOut era -> () Source #
( Era era, Show ( Value era), ToJSON ( Value era)) => ToJSON ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods toJSON :: TxOut era -> Value Source # toEncoding :: TxOut era -> Encoding Source # toJSONList :: [ TxOut era] -> Value Source # toEncodingList :: [ TxOut era] -> Encoding Source #
( Era era, Compactible ( Value era)) => ToCBOR ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.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), Compactible ( Value era)) => FromCBOR ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods fromCBOR :: Decoder s ( TxOut era) Source # label :: Proxy ( TxOut era) -> Text Source #
( Era era, DecodeNonNegative ( Value era), Show ( Value era), Compactible ( Value era)) => FromSharedCBOR ( TxOut era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.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.Alonzo.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.Alonzo.TxBody type Share ( TxOut era) = Interns ( Credential ' Staking ( Crypto era))

type Value era = Value ( Crypto era) Source #

data TxBody era Source #

Instances

Instances details

HasField "txfee" ( TxBody era) Coin Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> Coin Source #
HasField "vldt" ( TxBody era) ValidityInterval Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> ValidityInterval Source #
c ~ Crypto era => HasField "adHash" ( TxBody era) ( StrictMaybe ( AuxiliaryDataHash c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.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.Alonzo.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.Alonzo.TxBody Methods getField :: TxBody era -> Set ( TxIn c) Source #
Crypto era ~ c => HasField "inputs" ( TxBody era) ( Set ( TxIn c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.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.Alonzo.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.Alonzo.TxBody Methods getField :: TxBody era -> Set ( ScriptHash c) Source #
HasField "outputs" ( TxBody era) ( StrictSeq ( TxOut era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> StrictSeq ( TxOut era) Source #
Crypto era ~ crypto => HasField "referenceInputs" ( TxBody era) ( Set ( TxIn crypto)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> Set ( TxIn crypto) Source #
Crypto era ~ c => HasField "reqSignerHashes" ( TxBody era) ( Set ( KeyHash ' Witness c)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.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.Alonzo.TxBody Methods getField :: TxBody era -> StrictMaybe ( ScriptIntegrityHash c) Source #
HasField "txnetworkid" ( TxBody era) ( StrictMaybe Network ) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxBody era -> StrictMaybe Network Source #
HasField "update" ( TxBody era) ( StrictMaybe ( Update era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.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.Alonzo.TxBody Methods getField :: TxBody era -> Wdrl crypto Source #
Crypto ( Crypto era) => Eq ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods (==) :: TxBody era -> TxBody era -> Bool Source # (/=) :: TxBody era -> TxBody era -> Bool Source #
( Era era, Compactible ( Value era), Show ( Value era), Show ( PParamsDelta era)) => Show ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods showsPrec :: Int -> TxBody era -> ShowS Source # show :: TxBody era -> String Source # showList :: [ TxBody era] -> ShowS Source #
( Crypto ( Crypto era), Typeable era, NFData ( Value era), NFData ( PParamsDelta era)) => NFData ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods rnf :: TxBody era -> () Source #
Typeable era => ToCBOR ( TxBody era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.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.Alonzo.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.Alonzo.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.Alonzo.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.Alonzo.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)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxBody Methods getField :: TxOut era -> StrictMaybe ( Script era) Source #
Eq ( Script era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods (==) :: Script era -> Script era -> Bool Source # (/=) :: Script era -> Script era -> Bool Source #
Ord ( Script era) Source #
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) Source #
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) Source #
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) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Scripts Methods rnf :: Script era -> () Source #
( Typeable ( Crypto era), Typeable era) => ToCBOR ( Script era) Source #
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)) Source #
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) Source #	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) Source #
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) Source #
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) Source #
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) Source #
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) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods rnf :: AuxiliaryData era -> () Source #
Typeable era => ToCBOR ( AuxiliaryData era) Source #
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)) Source #
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) Source #
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) Source #
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 Source #
Instance details Defined in Cardano.Ledger.Alonzo.Data Methods indexProxy :: AuxiliaryData era -> Proxy EraIndependentAuxiliaryData Source #

type PParams era = PParams' Identity era Source #

type PParamsDelta era = PParamsUpdate era Source #