Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Alonzo.TxOut

Contents

Orphan instances

Synopsis

class (AlonzoEraPParams era, EraTxOut era) ⇒ AlonzoEraTxOut era where
- dataHashTxOutL ∷ Lens' (TxOut era) (StrictMaybe DataHash)
- datumTxOutF ∷ SimpleGetter (TxOut era) (Datum era)
data AlonzoTxOut era where
- TxOutCompact' !CompactAddr !(CompactForm (Value era))
- TxOutCompactDH' !CompactAddr !(CompactForm (Value era)) !DataHash
- TxOut_AddrHash28_AdaOnly !(Credential 'Staking) !Addr28Extra !(CompactForm Coin)
- TxOut_AddrHash28_AdaOnly_DataHash32 !(Credential 'Staking) !Addr28Extra !(CompactForm Coin) !DataHash32
- pattern AlonzoTxOut ∷ (Era era, Val (Value era), HasCallStack) ⇒ Addr → Value era → StrictMaybe DataHash → AlonzoTxOut era
- pattern TxOutCompact ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → AlonzoTxOut era
- pattern TxOutCompactDH ∷ (Era era, Val (Value era), HasCallStack) ⇒ CompactAddr → CompactForm (Value era) → DataHash → AlonzoTxOut era
data Addr28Extra
data DataHash32
getAdaOnly ∷ Val (Value era) ⇒ Proxy era → Value era → Maybe (CompactForm Coin)
decodeDataHash32 ∷ DataHash32 → DataHash
encodeDataHash32 ∷ DataHash → DataHash32
encodeAddress28 ∷ Network → PaymentCredential → Addr28Extra
decodeAddress28 ∷ Credential 'Staking → Addr28Extra → Addr
viewCompactTxOut ∷ Val (Value era) ⇒ AlonzoTxOut era → (CompactAddr, CompactForm (Value era), StrictMaybe DataHash)
viewTxOut ∷ Val (Value era) ⇒ AlonzoTxOut era → (Addr, Value era, StrictMaybe DataHash)
getAlonzoTxOutEitherAddr ∷ AlonzoTxOut era → Either Addr CompactAddr
utxoEntrySize ∷ AlonzoEraTxOut era ⇒ TxOut era → Integer
internAlonzoTxOut ∷ (Credential 'Staking → Credential 'Staking) → AlonzoTxOut era → AlonzoTxOut era

Documentation

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 #

data AlonzoTxOut era Source #

Constructors

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

Bundled Patterns

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

(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), MemPack (CompactForm (Value era))) ⇒ DecShareCBOR (AlonzoTxOut era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

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

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 #

NFData (AlonzoTxOut era) Source #

Already in NF

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

rnf ∷ AlonzoTxOut era → () #

Generic (AlonzoTxOut era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Associated Types

type Rep (AlonzoTxOut era)

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

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

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

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

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

showsPrec ∷ Int → AlonzoTxOut era → ShowS #

show ∷ AlonzoTxOut era → String #

showList ∷ [AlonzoTxOut era] → ShowS #

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

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

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

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

(Era era, MemPack (CompactForm (Value era))) ⇒ MemPack (AlonzoTxOut era) Source #

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

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

typeName ∷ String Source #

packedByteCount ∷ AlonzoTxOut era → Int Source #

packM ∷ AlonzoTxOut era → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (AlonzoTxOut era) 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 Share (AlonzoTxOut era) Source #

type Rep (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 Addr28Extra

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Rep Addr28Extra = D1 ('MetaData "Addr28Extra" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.15.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))))

Methods

from ∷ Addr28Extra → Rep Addr28Extra x #

to ∷ Rep Addr28Extra x → Addr28Extra #

Show Addr28Extra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

showsPrec ∷ Int → Addr28Extra → ShowS #

show ∷ Addr28Extra → String #

showList ∷ [Addr28Extra] → ShowS #

Eq Addr28Extra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

(==) ∷ Addr28Extra → Addr28Extra → Bool #

(/=) ∷ Addr28Extra → Addr28Extra → Bool #

MemPack Addr28Extra Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

typeName ∷ String Source #

packedByteCount ∷ Addr28Extra → Int Source #

packM ∷ Addr28Extra → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b Addr28Extra 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.15.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

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

type Rep DataHash32 = D1 ('MetaData "DataHash32" "Cardano.Ledger.Alonzo.TxOut" "cardano-ledger-alonzo-1.15.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))))

Methods

from ∷ DataHash32 → Rep DataHash32 x #

to ∷ Rep DataHash32 x → DataHash32 #

Show DataHash32 Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

showsPrec ∷ Int → DataHash32 → ShowS #

show ∷ DataHash32 → String #

showList ∷ [DataHash32] → ShowS #

Eq DataHash32 Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

(==) ∷ DataHash32 → DataHash32 → Bool #

(/=) ∷ DataHash32 → DataHash32 → Bool #

MemPack DataHash32 Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxOut

Methods

typeName ∷ String Source #

packedByteCount ∷ DataHash32 → Int Source #

packM ∷ DataHash32 → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b DataHash32 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.15.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))))

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

decodeDataHash32 ∷ DataHash32 → DataHash Source #

encodeDataHash32 ∷ DataHash → DataHash32 Source #

encodeAddress28 ∷ Network → PaymentCredential → Addr28Extra Source #

decodeAddress28 ∷ Credential 'Staking → Addr28Extra → Addr Source #

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

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

getAlonzoTxOutEitherAddr ∷ AlonzoTxOut era → Either Addr CompactAddr 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

internAlonzoTxOut ∷ (Credential 'Staking → Credential 'Staking) → AlonzoTxOut era → AlonzoTxOut era Source #

Orphan instances

EraTxOut AlonzoEra Source #

Instance details

Associated Types

type TxOut AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type TxOut AlonzoEra = AlonzoTxOut AlonzoEra

Methods

mkBasicTxOut ∷ Addr → Value AlonzoEra → TxOut AlonzoEra Source #

upgradeTxOut ∷ TxOut (PreviousEra AlonzoEra) → TxOut AlonzoEra Source #

valueTxOutL ∷ Lens' (TxOut AlonzoEra) (Value AlonzoEra) Source #

compactValueTxOutL ∷ Lens' (TxOut AlonzoEra) (CompactForm (Value AlonzoEra)) Source #

valueEitherTxOutL ∷ Lens' (TxOut AlonzoEra) (Either (Value AlonzoEra) (CompactForm (Value AlonzoEra))) Source #

addrTxOutL ∷ Lens' (TxOut AlonzoEra) Addr Source #

compactAddrTxOutL ∷ Lens' (TxOut AlonzoEra) CompactAddr Source #

addrEitherTxOutL ∷ Lens' (TxOut AlonzoEra) (Either Addr CompactAddr) Source #

getMinCoinSizedTxOut ∷ PParams AlonzoEra → Sized (TxOut AlonzoEra) → Coin Source #

getMinCoinTxOut ∷ PParams AlonzoEra → TxOut AlonzoEra → Coin Source #