Modulecardano-ledger-babbage-1.14.0.0

Cardano.Ledger.Babbage.TxOut

1 type
1 class
10 values

Packagecardano-ledger-babbage-1.14.0.0
Exports16
LicenceApache-2.0

valueaddrEitherBabbageTxOutL :: EraTxOut era => Lens' (BabbageTxOut era) (Either Addr CompactAddr)

valuebabbageMinUTxOValue

:: BabbageEraPParams era
=> PParams era
-> Sized a
-> Coin

valuedataBabbageTxOutL :: EraTxOut era => Lens' (BabbageTxOut era) (StrictMaybe (Data era))

valuedataHashBabbageTxOutL :: EraTxOut era => Lens' (BabbageTxOut era) (StrictMaybe DataHash)

valuedatumBabbageTxOutL :: EraTxOut era => Lens' (BabbageTxOut era) (Datum era)

valuegetDatumBabbageTxOut :: BabbageTxOut era -> Datum era

valuegetEitherAddrBabbageTxOut :: BabbageTxOut era -> Either Addr CompactAddr

valueinternBabbageTxOut

:: Credential Staking -> Credential Staking
-> BabbageTxOut era
-> BabbageTxOut era

valuereferenceScriptBabbageTxOutL :: EraTxOut era => Lens' (BabbageTxOut era) (StrictMaybe (Script era))

valuevalueEitherBabbageTxOutL :: EraTxOut era => Lens' (BabbageTxOut era) (Either (Value era) (CompactForm (Value era)))

classclass (AlonzoEraTxOut era, AlonzoEraScript era) => BabbageEraTxOut era where

Methods

referenceScriptTxOutL :: Lens' (TxOut era) (StrictMaybe (Script era))
dataTxOutL :: Lens' (TxOut era) (StrictMaybe (Data era))
datumTxOutL :: Lens' (TxOut era) (Datum era)

Instances1BabbageEraTxOut

BabbageEraTxOut BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut

datadata BabbageTxOut era

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

Instances13Eq, Show, Generic, NFData, ToJSON, MemPack, …

(Era era, Eq (Script era), Eq (CompactForm (Value era))) => Eq (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
(Era era, Show (Script era), Val (Value era)) => Show (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
Generic (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
NFData (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
(Era era, Val (Value era), ToJSON (Script era)) => ToJSON (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
(Era era, MemPack (Script era), MemPack (CompactForm (Value era))) => MemPack (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
(Era era, NoThunks (Script era), Val (Value era)) => NoThunks (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
(EraScript era, Val (Value era)) => DecCBOR (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
(EraScript era, Val (Value era), MemPack (Script era), MemPack (CompactForm (Value era))) => DecShareCBOR (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
(EraScript era, Val (Value era)) => EncCBOR (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
(Era era, Val (Value era), ToJSON (Script era)) => ToKeyValuePairs (BabbageTxOut era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
type Rep (BabbageTxOut era) = D1 ('MetaData "BabbageTxOut" "Cardano.Ledger.Babbage.TxOut" "cardano-ledger-babbage-1.14.0.0-IorkXQjtMXvLMg0K4UxcYR" 'False) ((C1 ('MetaCons "TxOutCompact'" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 CompactAddr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :+: (C1 ('MetaCons "TxOutCompactDH'" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 CompactAddr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DataHash))) :+: C1 ('MetaCons "TxOutCompactDatum" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 CompactAddr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era))) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 (BinaryData era)))))) :+: (C1 ('MetaCons "TxOutCompactRefScript" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 CompactAddr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CompactForm (Value era)))) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Datum era)) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Script era)))) :+: (C1 ('MetaCons "TxOut_AddrHash28_AdaOnly" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential Staking)) :*: (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Addr28Extra) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin)))) :+: C1 ('MetaCons "TxOut_AddrHash28_AdaOnly_DataHash32" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential Staking)) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Addr28Extra)) :*: (S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 (CompactForm Coin)) :*: S1 ('MetaSel 'Nothing 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 DataHash32))))))Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut
type Share (BabbageTxOut era) = Interns (Credential Staking)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut

pattern

pattern BabbageTxOut :: (Era era, Val (Value era), HasCallStack) => Addr -> Value era -> Datum era -> StrictMaybe (Script era) -> BabbageTxOut era

pattern

pattern TxOutCompact :: (Era era, Val (Value era), Compactible (Value era), HasCallStack) => CompactAddr -> CompactForm (Value era) -> BabbageTxOut era

pattern

pattern TxOutCompactDH :: (Era era, Val (Value era), Compactible (Value era), HasCallStack) => CompactAddr -> CompactForm (Value era) -> DataHash -> BabbageTxOut era

familytype family TxOut era

Instances5TxOut

type TxOut AllegraEra = ShelleyTxOut AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxOut · orphan
type TxOut AlonzoEra = AlonzoTxOut AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxOut · orphan
type TxOut BabbageEra = BabbageTxOut BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxOut · orphan
type TxOut MaryEra = ShelleyTxOut MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxOut · orphan
type TxOut ShelleyEra = ShelleyTxOut ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxOut · orphan

Orphan instances

2 instances