Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Babbage.Rules.Utxos

Documentation

type ConcreteBabbage era = ( Script era ~ Script era, Value era ~ Value ( Crypto era), TxBody era ~ TxBody era, PParams era ~ PParams era, PParamsDelta era ~ PParamsUpdate era, TxOut era ~ TxOut era, Tx era ~ ValidatedTx era, Witnesses era ~ TxWitness era) Source #

data BabbageUTXOS era Source #

Instances

Instances details

( Era era, ConcreteBabbage era, ExtendedUTxO era, Embed ( EraRule "PPUP" era) ( BabbageUTXOS era), Environment ( EraRule "PPUP" era) ~ PPUPEnv era, State ( EraRule "PPUP" era) ~ PPUPState era, Signal ( EraRule "PPUP" era) ~ Maybe ( Update era), ValidateScript era, ToCBOR ( PredicateFailure ( EraRule "PPUP" era))) => STS ( BabbageUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos Associated Types type State ( BabbageUTXOS era) Source # type Signal ( BabbageUTXOS era) Source # type Environment ( BabbageUTXOS era) Source # type BaseM ( BabbageUTXOS era) :: Type -> Type Source # type Event ( BabbageUTXOS era) Source # type PredicateFailure ( BabbageUTXOS era) Source # Methods initialRules :: [ InitialRule ( BabbageUTXOS era)] Source # transitionRules :: [ TransitionRule ( BabbageUTXOS era)] Source # assertions :: [ Assertion ( BabbageUTXOS era)] Source # renderAssertionViolation :: AssertionViolation ( BabbageUTXOS era) -> String Source #
( Era era, STS ( PPUP era), PredicateFailure ( EraRule "PPUP" era) ~ PpupPredicateFailure era, Event ( EraRule "PPUP" era) ~ Event ( PPUP era)) => Embed ( PPUP era) ( BabbageUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos Methods wrapFailed :: PredicateFailure ( PPUP era) -> PredicateFailure ( BabbageUTXOS era) Source # wrapEvent :: Event ( PPUP era) -> Event ( BabbageUTXOS era) Source #
( Era era, STS ( BabbageUTXOS era), PredicateFailure ( EraRule "UTXOS" era) ~ UtxosPredicateFailure era, Event ( EraRule "UTXOS" era) ~ Event ( BabbageUTXOS era)) => Embed ( BabbageUTXOS era) ( BabbageUTXO era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo Methods wrapFailed :: PredicateFailure ( BabbageUTXOS era) -> PredicateFailure ( BabbageUTXO era) Source # wrapEvent :: Event ( BabbageUTXOS era) -> Event ( BabbageUTXO era) Source #
type State ( BabbageUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type State ( BabbageUTXOS era) = UTxOState era
type Event ( BabbageUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type Event ( BabbageUTXOS era) = UtxosEvent era
type PredicateFailure ( BabbageUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type PredicateFailure ( BabbageUTXOS era) = UtxosPredicateFailure era
type BaseM ( BabbageUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type BaseM ( BabbageUTXOS era) = ShelleyBase
type Environment ( BabbageUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type Environment ( BabbageUTXOS era) = UtxoEnv era
type Signal ( BabbageUTXOS era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type Signal ( BabbageUTXOS era) = ValidatedTx era

utxosTransition :: forall era. ( ConcreteBabbage era, ExtendedUTxO era, Environment ( EraRule "PPUP" era) ~ PPUPEnv era, State ( EraRule "PPUP" era) ~ PPUPState era, Signal ( EraRule "PPUP" era) ~ Maybe ( Update era), Embed ( EraRule "PPUP" era) ( BabbageUTXOS era), ValidateScript era, ToCBOR ( PredicateFailure ( EraRule "PPUP" era)), HasField "collateral" ( TxBody era) ( Set ( TxIn ( Crypto era)))) => TransitionRule ( BabbageUTXOS era) Source #

scriptsYes :: forall era. ( ValidateScript era, ConcreteBabbage era, ExtendedUTxO era, STS ( BabbageUTXOS era), Environment ( EraRule "PPUP" era) ~ PPUPEnv era, State ( EraRule "PPUP" era) ~ PPUPState era, Signal ( EraRule "PPUP" era) ~ Maybe ( Update era), Embed ( EraRule "PPUP" era) ( BabbageUTXOS era)) => TransitionRule ( BabbageUTXOS era) Source #

scriptsNo :: forall era. ( ValidateScript era, ConcreteBabbage era, ExtendedUTxO era, STS ( BabbageUTXOS era), HasField "collateral" ( TxBody era) ( Set ( TxIn ( Crypto era)))) => TransitionRule ( BabbageUTXOS era) Source #