cardano-ledger-alonzo-1.12.0.0: Cardano ledger introducing Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Alonzo.TxBody

Synopsis

Documentation

data AlonzoTxOut era Source #

Constructors

TxOutCompact' !(CompactAddr (EraCrypto era)) !(CompactForm (Value era)) 
TxOutCompactDH' !(CompactAddr (EraCrypto era)) !(CompactForm (Value era)) !(DataHash (EraCrypto era)) 
TxOut_AddrHash28_AdaOnly !(Credential 'Staking (EraCrypto era)) !Addr28Extra !(CompactForm Coin) 
TxOut_AddrHash28_AdaOnly_DataHash32 !(Credential 'Staking (EraCrypto era)) !Addr28Extra !(CompactForm Coin) !DataHash32 

Bundled Patterns

pattern TxOutCompact ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr (EraCrypto era) → CompactForm (Value era) → AlonzoTxOut era 
pattern AlonzoTxOut ∷ ∀ era. (Era era, Val (Value era), HasCallStack) ⇒ Addr (EraCrypto era) → Value era → StrictMaybe (DataHash (EraCrypto era)) → AlonzoTxOut era 
pattern TxOutCompactDH ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr (EraCrypto era) → CompactForm (Value era) → DataHash (EraCrypto era) → AlonzoTxOut era 

Instances

Instances details
(Era era, Val (Value era)) ⇒ ToJSON (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

toJSON ∷ AlonzoTxOut era → Value Source #

toEncoding ∷ AlonzoTxOut era → Encoding Source #

toJSONList ∷ [AlonzoTxOut era] → Value Source #

toEncodingList ∷ [AlonzoTxOut era] → Encoding Source #

omitField ∷ AlonzoTxOut era → Bool Source #

Generic (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Rep (AlonzoTxOut era) ∷ Type → Type Source #

Methods

from ∷ AlonzoTxOut era → Rep (AlonzoTxOut era) x Source #

to ∷ Rep (AlonzoTxOut era) x → AlonzoTxOut era Source #

(Era era, Val (Value era)) ⇒ Show (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

showsPrec ∷ Int → AlonzoTxOut era → ShowS Source #

show ∷ AlonzoTxOut era → String Source #

showList ∷ [AlonzoTxOut era] → ShowS Source #

(Era era, Val (Value era)) ⇒ FromCBOR (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

fromCBOR ∷ Decoder s (AlonzoTxOut era) Source #

label ∷ Proxy (AlonzoTxOut era) → Text Source #

(Era era, Val (Value era)) ⇒ ToCBOR (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

toCBOR ∷ AlonzoTxOut era → Encoding Source #

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

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

(Era era, Val (Value era)) ⇒ DecCBOR (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

decCBOR ∷ Decoder s (AlonzoTxOut era) Source #

dropCBOR ∷ Proxy (AlonzoTxOut era) → Decoder s () Source #

label ∷ Proxy (AlonzoTxOut era) → Text Source #

(Era era, Val (Value era)) ⇒ DecShareCBOR (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Share (AlonzoTxOut era) Source #

Methods

getShare ∷ AlonzoTxOut era → Share (AlonzoTxOut era) Source #

decShareCBOR ∷ Share (AlonzoTxOut era) → Decoder s (AlonzoTxOut era) Source #

decSharePlusCBOR ∷ StateT (Share (AlonzoTxOut era)) (Decoder s) (AlonzoTxOut era) Source #

(Era era, Val (Value era)) ⇒ EncCBOR (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

encCBOR ∷ AlonzoTxOut era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxOut era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxOut era] → Size Source #

NFData (AlonzoTxOut era) Source #

Already in NF

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

rnf ∷ AlonzoTxOut era → () Source #

(Eq (Value era), Compactible (Value era)) ⇒ Eq (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

(==) ∷ AlonzoTxOut era → AlonzoTxOut era → Bool Source #

(/=) ∷ AlonzoTxOut era → AlonzoTxOut era → Bool Source #

NoThunks (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

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

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

showTypeOf ∷ Proxy (AlonzoTxOut era) → String Source #

type Rep (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Rep (AlonzoTxOut era) = D1 ('MetaData "AlonzoTxOut" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.12.0.0-inplace" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :+: C1 ('MetaCons "TxOutCompactDH'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DataHash (EraCrypto era)))))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era))) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)))) :+: C1 ('MetaCons "TxOut_AddrHash28_AdaOnly_DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DataHash32)))))
type Share (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Share (AlonzoTxOut era) = Interns (Credential 'Staking (EraCrypto era))

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

Instances details
Crypto c ⇒ AlonzoEraTxOut (AlonzoEra c) Source # 
Instance details

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 #

data Addr28Extra Source #

Instances

Instances details
Generic Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Rep Addr28Extra ∷ Type → Type Source #

Methods

from ∷ Addr28Extra → Rep Addr28Extra x Source #

to ∷ Rep Addr28Extra x → Addr28Extra Source #

Show Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

showsPrec ∷ Int → Addr28Extra → ShowS Source #

show ∷ Addr28Extra → String Source #

showList ∷ [Addr28Extra] → ShowS Source #

Eq Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

(==) ∷ Addr28Extra → Addr28Extra → Bool Source #

(/=) ∷ Addr28Extra → Addr28Extra → Bool Source #

NoThunks Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

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

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

showTypeOf ∷ Proxy Addr28Extra → String Source #

type Rep Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Rep Addr28Extra = D1 ('MetaData "Addr28Extra" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.12.0.0-inplace" 'False) (C1 ('MetaCons "Addr28Extra" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64))))

data DataHash32 Source #

Instances

Instances details
Generic DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Rep DataHash32 ∷ Type → Type Source #

Methods

from ∷ DataHash32 → Rep DataHash32 x Source #

to ∷ Rep DataHash32 x → DataHash32 Source #

Show DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

showsPrec ∷ Int → DataHash32 → ShowS Source #

show ∷ DataHash32 → String Source #

showList ∷ [DataHash32] → ShowS Source #

Eq DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

(==) ∷ DataHash32 → DataHash32 → Bool Source #

(/=) ∷ DataHash32 → DataHash32 → Bool Source #

NoThunks DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

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

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

showTypeOf ∷ Proxy DataHash32 → String Source #

type Rep DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Rep DataHash32 = D1 ('MetaData "DataHash32" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.12.0.0-inplace" 'False) (C1 ('MetaCons "DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)) :*: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64))))

data AlonzoTxBody era where Source #

Bundled Patterns

pattern AlonzoTxBody ∷ (EraTxOut era, EraTxCert era) ⇒ Set (TxIn (EraCrypto era)) → Set (TxIn (EraCrypto era)) → StrictSeq (TxOut era) → StrictSeq (TxCert era) → Withdrawals (EraCrypto era) → Coin → ValidityInterval → StrictMaybe (Update era) → Set (KeyHash 'Witness (EraCrypto era)) → MultiAsset (EraCrypto era) → StrictMaybe (ScriptIntegrityHash (EraCrypto era)) → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) → StrictMaybe Network → AlonzoTxBody era 

Instances

Instances details
Memoized AlonzoTxBody Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Associated Types

type RawType AlonzoTxBody = (r ∷ Type → Type) Source #

Methods

getMemoBytes ∷ AlonzoTxBody era → MemoBytes (RawType AlonzoTxBody) era

wrapMemoBytes ∷ MemoBytes (RawType AlonzoTxBody) era → AlonzoTxBody era

Generic (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Associated Types

type Rep (AlonzoTxBody era) ∷ Type → Type Source #

Methods

from ∷ AlonzoTxBody era → Rep (AlonzoTxBody era) x Source #

to ∷ Rep (AlonzoTxBody era) x → AlonzoTxBody era Source #

(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era)) ⇒ Show (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

showsPrec ∷ Int → AlonzoTxBody era → ShowS Source #

show ∷ AlonzoTxBody era → String Source #

showList ∷ [AlonzoTxBody era] → ShowS Source #

Typeable era ⇒ ToCBOR (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

toCBOR ∷ AlonzoTxBody era → Encoding Source #

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

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

(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (Annotator (AlonzoTxBody era)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

decCBOR ∷ Decoder s (Annotator (AlonzoTxBody era)) Source #

dropCBOR ∷ Proxy (Annotator (AlonzoTxBody era)) → Decoder s () Source #

label ∷ Proxy (Annotator (AlonzoTxBody era)) → Text Source #

Era era ⇒ EncCBOR (AlonzoTxBody era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

encCBOR ∷ AlonzoTxBody era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxBody era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxBody era] → Size Source #

(Era era, Eq (PParamsUpdate era), Eq (TxOut era), Eq (TxCert era)) ⇒ EqRaw (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

eqRaw ∷ AlonzoTxBody era → AlonzoTxBody era → Bool Source #

SafeToHash (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

originalBytes ∷ AlonzoTxBody era → ByteString Source #

originalBytesSize ∷ AlonzoTxBody era → Int Source #

makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → AlonzoTxBody era → SafeHash c index Source #

(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era)) ⇒ NFData (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

rnf ∷ AlonzoTxBody era → () Source #

(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

(==) ∷ AlonzoTxBody era → AlonzoTxBody era → Bool Source #

(/=) ∷ AlonzoTxBody era → AlonzoTxBody era → Bool Source #

(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

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

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

showTypeOf ∷ Proxy (AlonzoTxBody era) → String Source #

c ~ EraCrypto era ⇒ HashAnnotated (AlonzoTxBody era) EraIndependentTxBody c Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

indexProxy ∷ AlonzoTxBody era → Proxy EraIndependentTxBody Source #

hashAnnotated ∷ AlonzoTxBody era → SafeHash c EraIndependentTxBody Source #

type RawType AlonzoTxBody Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

type RawType AlonzoTxBody = AlonzoTxBodyRaw
type Rep (AlonzoTxBody era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

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

data AlonzoTxBodyRaw era Source #

Instances

Instances details
Generic (AlonzoTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Associated Types

type Rep (AlonzoTxBodyRaw era) ∷ Type → Type Source #

Methods

from ∷ AlonzoTxBodyRaw era → Rep (AlonzoTxBodyRaw era) x Source #

to ∷ Rep (AlonzoTxBodyRaw era) x → AlonzoTxBodyRaw era Source #

(Era era, Show (TxOut era), Show (TxCert era), Show (PParamsUpdate era)) ⇒ Show (AlonzoTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

showsPrec ∷ Int → AlonzoTxBodyRaw era → ShowS Source #

show ∷ AlonzoTxBodyRaw era → String Source #

showList ∷ [AlonzoTxBodyRaw era] → ShowS Source #

(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (AlonzoTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

decCBOR ∷ Decoder s (AlonzoTxBodyRaw era) Source #

dropCBOR ∷ Proxy (AlonzoTxBodyRaw era) → Decoder s () Source #

label ∷ Proxy (AlonzoTxBodyRaw era) → Text Source #

(Era era, DecCBOR (TxOut era), DecCBOR (TxCert era), DecCBOR (PParamsUpdate era)) ⇒ DecCBOR (Annotator (AlonzoTxBodyRaw era)) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

decCBOR ∷ Decoder s (Annotator (AlonzoTxBodyRaw era)) Source #

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

label ∷ Proxy (Annotator (AlonzoTxBodyRaw era)) → Text Source #

(Era era, EncCBOR (TxOut era), EncCBOR (TxCert era), EncCBOR (PParamsUpdate era)) ⇒ EncCBOR (AlonzoTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

encCBOR ∷ AlonzoTxBodyRaw era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxBodyRaw era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxBodyRaw era] → Size Source #

(Era era, NFData (TxOut era), NFData (TxCert era), NFData (PParamsUpdate era)) ⇒ NFData (AlonzoTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

rnf ∷ AlonzoTxBodyRaw era → () Source #

(Era era, Eq (TxOut era), Eq (TxCert era), Eq (PParamsUpdate era)) ⇒ Eq (AlonzoTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

(==) ∷ AlonzoTxBodyRaw era → AlonzoTxBodyRaw era → Bool Source #

(/=) ∷ AlonzoTxBodyRaw era → AlonzoTxBodyRaw era → Bool Source #

(Era era, NoThunks (TxOut era), NoThunks (TxCert era), NoThunks (PParamsUpdate era)) ⇒ NoThunks (AlonzoTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

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

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

showTypeOf ∷ Proxy (AlonzoTxBodyRaw era) → String Source #

type MemoHashIndex AlonzoTxBodyRaw Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

type MemoHashIndex AlonzoTxBodyRaw = EraIndependentTxBody
type Rep (AlonzoTxBodyRaw era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

type Rep (AlonzoTxBodyRaw era) = D1 ('MetaData "AlonzoTxBodyRaw" "Cardano.Ledger.Alonzo.TxBody.Internal" "cardano-ledger-alonzo-1.12.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTxBodyRaw" 'PrefixI 'True) (((S1 ('MetaSel ('Just "atbrInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (TxIn (EraCrypto era)))) :*: (S1 ('MetaSel ('Just "atbrCollateral") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (TxIn (EraCrypto era)))) :*: S1 ('MetaSel ('Just "atbrOutputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxOut era))))) :*: (S1 ('MetaSel ('Just "atbrCerts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (TxCert era))) :*: (S1 ('MetaSel ('Just "atbrWithdrawals") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Withdrawals (EraCrypto era))) :*: S1 ('MetaSel ('Just "atbrTxFee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))) :*: ((S1 ('MetaSel ('Just "atbrValidityInterval") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ValidityInterval) :*: (S1 ('MetaSel ('Just "atbrUpdate") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Update era))) :*: S1 ('MetaSel ('Just "atbrReqSignerHashes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set (KeyHash 'Witness (EraCrypto era)))))) :*: ((S1 ('MetaSel ('Just "atbrMint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MultiAsset (EraCrypto era))) :*: S1 ('MetaSel ('Just "atbrScriptIntegrityHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (ScriptIntegrityHash (EraCrypto era))))) :*: (S1 ('MetaSel ('Just "atbrAuxDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (AuxiliaryDataHash (EraCrypto era)))) :*: S1 ('MetaSel ('Just "atbrTxNetworkId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Network)))))))

data AlonzoTxBodyUpgradeError Source #

Constructors

ATBUEMinUTxOUpdated

The TxBody contains a protocol parameter update that attempts to update the min UTxO. Since this doesn't exist in Alonzo, we fail if an attempt is made to update it.

Instances

Instances details
Show AlonzoTxBodyUpgradeError Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

showsPrec ∷ Int → AlonzoTxBodyUpgradeError → ShowS Source #

show ∷ AlonzoTxBodyUpgradeError → String Source #

showList ∷ [AlonzoTxBodyUpgradeError] → ShowS 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

Instances details
Crypto c ⇒ AlonzoEraTxBody (AlonzoEra c) Source # 
Instance details

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 (ShelleyEraTxCert era, EraTxBody era, ProtVerAtMost era 8) ⇒ ShelleyEraTxBody era where Source #

Methods

ttlTxBodyL ∷ Lens' (TxBody era) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody era) (StrictMaybe (Update era)) Source #

Instances

Instances details
Crypto c ⇒ ShelleyEraTxBody (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

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

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

Crypto c ⇒ ShelleyEraTxBody (ShelleyEra c) 
Instance details

Defined in Cardano.Ledger.Shelley.TxBody

Methods

ttlTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) SlotNo Source #

updateTxBodyL ∷ Lens' (TxBody (ShelleyEra c)) (StrictMaybe (Update (ShelleyEra c))) Source #

class EraTxBody era ⇒ AllegraEraTxBody era where Source #

Methods

vldtTxBodyL ∷ Lens' (TxBody era) ValidityInterval Source #

Instances

Instances details
Crypto c ⇒ AllegraEraTxBody (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxBody.Internal

Methods

vldtTxBodyL ∷ Lens' (TxBody (AllegraEra c)) ValidityInterval Source #

Crypto c ⇒ AllegraEraTxBody (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

vldtTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) ValidityInterval Source #

class AllegraEraTxBody era ⇒ MaryEraTxBody era where Source #

Methods

mintTxBodyL ∷ Lens' (TxBody era) (MultiAsset (EraCrypto era)) Source #

mintValueTxBodyF ∷ SimpleGetter (TxBody era) (Value era) Source #

mintedTxBodyF ∷ SimpleGetter (TxBody era) (Set (PolicyID (EraCrypto era))) Source #

Instances

Instances details
Crypto c ⇒ MaryEraTxBody (AlonzoEra c) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

mintTxBodyL ∷ Lens' (TxBody (AlonzoEra c)) (MultiAsset (EraCrypto (AlonzoEra c))) Source #

mintValueTxBodyF ∷ SimpleGetter (TxBody (AlonzoEra c)) (Value (AlonzoEra c)) Source #

mintedTxBodyF ∷ SimpleGetter (TxBody (AlonzoEra c)) (Set (PolicyID (EraCrypto (AlonzoEra c)))) Source #

Crypto c ⇒ MaryEraTxBody (MaryEra c) 
Instance details

Defined in Cardano.Ledger.Mary.TxBody.Internal

Methods

mintTxBodyL ∷ Lens' (TxBody (MaryEra c)) (MultiAsset (EraCrypto (MaryEra c))) Source #

mintValueTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Value (MaryEra c)) Source #

mintedTxBodyF ∷ SimpleGetter (TxBody (MaryEra c)) (Set (PolicyID (EraCrypto (MaryEra c)))) Source #

class Indexable elem container where Source #

Methods

indexOf ∷ AsItem Word32 elem → container → StrictMaybe (AsIx Word32 elem) Source #

fromIndex ∷ AsIx Word32 elem → container → StrictMaybe (AsIxItem Word32 elem) Source #

Instances

Instances details
Ord k ⇒ Indexable k (OSet k) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

indexOf ∷ AsItem Word32 k → OSet k → StrictMaybe (AsIx Word32 k) Source #

fromIndex ∷ AsIx Word32 k → OSet k → StrictMaybe (AsIxItem Word32 k) Source #

Eq k ⇒ Indexable k (StrictSeq k) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

indexOf ∷ AsItem Word32 k → StrictSeq k → StrictMaybe (AsIx Word32 k) Source #

fromIndex ∷ AsIx Word32 k → StrictSeq k → StrictMaybe (AsIxItem Word32 k) Source #

Ord k ⇒ Indexable k (Set k) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

indexOf ∷ AsItem Word32 k → Set k → StrictMaybe (AsIx Word32 k) Source #

fromIndex ∷ AsIx Word32 k → Set k → StrictMaybe (AsIxItem Word32 k) Source #

Ord k ⇒ Indexable k (Map k v) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxBody.Internal

Methods

indexOf ∷ AsItem Word32 k → Map k v → StrictMaybe (AsIx Word32 k) Source #

fromIndex ∷ AsIx Word32 k → Map k v → StrictMaybe (AsIxItem Word32 k) Source #

inputs' ∷ AlonzoTxBody era → Set (TxIn (EraCrypto era)) Source #

collateral' ∷ AlonzoTxBody era → Set (TxIn (EraCrypto era)) Source #

outputs' ∷ AlonzoTxBody era → StrictSeq (TxOut era) Source #

certs' ∷ AlonzoTxBody era → StrictSeq (TxCert era) Source #

withdrawals' ∷ AlonzoTxBody era → Withdrawals (EraCrypto era) Source #

txfee' ∷ AlonzoTxBody era → Coin Source #

vldt' ∷ AlonzoTxBody era → ValidityInterval Source #

update' ∷ AlonzoTxBody era → StrictMaybe (Update era) Source #

reqSignerHashes' ∷ AlonzoTxBody era → Set (KeyHash 'Witness (EraCrypto era)) Source #

mint' ∷ AlonzoTxBody era → MultiAsset (EraCrypto era) Source #

scriptIntegrityHash' ∷ AlonzoTxBody era → StrictMaybe (ScriptIntegrityHash (EraCrypto era)) Source #

adHash' ∷ AlonzoTxBody era → StrictMaybe (AuxiliaryDataHash (EraCrypto era)) Source #

txnetworkid' ∷ AlonzoTxBody era → StrictMaybe Network Source #

getAdaOnly ∷ ∀ era. Val (Value era) ⇒ Proxy era → Value era → Maybe (CompactForm Coin) Source #

decodeDataHash32 ∷ ∀ c. HashAlgorithm (HASH c) ⇒ DataHash32 → Maybe (DataHash c) Source #

encodeDataHash32 ∷ ∀ c. HashAlgorithm (HASH c) ⇒ DataHash c → Maybe (SizeHash (HASH c) :~: 32, DataHash32) Source #

encodeAddress28 ∷ ∀ c. HashAlgorithm (ADDRHASH c) ⇒ Network → PaymentCredential c → Maybe (SizeHash (ADDRHASH c) :~: 28, Addr28Extra) Source #

decodeAddress28 ∷ ∀ c. HashAlgorithm (ADDRHASH c) ⇒ Credential 'Staking c → Addr28Extra → Maybe (Addr c) Source #

viewCompactTxOut ∷ (Era era, Val (Value era)) ⇒ AlonzoTxOut era → (CompactAddr (EraCrypto era), CompactForm (Value era), StrictMaybe (DataHash (EraCrypto era))) Source #

viewTxOut ∷ (Era era, Val (Value era)) ⇒ AlonzoTxOut era → (Addr (EraCrypto era), Value era, StrictMaybe (DataHash (EraCrypto era))) Source #

data EraIndependentScriptIntegrity Source #

Instances

Instances details
(Era era, c ~ EraCrypto era) ⇒ HashAnnotated (ScriptIntegrity era) EraIndependentScriptIntegrity c Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.Tx

Methods

indexProxy ∷ ScriptIntegrity era → Proxy EraIndependentScriptIntegrity Source #

hashAnnotated ∷ ScriptIntegrity era → SafeHash c EraIndependentScriptIntegrity Source #

type ScriptIntegrityHash c = SafeHash c EraIndependentScriptIntegrity Source #

getAlonzoTxOutEitherAddr ∷ HashAlgorithm (ADDRHASH (EraCrypto era)) ⇒ AlonzoTxOut era → Either (Addr (EraCrypto era)) (CompactAddr (EraCrypto era)) Source #

utxoEntrySize ∷ AlonzoEraTxOut era ⇒ TxOut era → Integer Source #

Compute an estimate of the size of storing one UTxO entry. This function implements the UTxO entry size estimate done by scaledMinDeposit in the ShelleyMA era

alonzoRedeemerPointer ∷ ∀ era. MaryEraTxBody era ⇒ TxBody era → AlonzoPlutusPurpose AsItem era → StrictMaybe (AlonzoPlutusPurpose AsIx era) Source #

alonzoRedeemerPointerInverse ∷ MaryEraTxBody era ⇒ TxBody era → AlonzoPlutusPurpose AsIx era → StrictMaybe (AlonzoPlutusPurpose AsIxItem era) Source #