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 (EraCrypto era)))
- datumTxOutF ∷ SimpleGetter (TxOut era) (Datum era)
data AlonzoTxOut era where
- 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
- 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
data Addr28Extra
data DataHash32
getAdaOnly ∷ ∀ era. Val (Value era) ⇒ Proxy era → Value era → Maybe (CompactForm Coin)
decodeDataHash32 ∷ ∀ c. HashAlgorithm (HASH c) ⇒ DataHash32 → Maybe (DataHash c)
encodeDataHash32 ∷ ∀ c. HashAlgorithm (HASH c) ⇒ DataHash c → Maybe (SizeHash (HASH c) :~: 32, DataHash32)
encodeAddress28 ∷ ∀ c. HashAlgorithm (ADDRHASH c) ⇒ Network → PaymentCredential c → Maybe (SizeHash (ADDRHASH c) :~: 28, Addr28Extra)
decodeAddress28 ∷ ∀ c. HashAlgorithm (ADDRHASH c) ⇒ Credential 'Staking c → Addr28Extra → Maybe (Addr c)
viewCompactTxOut ∷ (Era era, Val (Value era)) ⇒ AlonzoTxOut era → (CompactAddr (EraCrypto era), CompactForm (Value era), StrictMaybe (DataHash (EraCrypto era)))
viewTxOut ∷ (Era era, Val (Value era)) ⇒ AlonzoTxOut era → (Addr (EraCrypto era), Value era, StrictMaybe (DataHash (EraCrypto era)))
getAlonzoTxOutEitherAddr ∷ HashAlgorithm (ADDRHASH (EraCrypto era)) ⇒ AlonzoTxOut era → Either (Addr (EraCrypto era)) (CompactAddr (EraCrypto era))
utxoEntrySize ∷ AlonzoEraTxOut era ⇒ TxOut era → Integer
internAlonzoTxOut ∷ (Credential 'Staking (EraCrypto era) → Credential 'Staking (EraCrypto era)) → AlonzoTxOut era → AlonzoTxOut era

Documentation

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 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 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 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.8.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))

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.8.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.8.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 ∷ ∀ 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 #

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

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

Orphan instances

Crypto c ⇒ EraTxOut (AlonzoEra c) Source #

Instance details

Associated Types

type TxOut (AlonzoEra c) = (r ∷ Type) Source #

Methods

mkBasicTxOut ∷ Addr (EraCrypto (AlonzoEra c)) → Value (AlonzoEra c) → TxOut (AlonzoEra c) Source #

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

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

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

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

addrTxOutL ∷ Lens' (TxOut (AlonzoEra c)) (Addr (EraCrypto (AlonzoEra c))) Source #

compactAddrTxOutL ∷ Lens' (TxOut (AlonzoEra c)) (CompactAddr (EraCrypto (AlonzoEra c))) Source #

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

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

getMinCoinTxOut ∷ PParams (AlonzoEra c) → TxOut (AlonzoEra c) → Coin Source #