Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Alonzo.Core

Synopsis

class (EraTx era, AlonzoEraTxBody era, AlonzoEraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTx era where
- isValidTxL ∷ Lens' (Tx 'TopTx era) IsValid
newtype IsValid = IsValid Bool
class (AlonzoEraPParams era, EraTxOut era) ⇒ AlonzoEraTxOut era where
- dataHashTxOutL ∷ Lens' (TxOut era) (StrictMaybe DataHash)
- datumTxOutF ∷ SimpleGetter (TxOut era) (Datum era)
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
- data PlutusScript era
- type PlutusPurpose (f ∷ Type → Type → Type) era = (r ∷ Type) | r → era
- eraMaxLanguage ∷ Language
- toPlutusScript ∷ Script era → Maybe (PlutusScript era)
- fromPlutusScript ∷ PlutusScript era → Script era
- mkPlutusScript ∷ ∀ (l ∷ Language) m. (PlutusLanguage l, MonadFail m) ⇒ Plutus l → m (PlutusScript era)
- withPlutusScript ∷ PlutusScript era → (∀ (l ∷ Language). PlutusLanguage l ⇒ Plutus l → a) → a
- hoistPlutusPurpose ∷ (∀ ix it. g ix it → f ix it) → PlutusPurpose g era → PlutusPurpose f era
- mkSpendingPurpose ∷ f Word32 TxIn → PlutusPurpose f era
- toSpendingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 TxIn)
- mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f era
- toMintingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 PolicyID)
- mkCertifyingPurpose ∷ f Word32 (TxCert era) → PlutusPurpose f era
- toCertifyingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 (TxCert era))
- mkRewardingPurpose ∷ f Word32 RewardAccount → PlutusPurpose f era
- toRewardingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 RewardAccount)
- upgradePlutusPurposeAsIx ∷ PlutusPurpose AsIx (PreviousEra era) → PlutusPurpose AsIx era
newtype AsIx ix it = AsIx {
- unAsIx ∷ ix
}
newtype AsItem ix it = AsItem {
- unAsItem ∷ it
}
data AsIxItem ix it = AsIxItem {
- asIndex ∷ !ix
- asItem ∷ !it
}
pattern SpendingPurpose ∷ AlonzoEraScript era ⇒ f Word32 TxIn → PlutusPurpose f era
pattern MintingPurpose ∷ AlonzoEraScript era ⇒ f Word32 PolicyID → PlutusPurpose f era
pattern CertifyingPurpose ∷ AlonzoEraScript era ⇒ f Word32 (TxCert era) → PlutusPurpose f era
pattern RewardingPurpose ∷ AlonzoEraScript era ⇒ f Word32 RewardAccount → PlutusPurpose f era
type ScriptIntegrityHash = SafeHash EraIndependentScriptIntegrity
class (MaryEraTxBody era, AlonzoEraTxOut era) ⇒ AlonzoEraTxBody era where
- collateralInputsTxBodyL ∷ Lens' (TxBody 'TopTx era) (Set TxIn)
- reqSignerHashesTxBodyL ∷ ∀ (l ∷ TxLevel). AtMostEra "Conway" era ⇒ Lens' (TxBody l era) (Set (KeyHash 'Guard))
- reqSignerHashesTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l era) (Set (KeyHash 'Guard))
- scriptIntegrityHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (StrictMaybe ScriptIntegrityHash)
- networkIdTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (StrictMaybe Network)
- redeemerPointer ∷ ∀ (l ∷ TxLevel). TxBody l era → PlutusPurpose AsItem era → StrictMaybe (PlutusPurpose AsIx era)
- redeemerPointerInverse ∷ ∀ (l ∷ TxLevel). TxBody l era → PlutusPurpose AsIx era → StrictMaybe (PlutusPurpose AsIxItem era)
class (EraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTxWits era where
- datsTxWitsL ∷ Lens' (TxWits era) (TxDats era)
- rdmrsTxWitsL ∷ Lens' (TxWits era) (Redeemers era)
class EraPParams era ⇒ AlonzoEraPParams era
newtype CoinPerWord = CoinPerWord {
- unCoinPerWord ∷ Coin
}
ppCoinsPerUTxOWordL ∷ (AlonzoEraPParams era, ExactEra AlonzoEra era) ⇒ Lens' (PParams era) CoinPerWord
ppCostModelsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) CostModels
ppPricesL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Prices
ppMaxTxExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) ExUnits
ppMaxBlockExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) ExUnits
ppMaxValSizeL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural
ppCollateralPercentageL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural
ppMaxCollateralInputsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural
ppuCoinsPerUTxOWordL ∷ (AlonzoEraPParams era, ExactEra AlonzoEra era) ⇒ Lens' (PParamsUpdate era) (StrictMaybe CoinPerWord)
ppuCostModelsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe CostModels)
ppuPricesL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Prices)
ppuMaxTxExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe ExUnits)
ppuMaxBlockExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe ExUnits)
ppuMaxValSizeL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural)
ppuCollateralPercentageL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural)
ppuMaxCollateralInputsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural)
class AllegraEraTxAuxData era ⇒ AlonzoEraTxAuxData era where
- plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData era) (Map Language (NonEmpty PlutusBinary))
module Cardano.Ledger.Mary.Core

Documentation

class (EraTx era, AlonzoEraTxBody era, AlonzoEraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTx era where Source #

Methods

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

Instances

Instances details

AlonzoEraTx AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods isValidTxL ∷ Lens' (Tx 'TopTx AlonzoEra) IsValid Source #

newtype IsValid Source #

Tag indicating whether non-native scripts in this transaction are expected to validate. This is added by the block creator when constructing the block.

Constructors

IsValid Bool

Instances

Instances details

ToJSON IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toJSON ∷ IsValid → Value Source #

toEncoding ∷ IsValid → Encoding Source #

toJSONList ∷ [IsValid] → Value Source #

toEncodingList ∷ [IsValid] → Encoding Source #

omitField ∷ IsValid → Bool Source #

ToCBOR IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toCBOR ∷ IsValid → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy IsValid → Size Source #

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

DecCBOR IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

decCBOR ∷ Decoder s IsValid Source #

dropCBOR ∷ Proxy IsValid → Decoder s () Source #

label ∷ Proxy IsValid → Text Source #

EncCBOR IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

encCBOR ∷ IsValid → Encoding Source #

NFData IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

rnf ∷ IsValid → () #

Generic IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

type Rep IsValid
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Rep IsValid = D1 ('MetaData "IsValid" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "IsValid" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Methods

from ∷ IsValid → Rep IsValid x #

to ∷ Rep IsValid x → IsValid #

Show IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

showsPrec ∷ Int → IsValid → ShowS #

show ∷ IsValid → String #

showList ∷ [IsValid] → ShowS #

Eq IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

(==) ∷ IsValid → IsValid → Bool #

(/=) ∷ IsValid → IsValid → Bool #

NoThunks IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

noThunks ∷ Context → IsValid → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → IsValid → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy IsValid → String Source #

type Rep IsValid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type Rep IsValid = D1 ('MetaData "IsValid" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "IsValid" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

class (AlonzoEraPParams era, EraTxOut era) ⇒ AlonzoEraTxOut era where Source #

Methods

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

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

Instances

Instances details

AlonzoEraTxOut AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxOut Methods dataHashTxOutL ∷ Lens' (TxOut AlonzoEra) (StrictMaybe DataHash) Source # datumTxOutF ∷ SimpleGetter (TxOut AlonzoEra) (Datum AlonzoEra) Source #

Minimal complete definition

eraMaxLanguage, mkPlutusScript, withPlutusScript, hoistPlutusPurpose, mkSpendingPurpose, toSpendingPurpose, mkMintingPurpose, toMintingPurpose, mkCertifyingPurpose, toCertifyingPurpose, mkRewardingPurpose, toRewardingPurpose, upgradePlutusPurposeAsIx

Associated Types

data PlutusScript era 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 PlutusScript 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 PlutusScript to a wrapper type family Script

default fromPlutusScript ∷ Script era ~ AlonzoScript era ⇒ PlutusScript era → Script era Source #

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

Returns Nothing, whenver plutus language is not supported for this era.

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

Give a PlutusScript 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 → PlutusPurpose f era Source #

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

mkMintingPurpose ∷ f Word32 PolicyID → PlutusPurpose f era Source #

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

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

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

mkRewardingPurpose ∷ f Word32 RewardAccount → PlutusPurpose f era Source #

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

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

Instances

Instances details

AlonzoEraScript AlonzoEra Source #

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 #

newtype AsIx ix it Source #

Constructors

AsIx
Fields unAsIx ∷ ix

Instances

Instances details

ToJSON ix ⇒ ToJSON (AsIx ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toJSON ∷ AsIx ix it → Value Source #

toEncoding ∷ AsIx ix it → Encoding Source #

toJSONList ∷ [AsIx ix it] → Value Source #

toEncodingList ∷ [AsIx ix it] → Encoding Source #

omitField ∷ AsIx ix it → Bool Source #

(Typeable it, DecCBOR ix) ⇒ DecCBOR (AsIx ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

decCBOR ∷ Decoder s (AsIx ix it) Source #

dropCBOR ∷ Proxy (AsIx ix it) → Decoder s () Source #

label ∷ Proxy (AsIx ix it) → Text Source #

EncCBOR ix ⇒ EncCBOR (AsIx ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBOR ∷ AsIx ix it → Encoding Source #

NFData ix ⇒ NFData (AsIx ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf ∷ AsIx ix it → () #

Generic ix ⇒ Generic (AsIx ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (AsIx ix it)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Rep (AsIx ix it) = Rep ix

Methods

from ∷ AsIx ix it → Rep (AsIx ix it) x #

to ∷ Rep (AsIx ix it) x → AsIx ix it #

Show (AlonzoPlutusPurpose AsIx era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → AlonzoPlutusPurpose AsIx era → ShowS #

show ∷ AlonzoPlutusPurpose AsIx era → String #

showList ∷ [AlonzoPlutusPurpose AsIx era] → ShowS #

Show ix ⇒ Show (AsIx ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → AsIx ix it → ShowS #

show ∷ AsIx ix it → String #

showList ∷ [AsIx ix it] → ShowS #

Eq (AlonzoPlutusPurpose AsIx era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==) ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Bool #

(/=) ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Bool #

Eq ix ⇒ Eq (AsIx ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==) ∷ AsIx ix it → AsIx ix it → Bool #

(/=) ∷ AsIx ix it → AsIx ix it → Bool #

Ord (AlonzoPlutusPurpose AsIx era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Ordering #

(<) ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Bool #

(<=) ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Bool #

(>) ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Bool #

(>=) ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → Bool #

max ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era #

min ∷ AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era → AlonzoPlutusPurpose AsIx era #

Ord ix ⇒ Ord (AsIx ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ AsIx ix it → AsIx ix it → Ordering #

(<) ∷ AsIx ix it → AsIx ix it → Bool #

(<=) ∷ AsIx ix it → AsIx ix it → Bool #

(>) ∷ AsIx ix it → AsIx ix it → Bool #

(>=) ∷ AsIx ix it → AsIx ix it → Bool #

max ∷ AsIx ix it → AsIx ix it → AsIx ix it #

min ∷ AsIx ix it → AsIx ix it → AsIx ix it #

NoThunks (AlonzoPlutusPurpose AsIx era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks ∷ Context → AlonzoPlutusPurpose AsIx era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoPlutusPurpose AsIx era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoPlutusPurpose AsIx era) → String Source #

NoThunks ix ⇒ NoThunks (AsIx ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks ∷ Context → AsIx ix it → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AsIx ix it → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AsIx ix it) → String Source #

type Rep (AsIx ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AsIx ix it) = Rep ix

newtype AsItem ix it Source #

Constructors

AsItem
Fields unAsItem ∷ it

Instances

Instances details

ToJSON it ⇒ ToJSON (AsItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toJSON ∷ AsItem ix it → Value Source #

toEncoding ∷ AsItem ix it → Encoding Source #

toJSONList ∷ [AsItem ix it] → Value Source #

toEncodingList ∷ [AsItem ix it] → Encoding Source #

omitField ∷ AsItem ix it → Bool Source #

(Typeable ix, DecCBOR it) ⇒ DecCBOR (AsItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

decCBOR ∷ Decoder s (AsItem ix it) Source #

dropCBOR ∷ Proxy (AsItem ix it) → Decoder s () Source #

label ∷ Proxy (AsItem ix it) → Text Source #

EncCBOR it ⇒ EncCBOR (AsItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

encCBOR ∷ AsItem ix it → Encoding Source #

NFData it ⇒ NFData (AsItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf ∷ AsItem ix it → () #

Generic it ⇒ Generic (AsItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (AsItem ix it)
Instance details Defined in Cardano.Ledger.Alonzo.Scripts type Rep (AsItem ix it) = Rep it

Methods

from ∷ AsItem ix it → Rep (AsItem ix it) x #

to ∷ Rep (AsItem ix it) x → AsItem ix it #

Show (TxCert era) ⇒ Show (AlonzoPlutusPurpose AsItem era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → AlonzoPlutusPurpose AsItem era → ShowS #

show ∷ AlonzoPlutusPurpose AsItem era → String #

showList ∷ [AlonzoPlutusPurpose AsItem era] → ShowS #

Show it ⇒ Show (AsItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → AsItem ix it → ShowS #

show ∷ AsItem ix it → String #

showList ∷ [AsItem ix it] → ShowS #

Eq (TxCert era) ⇒ Eq (AlonzoPlutusPurpose AsItem era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==) ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → Bool #

(/=) ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → Bool #

Eq it ⇒ Eq (AsItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==) ∷ AsItem ix it → AsItem ix it → Bool #

(/=) ∷ AsItem ix it → AsItem ix it → Bool #

Ord it ⇒ Ord (AsItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ AsItem ix it → AsItem ix it → Ordering #

(<) ∷ AsItem ix it → AsItem ix it → Bool #

(<=) ∷ AsItem ix it → AsItem ix it → Bool #

(>) ∷ AsItem ix it → AsItem ix it → Bool #

(>=) ∷ AsItem ix it → AsItem ix it → Bool #

max ∷ AsItem ix it → AsItem ix it → AsItem ix it #

min ∷ AsItem ix it → AsItem ix it → AsItem ix it #

NoThunks (TxCert era) ⇒ NoThunks (AlonzoPlutusPurpose AsItem era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks ∷ Context → AlonzoPlutusPurpose AsItem era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoPlutusPurpose AsItem era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoPlutusPurpose AsItem era) → String Source #

NoThunks it ⇒ NoThunks (AsItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks ∷ Context → AsItem ix it → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AsItem ix it → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AsItem ix it) → String Source #

type Rep (AsItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AsItem ix it) = Rep it

data AsIxItem ix it Source #

Constructors

AsIxItem
Fields asIndex ∷ !ix asItem ∷ !it

Instances

Instances details

(ToJSON ix, ToJSON it) ⇒ ToJSON (AsIxItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

toJSON ∷ AsIxItem ix it → Value Source #

toEncoding ∷ AsIxItem ix it → Encoding Source #

toJSONList ∷ [AsIxItem ix it] → Value Source #

toEncodingList ∷ [AsIxItem ix it] → Encoding Source #

omitField ∷ AsIxItem ix it → Bool Source #

(NFData ix, NFData it) ⇒ NFData (AsIxItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

rnf ∷ AsIxItem ix it → () #

Generic (AsIxItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Associated Types

type Rep (AsIxItem ix it)

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AsIxItem ix it) = D1 ('MetaData "AsIxItem" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) (C1 ('MetaCons "AsIxItem" 'PrefixI 'True) (S1 ('MetaSel ('Just "asIndex") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ix) :*: S1 ('MetaSel ('Just "asItem") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 it)))

Methods

from ∷ AsIxItem ix it → Rep (AsIxItem ix it) x #

to ∷ Rep (AsIxItem ix it) x → AsIxItem ix it #

Show (TxCert era) ⇒ Show (AlonzoPlutusPurpose AsIxItem era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → AlonzoPlutusPurpose AsIxItem era → ShowS #

show ∷ AlonzoPlutusPurpose AsIxItem era → String #

showList ∷ [AlonzoPlutusPurpose AsIxItem era] → ShowS #

(Show ix, Show it) ⇒ Show (AsIxItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

showsPrec ∷ Int → AsIxItem ix it → ShowS #

show ∷ AsIxItem ix it → String #

showList ∷ [AsIxItem ix it] → ShowS #

Eq (TxCert era) ⇒ Eq (AlonzoPlutusPurpose AsIxItem era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==) ∷ AlonzoPlutusPurpose AsIxItem era → AlonzoPlutusPurpose AsIxItem era → Bool #

(/=) ∷ AlonzoPlutusPurpose AsIxItem era → AlonzoPlutusPurpose AsIxItem era → Bool #

(Eq ix, Eq it) ⇒ Eq (AsIxItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

(==) ∷ AsIxItem ix it → AsIxItem ix it → Bool #

(/=) ∷ AsIxItem ix it → AsIxItem ix it → Bool #

(Ord ix, Ord it) ⇒ Ord (AsIxItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ AsIxItem ix it → AsIxItem ix it → Ordering #

(<) ∷ AsIxItem ix it → AsIxItem ix it → Bool #

(<=) ∷ AsIxItem ix it → AsIxItem ix it → Bool #

(>) ∷ AsIxItem ix it → AsIxItem ix it → Bool #

(>=) ∷ AsIxItem ix it → AsIxItem ix it → Bool #

max ∷ AsIxItem ix it → AsIxItem ix it → AsIxItem ix it #

min ∷ AsIxItem ix it → AsIxItem ix it → AsIxItem ix it #

NoThunks (TxCert era) ⇒ NoThunks (AlonzoPlutusPurpose AsIxItem era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks ∷ Context → AlonzoPlutusPurpose AsIxItem era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoPlutusPurpose AsIxItem era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoPlutusPurpose AsIxItem era) → String Source #

(NoThunks ix, NoThunks it) ⇒ NoThunks (AsIxItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

noThunks ∷ Context → AsIxItem ix it → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AsIxItem ix it → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AsIxItem ix it) → String Source #

type Rep (AsIxItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

type Rep (AsIxItem ix it) = D1 ('MetaData "AsIxItem" "Cardano.Ledger.Alonzo.Scripts" "cardano-ledger-alonzo-1.15.0.0-inplace" 'False) (C1 ('MetaCons "AsIxItem" 'PrefixI 'True) (S1 ('MetaSel ('Just "asIndex") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ix) :*: S1 ('MetaSel ('Just "asItem") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 it)))

pattern SpendingPurpose ∷ AlonzoEraScript era ⇒ f Word32 TxIn → PlutusPurpose f era Source #

pattern MintingPurpose ∷ AlonzoEraScript era ⇒ f Word32 PolicyID → PlutusPurpose f era Source #

pattern CertifyingPurpose ∷ AlonzoEraScript era ⇒ f Word32 (TxCert era) → PlutusPurpose f era Source #

pattern RewardingPurpose ∷ AlonzoEraScript era ⇒ f Word32 RewardAccount → PlutusPurpose f era Source #

type ScriptIntegrityHash = SafeHash EraIndependentScriptIntegrity Source #

class (MaryEraTxBody era, AlonzoEraTxOut era) ⇒ AlonzoEraTxBody era where Source #

Minimal complete definition

collateralInputsTxBodyL, reqSignerHashesTxBodyL, scriptIntegrityHashTxBodyL, networkIdTxBodyL, redeemerPointer, redeemerPointerInverse

Methods

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

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

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

default reqSignerHashesTxBodyG ∷ ∀ (l ∷ TxLevel). AtMostEra "Conway" era ⇒ SimpleGetter (TxBody l era) (Set (KeyHash 'Guard)) Source #

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

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

redeemerPointer ∷ ∀ (l ∷ TxLevel). TxBody l 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 ∷ ∀ (l ∷ TxLevel). TxBody l 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

Instances details

AlonzoEraTxBody AlonzoEra Source #

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 #

class (EraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTxWits era where Source #

Methods

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

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

Instances

Instances details

AlonzoEraTxWits AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods datsTxWitsL ∷ Lens' (TxWits AlonzoEra) (TxDats AlonzoEra) Source # rdmrsTxWitsL ∷ Lens' (TxWits AlonzoEra) (Redeemers AlonzoEra) Source #

class EraPParams era ⇒ AlonzoEraPParams era Source #

Minimal complete definition

hkdCoinsPerUTxOWordL, hkdCostModelsL, hkdPricesL, hkdMaxTxExUnitsL, hkdMaxBlockExUnitsL, hkdMaxValSizeL, hkdCollateralPercentageL, hkdMaxCollateralInputsL

Instances

Instances details

AlonzoEraPParams AlonzoEra Source #

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 #

newtype CoinPerWord Source #

Constructors

CoinPerWord
Fields unCoinPerWord ∷ Coin

Instances

Instances details

FromJSON CoinPerWord Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods parseJSON ∷ Value → Parser CoinPerWord Source # parseJSONList ∷ Value → Parser [CoinPerWord] Source # omittedField ∷ Maybe CoinPerWord Source #
ToJSON CoinPerWord Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toJSON ∷ CoinPerWord → Value Source # toEncoding ∷ CoinPerWord → Encoding Source # toJSONList ∷ [CoinPerWord] → Value Source # toEncodingList ∷ [CoinPerWord] → Encoding Source # omitField ∷ CoinPerWord → Bool Source #
DecCBOR CoinPerWord Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods decCBOR ∷ Decoder s CoinPerWord Source # dropCBOR ∷ Proxy CoinPerWord → Decoder s () Source # label ∷ Proxy CoinPerWord → Text Source #
EncCBOR CoinPerWord Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods encCBOR ∷ CoinPerWord → Encoding Source #
ToPlutusData CoinPerWord Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods toPlutusData ∷ CoinPerWord → Data Source # fromPlutusData ∷ Data → Maybe CoinPerWord Source #
NFData CoinPerWord Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods rnf ∷ CoinPerWord → () #
Show CoinPerWord Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods showsPrec ∷ Int → CoinPerWord → ShowS # show ∷ CoinPerWord → String # showList ∷ [CoinPerWord] → ShowS #
Eq CoinPerWord Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods (==) ∷ CoinPerWord → CoinPerWord → Bool # (/=) ∷ CoinPerWord → CoinPerWord → Bool #
Ord CoinPerWord Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods compare ∷ CoinPerWord → CoinPerWord → Ordering # (<) ∷ CoinPerWord → CoinPerWord → Bool # (<=) ∷ CoinPerWord → CoinPerWord → Bool # (>) ∷ CoinPerWord → CoinPerWord → Bool # (>=) ∷ CoinPerWord → CoinPerWord → Bool # max ∷ CoinPerWord → CoinPerWord → CoinPerWord # min ∷ CoinPerWord → CoinPerWord → CoinPerWord #
NoThunks CoinPerWord Source #
Instance details Defined in Cardano.Ledger.Alonzo.PParams Methods noThunks ∷ Context → CoinPerWord → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → CoinPerWord → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy CoinPerWord → String Source #

ppCoinsPerUTxOWordL ∷ (AlonzoEraPParams era, ExactEra AlonzoEra era) ⇒ Lens' (PParams era) CoinPerWord Source #

ppCostModelsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) CostModels Source #

ppPricesL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Prices Source #

ppMaxTxExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) ExUnits Source #

ppMaxBlockExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) ExUnits Source #

ppMaxValSizeL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural Source #

ppCollateralPercentageL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural Source #

ppMaxCollateralInputsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Natural Source #

ppuCoinsPerUTxOWordL ∷ (AlonzoEraPParams era, ExactEra AlonzoEra era) ⇒ Lens' (PParamsUpdate era) (StrictMaybe CoinPerWord) Source #

ppuCostModelsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe CostModels) Source #

ppuPricesL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Prices) Source #

ppuMaxTxExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe ExUnits) Source #

ppuMaxBlockExUnitsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe ExUnits) Source #

ppuMaxValSizeL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural) Source #

ppuCollateralPercentageL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Natural) Source #

ppuMaxCollateralInputsL ∷ 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

Instances details

AlonzoEraTxAuxData AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (Map Language (NonEmpty PlutusBinary)) Source #

module Cardano.Ledger.Mary.Core