Safe Haskell	Safe-Inferred
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 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 ∷ ∀ era. Val (Value era) ⇒ Proxy era → Value era → Maybe (CompactForm Coin)
decodeDataHash32 ∷ DataHash32 → Maybe DataHash
encodeDataHash32 ∷ DataHash → Maybe (SizeHash HASH :~: 32, DataHash32)
encodeAddress28 ∷ Network → PaymentCredential → Maybe (SizeHash ADDRHASH :~: 28, Addr28Extra)
decodeAddress28 ∷ Credential 'Staking → Addr28Extra → Maybe 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 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 #
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.13.0.0-inplace" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 CompactAddr) :: 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) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash)))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'Staking)) :: (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)) :: 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)

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.13.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.13.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 ∷ ∀ era. Val (Value era) ⇒ Proxy era → Value era → Maybe (CompactForm Coin) Source #

decodeDataHash32 ∷ DataHash32 → Maybe DataHash Source #

encodeDataHash32 ∷ DataHash → Maybe (SizeHash HASH :~: 32, DataHash32) Source #

encodeAddress28 ∷ Network → PaymentCredential → Maybe (SizeHash ADDRHASH :~: 28, Addr28Extra) Source #

decodeAddress28 ∷ Credential 'Staking → Addr28Extra → Maybe 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 = (r ∷ Type) Source #

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 #