value
metadataAllegraTxAuxDataL :: (Era era, EncCBOR (NativeScript era)) => Lens' (AllegraTxAuxData era) (Map Word64 Metadatum)Modulecardano-ledger-allegra-1.10.1.0
Cardano.Ledger.Allegra.TxAuxData
- 2 types
- 1 class
- 2 values
- Packagecardano-ledger-allegra-1.10.1.0
- Exports6
- LicenceApache-2.0
value
nativeScriptsAllegraTxAuxDataL :: (Era era, EncCBOR (NativeScript era)) => Lens' (AllegraTxAuxData era) (StrictSeq (NativeScript era))Methods
nativeScriptsTxAuxDataL :: Lens' (TxAuxData era) (StrictSeq (NativeScript era))
Instances1AllegraEraTxAuxData
AllegraEraTxAuxData AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
Constructors
Instances17Eq, Show, Generic, NFData, FromJSON, ToJSON, …
Eq (NativeScript era) => Eq (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxDataShow (NativeScript era) => Show (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxDataGeneric (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxDataNFData (NativeScript era) => NFData (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData(Era era, EncCBOR (NativeScript era), FromJSON (NativeScript era)) => FromJSON (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData(Era era, EncCBOR (NativeScript era), ToJSON (NativeScript era)) => ToJSON (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData(Era era, NoThunks (NativeScript era)) => NoThunks (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxDataTypeable era => ToCBOR (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxDataAllegraEraScript era => DecCBOR (Annotator (AllegraTxAuxData era))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxDataEra era => EncCBOR (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData(Era era, EncCBOR (NativeScript era), ToJSON (NativeScript era)) => ToKeyValuePairs (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxDataSafeToHash (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxDataEq (NativeScript era) => EqRaw (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxDataMemoized (AllegraTxAuxData era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxDataHashAnnotated (AllegraTxAuxData era) EraIndependentTxAuxDataDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxDatatype Rep (AllegraTxAuxData era) = D1 ('MetaDataDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData"AllegraTxAuxData"
"Cardano.Ledger.Allegra.TxAuxData"
"cardano-ledger-allegra-1.10.1.0-ILf6F2MRyXmOxh7sg1ml2"
'True) (C1 ('MetaCons"MkAlegraTxAuxData"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxAuxDataRaw era)))))type RawType (AllegraTxAuxData era) = AllegraTxAuxDataRaw eraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData
pattern
pattern AllegraTxAuxData :: (Era era, EncCBOR (NativeScript era)) => Map Word64 Metadatum -> StrictSeq (NativeScript era) -> AllegraTxAuxData eraConstructors
Instances9Eq, Show, Generic, NFData, NoThunks, DecCBOR, …
Eq (NativeScript era) => Eq (AllegraTxAuxDataRaw era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxDataShow (NativeScript era) => Show (AllegraTxAuxDataRaw era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxDataGeneric (AllegraTxAuxDataRaw era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxDataNFData (NativeScript era) => NFData (AllegraTxAuxDataRaw era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData(Era era, NoThunks (NativeScript era)) => NoThunks (AllegraTxAuxDataRaw era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData(Era era, Typeable (NativeScript era), DecCBOR (Annotator (NativeScript era))) => DecCBOR (Annotator (AllegraTxAuxDataRaw era))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData(Era era, EncCBOR (NativeScript era)) => EncCBOR (AllegraTxAuxDataRaw era)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxDatatype Rep (AllegraTxAuxDataRaw era) = D1 ('MetaDataDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData"AllegraTxAuxDataRaw"
"Cardano.Ledger.Allegra.TxAuxData"
"cardano-ledger-allegra-1.10.1.0-ILf6F2MRyXmOxh7sg1ml2"
'False) (C1 ('MetaCons"AllegraTxAuxDataRaw"
'PrefixI 'True) (S1 ('MetaSel ('Just"atadrMetadata"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Word64 Metadatum)) :*: S1 ('MetaSel ('Just"atadrNativeScripts"
) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (NativeScript era)))))type MemoHashIndex (AllegraTxAuxDataRaw era) = EraIndependentTxAuxDataDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxAuxData