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

Cardano.Ledger.Alonzo.TxOut

Synopsis

Documentation

data AlonzoTxOut era Source #

Bundled Patterns

pattern AlonzoTxOut ∷ ∀ era. (Era era, Val (Value era), HasCallStack) ⇒ Addr (EraCrypto era) → Value era → StrictMaybe (DataHash (EraCrypto era)) → AlonzoTxOut era 
pattern TxOutCompact ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr (EraCrypto era) → CompactForm (Value 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

Generic (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Rep (AlonzoTxOut era) ∷ TypeType Source #

Methods

fromAlonzoTxOut era → Rep (AlonzoTxOut era) x Source #

toRep (AlonzoTxOut era) x → AlonzoTxOut era Source #

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

Defined in Cardano.Ledger.Alonzo.TxOut

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

Defined in Cardano.Ledger.Alonzo.TxOut

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

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

toCBORAlonzoTxOut 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

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

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Share (AlonzoTxOut era) Source #

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

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

encCBORAlonzoTxOut 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

rnfAlonzoTxOut 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

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 ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :+: C1 ('MetaCons "TxOutCompactDH'" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactAddr (EraCrypto era))) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DataHash (EraCrypto era)))))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era))) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)))) :+: C1 ('MetaCons "TxOut_AddrHash28_AdaOnly_DataHash32" 'PrefixI 'False) ((S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking (EraCrypto era))) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Addr28Extra)) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 DataHash32)))))
type Share (AlonzoTxOut era) Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

data Addr28Extra Source #

Instances

Instances details
Generic Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Rep Addr28ExtraTypeType Source #

Show Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Eq Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

NoThunks Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Rep Addr28Extra Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

data DataHash32 Source #

Instances

Instances details
Generic DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Rep DataHash32TypeType Source #

Show DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Eq DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

NoThunks DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Rep DataHash32 Source # 
Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

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

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

utxoEntrySizeAlonzoEraTxOut 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

Orphan instances