cardano-ledger-alonzo-1.15.0.0: Cardano ledger introducing Plutus Core
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Alonzo.HuddleSpec

Documentation

module Cardano.Ledger.Mary.HuddleSpec

data AlonzoEra Source #

Instances

Instances details
AllegraEraScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

mkTimeStart ∷ SlotNo → NativeScript AlonzoEra Source #

getTimeStart ∷ NativeScript AlonzoEra → Maybe SlotNo Source #

mkTimeExpire ∷ SlotNo → NativeScript AlonzoEra Source #

getTimeExpire ∷ NativeScript AlonzoEra → Maybe SlotNo Source #

AllegraEraTxAuxData AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

nativeScriptsTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (StrictSeq (NativeScript AlonzoEra)) Source #

AllegraEraTxBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) ValidityInterval Source #

AlonzoEraPParams AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Methods

hkdCoinsPerUTxOWordL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, ExactEra AlonzoEra AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f CoinPerWord) Source #

hkdCostModelsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f CostModels) Source #

hkdPricesL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Prices) Source #

hkdMaxTxExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f ExUnits) Source #

hkdMaxBlockExUnitsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f ExUnits) Source #

hkdMaxValSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Natural) Source #

hkdCollateralPercentageL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Natural) Source #

hkdMaxCollateralInputsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Natural) Source #

EraPlutusContext AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

Associated Types

type ContextError AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

type ContextError AlonzoEra = AlonzoContextError AlonzoEra
newtype TxInfoResult AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

newtype TxInfoResult AlonzoEra = AlonzoTxInfoResult (Either (ContextError AlonzoEra) (PlutusTxInfo 'PlutusV1))

Methods

mkSupportedLanguage ∷ Language → Maybe (SupportedLanguage AlonzoEra) Source #

mkTxInfoResult ∷ LedgerTxInfo AlonzoEra → TxInfoResult AlonzoEra Source #

lookupTxInfoResult ∷ ∀ (l ∷ Language). EraPlutusTxInfo l AlonzoEra ⇒ SLanguage l → TxInfoResult AlonzoEra → Either (ContextError AlonzoEra) (PlutusTxInfo l) Source #

mkPlutusWithContext ∷ PlutusScript AlonzoEra → ScriptHash → PlutusPurpose AsIxItem AlonzoEra → LedgerTxInfo AlonzoEra → TxInfoResult AlonzoEra → (Data AlonzoEra, ExUnits) → CostModel → Either (ContextError AlonzoEra) PlutusWithContext Source #

AlonzoEraScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

newtype PlutusScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

newtype PlutusScript AlonzoEra = AlonzoPlutusV1 (Plutus 'PlutusV1)
type PlutusPurpose f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type PlutusPurpose f AlonzoEra = AlonzoPlutusPurpose f AlonzoEra

Methods

eraMaxLanguage ∷ Language Source #

toPlutusScript ∷ Script AlonzoEra → Maybe (PlutusScript AlonzoEra) Source #

fromPlutusScript ∷ PlutusScript AlonzoEra → Script AlonzoEra Source #

mkPlutusScript ∷ ∀ (l ∷ Language) m. (PlutusLanguage l, MonadFail m) ⇒ Plutus l → m (PlutusScript AlonzoEra) Source #

withPlutusScript ∷ PlutusScript AlonzoEra → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a Source #

hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g AlonzoEra → PlutusPurpose f AlonzoEra Source #

mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f AlonzoEra Source #

toSpendingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 TxIn) Source #

mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f AlonzoEra Source #

toMintingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 PolicyID) Source #

mkCertifyingPurpose ∷ f Word32 (TxCert AlonzoEra) → PlutusPurpose f AlonzoEra Source #

toCertifyingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 (TxCert AlonzoEra)) Source #

mkRewardingPurpose ∷ f Word32 RewardAccount → PlutusPurpose f AlonzoEra Source #

toRewardingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 RewardAccount) Source #

upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra AlonzoEra) → PlutusPurpose AsIx AlonzoEra Source #

AlonzoEraTx AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

isValidTxL ∷ Lens' (Tx 'TopTx AlonzoEra) IsValid Source #

AlonzoEraTxAuxData AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (Map Language (NonEmpty PlutusBinary)) Source #

AlonzoEraTxBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

collateralInputsTxBodyL ∷ Lens' (TxBody 'TopTx AlonzoEra) (Set TxIn) Source #

reqSignerHashesTxBodyL ∷ ∀ (l ∷ TxLevel). AtMostEra "Conway" AlonzoEra ⇒ Lens' (TxBody l AlonzoEra) (Set (KeyHash 'Guard)) Source #

reqSignerHashesTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Set (KeyHash 'Guard)) Source #

scriptIntegrityHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictMaybe ScriptIntegrityHash) Source #

networkIdTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictMaybe Network) Source #

redeemerPointer ∷ ∀ (l ∷ TxLevel). TxBody l AlonzoEra → PlutusPurpose AsItem AlonzoEra → StrictMaybe (PlutusPurpose AsIx AlonzoEra) Source #

redeemerPointerInverse ∷ ∀ (l ∷ TxLevel). TxBody l AlonzoEra → PlutusPurpose AsIx AlonzoEra → StrictMaybe (PlutusPurpose AsIxItem AlonzoEra) Source #

AlonzoEraTxOut AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

dataHashTxOutL ∷ Lens' (TxOut AlonzoEra) (StrictMaybe DataHash) Source #

datumTxOutF ∷ SimpleGetter (TxOut AlonzoEra) (Datum AlonzoEra) Source #

AlonzoEraTxWits AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

datsTxWitsL ∷ Lens' (TxWits AlonzoEra) (TxDats AlonzoEra) Source #

rdmrsTxWitsL ∷ Lens' (TxWits AlonzoEra) (Redeemers AlonzoEra) Source #

AlonzoEraUTxO AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

Methods

getSupplementalDataHashes ∷ ∀ (l ∷ TxLevel). UTxO AlonzoEra → TxBody l AlonzoEra → Set DataHash Source #

getSpendingDatum ∷ ∀ (l ∷ TxLevel). UTxO AlonzoEra → Tx l AlonzoEra → PlutusPurpose AsItem AlonzoEra → Maybe (Data AlonzoEra) Source #

EraBlockBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

Associated Types

type BlockBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

type BlockBody AlonzoEra = AlonzoBlockBody AlonzoEra

Methods

mkBasicBlockBody ∷ BlockBody AlonzoEra Source #

txSeqBlockBodyL ∷ Lens' (BlockBody AlonzoEra) (StrictSeq (Tx 'TopTx AlonzoEra)) Source #

hashBlockBody ∷ BlockBody AlonzoEra → Hash HASH EraIndependentBlockBody Source #

numSegComponents ∷ Word64 Source #

EraScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Script AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Script AlonzoEra = AlonzoScript AlonzoEra
type NativeScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type NativeScript AlonzoEra = Timelock AlonzoEra

Methods

upgradeScript ∷ Script (PreviousEra AlonzoEra) → Script AlonzoEra Source #

scriptPrefixTag ∷ Script AlonzoEra → ByteString Source #

getNativeScript ∷ Script AlonzoEra → Maybe (NativeScript AlonzoEra) Source #

fromNativeScript ∷ NativeScript AlonzoEra → Script AlonzoEra Source #

EraTx AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

newtype Tx l AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

newtype Tx l AlonzoEra = MkAlonzoTx {}

Methods

mkBasicTx ∷ ∀ (l ∷ TxLevel). TxBody l AlonzoEra → Tx l AlonzoEra Source #

bodyTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l AlonzoEra) (TxBody l AlonzoEra) Source #

witsTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l AlonzoEra) (TxWits AlonzoEra) Source #

auxDataTxL ∷ ∀ (l ∷ TxLevel). Lens' (Tx l AlonzoEra) (StrictMaybe (TxAuxData AlonzoEra)) Source #

sizeTxF ∷ ∀ (l ∷ TxLevel). HasCallStack ⇒ SimpleGetter (Tx l AlonzoEra) Word32 Source #

sizeTxForFeeCalculation ∷ ∀ (l ∷ TxLevel). (HasCallStack, SafeToHash (TxWits AlonzoEra), Typeable l) ⇒ Tx l AlonzoEra → Word32 Source #

validateNativeScript ∷ ∀ (l ∷ TxLevel). Tx l AlonzoEra → NativeScript AlonzoEra → Bool Source #

getMinFeeTx ∷ ∀ (l ∷ TxLevel). PParams AlonzoEra → Tx l AlonzoEra → Int → Coin Source #

EraTxAuxData AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Associated Types

type TxAuxData AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type TxAuxData AlonzoEra = AlonzoTxAuxData AlonzoEra

Methods

mkBasicTxAuxData ∷ TxAuxData AlonzoEra Source #

metadataTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (Map Word64 Metadatum) Source #

validateTxAuxData ∷ ProtVer → TxAuxData AlonzoEra → Bool Source #

EraTxBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Associated Types

newtype TxBody l AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

newtype TxBody l AlonzoEra = MkAlonzoTxBody (MemoBytes (AlonzoTxBodyRaw l AlonzoEra))

Methods

mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l AlonzoEra Source #

inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (Set TxIn) Source #

outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictSeq (TxOut AlonzoEra)) Source #

feeTxBodyL ∷ Lens' (TxBody 'TopTx AlonzoEra) Coin Source #

withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) Withdrawals Source #

auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictMaybe TxAuxDataHash) Source #

spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Set TxIn) Source #

allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx AlonzoEra) (Set TxIn) Source #

certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) (StrictSeq (TxCert AlonzoEra)) Source #

getTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams AlonzoEra → (KeyHash 'StakePool → Bool) → TxBody l AlonzoEra → Coin Source #

getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams AlonzoEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody l AlonzoEra → Coin Source #

getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx AlonzoEra → Int Source #

EraTxOut AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type TxOut AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type TxOut AlonzoEra = AlonzoTxOut AlonzoEra

Methods

mkBasicTxOut ∷ Addr → Value AlonzoEra → TxOut AlonzoEra Source #

upgradeTxOut ∷ TxOut (PreviousEra AlonzoEra) → TxOut AlonzoEra Source #

valueTxOutL ∷ Lens' (TxOut AlonzoEra) (Value AlonzoEra) Source #

compactValueTxOutL ∷ Lens' (TxOut AlonzoEra) (CompactForm (Value AlonzoEra)) Source #

valueEitherTxOutL ∷ Lens' (TxOut AlonzoEra) (Either (Value AlonzoEra) (CompactForm (Value AlonzoEra))) Source #

addrTxOutL ∷ Lens' (TxOut AlonzoEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut AlonzoEra) CompactAddr Source #

addrEitherTxOutL ∷ Lens' (TxOut AlonzoEra) (Either Addr CompactAddr) Source #

getMinCoinSizedTxOut ∷ PParams AlonzoEra → Sized (TxOut AlonzoEra) → Coin Source #

getMinCoinTxOut ∷ PParams AlonzoEra → TxOut AlonzoEra → Coin Source #

EraTxWits AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type TxWits AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type TxWits AlonzoEra = AlonzoTxWits AlonzoEra

Methods

mkBasicTxWits ∷ TxWits AlonzoEra Source #

addrTxWitsL ∷ Lens' (TxWits AlonzoEra) (Set (WitVKey 'Witness)) Source #

bootAddrTxWitsL ∷ Lens' (TxWits AlonzoEra) (Set BootstrapWitness) Source #

scriptTxWitsL ∷ Lens' (TxWits AlonzoEra) (Map ScriptHash (Script AlonzoEra)) Source #

EraPParams AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Associated Types

type PParamsHKD f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type PParamsHKD f AlonzoEra = AlonzoPParams f AlonzoEra
type UpgradePParams f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type UpgradePParams f AlonzoEra = UpgradeAlonzoPParams f
type DowngradePParams f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type DowngradePParams f AlonzoEra = DowngradeAlonzoPParams f

Methods

applyPPUpdates ∷ PParams AlonzoEra → PParamsUpdate AlonzoEra → PParams AlonzoEra Source #

emptyPParamsIdentity ∷ PParamsHKD Identity AlonzoEra Source #

emptyPParamsStrictMaybe ∷ PParamsHKD StrictMaybe AlonzoEra Source #

emptyUpgradePParamsUpdate ∷ UpgradePParams StrictMaybe AlonzoEra Source #

upgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDApplicative f, EraPParams (PreviousEra AlonzoEra)) ⇒ UpgradePParams f AlonzoEra → PParamsHKD f (PreviousEra AlonzoEra) → PParamsHKD f AlonzoEra Source #

downgradePParamsHKD ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, EraPParams (PreviousEra AlonzoEra)) ⇒ DowngradePParams f AlonzoEra → PParamsHKD f AlonzoEra → PParamsHKD f (PreviousEra AlonzoEra) Source #

hkdMinFeeACompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

hkdMinFeeBCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

hkdMaxBBSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Word32) Source #

hkdMaxTxSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Word32) Source #

hkdMaxBHSizeL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Word16) Source #

hkdKeyDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

hkdPoolDepositCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

hkdEMaxL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f EpochInterval) Source #

hkdNOptL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Word16) Source #

hkdA0L ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f NonNegativeInterval) Source #

hkdRhoL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f UnitInterval) Source #

hkdTauL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f UnitInterval) Source #

hkdDL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Alonzo" AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f UnitInterval) Source #

ppDG ∷ SimpleGetter (PParams AlonzoEra) UnitInterval Source #

hkdExtraEntropyL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Alonzo" AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Nonce) Source #

hkdProtocolVersionL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Babbage" AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f ProtVer) Source #

ppProtocolVersionL ∷ Lens' (PParams AlonzoEra) ProtVer Source #

ppuProtocolVersionL ∷ Lens' (PParamsUpdate AlonzoEra) (StrictMaybe ProtVer) Source #

hkdMinUTxOValueCompactL ∷ ∀ (f ∷ Type → Type). (HKDFunctor f, AtMostEra "Mary" AlonzoEra) ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

hkdMinPoolCostCompactL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f (CompactForm Coin)) Source #

eraPParams ∷ [PParam AlonzoEra] Source #

EraTxCert AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

Associated Types

type TxCert AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

type TxCert AlonzoEra = ShelleyTxCert AlonzoEra
type TxCertUpgradeError AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

type TxCertUpgradeError AlonzoEra = Void

Methods

upgradeTxCert ∷ TxCert (PreviousEra AlonzoEra) → Either (TxCertUpgradeError AlonzoEra) (TxCert AlonzoEra) Source #

getVKeyWitnessTxCert ∷ TxCert AlonzoEra → Maybe (KeyHash 'Witness) Source #

getScriptWitnessTxCert ∷ TxCert AlonzoEra → Maybe ScriptHash Source #

mkRegPoolTxCert ∷ StakePoolParams → TxCert AlonzoEra Source #

getRegPoolTxCert ∷ TxCert AlonzoEra → Maybe StakePoolParams Source #

mkRetirePoolTxCert ∷ KeyHash 'StakePool → EpochNo → TxCert AlonzoEra Source #

getRetirePoolTxCert ∷ TxCert AlonzoEra → Maybe (KeyHash 'StakePool, EpochNo) Source #

lookupRegStakeTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'Staking) Source #

lookupUnRegStakeTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'Staking) Source #

getTotalDepositsTxCerts ∷ Foldable f ⇒ PParams AlonzoEra → (KeyHash 'StakePool → Bool) → f (TxCert AlonzoEra) → Coin Source #

getTotalRefundsTxCerts ∷ Foldable f ⇒ PParams AlonzoEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → f (TxCert AlonzoEra) → Coin Source #

EraTxLevel AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

Associated Types

type STxLevel l AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type STxLevel l AlonzoEra = STxTopLevel l AlonzoEra
EraGenesis AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

Associated Types

type Genesis AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

type Genesis AlonzoEra = AlonzoGenesis
EraAccounts AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.Account

Associated Types

type AccountState AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.Account

type AccountState AlonzoEra = ShelleyAccountState AlonzoEra
type Accounts AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.Account

type Accounts AlonzoEra = ShelleyAccounts AlonzoEra

Methods

addAccountState ∷ Credential 'Staking → AccountState AlonzoEra → Accounts AlonzoEra → Accounts AlonzoEra Source #

accountsMapL ∷ Lens' (Accounts AlonzoEra) (Map (Credential 'Staking) (AccountState AlonzoEra)) Source #

balanceAccountStateL ∷ Lens' (AccountState AlonzoEra) (CompactForm Coin) Source #

depositAccountStateL ∷ Lens' (AccountState AlonzoEra) (CompactForm Coin) Source #

stakePoolDelegationAccountStateL ∷ Lens' (AccountState AlonzoEra) (Maybe (KeyHash 'StakePool)) Source #

unregisterAccount ∷ Credential 'Staking → Accounts AlonzoEra → (Maybe (AccountState AlonzoEra), Accounts AlonzoEra) Source #

EraCertState AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.CertState

Associated Types

type CertState AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.CertState

type CertState AlonzoEra = ShelleyCertState AlonzoEra

Methods

certDStateL ∷ Lens' (CertState AlonzoEra) (DState AlonzoEra) Source #

certPStateL ∷ Lens' (CertState AlonzoEra) (PState AlonzoEra) Source #

obligationCertState ∷ CertState AlonzoEra → Obligations Source #

certsTotalDepositsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody AlonzoEra ⇒ PParams AlonzoEra → CertState AlonzoEra → TxBody t AlonzoEra → Coin Source #

certsTotalRefundsTxBody ∷ ∀ (t ∷ TxLevel). EraTxBody AlonzoEra ⇒ PParams AlonzoEra → CertState AlonzoEra → TxBody t AlonzoEra → Coin Source #

EraGov AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

Associated Types

type GovState AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type GovState AlonzoEra = ShelleyGovState AlonzoEra

Methods

emptyGovState ∷ GovState AlonzoEra Source #

curPParamsGovStateL ∷ Lens' (GovState AlonzoEra) (PParams AlonzoEra) Source #

prevPParamsGovStateL ∷ Lens' (GovState AlonzoEra) (PParams AlonzoEra) Source #

futurePParamsGovStateL ∷ Lens' (GovState AlonzoEra) (FuturePParams AlonzoEra) Source #

obligationGovState ∷ GovState AlonzoEra → Obligations Source #

EraStake AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.Stake

Associated Types

type InstantStake AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.Stake

type InstantStake AlonzoEra = ShelleyInstantStake AlonzoEra

Methods

instantStakeCredentialsL ∷ Lens' (InstantStake AlonzoEra) (Map (Credential 'Staking) (CompactForm Coin)) Source #

addInstantStake ∷ UTxO AlonzoEra → InstantStake AlonzoEra → InstantStake AlonzoEra Source #

deleteInstantStake ∷ UTxO AlonzoEra → InstantStake AlonzoEra → InstantStake AlonzoEra Source #

resolveInstantStake ∷ InstantStake AlonzoEra → Accounts AlonzoEra → Stake Source #

EraUTxO AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

Associated Types

type ScriptsNeeded AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

type ScriptsNeeded AlonzoEra = AlonzoScriptsNeeded AlonzoEra

Methods

consumed ∷ ∀ (t ∷ TxLevel). PParams AlonzoEra → CertState AlonzoEra → UTxO AlonzoEra → TxBody t AlonzoEra → Value AlonzoEra Source #

getConsumedValue ∷ ∀ (t ∷ TxLevel). PParams AlonzoEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → UTxO AlonzoEra → TxBody t AlonzoEra → Value AlonzoEra Source #

getProducedValue ∷ ∀ (t ∷ TxLevel). PParams AlonzoEra → (KeyHash 'StakePool → Bool) → TxBody t AlonzoEra → Value AlonzoEra Source #

getScriptsProvided ∷ ∀ (t ∷ TxLevel). UTxO AlonzoEra → Tx t AlonzoEra → ScriptsProvided AlonzoEra Source #

getScriptsNeeded ∷ ∀ (t ∷ TxLevel). UTxO AlonzoEra → TxBody t AlonzoEra → ScriptsNeeded AlonzoEra Source #

getScriptsHashesNeeded ∷ ScriptsNeeded AlonzoEra → Set ScriptHash Source #

getWitsVKeyNeeded ∷ ∀ (t ∷ TxLevel). CertState AlonzoEra → UTxO AlonzoEra → TxBody t AlonzoEra → Set (KeyHash 'Witness) Source #

getMinFeeTxUtxo ∷ ∀ (t ∷ TxLevel). PParams AlonzoEra → Tx t AlonzoEra → UTxO AlonzoEra → Coin Source #

Era AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

Associated Types

type EraName AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type EraName AlonzoEra = "Alonzo"
type PreviousEra AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type PreviousEra AlonzoEra = MaryEra
type ProtVerLow AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerLow AlonzoEra = 5
type ProtVerHigh AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh AlonzoEra = 6

Methods

eraName ∷ String Source #

MaryEraTxBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l AlonzoEra) MultiAsset Source #

mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Set PolicyID) Source #

mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l AlonzoEra) (Value AlonzoEra) Source #

ApplyTx AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo

Methods

applyTxValidation ∷ ValidationPolicy → Globals → MempoolEnv AlonzoEra → MempoolState AlonzoEra → Tx 'TopTx AlonzoEra → Either (ApplyTxError AlonzoEra) (MempoolState AlonzoEra, Validated (Tx 'TopTx AlonzoEra)) Source #

ApplyBlock AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo

Methods

applyBlock ∷ ∀ (ep ∷ EventPolicy). SingEP ep → ValidationPolicy → Globals → NewEpochState AlonzoEra → Block BHeaderView AlonzoEra → (NewEpochState AlonzoEra, [PredicateFailure (EraRule "BBODY" AlonzoEra)], [Event (EraRule "BBODY" AlonzoEra)]) Source #

applyTick ∷ ∀ (ep ∷ EventPolicy). SingEP ep → Globals → NewEpochState AlonzoEra → SlotNo → (NewEpochState AlonzoEra, [Event (EraRule "TICK" AlonzoEra)]) Source #

ShelleyEraScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

mkRequireSignature ∷ KeyHash 'Witness → NativeScript AlonzoEra Source #

getRequireSignature ∷ NativeScript AlonzoEra → Maybe (KeyHash 'Witness) Source #

mkRequireAllOf ∷ StrictSeq (NativeScript AlonzoEra) → NativeScript AlonzoEra Source #

getRequireAllOf ∷ NativeScript AlonzoEra → Maybe (StrictSeq (NativeScript AlonzoEra)) Source #

mkRequireAnyOf ∷ StrictSeq (NativeScript AlonzoEra) → NativeScript AlonzoEra Source #

getRequireAnyOf ∷ NativeScript AlonzoEra → Maybe (StrictSeq (NativeScript AlonzoEra)) Source #

mkRequireMOf ∷ Int → StrictSeq (NativeScript AlonzoEra) → NativeScript AlonzoEra Source #

getRequireMOf ∷ NativeScript AlonzoEra → Maybe (Int, StrictSeq (NativeScript AlonzoEra)) Source #

ShelleyEraAccounts AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.Account

Methods

mkShelleyAccountState ∷ Ptr → CompactForm Coin → AccountState AlonzoEra Source #

accountsPtrsMapL ∷ Lens' (Accounts AlonzoEra) (Map Ptr (Credential 'Staking))

accountsPtrsMapG ∷ SimpleGetter (Accounts AlonzoEra) (Map Ptr (Credential 'Staking)) Source #

ptrAccountStateG ∷ SimpleGetter (AccountState AlonzoEra) Ptr Source #

EraTransition AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Associated Types

data TransitionConfig AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

data TransitionConfig AlonzoEra = AlonzoTransitionConfig {}

Methods

mkTransitionConfig ∷ TranslationContext AlonzoEra → TransitionConfig (PreviousEra AlonzoEra) → TransitionConfig AlonzoEra Source #

injectIntoTestState ∷ TransitionConfig AlonzoEra → NewEpochState AlonzoEra → NewEpochState AlonzoEra Source #

tcPreviousEraConfigL ∷ Lens' (TransitionConfig AlonzoEra) (TransitionConfig (PreviousEra AlonzoEra)) Source #

tcTranslationContextL ∷ Lens' (TransitionConfig AlonzoEra) (TranslationContext AlonzoEra) Source #

tcShelleyGenesisL ∷ Lens' (TransitionConfig AlonzoEra) ShelleyGenesis Source #

tcInitialPParamsG ∷ SimpleGetter (TransitionConfig AlonzoEra) (PParams AlonzoEra) Source #

toTransitionConfigKeyValuePairs ∷ KeyValue e a ⇒ TransitionConfig AlonzoEra → [a]

parseTransitionConfigJSON ∷ Value → Parser (TransitionConfig AlonzoEra)

ShelleyEraTxBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

ttlTxBodyL ∷ Lens' (TxBody 'TopTx AlonzoEra) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody 'TopTx AlonzoEra) (StrictMaybe (Update AlonzoEra)) Source #

ShelleyEraTxCert AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

Methods

mkRegTxCert ∷ Credential 'Staking → TxCert AlonzoEra Source #

getRegTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'Staking) Source #

mkUnRegTxCert ∷ Credential 'Staking → TxCert AlonzoEra Source #

getUnRegTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'Staking) Source #

mkDelegStakeTxCert ∷ Credential 'Staking → KeyHash 'StakePool → TxCert AlonzoEra Source #

getDelegStakeTxCert ∷ TxCert AlonzoEra → Maybe (Credential 'Staking, KeyHash 'StakePool) Source #

mkGenesisDelegTxCert ∷ GenesisDelegCert → TxCert AlonzoEra Source #

getGenesisDelegTxCert ∷ TxCert AlonzoEra → Maybe GenesisDelegCert Source #

mkMirTxCert ∷ MIRCert → TxCert AlonzoEra Source #

getMirTxCert ∷ TxCert AlonzoEra → Maybe MIRCert Source #

EraPlutusTxInfo 'PlutusV1 AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

Methods

toPlutusTxCert ∷ proxy 'PlutusV1 → ProtVer → TxCert AlonzoEra → Either (ContextError AlonzoEra) (PlutusTxCert 'PlutusV1) Source #

toPlutusScriptPurpose ∷ proxy 'PlutusV1 → ProtVer → PlutusPurpose AsIxItem AlonzoEra → Either (ContextError AlonzoEra) (PlutusScriptPurpose 'PlutusV1) Source #

toPlutusTxInfo ∷ proxy 'PlutusV1 → LedgerTxInfo AlonzoEra → Either (ContextError AlonzoEra) (PlutusTxInfo 'PlutusV1) Source #

toPlutusArgs ∷ proxy 'PlutusV1 → ProtVer → PlutusTxInfo 'PlutusV1 → PlutusPurpose AsIxItem AlonzoEra → Maybe (Data AlonzoEra) → Data AlonzoEra → Either (ContextError AlonzoEra) (PlutusArgs 'PlutusV1) Source #

toPlutusTxInInfo ∷ proxy 'PlutusV1 → UTxO AlonzoEra → TxIn → Either (ContextError AlonzoEra) (PlutusTxInInfo AlonzoEra 'PlutusV1) Source #

TranslateEra AlonzoEra PParams 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra PParams 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra PParams = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → PParams (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra PParams) (PParams AlonzoEra) Source #

TranslateEra AlonzoEra CommitteeState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra CommitteeState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra CommitteeState = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → CommitteeState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra CommitteeState) (CommitteeState AlonzoEra) Source #

TranslateEra AlonzoEra DState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra DState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra DState = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → DState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra DState) (DState AlonzoEra) Source #

TranslateEra AlonzoEra PState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra PState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra PState = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → PState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra PState) (PState AlonzoEra) Source #

TranslateEra AlonzoEra FuturePParams 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra FuturePParams 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra FuturePParams = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → FuturePParams (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra FuturePParams) (FuturePParams AlonzoEra) Source #

TranslateEra AlonzoEra UTxO 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra UTxO 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra UTxO = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → UTxO (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra UTxO) (UTxO AlonzoEra) Source #

TranslateEra AlonzoEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra ShelleyGovState = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → ShelleyGovState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra ShelleyGovState) (ShelleyGovState AlonzoEra) Source #

TranslateEra AlonzoEra EpochState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra EpochState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra EpochState = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → EpochState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra EpochState) (EpochState AlonzoEra) Source #

TranslateEra AlonzoEra LedgerState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra LedgerState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra LedgerState = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → LedgerState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra LedgerState) (LedgerState AlonzoEra) Source #

TranslateEra AlonzoEra NewEpochState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra NewEpochState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra NewEpochState = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → NewEpochState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra NewEpochState) (NewEpochState AlonzoEra) Source #

TranslateEra AlonzoEra UTxOState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra UTxOState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra UTxOState = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → UTxOState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra UTxOState) (UTxOState AlonzoEra) Source #

TranslateEra AlonzoEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra ProposedPPUpdates = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → ProposedPPUpdates (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra ProposedPPUpdates) (ProposedPPUpdates AlonzoEra) Source #

TranslateEra AlonzoEra ShelleyAccounts 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra ShelleyAccounts 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra ShelleyAccounts = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → ShelleyAccounts (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra ShelleyAccounts) (ShelleyAccounts AlonzoEra) Source #

TranslateEra AlonzoEra ShelleyCertState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra ShelleyCertState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra ShelleyCertState = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → ShelleyCertState (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra ShelleyCertState) (ShelleyCertState AlonzoEra) Source #

TranslateEra AlonzoEra ShelleyInstantStake 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra ShelleyInstantStake 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra ShelleyInstantStake = Void

Methods

translateEra ∷ TranslationContext AlonzoEra → ShelleyInstantStake (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra ShelleyInstantStake) (ShelleyInstantStake AlonzoEra) Source #

HasEraTxLevel AlonzoTxBodyRaw AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). AlonzoTxBodyRaw l AlonzoEra → STxLevel l AlonzoEra Source #

HasEraTxLevel Tx AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). Tx l AlonzoEra → STxLevel l AlonzoEra Source #

HasEraTxLevel TxBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l AlonzoEra → STxLevel l AlonzoEra Source #

HuddleGroup "account_registration_cert" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "account_unregistration_cert" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "delegation_to_stake_pool_cert" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "genesis_delegation_cert" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "move_instantaneous_rewards_cert" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "multi_host_name" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "operational_cert" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "pool_params" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "pool_registration_cert" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "pool_retirement_cert" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "protocol_version" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "script_all" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "script_any" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "script_invalid_before" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "script_invalid_hereafter" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "script_n_of_k" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "script_pubkey" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "single_host_addr" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "single_host_name" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleRule "asset_name" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "auxiliary_data" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "auxiliary_data_array" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "auxiliary_data_map" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "auxiliary_scripts" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "big_int" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "big_nint" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "big_uint" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "block" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "bootstrap_witness" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "bounded_bytes" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "certificate" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "cost_model" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "cost_models" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "delta_coin" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "distinct_bytes" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "dns_name" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "ex_unit_prices" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "ex_units" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "genesis_delegate_hash" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "genesis_hash" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "header" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "header_body" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "language" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "major_protocol_version" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "mint" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "move_instantaneous_reward" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "native_script" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "network_id" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "policy_id" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "pool_metadata" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "positive_interval" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "proposed_protocol_parameter_updates" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "protocol_param_update" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "redeemer" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "redeemer_tag" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "redeemers" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "relay" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "required_signers" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "script_data_hash" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "transaction" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_body" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_id" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_input" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_output" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_witness_set" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "update" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "url" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "value" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "vkeywitness" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "withdrawals" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule1 "set" AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.HuddleSpec

Methods

huddleRule1 ∷ IsType0 a ⇒ Proxy AlonzoEra → a → GRuleCall Source #

InjectRuleFailure "BBODY" AllegraUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ AllegraUtxoPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" AlonzoBbodyPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ AlonzoBbodyPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" AlonzoUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" AlonzoUtxosPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" AlonzoUtxowPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyBbodyPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ ShelleyBbodyPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyDelegPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ ShelleyDelegPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyDelegsPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ ShelleyDelegsPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyDelplPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ ShelleyDelplPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyLedgerPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ ShelleyLedgerPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyLedgersPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ ShelleyLedgersPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyPoolPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ ShelleyPoolPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyPpupPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ ShelleyUtxoPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "BBODY" ShelleyUtxowPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

Methods

injectFailure ∷ ShelleyUtxowPredFailure AlonzoEra → EraRuleFailure "BBODY" AlonzoEra Source #

InjectRuleFailure "DELEG" ShelleyDelegPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Deleg

Methods

injectFailure ∷ ShelleyDelegPredFailure AlonzoEra → EraRuleFailure "DELEG" AlonzoEra Source #

InjectRuleFailure "DELEGS" ShelleyDelegPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delegs

Methods

injectFailure ∷ ShelleyDelegPredFailure AlonzoEra → EraRuleFailure "DELEGS" AlonzoEra Source #

InjectRuleFailure "DELEGS" ShelleyDelegsPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delegs

Methods

injectFailure ∷ ShelleyDelegsPredFailure AlonzoEra → EraRuleFailure "DELEGS" AlonzoEra Source #

InjectRuleFailure "DELEGS" ShelleyDelplPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delegs

Methods

injectFailure ∷ ShelleyDelplPredFailure AlonzoEra → EraRuleFailure "DELEGS" AlonzoEra Source #

InjectRuleFailure "DELEGS" ShelleyPoolPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delegs

Methods

injectFailure ∷ ShelleyPoolPredFailure AlonzoEra → EraRuleFailure "DELEGS" AlonzoEra Source #

InjectRuleFailure "DELPL" ShelleyDelegPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delpl

Methods

injectFailure ∷ ShelleyDelegPredFailure AlonzoEra → EraRuleFailure "DELPL" AlonzoEra Source #

InjectRuleFailure "DELPL" ShelleyDelplPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delpl

Methods

injectFailure ∷ ShelleyDelplPredFailure AlonzoEra → EraRuleFailure "DELPL" AlonzoEra Source #

InjectRuleFailure "DELPL" ShelleyPoolPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delpl

Methods

injectFailure ∷ ShelleyPoolPredFailure AlonzoEra → EraRuleFailure "DELPL" AlonzoEra Source #

InjectRuleFailure "LEDGER" AllegraUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

Methods

injectFailure ∷ AllegraUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" AlonzoUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" AlonzoUtxosPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" AlonzoUtxowPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

Methods

injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" ShelleyDelegPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

Methods

injectFailure ∷ ShelleyDelegPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" ShelleyDelegsPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

Methods

injectFailure ∷ ShelleyDelegsPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" ShelleyDelplPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

Methods

injectFailure ∷ ShelleyDelplPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" ShelleyLedgerPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

Methods

injectFailure ∷ ShelleyLedgerPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" ShelleyPoolPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

Methods

injectFailure ∷ ShelleyPoolPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" ShelleyPpupPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

Methods

injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" ShelleyUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

Methods

injectFailure ∷ ShelleyUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGER" ShelleyUtxowPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

Methods

injectFailure ∷ ShelleyUtxowPredFailure AlonzoEra → EraRuleFailure "LEDGER" AlonzoEra Source #

InjectRuleFailure "LEDGERS" AllegraUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

Methods

injectFailure ∷ AllegraUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" AlonzoUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" AlonzoUtxosPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" AlonzoUtxowPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

Methods

injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelegPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

Methods

injectFailure ∷ ShelleyDelegPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelegsPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

Methods

injectFailure ∷ ShelleyDelegsPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" ShelleyDelplPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

Methods

injectFailure ∷ ShelleyDelplPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgerPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

Methods

injectFailure ∷ ShelleyLedgerPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" ShelleyLedgersPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

Methods

injectFailure ∷ ShelleyLedgersPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" ShelleyPoolPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

Methods

injectFailure ∷ ShelleyPoolPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" ShelleyPpupPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

Methods

injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" ShelleyUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

Methods

injectFailure ∷ ShelleyUtxoPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "LEDGERS" ShelleyUtxowPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

Methods

injectFailure ∷ ShelleyUtxowPredFailure AlonzoEra → EraRuleFailure "LEDGERS" AlonzoEra Source #

InjectRuleFailure "POOL" ShelleyPoolPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Pool

Methods

injectFailure ∷ ShelleyPoolPredFailure AlonzoEra → EraRuleFailure "POOL" AlonzoEra Source #

InjectRuleFailure "PPUP" ShelleyPpupPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

Methods

injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "PPUP" AlonzoEra Source #

InjectRuleFailure "UTXO" AllegraUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Methods

injectFailure ∷ AllegraUtxoPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #

InjectRuleFailure "UTXO" AlonzoUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #

InjectRuleFailure "UTXO" AlonzoUtxosPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #

InjectRuleFailure "UTXO" ShelleyPpupPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Methods

injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #

InjectRuleFailure "UTXO" ShelleyUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

Methods

injectFailure ∷ ShelleyUtxoPredFailure AlonzoEra → EraRuleFailure "UTXO" AlonzoEra Source #

InjectRuleFailure "UTXOS" AlonzoUtxosPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "UTXOS" AlonzoEra Source #

InjectRuleFailure "UTXOS" ShelleyPpupPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

Methods

injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "UTXOS" AlonzoEra Source #

InjectRuleFailure "UTXOW" AllegraUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

injectFailure ∷ AllegraUtxoPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

InjectRuleFailure "UTXOW" AlonzoUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

injectFailure ∷ AlonzoUtxoPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

InjectRuleFailure "UTXOW" AlonzoUtxosPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

injectFailure ∷ AlonzoUtxosPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

InjectRuleFailure "UTXOW" AlonzoUtxowPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

injectFailure ∷ AlonzoUtxowPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

InjectRuleFailure "UTXOW" ShelleyPpupPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

injectFailure ∷ ShelleyPpupPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxoPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

injectFailure ∷ ShelleyUtxoPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

InjectRuleFailure "UTXOW" ShelleyUtxowPredFailure AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

Methods

injectFailure ∷ ShelleyUtxowPredFailure AlonzoEra → EraRuleFailure "UTXOW" AlonzoEra Source #

TranslateEra AlonzoEra (Tx 'TopTx) 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

Associated Types

type TranslationError AlonzoEra (Tx 'TopTx) 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra (Tx 'TopTx) = DecoderError

Methods

translateEra ∷ TranslationContext AlonzoEra → Tx 'TopTx (PreviousEra AlonzoEra) → Except (TranslationError AlonzoEra (Tx 'TopTx)) (Tx 'TopTx AlonzoEra) Source #

Typeable l ⇒ DecCBOR (Annotator (AlonzoTxBodyRaw l AlonzoEra)) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

decCBOR ∷ Decoder s (Annotator (AlonzoTxBodyRaw l AlonzoEra)) Source #

dropCBOR ∷ Proxy (Annotator (AlonzoTxBodyRaw l AlonzoEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (AlonzoTxBodyRaw l AlonzoEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (Tx l AlonzoEra)) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

decCBOR ∷ Decoder s (Annotator (Tx l AlonzoEra)) Source #

dropCBOR ∷ Proxy (Annotator (Tx l AlonzoEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (Tx l AlonzoEra)) → Text Source #

Typeable l ⇒ DecCBOR (Annotator (TxBody l AlonzoEra)) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

decCBOR ∷ Decoder s (Annotator (TxBody l AlonzoEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody l AlonzoEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody l AlonzoEra)) → Text Source #

SafeToHash (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

originalBytes ∷ PlutusScript AlonzoEra → ByteString Source #

originalBytesSize ∷ PlutusScript AlonzoEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → PlutusScript AlonzoEra → SafeHash i Source #

NFData (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf ∷ PlutusScript AlonzoEra → () #

Generic (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)

Methods

from ∷ PlutusScript AlonzoEra → Rep (PlutusScript AlonzoEra) x #

to ∷ Rep (PlutusScript AlonzoEra) x → PlutusScript AlonzoEra #

Generic (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Associated Types

type Rep (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

type Rep (TransitionConfig AlonzoEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "atcAlonzoGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AlonzoGenesis) :*: S1 ('MetaSel ('Just "atcMaryTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig MaryEra))))

Methods

from ∷ TransitionConfig AlonzoEra → Rep (TransitionConfig AlonzoEra) x #

to ∷ Rep (TransitionConfig AlonzoEra) x → TransitionConfig AlonzoEra #

Show (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → PlutusScript AlonzoEra → ShowS #

show ∷ PlutusScript AlonzoEra → String #

showList ∷ [PlutusScript AlonzoEra] → ShowS #

Show (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Methods

showsPrec ∷ Int → TransitionConfig AlonzoEra → ShowS #

show ∷ TransitionConfig AlonzoEra → String #

showList ∷ [TransitionConfig AlonzoEra] → ShowS #

Eq (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(/=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

Eq (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Methods

(==) ∷ TransitionConfig AlonzoEra → TransitionConfig AlonzoEra → Bool #

(/=) ∷ TransitionConfig AlonzoEra → TransitionConfig AlonzoEra → Bool #

Ord (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Ordering #

(<) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(<=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(>) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

(>=) ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → Bool #

max ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra #

min ∷ PlutusScript AlonzoEra → PlutusScript AlonzoEra → PlutusScript AlonzoEra #

MemPack (PlutusScript AlonzoEra)

It might seem that this instance unnecessarily utilizes a zero Tag, but it is needed for forward compatibility with plutus scripts from future eras.

That being said, currently this instance is not used at all, since reference scripts where introduced in Babbage era and MemPack for now is only used for TxOuts

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

typeName ∷ String Source #

packedByteCount ∷ PlutusScript AlonzoEra → Int Source #

packM ∷ PlutusScript AlonzoEra → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (PlutusScript AlonzoEra) Source #

NoThunks (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks ∷ Context → PlutusScript AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PlutusScript AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (PlutusScript AlonzoEra) → String Source #

NoThunks (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

Methods

noThunks ∷ Context → TransitionConfig AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TransitionConfig AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TransitionConfig AlonzoEra) → String Source #

Typeable l ⇒ ToCBOR (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toCBOR ∷ Tx l AlonzoEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx l AlonzoEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx l AlonzoEra] → Size Source #

Typeable l ⇒ ToCBOR (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

toCBOR ∷ TxBody l AlonzoEra → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (TxBody l AlonzoEra) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TxBody l AlonzoEra] → Size Source #

Typeable l ⇒ DecCBOR (AlonzoTxBodyRaw l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

decCBOR ∷ Decoder s (AlonzoTxBodyRaw l AlonzoEra) Source #

dropCBOR ∷ Proxy (AlonzoTxBodyRaw l AlonzoEra) → Decoder s () Source #

label ∷ Proxy (AlonzoTxBodyRaw l AlonzoEra) → Text Source #

EncCBOR (AlonzoTxBodyRaw l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

encCBOR ∷ AlonzoTxBodyRaw l AlonzoEra → Encoding Source #

EncCBOR (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

encCBOR ∷ Tx l AlonzoEra → Encoding Source #

EncCBOR (TxBody l AlonzoEra)

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

encCBOR ∷ TxBody l AlonzoEra → Encoding Source #

SafeToHash (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

originalBytes ∷ TxBody l AlonzoEra → ByteString Source #

originalBytesSize ∷ TxBody l AlonzoEra → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxBody l AlonzoEra → SafeHash i Source #

EqRaw (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

eqRaw ∷ Tx l AlonzoEra → Tx l AlonzoEra → Bool Source #

EqRaw (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

eqRaw ∷ TxBody l AlonzoEra → TxBody l AlonzoEra → Bool Source #

Memoized (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Associated Types

type RawType (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEra

Methods

getMemoBytes ∷ TxBody l AlonzoEra → MemoBytes (RawType (TxBody l AlonzoEra))

wrapMemoBytes ∷ MemoBytes (RawType (TxBody l AlonzoEra)) → TxBody l AlonzoEra

NFData (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

rnf ∷ Tx l AlonzoEra → () #

NFData (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

rnf ∷ TxBody l AlonzoEra → () #

Generic (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

type Rep (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type Rep (Tx l AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l AlonzoEra))))

Methods

from ∷ Tx l AlonzoEra → Rep (Tx l AlonzoEra) x #

to ∷ Rep (Tx l AlonzoEra) x → Tx l AlonzoEra #

Generic (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Associated Types

type Rep (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))

Methods

from ∷ TxBody l AlonzoEra → Rep (TxBody l AlonzoEra) x #

to ∷ Rep (TxBody l AlonzoEra) x → TxBody l AlonzoEra #

Show (AlonzoTxBodyRaw l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

showsPrec ∷ Int → AlonzoTxBodyRaw l AlonzoEra → ShowS #

show ∷ AlonzoTxBodyRaw l AlonzoEra → String #

showList ∷ [AlonzoTxBodyRaw l AlonzoEra] → ShowS #

Show (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

showsPrec ∷ Int → Tx l AlonzoEra → ShowS #

show ∷ Tx l AlonzoEra → String #

showList ∷ [Tx l AlonzoEra] → ShowS #

Show (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

showsPrec ∷ Int → TxBody l AlonzoEra → ShowS #

show ∷ TxBody l AlonzoEra → String #

showList ∷ [TxBody l AlonzoEra] → ShowS #

Eq (AlonzoTxBodyRaw l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

(==) ∷ AlonzoTxBodyRaw l AlonzoEra → AlonzoTxBodyRaw l AlonzoEra → Bool #

(/=) ∷ AlonzoTxBodyRaw l AlonzoEra → AlonzoTxBodyRaw l AlonzoEra → Bool #

Eq (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

(==) ∷ Tx l AlonzoEra → Tx l AlonzoEra → Bool #

(/=) ∷ Tx l AlonzoEra → Tx l AlonzoEra → Bool #

Eq (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

(==) ∷ TxBody l AlonzoEra → TxBody l AlonzoEra → Bool #

(/=) ∷ TxBody l AlonzoEra → TxBody l AlonzoEra → Bool #

Typeable l ⇒ NoThunks (AlonzoTxBodyRaw l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

noThunks ∷ Context → AlonzoTxBodyRaw l AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoTxBodyRaw l AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoTxBodyRaw l AlonzoEra) → String Source #

Typeable l ⇒ NoThunks (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

noThunks ∷ Context → Tx l AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Tx l AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Tx l AlonzoEra) → String Source #

Typeable l ⇒ NoThunks (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

noThunks ∷ Context → TxBody l AlonzoEra → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → TxBody l AlonzoEra → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (TxBody l AlonzoEra) → String Source #

HashAnnotated (TxBody l AlonzoEra) EraIndependentTxBody 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

Methods

hashAnnotated ∷ TxBody l AlonzoEra → SafeHash EraIndependentTxBody Source #

type ContextError AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

type ContextError AlonzoEra = AlonzoContextError AlonzoEra
newtype TxInfoResult AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Plutus.TxInfo

newtype TxInfoResult AlonzoEra = AlonzoTxInfoResult (Either (ContextError AlonzoEra) (PlutusTxInfo 'PlutusV1))
newtype PlutusScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

newtype PlutusScript AlonzoEra = AlonzoPlutusV1 (Plutus 'PlutusV1)
type BlockBody AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.BlockBody.Internal

type BlockBody AlonzoEra = AlonzoBlockBody AlonzoEra
type NativeScript AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type NativeScript AlonzoEra = Timelock AlonzoEra
type Script AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Script AlonzoEra = AlonzoScript AlonzoEra
type TxAuxData AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type TxAuxData AlonzoEra = AlonzoTxAuxData AlonzoEra
type TxOut AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type TxOut AlonzoEra = AlonzoTxOut AlonzoEra
type TxWits AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type TxWits AlonzoEra = AlonzoTxWits AlonzoEra
type Value AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type Value AlonzoEra = MaryValue
type TranslationContext AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationContext AlonzoEra = AlonzoGenesis
type TxCert AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

type TxCert AlonzoEra = ShelleyTxCert AlonzoEra
type TxCertUpgradeError AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxCert

type TxCertUpgradeError AlonzoEra = Void
type Genesis AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Genesis

type Genesis AlonzoEra = AlonzoGenesis
type AccountState AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.Account

type AccountState AlonzoEra = ShelleyAccountState AlonzoEra
type Accounts AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.Account

type Accounts AlonzoEra = ShelleyAccounts AlonzoEra
type CertState AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.CertState

type CertState AlonzoEra = ShelleyCertState AlonzoEra
type GovState AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type GovState AlonzoEra = ShelleyGovState AlonzoEra
type InstantStake AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.State.Stake

type InstantStake AlonzoEra = ShelleyInstantStake AlonzoEra
type ScriptsNeeded AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.UTxO

type ScriptsNeeded AlonzoEra = AlonzoScriptsNeeded AlonzoEra
type EraName AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type EraName AlonzoEra = "Alonzo"
type PreviousEra AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type PreviousEra AlonzoEra = MaryEra
type ProtVerHigh AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerHigh AlonzoEra = 6
type ProtVerLow AlonzoEra 
Instance details

Defined in Cardano.Ledger.Internal.Definition.Era

type ProtVerLow AlonzoEra = 5
data TransitionConfig AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

data TransitionConfig AlonzoEra = AlonzoTransitionConfig {}
type PlutusPurpose f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type PlutusPurpose f AlonzoEra = AlonzoPlutusPurpose f AlonzoEra
newtype Tx l AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

newtype Tx l AlonzoEra = MkAlonzoTx {}
newtype TxBody l AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

newtype TxBody l AlonzoEra = MkAlonzoTxBody (MemoBytes (AlonzoTxBodyRaw l AlonzoEra))
type EraRule "BBODY" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "BBODY" AlonzoEra = AlonzoBBODY AlonzoEra
type EraRule "DELEG" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELEG" AlonzoEra = ShelleyDELEG AlonzoEra
type EraRule "DELEGS" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELEGS" AlonzoEra = ShelleyDELEGS AlonzoEra
type EraRule "DELPL" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "DELPL" AlonzoEra = ShelleyDELPL AlonzoEra
type EraRule "EPOCH" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "EPOCH" AlonzoEra = ShelleyEPOCH AlonzoEra
type EraRule "LEDGER" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "LEDGER" AlonzoEra = AlonzoLEDGER AlonzoEra
type EraRule "LEDGERS" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "LEDGERS" AlonzoEra = ShelleyLEDGERS AlonzoEra
type EraRule "MIR" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "MIR" AlonzoEra = ShelleyMIR AlonzoEra
type EraRule "NEWEPOCH" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "NEWEPOCH" AlonzoEra = ShelleyNEWEPOCH AlonzoEra
type EraRule "NEWPP" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "NEWPP" AlonzoEra = ShelleyNEWPP AlonzoEra
type EraRule "POOL" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "POOL" AlonzoEra = ShelleyPOOL AlonzoEra
type EraRule "POOLREAP" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "POOLREAP" AlonzoEra = ShelleyPOOLREAP AlonzoEra
type EraRule "PPUP" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "PPUP" AlonzoEra = ShelleyPPUP AlonzoEra
type EraRule "RUPD" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "RUPD" AlonzoEra = ShelleyRUPD AlonzoEra
type EraRule "SNAP" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "SNAP" AlonzoEra = ShelleySNAP AlonzoEra
type EraRule "TICK" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "TICK" AlonzoEra = ShelleyTICK AlonzoEra
type EraRule "TICKF" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "TICKF" AlonzoEra = ShelleyTICKF AlonzoEra
type EraRule "UPEC" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UPEC" AlonzoEra = ShelleyUPEC AlonzoEra
type EraRule "UTXO" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXO" AlonzoEra = AlonzoUTXO AlonzoEra
type EraRule "UTXOS" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXOS" AlonzoEra = AlonzoUTXOS AlonzoEra
type EraRule "UTXOW" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type EraRule "UTXOW" AlonzoEra = AlonzoUTXOW AlonzoEra
type EraRuleEvent "LEDGER" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules

type EraRuleEvent "LEDGER" AlonzoEra = ShelleyLedgerEvent AlonzoEra
type EraRuleEvent "PPUP" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleEvent "PPUP" AlonzoEra = PpupEvent AlonzoEra
type EraRuleEvent "TICK" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules

type EraRuleEvent "TICK" AlonzoEra = ShelleyTickEvent AlonzoEra
type EraRuleFailure "BBODY" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type EraRuleFailure "BBODY" AlonzoEra = AlonzoBbodyPredFailure AlonzoEra
type EraRuleFailure "DELEG" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Deleg

type EraRuleFailure "DELEG" AlonzoEra = ShelleyDelegPredFailure AlonzoEra
type EraRuleFailure "DELEGS" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delegs

type EraRuleFailure "DELEGS" AlonzoEra = ShelleyDelegsPredFailure AlonzoEra
type EraRuleFailure "DELPL" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Delpl

type EraRuleFailure "DELPL" AlonzoEra = ShelleyDelplPredFailure AlonzoEra
type EraRuleFailure "LEDGER" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type EraRuleFailure "LEDGER" AlonzoEra = ShelleyLedgerPredFailure AlonzoEra
type EraRuleFailure "LEDGERS" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

type EraRuleFailure "LEDGERS" AlonzoEra = ShelleyLedgersPredFailure AlonzoEra
type EraRuleFailure "POOL" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Pool

type EraRuleFailure "POOL" AlonzoEra = ShelleyPoolPredFailure AlonzoEra
type EraRuleFailure "PPUP" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ppup

type EraRuleFailure "PPUP" AlonzoEra = ShelleyPpupPredFailure AlonzoEra
type EraRuleFailure "UTXO" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type EraRuleFailure "UTXO" AlonzoEra = AlonzoUtxoPredFailure AlonzoEra
type EraRuleFailure "UTXOS" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type EraRuleFailure "UTXOS" AlonzoEra = AlonzoUtxosPredFailure AlonzoEra
type EraRuleFailure "UTXOW" AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type EraRuleFailure "UTXOW" AlonzoEra = AlonzoUtxowPredFailure AlonzoEra
type DowngradePParams f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type DowngradePParams f AlonzoEra = DowngradeAlonzoPParams f
type PParamsHKD f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type PParamsHKD f AlonzoEra = AlonzoPParams f AlonzoEra
type UpgradePParams f AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.PParams

type UpgradePParams f AlonzoEra = UpgradeAlonzoPParams f
type TranslationError AlonzoEra PParams 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra PParams = Void
type TranslationError AlonzoEra CommitteeState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra CommitteeState = Void
type TranslationError AlonzoEra DState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra DState = Void
type TranslationError AlonzoEra PState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra PState = Void
type TranslationError AlonzoEra FuturePParams 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra FuturePParams = Void
type TranslationError AlonzoEra UTxO 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra UTxO = Void
type TranslationError AlonzoEra ShelleyGovState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra ShelleyGovState = Void
type TranslationError AlonzoEra EpochState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra EpochState = Void
type TranslationError AlonzoEra LedgerState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra LedgerState = Void
type TranslationError AlonzoEra NewEpochState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra NewEpochState = Void
type TranslationError AlonzoEra UTxOState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra UTxOState = Void
type TranslationError AlonzoEra ProposedPPUpdates 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra ProposedPPUpdates = Void
type TranslationError AlonzoEra ShelleyAccounts 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra ShelleyAccounts = Void
type TranslationError AlonzoEra ShelleyCertState 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra ShelleyCertState = Void
type TranslationError AlonzoEra ShelleyInstantStake 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra ShelleyInstantStake = Void
type STxLevel l AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.Era

type STxLevel l AlonzoEra = STxTopLevel l AlonzoEra
type TranslationError AlonzoEra (Tx 'TopTx) 
Instance details

Defined in Cardano.Ledger.Alonzo.Translation

type TranslationError AlonzoEra (Tx 'TopTx) = DecoderError
type Rep (PlutusScript AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (PlutusScript AlonzoEra) = Rep (Plutus 'PlutusV1)
type Rep (TransitionConfig AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Transition

type Rep (TransitionConfig AlonzoEra) = D1 ('MetaData "TransitionConfig" "Cardano.Ledger.Alonzo.Transition" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTransitionConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "atcAlonzoGenesis") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 AlonzoGenesis) :*: S1 ('MetaSel ('Just "atcMaryTransitionConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TransitionConfig MaryEra))))
type RawType (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEra
type Rep (Tx l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type Rep (Tx l AlonzoEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoTx l AlonzoEra))))
type Rep (TxBody l AlonzoEra) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody

type Rep (TxBody l AlonzoEra) = D1 ('MetaData "TxBody" "Cardano.Ledger.Alonzo.TxBody" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))

alonzoCDDL ∷ Huddle Source #

constr ∷ IsType0 a ⇒ a → GRuleCall Source #

exUnitsRule ∷ Rule Source #

networkIdRule ∷ Rule Source #

positiveIntervalRule ∷ Era era ⇒ Proxy era → Rule Source #

bigUintRule ∷ HuddleRule "bounded_bytes" era ⇒ Proxy era → Rule Source #

bigNintRule ∷ HuddleRule "bounded_bytes" era ⇒ Proxy era → Rule Source #

bigIntRule ∷ HuddleRule "bounded_bytes" era ⇒ Proxy era → Rule Source #

scriptDataHashRule ∷ Era era ⇒ Proxy era → Rule Source #

boundedBytesRule ∷ Rule Source #

distinctBytesRule ∷ Rule Source #

alonzoRedeemer ∷ (HuddleRule "redeemer_tag" era, HuddleRule "plutus_data" era, HuddleRule "ex_units" era) ⇒ Proxy era → Rule Source #

alonzoRedeemerTag ∷ Rule Source #

exUnitPricesRule ∷ HuddleRule "positive_interval" era ⇒ Proxy era → Rule Source #

requiredSignersRule ∷ (HuddleRule "addr_keyhash" era, HuddleRule1 "set" era) ⇒ Proxy era → Rule Source #

Orphan instances

HuddleGroup "account_registration_cert" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "account_unregistration_cert" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "delegation_to_stake_pool_cert" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "genesis_delegation_cert" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "move_instantaneous_rewards_cert" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "multi_host_name" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "operational_cert" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "pool_params" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "pool_registration_cert" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "pool_retirement_cert" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "protocol_version" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "script_all" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "script_any" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "script_invalid_before" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "script_invalid_hereafter" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "script_n_of_k" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "script_pubkey" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "single_host_addr" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleGroup "single_host_name" AlonzoEra Source # 
Instance details

Methods

huddleGroup ∷ Proxy AlonzoEra → GroupDef Source #

HuddleRule "asset_name" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "auxiliary_data" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "auxiliary_data_array" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "auxiliary_data_map" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "auxiliary_scripts" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "big_int" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "big_nint" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "big_uint" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "block" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "bootstrap_witness" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "bounded_bytes" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "certificate" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "cost_model" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "cost_models" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "delta_coin" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "distinct_bytes" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "dns_name" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "ex_unit_prices" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "ex_units" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "genesis_delegate_hash" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "genesis_hash" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "header" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "header_body" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "language" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "major_protocol_version" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "mint" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "move_instantaneous_reward" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "native_script" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "network_id" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

(Era era, HuddleRule "big_int" era, HuddleRule "bounded_bytes" era) ⇒ HuddleRule "plutus_data" era Source # 
Instance details

Methods

huddleRule ∷ Proxy era → Rule Source #

(Era era, HuddleRule "distinct_bytes" era) ⇒ HuddleRule "plutus_v1_script" era Source # 
Instance details

Methods

huddleRule ∷ Proxy era → Rule Source #

HuddleRule "policy_id" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "pool_metadata" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "positive_interval" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "proposed_protocol_parameter_updates" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "protocol_param_update" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "redeemer" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "redeemer_tag" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "redeemers" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "relay" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "required_signers" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "script_data_hash" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "transaction" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_body" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_id" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_input" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_output" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "transaction_witness_set" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "update" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "url" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "value" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "vkeywitness" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule "withdrawals" AlonzoEra Source # 
Instance details

Methods

huddleRule ∷ Proxy AlonzoEra → Rule Source #

HuddleRule1 "set" AlonzoEra Source # 
Instance details

Methods

huddleRule1 ∷ IsType0 a ⇒ Proxy AlonzoEra → a → GRuleCall Source #