Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Babbage.TxOut

Contents

Orphan instances

Synopsis

data BabbageTxOut era where
- TxOutCompact' !CompactAddr !(CompactForm (Value era))
- TxOutCompactDH' !CompactAddr !(CompactForm (Value era)) !DataHash
- TxOutCompactDatum !CompactAddr !(CompactForm (Value era)) !(BinaryData era)
- TxOutCompactRefScript !CompactAddr !(CompactForm (Value era)) !(Datum era) !(Script era)
- TxOut_AddrHash28_AdaOnly !(Credential 'Staking) !Addr28Extra !(CompactForm Coin)
- TxOut_AddrHash28_AdaOnly_DataHash32 !(Credential 'Staking) !Addr28Extra !(CompactForm Coin) !DataHash32
- pattern BabbageTxOut ∷ (Era era, Val (Value era), HasCallStack) ⇒ Addr → Value era → Datum era → StrictMaybe (Script era) → BabbageTxOut era
- pattern TxOutCompact ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → BabbageTxOut era
- pattern TxOutCompactDH ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → DataHash → BabbageTxOut era
class (AlonzoEraTxOut era, AlonzoEraScript era) ⇒ BabbageEraTxOut era where
- referenceScriptTxOutL ∷ Lens' (TxOut era) (StrictMaybe (Script era))
- dataTxOutL ∷ Lens' (TxOut era) (StrictMaybe (Data era))
- datumTxOutL ∷ Lens' (TxOut era) (Datum era)
type family TxOut era = (r ∷ Type) | r → era
addrEitherBabbageTxOutL ∷ EraTxOut era ⇒ Lens' (BabbageTxOut era) (Either Addr CompactAddr)
valueEitherBabbageTxOutL ∷ EraTxOut era ⇒ Lens' (BabbageTxOut era) (Either (Value era) (CompactForm (Value era)))
dataHashBabbageTxOutL ∷ EraTxOut era ⇒ Lens' (BabbageTxOut era) (StrictMaybe DataHash)
dataBabbageTxOutL ∷ EraTxOut era ⇒ Lens' (BabbageTxOut era) (StrictMaybe (Data era))
datumBabbageTxOutL ∷ EraTxOut era ⇒ Lens' (BabbageTxOut era) (Datum era)
referenceScriptBabbageTxOutL ∷ EraTxOut era ⇒ Lens' (BabbageTxOut era) (StrictMaybe (Script era))
getDatumBabbageTxOut ∷ BabbageTxOut era → Datum era
babbageMinUTxOValue ∷ BabbageEraPParams era ⇒ PParams era → Sized a → Coin
getEitherAddrBabbageTxOut ∷ BabbageTxOut era → Either Addr CompactAddr
internBabbageTxOut ∷ (Credential 'Staking → Credential 'Staking) → BabbageTxOut era → BabbageTxOut era

Documentation

data BabbageTxOut era Source #

Constructors

TxOutCompact' !CompactAddr !(CompactForm (Value era))
TxOutCompactDH' !CompactAddr !(CompactForm (Value era)) !DataHash
TxOutCompactDatum !CompactAddr !(CompactForm (Value era)) !(BinaryData era)
TxOutCompactRefScript !CompactAddr !(CompactForm (Value era)) !(Datum era) !(Script era)
TxOut_AddrHash28_AdaOnly !(Credential 'Staking) !Addr28Extra !(CompactForm Coin)
TxOut_AddrHash28_AdaOnly_DataHash32 !(Credential 'Staking) !Addr28Extra !(CompactForm Coin) !DataHash32

Bundled Patterns

pattern BabbageTxOut ∷ (Era era, Val (Value era), HasCallStack) ⇒ Addr → Value era → Datum era → StrictMaybe (Script era) → BabbageTxOut era
pattern TxOutCompact ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → BabbageTxOut era
pattern TxOutCompactDH ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → DataHash → BabbageTxOut era

Instances

Instances details

(Era era, Val (Value era), ToJSON (Script era)) ⇒ ToJSON (BabbageTxOut era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

toJSON ∷ BabbageTxOut era → Value Source #

toEncoding ∷ BabbageTxOut era → Encoding Source #

toJSONList ∷ [BabbageTxOut era] → Value Source #

toEncodingList ∷ [BabbageTxOut era] → Encoding Source #

omitField ∷ BabbageTxOut era → Bool Source #

(EraScript era, Val (Value era)) ⇒ FromCBOR (BabbageTxOut era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

fromCBOR ∷ Decoder s (BabbageTxOut era) Source #

label ∷ Proxy (BabbageTxOut era) → Text Source #

(EraScript era, Val (Value era)) ⇒ ToCBOR (BabbageTxOut era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

toCBOR ∷ BabbageTxOut era → Encoding Source #

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

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

(EraScript era, Val (Value era)) ⇒ DecCBOR (BabbageTxOut era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

decCBOR ∷ Decoder s (BabbageTxOut era) Source #

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

label ∷ Proxy (BabbageTxOut era) → Text Source #

(EraScript era, Val (Value era), MemPack (Script era), MemPack (CompactForm (Value era))) ⇒ DecShareCBOR (BabbageTxOut era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Associated Types

type Share (BabbageTxOut era)
Instance details Defined in Cardano.Ledger.Babbage.TxOut type Share (BabbageTxOut era) = Interns (Credential 'Staking)

Methods

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

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

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

(EraScript era, Val (Value era)) ⇒ EncCBOR (BabbageTxOut era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

encCBOR ∷ BabbageTxOut era → Encoding Source #

(Era era, Val (Value era), ToJSON (Script era)) ⇒ ToKeyValuePairs (BabbageTxOut era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

toKeyValuePairs ∷ KeyValue e kv ⇒ BabbageTxOut era → [kv] Source #

NFData (BabbageTxOut era) Source #

Already in NF

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

rnf ∷ BabbageTxOut era → () #

Generic (BabbageTxOut era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Associated Types

type Rep (BabbageTxOut era)

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

from ∷ BabbageTxOut era → Rep (BabbageTxOut era) x #

to ∷ Rep (BabbageTxOut era) x → BabbageTxOut era #

(Era era, Show (Script era), Val (Value era)) ⇒ Show (BabbageTxOut era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

showsPrec ∷ Int → BabbageTxOut era → ShowS #

show ∷ BabbageTxOut era → String #

showList ∷ [BabbageTxOut era] → ShowS #

(Era era, Eq (Script era), Eq (CompactForm (Value era))) ⇒ Eq (BabbageTxOut era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

(==) ∷ BabbageTxOut era → BabbageTxOut era → Bool #

(/=) ∷ BabbageTxOut era → BabbageTxOut era → Bool #

(Era era, MemPack (Script era), MemPack (CompactForm (Value era))) ⇒ MemPack (BabbageTxOut era) Source #

This instance is backwards compatible in binary representation with TxOut instances for all previous era

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

typeName ∷ String Source #

packedByteCount ∷ BabbageTxOut era → Int Source #

packM ∷ BabbageTxOut era → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (BabbageTxOut era) Source #

(Era era, NoThunks (Script era), Val (Value era)) ⇒ NoThunks (BabbageTxOut era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

Methods

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

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

showTypeOf ∷ Proxy (BabbageTxOut era) → String Source #

type Share (BabbageTxOut era) Source #

type Rep (BabbageTxOut era) Source #

Instance details

Defined in Cardano.Ledger.Babbage.TxOut

class (AlonzoEraTxOut era, AlonzoEraScript era) ⇒ BabbageEraTxOut era where Source #

Methods

referenceScriptTxOutL ∷ Lens' (TxOut era) (StrictMaybe (Script era)) Source #

dataTxOutL ∷ Lens' (TxOut era) (StrictMaybe (Data era)) Source #

datumTxOutL ∷ Lens' (TxOut era) (Datum era) Source #

Instances

Instances details

BabbageEraTxOut BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods referenceScriptTxOutL ∷ Lens' (TxOut BabbageEra) (StrictMaybe (Script BabbageEra)) Source # dataTxOutL ∷ Lens' (TxOut BabbageEra) (StrictMaybe (Data BabbageEra)) Source # datumTxOutL ∷ Lens' (TxOut BabbageEra) (Datum BabbageEra) Source #

type family TxOut era = (r ∷ Type) | r → era Source #

The output of a UTxO for a particular era

Instances

Instances details

type TxOut AllegraEra
Instance details Defined in Cardano.Ledger.Allegra.TxOut type TxOut AllegraEra = ShelleyTxOut AllegraEra
type TxOut AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type TxOut AlonzoEra = AlonzoTxOut AlonzoEra
type TxOut BabbageEra Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut type TxOut BabbageEra = BabbageTxOut BabbageEra
type TxOut MaryEra
Instance details Defined in Cardano.Ledger.Mary.TxOut type TxOut MaryEra = ShelleyTxOut MaryEra
type TxOut ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.TxOut type TxOut ShelleyEra = ShelleyTxOut ShelleyEra