AlonzoEraTx AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.Tx Methods isPhase2ValidTxL ∷ Lens' (Tx 'TopTx AlonzoEra) IsPhase2Valid Source # isValidTxL ∷ Lens' (Tx 'TopTx AlonzoEra) IsPhase2Valid Source # getTotalExUnits ∷ ∀ (l ∷ TxLevel). Tx l AlonzoEra → ExUnits Source #

data IsPhase2Valid Source #

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

Constructors

Phase2Invalid
Phase2Valid

Instances

Instances details

FromJSON IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

parseJSON ∷ Value → Parser IsPhase2Valid Source #

parseJSONList ∷ Value → Parser [IsPhase2Valid] Source #

omittedField ∷ Maybe IsPhase2Valid Source #

ToJSON IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toJSON ∷ IsPhase2Valid → Value Source #

toEncoding ∷ IsPhase2Valid → Encoding Source #

toJSONList ∷ [IsPhase2Valid] → Value Source #

toEncodingList ∷ [IsPhase2Valid] → Encoding Source #

omitField ∷ IsPhase2Valid → Bool Source #

ToCBOR IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

toCBOR ∷ IsPhase2Valid → Encoding Source #

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

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

DecCBOR IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

decCBOR ∷ Decoder s IsPhase2Valid Source #

dropCBOR ∷ Proxy IsPhase2Valid → Decoder s () Source #

label ∷ Proxy IsPhase2Valid → Text Source #

EncCBOR IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

encCBOR ∷ IsPhase2Valid → Encoding Source #

NFData IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

rnf ∷ IsPhase2Valid → () #

Monoid IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

mempty ∷ IsPhase2Valid #

mappend ∷ IsPhase2Valid → IsPhase2Valid → IsPhase2Valid #

mconcat ∷ [IsPhase2Valid] → IsPhase2Valid #

Semigroup IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

(<>) ∷ IsPhase2Valid → IsPhase2Valid → IsPhase2Valid #

sconcat ∷ NonEmpty IsPhase2Valid → IsPhase2Valid #

stimes ∷ Integral b ⇒ b → IsPhase2Valid → IsPhase2Valid #

Generic IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Associated Types

type Rep IsPhase2Valid
Instance details Defined in Cardano.Ledger.Alonzo.Tx type Rep IsPhase2Valid = D1 ('MetaData "IsPhase2Valid" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.17.0.0-inplace" 'False) (C1 ('MetaCons "Phase2Invalid" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Phase2Valid" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ IsPhase2Valid → Rep IsPhase2Valid x #

to ∷ Rep IsPhase2Valid x → IsPhase2Valid #

Show IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

showsPrec ∷ Int → IsPhase2Valid → ShowS #

show ∷ IsPhase2Valid → String #

showList ∷ [IsPhase2Valid] → ShowS #

Eq IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

(==) ∷ IsPhase2Valid → IsPhase2Valid → Bool #

(/=) ∷ IsPhase2Valid → IsPhase2Valid → Bool #

Ord IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

compare ∷ IsPhase2Valid → IsPhase2Valid → Ordering #

(<) ∷ IsPhase2Valid → IsPhase2Valid → Bool #

(<=) ∷ IsPhase2Valid → IsPhase2Valid → Bool #

(>) ∷ IsPhase2Valid → IsPhase2Valid → Bool #

(>=) ∷ IsPhase2Valid → IsPhase2Valid → Bool #

max ∷ IsPhase2Valid → IsPhase2Valid → IsPhase2Valid #

min ∷ IsPhase2Valid → IsPhase2Valid → IsPhase2Valid #

NoThunks IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

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

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

showTypeOf ∷ Proxy IsPhase2Valid → String Source #

type Rep IsPhase2Valid Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Tx

type Rep IsPhase2Valid = D1 ('MetaData "IsPhase2Valid" "Cardano.Ledger.Alonzo.Tx" "cardano-ledger-alonzo-1.17.0.0-inplace" 'False) (C1 ('MetaCons "Phase2Invalid" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Phase2Valid" 'PrefixI 'False) (U1 ∷ Type → Type))

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, mkWithdrawingPurpose, toWithdrawingPurpose, upgradePlutusPurposeAsIx

Associated Types

data PlutusScript era Source #

type PlutusPurpose (f ∷ Type → Type → Type) era = (r ∷ Type) | r → f 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 #

mkWithdrawingPurpose ∷ f Word32 AccountAddress → PlutusPurpose f era Source #

toWithdrawingPurpose ∷ PlutusPurpose f era → Maybe (f Word32 AccountAddress) Source #

mkRewardingPurpose ∷ f Word32 AccountAddress → PlutusPurpose f era Source #

Deprecated: In favor of mkWithdrawingPurpose

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

Deprecated: In favor of toWithdrawingPurpose

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 #

mkWithdrawingPurpose ∷ f Word32 AccountAddress → PlutusPurpose f AlonzoEra Source #

toWithdrawingPurpose ∷ PlutusPurpose f AlonzoEra → Maybe (f Word32 AccountAddress) Source #

mkRewardingPurpose ∷ f Word32 AccountAddress → PlutusPurpose f AlonzoEra Source #

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

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

newtype AsIx ix it Source #

Constructors

AsIx
Fields unAsIx ∷ ix

Instances

Instances details

FromJSON ix ⇒ FromJSON (AsIx ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

parseJSON ∷ Value → Parser (AsIx ix it) Source #

parseJSONList ∷ Value → Parser [AsIx ix it] Source #

omittedField ∷ Maybe (AsIx ix it) Source #

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

FromJSON it ⇒ FromJSON (AsItem ix it) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

parseJSON ∷ Value → Parser (AsItem ix it) Source #

parseJSONList ∷ Value → Parser [AsItem ix it] Source #

omittedField ∷ Maybe (AsItem ix it) Source #

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 (TxCert era) ⇒ Ord (AlonzoPlutusPurpose AsItem era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → Ordering #

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

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

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

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

max ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era #

min ∷ AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era → AlonzoPlutusPurpose AsItem era #

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

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

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

parseJSON ∷ Value → Parser (AsIxItem ix it) Source #

parseJSONList ∷ Value → Parser [AsIxItem ix it] Source #

omittedField ∷ Maybe (AsIxItem ix it) Source #

(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.17.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 (TxCert era) ⇒ Ord (AlonzoPlutusPurpose AsIxItem era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.Scripts

Methods

compare ∷ AlonzoPlutusPurpose AsIxItem era → AlonzoPlutusPurpose AsIxItem era → Ordering #

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

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

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

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

max ∷ AlonzoPlutusPurpose AsIxItem era → AlonzoPlutusPurpose AsIxItem era → AlonzoPlutusPurpose AsIxItem era #

min ∷ AlonzoPlutusPurpose AsIxItem era → AlonzoPlutusPurpose AsIxItem era → AlonzoPlutusPurpose AsIxItem era #

(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.17.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 WithdrawingPurpose ∷ AlonzoEraScript era ⇒ f Word32 AccountAddress → PlutusPurpose f era Source #

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

Deprecated: In favor of WithdrawingPurpose

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 Word32) Source #

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

hkdMaxCollateralInputsL ∷ ∀ (f ∷ Type → Type). HKDFunctor f ⇒ Lens' (PParamsHKD f AlonzoEra) (HKD f Word16) 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) Word32 Source #

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

ppMaxCollateralInputsL ∷ AlonzoEraPParams era ⇒ Lens' (PParams era) Word16 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 Word32) Source #

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

ppuMaxCollateralInputsL ∷ AlonzoEraPParams era ⇒ Lens' (PParamsUpdate era) (StrictMaybe Word16) Source #

class AllegraEraTxAuxData era ⇒ AlonzoEraTxAuxData era where Source #

Methods

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

Instances

Instances details

StAnnTxCache AlonzoEra ~ Map ScriptHash (SupportedPlutusRunnable AlonzoEra) ⇒ 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