Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Babbage.TxOut

Contents

Orphan instances

Synopsis

data BabbageTxOut era where
- TxOutCompactDatum !(CompactAddr (EraCrypto era)) !(CompactForm (Value era)) !(BinaryData era)
- TxOutCompactRefScript !(CompactAddr (EraCrypto era)) !(CompactForm (Value era)) !(Datum era) !(Script era)
- pattern BabbageTxOut ∷ (Era era, Val (Value era), HasCallStack) ⇒ Addr (EraCrypto era) → Value era → Datum era → StrictMaybe (Script era) → BabbageTxOut era
- pattern TxOutCompact ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr (EraCrypto era) → CompactForm (Value era) → BabbageTxOut era
- pattern TxOutCompactDH ∷ (Era era, Val (Value era), Compactible (Value era), HasCallStack) ⇒ CompactAddr (EraCrypto era) → CompactForm (Value era) → DataHash (EraCrypto era) → 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 (EraCrypto era)) (CompactAddr (EraCrypto era)))
valueEitherBabbageTxOutL ∷ ∀ era. EraTxOut era ⇒ Lens' (BabbageTxOut era) (Either (Value era) (CompactForm (Value era)))
dataHashBabbageTxOutL ∷ EraTxOut era ⇒ Lens' (BabbageTxOut era) (StrictMaybe (DataHash (EraCrypto era)))
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 ∷ (HasCallStack, Era era) ⇒ BabbageTxOut era → Datum era
babbageMinUTxOValue ∷ BabbageEraPParams era ⇒ PParams era → Sized a → Coin
getEitherAddrBabbageTxOut ∷ (HasCallStack, HashAlgorithm (ADDRHASH (EraCrypto era))) ⇒ BabbageTxOut era → Either (Addr (EraCrypto era)) (CompactAddr (EraCrypto era))
txOutData ∷ Era era ⇒ BabbageTxOut era → Maybe (Data era)
txOutDataHash ∷ Era era ⇒ BabbageTxOut era → Maybe (DataHash (EraCrypto era))
txOutScript ∷ BabbageTxOut era → Maybe (Script era)
internBabbageTxOut ∷ (Credential 'Staking (EraCrypto era) → Credential 'Staking (EraCrypto era)) → BabbageTxOut era → BabbageTxOut era

Documentation

data BabbageTxOut era Source #

Constructors

TxOutCompactDatum !(CompactAddr (EraCrypto era)) !(CompactForm (Value era)) !(BinaryData era)
TxOutCompactRefScript !(CompactAddr (EraCrypto era)) !(CompactForm (Value era)) !(Datum era) !(Script era)

Bundled Patterns

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

Instances

Instances details

(Era era, ToJSON (Datum era), ToJSON (Script era), Val (Value 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 #
Generic (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Associated Types type Rep (BabbageTxOut era) ∷ Type → Type Source # Methods from ∷ BabbageTxOut era → Rep (BabbageTxOut era) x Source # to ∷ Rep (BabbageTxOut era) x → BabbageTxOut era Source #
(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 Source # show ∷ BabbageTxOut era → String Source # showList ∷ [BabbageTxOut era] → ShowS 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)) ⇒ DecShareCBOR (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Associated Types type Share (BabbageTxOut era) Source # 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 # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (BabbageTxOut era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [BabbageTxOut era] → Size Source #
NFData (BabbageTxOut era) Source #	Already in NF
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods rnf ∷ BabbageTxOut era → () Source #
(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 Source # (/=) ∷ BabbageTxOut era → BabbageTxOut era → Bool 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 Rep (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut type Rep (BabbageTxOut era) = D1 ('MetaData "BabbageTxOut" "Cardano.Ledger.Babbage.TxOut" "cardano-ledger-babbage-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 "TxOutCompactDatum" '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) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (BinaryData era)))))) :+: (C1 ('MetaCons "TxOutCompactRefScript" '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 (Datum era)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Script 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 (BabbageTxOut era) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut type Share (BabbageTxOut era) = Interns (Credential 'Staking (EraCrypto era))

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

Crypto c ⇒ BabbageEraTxOut (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut Methods referenceScriptTxOutL ∷ Lens' (TxOut (BabbageEra c)) (StrictMaybe (Script (BabbageEra c))) Source # dataTxOutL ∷ Lens' (TxOut (BabbageEra c)) (StrictMaybe (Data (BabbageEra c))) Source # datumTxOutL ∷ Lens' (TxOut (BabbageEra c)) (Datum (BabbageEra c)) 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 c)
Instance details Defined in Cardano.Ledger.Allegra.TxOut type TxOut (AllegraEra c) = ShelleyTxOut (AllegraEra c)
type TxOut (AlonzoEra c)
Instance details Defined in Cardano.Ledger.Alonzo.TxOut type TxOut (AlonzoEra c) = AlonzoTxOut (AlonzoEra c)
type TxOut (BabbageEra c) Source #
Instance details Defined in Cardano.Ledger.Babbage.TxOut type TxOut (BabbageEra c) = BabbageTxOut (BabbageEra c)
type TxOut (MaryEra c)
Instance details Defined in Cardano.Ledger.Mary.TxOut type TxOut (MaryEra c) = ShelleyTxOut (MaryEra c)
type TxOut (ShelleyEra crypto)
Instance details Defined in Cardano.Ledger.Shelley.TxOut type TxOut (ShelleyEra crypto) = ShelleyTxOut (ShelleyEra crypto)

addrEitherBabbageTxOutL ∷ EraTxOut era ⇒ Lens' (BabbageTxOut era) (Either (Addr (EraCrypto era)) (CompactAddr (EraCrypto era))) Source #

valueEitherBabbageTxOutL ∷ ∀ era. EraTxOut era ⇒ Lens' (BabbageTxOut era) (Either (Value era) (CompactForm (Value era))) Source #

dataHashBabbageTxOutL ∷ EraTxOut era ⇒ Lens' (BabbageTxOut era) (StrictMaybe (DataHash (EraCrypto era))) Source #

dataBabbageTxOutL ∷ EraTxOut era ⇒ Lens' (BabbageTxOut era) (StrictMaybe (Data era)) Source #

datumBabbageTxOutL ∷ EraTxOut era ⇒ Lens' (BabbageTxOut era) (Datum era) Source #

referenceScriptBabbageTxOutL ∷ EraTxOut era ⇒ Lens' (BabbageTxOut era) (StrictMaybe (Script era)) Source #

getDatumBabbageTxOut ∷ (HasCallStack, Era era) ⇒ BabbageTxOut era → Datum era Source #

babbageMinUTxOValue ∷ BabbageEraPParams era ⇒ PParams era → Sized a → Coin Source #

getEitherAddrBabbageTxOut ∷ (HasCallStack, HashAlgorithm (ADDRHASH (EraCrypto era))) ⇒ BabbageTxOut era → Either (Addr (EraCrypto era)) (CompactAddr (EraCrypto era)) Source #

txOutData ∷ Era era ⇒ BabbageTxOut era → Maybe (Data era) Source #

Deprecated: In favor of dataTxOutL or getDataBabbageTxOut

txOutDataHash ∷ Era era ⇒ BabbageTxOut era → Maybe (DataHash (EraCrypto era)) Source #

Deprecated: In favor of dataHashTxOutL or getDataHashBabbageTxOut

txOutScript ∷ BabbageTxOut era → Maybe (Script era) Source #

Deprecated: In favor of dataTxOutL or getScriptBabbageTxOut

internBabbageTxOut ∷ (Credential 'Staking (EraCrypto era) → Credential 'Staking (EraCrypto era)) → BabbageTxOut era → BabbageTxOut era Source #

Orphan instances

Crypto c ⇒ AlonzoEraTxOut (BabbageEra c) Source #
Instance details Methods dataHashTxOutL ∷ Lens' (TxOut (BabbageEra c)) (StrictMaybe (DataHash (EraCrypto (BabbageEra c)))) Source # datumTxOutF ∷ SimpleGetter (TxOut (BabbageEra c)) (Datum (BabbageEra c)) Source #
Crypto c ⇒ EraTxOut (BabbageEra c) Source #
Instance details Associated Types type TxOut (BabbageEra c) = (r ∷ Type) Source # Methods mkBasicTxOut ∷ Addr (EraCrypto (BabbageEra c)) → Value (BabbageEra c) → TxOut (BabbageEra c) Source # upgradeTxOut ∷ TxOut (PreviousEra (BabbageEra c)) → TxOut (BabbageEra c) Source # valueTxOutL ∷ Lens' (TxOut (BabbageEra c)) (Value (BabbageEra c)) Source # compactValueTxOutL ∷ Lens' (TxOut (BabbageEra c)) (CompactForm (Value (BabbageEra c))) Source # valueEitherTxOutL ∷ Lens' (TxOut (BabbageEra c)) (Either (Value (BabbageEra c)) (CompactForm (Value (BabbageEra c)))) Source # addrTxOutL ∷ Lens' (TxOut (BabbageEra c)) (Addr (EraCrypto (BabbageEra c))) Source # compactAddrTxOutL ∷ Lens' (TxOut (BabbageEra c)) (CompactAddr (EraCrypto (BabbageEra c))) Source # addrEitherTxOutL ∷ Lens' (TxOut (BabbageEra c)) (Either (Addr (EraCrypto (BabbageEra c))) (CompactAddr (EraCrypto (BabbageEra c)))) Source # getMinCoinSizedTxOut ∷ PParams (BabbageEra c) → Sized (TxOut (BabbageEra c)) → Coin Source # getMinCoinTxOut ∷ PParams (BabbageEra c) → TxOut (BabbageEra c) → Coin Source #