| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Alonzo.Core
Documentation
class (EraTx era, AlonzoEraTxBody era, AlonzoEraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTx era where Source #
Instances
| Crypto c ⇒ AlonzoEraTx (AlonzoEra c) Source # | |
Defined in Cardano.Ledger.Alonzo.Tx | |
class (AlonzoEraPParams era, EraTxOut era) ⇒ AlonzoEraTxOut era where Source #
Methods
dataHashTxOutL ∷ Lens' (TxOut era) (StrictMaybe (DataHash (EraCrypto era))) Source #
datumTxOutF ∷ SimpleGetter (TxOut era) (Datum era) Source #
Instances
| Crypto c ⇒ AlonzoEraTxOut (AlonzoEra c) Source # | |
Defined in Cardano.Ledger.Alonzo.TxOut Methods dataHashTxOutL ∷ Lens' (TxOut (AlonzoEra c)) (StrictMaybe (DataHash (EraCrypto (AlonzoEra c)))) Source # datumTxOutF ∷ SimpleGetter (TxOut (AlonzoEra c)) (Datum (AlonzoEra c)) Source # | |
class (EraScript era, Eq (PlutusScript era), Ord (PlutusScript era), Show (PlutusScript era), NoThunks (PlutusScript era), NFData (PlutusScript era), SafeToHash (PlutusScript era), Eq (PlutusPurpose AsItem era), Show (PlutusPurpose AsItem era), EncCBOR (PlutusPurpose AsItem era), DecCBOR (PlutusPurpose AsItem era), NoThunks (PlutusPurpose AsItem era), NFData (PlutusPurpose AsItem era), Eq (PlutusPurpose AsIx era), Ord (PlutusPurpose AsIx era), Show (PlutusPurpose AsIx era), EncCBOR (PlutusPurpose AsIx era), DecCBOR (PlutusPurpose AsIx era), EncCBORGroup (PlutusPurpose AsIx era), DecCBORGroup (PlutusPurpose AsIx era), NoThunks (PlutusPurpose AsIx era), NFData (PlutusPurpose AsIx era), Eq (PlutusPurpose AsIxItem era), Show (PlutusPurpose AsIxItem era), NoThunks (PlutusPurpose AsIxItem era), NFData (PlutusPurpose AsIxItem era), AllegraEraScript era) ⇒ AlonzoEraScript era where Source #
Minimal complete definition
eraMaxLanguage, mkPlutusScript, withPlutusScript, hoistPlutusPurpose, mkSpendingPurpose, toSpendingPurpose, mkMintingPurpose, toMintingPurpose, mkCertifyingPurpose, toCertifyingPurpose, mkRewardingPurpose, toRewardingPurpose, upgradePlutusPurposeAsIx
Associated Types
data PlutusScript era ∷ Type Source #
type PlutusPurpose (f ∷ Type → Type → Type) era = (r ∷ Type) | r → era Source #
Methods
eraMaxLanguage ∷ Language Source #
Highest supported Plutus language version for this era.
toPlutusScript ∷ Script era → Maybe (PlutusScript era) Source #
Attempt to extract a AlonzoEraScript from a wrapper type family Script. Whenevr
Script is a native script Nothing will be returned
default toPlutusScript ∷ Script era ~ AlonzoScript era ⇒ Script era → Maybe (PlutusScript era) Source #
fromPlutusScript ∷ PlutusScript era → Script era Source #
Convert a AlonzoEraScript to a wrapper type family Script
default fromPlutusScript ∷ Script era ~ AlonzoScript era ⇒ PlutusScript era → Script era Source #
mkPlutusScript ∷ PlutusLanguage l ⇒ Plutus l → Maybe (PlutusScript era) Source #
Returns Nothing, whenver plutus language is not supported for this era.
withPlutusScript ∷ PlutusScript era → (∀ l. PlutusLanguage l ⇒ Plutus l → a) → a Source #
Give a AlonzoEraScript apply a function that can handle Plutus scripts of all
known versions.
hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g era → PlutusPurpose f era Source #
mkSpendingPurpose ∷ f Word32 (TxIn (EraCrypto era)) → PlutusPurpose f era Source #
toSpendingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 (TxIn (EraCrypto era))) Source #
mkMintingPurpose ∷ f Word32 (PolicyID (EraCrypto era)) → PlutusPurpose f era Source #
toMintingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 (PolicyID (EraCrypto era))) Source #
mkCertifyingPurpose ∷ f Word32 (TxCert era) → PlutusPurpose f era Source #
toCertifyingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 (TxCert era)) Source #
mkRewardingPurpose ∷ f Word32 (RewardAccount (EraCrypto era)) → PlutusPurpose f era Source #
toRewardingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 (RewardAccount (EraCrypto era))) Source #
upgradePlutusPurposeAsIx ∷ AlonzoEraScript (PreviousEra era) ⇒ PlutusPurpose AsIx (PreviousEra era) → PlutusPurpose AsIx era Source #
Instances
Instances
Instances
Instances
pattern SpendingPurpose ∷ AlonzoEraScript era ⇒ f Word32 (TxIn (EraCrypto era)) → PlutusPurpose f era Source #
pattern MintingPurpose ∷ AlonzoEraScript era ⇒ f Word32 (PolicyID (EraCrypto era)) → PlutusPurpose f era Source #
pattern CertifyingPurpose ∷ AlonzoEraScript era ⇒ f Word32 (TxCert era) → PlutusPurpose f era Source #
pattern RewardingPurpose ∷ AlonzoEraScript era ⇒ f Word32 (RewardAccount (EraCrypto era)) → PlutusPurpose f era Source #
class (MaryEraTxBody era, AlonzoEraTxOut era) ⇒ AlonzoEraTxBody era where Source #
Methods
collateralInputsTxBodyL ∷ Lens' (TxBody era) (Set (TxIn (EraCrypto era))) Source #
reqSignerHashesTxBodyL ∷ Lens' (TxBody era) (Set (KeyHash 'Witness (EraCrypto era))) Source #
scriptIntegrityHashTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (ScriptIntegrityHash (EraCrypto era))) Source #
networkIdTxBodyL ∷ Lens' (TxBody era) (StrictMaybe Network) Source #
redeemerPointer ∷ TxBody era → PlutusPurpose AsItem era → StrictMaybe (PlutusPurpose AsIx era) Source #
This function is called rdptr in the spec. Given a TxBody and a plutus
purpose with an item, we should be able to find the plutus purpose as in index
redeemerPointerInverse ∷ TxBody era → PlutusPurpose AsIx era → StrictMaybe (PlutusPurpose AsIxItem era) Source #
This is an inverse of redeemerPointer. Given purpose as an index return it as an item.
Instances
| Crypto c ⇒ AlonzoEraTxBody (AlonzoEra c) Source # | |
Defined in Cardano.Ledger.Alonzo.TxBody.Internal Methods collateralInputsTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (Set (TxIn (EraCrypto (AlonzoEra c)))) Source # reqSignerHashesTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (Set (KeyHash 'Witness (EraCrypto (AlonzoEra c)))) Source # scriptIntegrityHashTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (StrictMaybe (ScriptIntegrityHash (EraCrypto (AlonzoEra c)))) Source # networkIdTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (StrictMaybe Network) Source # redeemerPointer ∷ TxBody (AlonzoEra c) → PlutusPurpose AsItem (AlonzoEra c) → StrictMaybe (PlutusPurpose AsIx (AlonzoEra c)) Source # redeemerPointerInverse ∷ TxBody (AlonzoEra c) → PlutusPurpose AsIx (AlonzoEra c) → StrictMaybe (PlutusPurpose AsIxItem (AlonzoEra c)) Source # | |
class (EraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTxWits era where Source #
class EraPParams era ⇒ AlonzoEraPParams era Source #
Minimal complete definition
hkdCoinsPerUTxOWordL, hkdCostModelsL, hkdPricesL, hkdMaxTxExUnitsL, hkdMaxBlockExUnitsL, hkdMaxValSizeL, hkdCollateralPercentageL, hkdMaxCollateralInputsL
Instances
newtype CoinPerWord Source #
Constructors
| CoinPerWord | |
Fields | |
Instances
ppCoinsPerUTxOWordL ∷ ∀ era. (AlonzoEraPParams era, ExactEra AlonzoEra era) ⇒ Lens' (PParams era) CoinPerWord Source #
ppCostModelsL ∷ ∀ era. AlonzoEraPParams era ⇒ Lens' (PParams era) CostModels Source #
ppMaxTxExUnitsL ∷ ∀ era. AlonzoEraPParams era ⇒ Lens' (PParams era) ExUnits Source #
ppMaxBlockExUnitsL ∷ ∀ era. AlonzoEraPParams era ⇒ Lens' (PParams era) ExUnits Source #
ppMaxValSizeL ∷ ∀ era. AlonzoEraPParams era ⇒ Lens' (PParams era) Natural Source #
ppCollateralPercentageL ∷ ∀ era. AlonzoEraPParams era ⇒ Lens' (PParams era) Natural Source #
ppMaxCollateralInputsL ∷ ∀ era. AlonzoEraPParams era ⇒ Lens' (PParams era) Natural Source #
ppuCoinsPerUTxOWordL ∷ ∀ era. (AlonzoEraPParams era, ExactEra AlonzoEra era) ⇒ Lens' (PParamsUpdate era) (StrictMaybe CoinPerWord) Source #
ppuCostModelsL ∷ ∀ era. AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe CostModels) Source #
ppuPricesL ∷ ∀ era. AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Prices) Source #
ppuMaxTxExUnitsL ∷ ∀ era. AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe ExUnits) Source #
ppuMaxBlockExUnitsL ∷ ∀ era. AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe ExUnits) Source #
ppuMaxValSizeL ∷ ∀ era. AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural) Source #
ppuCollateralPercentageL ∷ ∀ era. AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural) Source #
ppuMaxCollateralInputsL ∷ ∀ era. AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural) Source #
class AllegraEraTxAuxData era ⇒ AlonzoEraTxAuxData era where Source #
Methods
plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData era) (Map Language (NonEmpty PlutusBinary)) Source #
Instances
| Crypto c ⇒ AlonzoEraTxAuxData (AlonzoEra c) Source # | |
Defined in Cardano.Ledger.Alonzo.TxAuxData Methods plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData (AlonzoEra c)) (Map Language (NonEmpty PlutusBinary)) Source # | |
module Cardano.Ledger.Mary.Core