Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Babbage.Rules.Utxow

Synopsis

data BabbageUtxowPred era
- = FromAlonzoUtxowFail !( UtxowPredicateFail era)
- | UtxoFailure !( PredicateFailure ( EraRule "UTXO" era))
- | MalformedScriptWitnesses !( Set ( ScriptHash ( Crypto era)))
- | MalformedReferenceScripts !( Set ( ScriptHash ( Crypto era)))
babbageMissingScripts :: forall era. PParams era -> Set ( ScriptHash ( Crypto era)) -> Set ( ScriptHash ( Crypto era)) -> Set ( ScriptHash ( Crypto era)) -> Test ( UtxowPredicateFailure era)
validateFailedBabbageScripts :: forall era. ( ValidateScript era, ExtendedUTxO era, Script era ~ Script era) => Tx era -> UTxO era -> Set ( ScriptHash ( Crypto era)) -> Test ( UtxowPredicateFailure era)
validateScriptsWellFormed :: forall era. ( ValidateScript era, HasField "collateralReturn" ( TxBody era) ( StrictMaybe ( TxOut era)), HasField "_protocolVersion" ( PParams era) ProtVer , Script era ~ Script era, TxOut era ~ TxOut era) => PParams era -> Tx era -> Test ( BabbageUtxowPred era)
data BabbageUTXOW era
babbageUtxowTransition :: forall era. ( ValidateScript era, ValidateAuxiliaryData era ( Crypto era), ExtendedUTxO era, STS ( BabbageUTXOW era), ConcreteBabbage era, Signable ( DSIGN ( Crypto era)) ( Hash ( HASH ( Crypto era)) EraIndependentTxBody ), Embed ( EraRule "UTXO" era) ( BabbageUTXOW era), Environment ( EraRule "UTXO" era) ~ UtxoEnv era, State ( EraRule "UTXO" era) ~ UTxOState era, Signal ( EraRule "UTXO" era) ~ ValidatedTx era, HasField "inputs" ( TxBody era) ( Set ( TxIn ( Crypto era))), HasField "referenceInputs" ( TxBody era) ( Set ( TxIn ( Crypto era)))) => TransitionRule ( BabbageUTXOW era)

Documentation

data BabbageUtxowPred era Source #

Constructors

FromAlonzoUtxowFail !( UtxowPredicateFail era)
UtxoFailure !( PredicateFailure ( EraRule "UTXO" era))	Embed UTXO rule failures
MalformedScriptWitnesses !( Set ( ScriptHash ( Crypto era)))	the set of malformed script witnesses
MalformedReferenceScripts !( Set ( ScriptHash ( Crypto era)))	the set of malformed script witnesses

Instances

Instances details

( Era era, Eq ( UtxowPredicateFailure era), Eq ( PredicateFailure ( EraRule "UTXO" era)), Eq ( PredicateFailure ( EraRule "UTXOS" era)), Eq ( TxOut era), Eq ( Script era)) => Eq ( BabbageUtxowPred era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods (==) :: BabbageUtxowPred era -> BabbageUtxowPred era -> Bool Source # (/=) :: BabbageUtxowPred era -> BabbageUtxowPred era -> Bool Source #
( Era era, Show ( UtxowPredicateFailure era), Show ( PredicateFailure ( EraRule "UTXO" era)), Show ( PredicateFailure ( EraRule "UTXOS" era)), Show ( Script era), Show ( TxOut era), Show ( TxBody era), Show ( Value era)) => Show ( BabbageUtxowPred era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods showsPrec :: Int -> BabbageUtxowPred era -> ShowS Source # show :: BabbageUtxowPred era -> String Source # showList :: [ BabbageUtxowPred era] -> ShowS Source #
( Era era, Typeable era, ToCBOR ( TxOut era), ToCBOR ( Value era), ToCBOR ( PredicateFailure ( EraRule "UTXOS" era)), ToCBOR ( PredicateFailure ( EraRule "UTXO" era)), ToCBOR ( Script era), Typeable ( AuxiliaryData era)) => ToCBOR ( BabbageUtxowPred era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods toCBOR :: BabbageUtxowPred era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( BabbageUtxowPred era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ BabbageUtxowPred era] -> Size Source #
( Era era, Typeable era, FromCBOR ( TxOut era), FromCBOR ( Value era), FromCBOR ( PredicateFailure ( EraRule "UTXOS" era)), FromCBOR ( PredicateFailure ( EraRule "UTXO" era)), Typeable ( Script era), Typeable ( AuxiliaryData era)) => FromCBOR ( BabbageUtxowPred era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods fromCBOR :: Decoder s ( BabbageUtxowPred era) Source # label :: Proxy ( BabbageUtxowPred era) -> Text Source #
NoThunks ( BabbageUtxowPred era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods noThunks :: Context -> BabbageUtxowPred era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> BabbageUtxowPred era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( BabbageUtxowPred era) -> String Source #
Inject ( UtxowPredicateFail era) ( BabbageUtxowPred era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods inject :: UtxowPredicateFail era -> BabbageUtxowPred era Source #
Inject ( UtxowPredicateFailure era) ( BabbageUtxowPred era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods inject :: UtxowPredicateFailure era -> BabbageUtxowPred era Source #
Inject ( BabbageUtxowPred era) ( BabbageUtxowPred era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods inject :: BabbageUtxowPred era -> BabbageUtxowPred era Source #

babbageMissingScripts :: forall era. PParams era -> Set ( ScriptHash ( Crypto era)) -> Set ( ScriptHash ( Crypto era)) -> Set ( ScriptHash ( Crypto era)) -> Test ( UtxowPredicateFailure era) Source #

validateFailedBabbageScripts :: forall era. ( ValidateScript era, ExtendedUTxO era, Script era ~ Script era) => Tx era -> UTxO era -> Set ( ScriptHash ( Crypto era)) -> Test ( UtxowPredicateFailure era) Source #

validateScriptsWellFormed :: forall era. ( ValidateScript era, HasField "collateralReturn" ( TxBody era) ( StrictMaybe ( TxOut era)), HasField "_protocolVersion" ( PParams era) ProtVer , Script era ~ Script era, TxOut era ~ TxOut era) => PParams era -> Tx era -> Test ( BabbageUtxowPred era) Source #

data BabbageUTXOW era Source #

Instances

Instances details

( ValidateScript era, ValidateAuxiliaryData era ( Crypto era), ExtendedUTxO era, Signable ( DSIGN ( Crypto era)) ( Hash ( HASH ( Crypto era)) EraIndependentTxBody ), Tx era ~ ValidatedTx era, ConcreteBabbage era, Embed ( EraRule "UTXO" era) ( BabbageUTXOW era), Environment ( EraRule "UTXO" era) ~ UtxoEnv era, State ( EraRule "UTXO" era) ~ UTxOState era, Signal ( EraRule "UTXO" era) ~ ValidatedTx era, Eq ( PredicateFailure ( EraRule "UTXOS" era)), Show ( PredicateFailure ( EraRule "UTXOS" era))) => STS ( BabbageUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Associated Types type State ( BabbageUTXOW era) Source # type Signal ( BabbageUTXOW era) Source # type Environment ( BabbageUTXOW era) Source # type BaseM ( BabbageUTXOW era) :: Type -> Type Source # type Event ( BabbageUTXOW era) Source # type PredicateFailure ( BabbageUTXOW era) Source # Methods initialRules :: [ InitialRule ( BabbageUTXOW era)] Source # transitionRules :: [ TransitionRule ( BabbageUTXOW era)] Source # assertions :: [ Assertion ( BabbageUTXOW era)] Source # renderAssertionViolation :: AssertionViolation ( BabbageUTXOW era) -> String Source #
( Era era, STS ( BabbageUTXO era), PredicateFailure ( EraRule "UTXO" era) ~ BabbageUtxoPred era, Event ( EraRule "UTXO" era) ~ UtxoEvent era, BaseM ( BabbageUTXOW era) ~ ShelleyBase , PredicateFailure ( BabbageUTXOW era) ~ BabbageUtxowPred era, Event ( BabbageUTXOW era) ~ AlonzoEvent era) => Embed ( BabbageUTXO era) ( BabbageUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow Methods wrapFailed :: PredicateFailure ( BabbageUTXO era) -> PredicateFailure ( BabbageUTXOW era) Source # wrapEvent :: Event ( BabbageUTXO era) -> Event ( BabbageUTXOW era) Source #
( Era era, STS ( BabbageUTXOW era), Event ( EraRule "UTXOW" era) ~ AlonzoEvent era, PredicateFailure ( EraRule "UTXOW" era) ~ BabbageUtxowPred era) => Embed ( BabbageUTXOW era) ( BabbageLEDGER era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger Methods wrapFailed :: PredicateFailure ( BabbageUTXOW era) -> PredicateFailure ( BabbageLEDGER era) Source # wrapEvent :: Event ( BabbageUTXOW era) -> Event ( BabbageLEDGER era) Source #
type State ( BabbageUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type State ( BabbageUTXOW era) = UTxOState era
type Event ( BabbageUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type Event ( BabbageUTXOW era) = AlonzoEvent era
type PredicateFailure ( BabbageUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type PredicateFailure ( BabbageUTXOW era) = BabbageUtxowPred era
type BaseM ( BabbageUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type BaseM ( BabbageUTXOW era) = ShelleyBase
type Environment ( BabbageUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type Environment ( BabbageUTXOW era) = UtxoEnv era
type Signal ( BabbageUTXOW era) Source #
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type Signal ( BabbageUTXOW era) = ValidatedTx era

babbageUtxowTransition :: forall era. ( ValidateScript era, ValidateAuxiliaryData era ( Crypto era), ExtendedUTxO era, STS ( BabbageUTXOW era), ConcreteBabbage era, Signable ( DSIGN ( Crypto era)) ( Hash ( HASH ( Crypto era)) EraIndependentTxBody ), Embed ( EraRule "UTXO" era) ( BabbageUTXOW era), Environment ( EraRule "UTXO" era) ~ UtxoEnv era, State ( EraRule "UTXO" era) ~ UTxOState era, Signal ( EraRule "UTXO" era) ~ ValidatedTx era, HasField "inputs" ( TxBody era) ( Set ( TxIn ( Crypto era))), HasField "referenceInputs" ( TxBody era) ( Set ( TxIn ( Crypto era)))) => TransitionRule ( BabbageUTXOW era) Source #

A very specialized transitionRule function for the Babbage Era.