| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Api.Tx.AuxData
Synopsis
- class (Era era, Eq (TxAuxData era), EqRaw (TxAuxData era), Show (TxAuxData era), NoThunks (TxAuxData era), ToCBOR (TxAuxData era), EncCBOR (TxAuxData era), DecCBOR (Annotator (TxAuxData era)), ToExpr (TxAuxData era), HashAnnotated (TxAuxData era) EraIndependentTxAuxData (EraCrypto era)) => EraTxAuxData era where
- upgradeTxAuxData :: EraTxAuxData era => TxAuxData (PreviousEra era) -> TxAuxData era
- hashTxAuxData :: EraTxAuxData era => TxAuxData era -> AuxiliaryDataHash (EraCrypto era)
- validateTxAuxData :: EraTxAuxData era => ProtVer -> TxAuxData era -> Bool
- data ShelleyTxAuxData era where
- pattern ShelleyTxAuxData :: Era era => Map Word64 Metadatum -> ShelleyTxAuxData era
- data Metadatum
- data AllegraTxAuxData era where
- pattern AllegraTxAuxData :: Era era => Map Word64 Metadatum -> StrictSeq (Timelock era) -> AllegraTxAuxData era
- data AlonzoTxAuxData era where
- pattern AlonzoTxAuxData :: Era era => Map Word64 Metadatum -> StrictSeq (Timelock era) -> Map Language (NonEmpty BinaryPlutus) -> AlonzoTxAuxData era
- mkAlonzoTxAuxData :: (Foldable f, Era era) => Map Word64 Metadatum -> f (AlonzoScript era) -> AlonzoTxAuxData era
- getAlonzoTxAuxDataScripts :: Era era => AlonzoTxAuxData era -> StrictSeq (AlonzoScript era)
Documentation
class (Era era, Eq (TxAuxData era), EqRaw (TxAuxData era), Show (TxAuxData era), NoThunks (TxAuxData era), ToCBOR (TxAuxData era), EncCBOR (TxAuxData era), DecCBOR (Annotator (TxAuxData era)), ToExpr (TxAuxData era), HashAnnotated (TxAuxData era) EraIndependentTxAuxData (EraCrypto era)) => EraTxAuxData era #
Minimal complete definition
upgradeTxAuxData :: EraTxAuxData era => TxAuxData (PreviousEra era) -> TxAuxData era #
hashTxAuxData :: EraTxAuxData era => TxAuxData era -> AuxiliaryDataHash (EraCrypto era) #
validateTxAuxData :: EraTxAuxData era => ProtVer -> TxAuxData era -> Bool #
Shelley
data ShelleyTxAuxData era where #
Bundled Patterns
| pattern ShelleyTxAuxData :: Era era => Map Word64 Metadatum -> ShelleyTxAuxData era |
Instances
Instances
Allegra
data AllegraTxAuxData era where #
Bundled Patterns
| pattern AllegraTxAuxData :: Era era => Map Word64 Metadatum -> StrictSeq (Timelock era) -> AllegraTxAuxData era |
Instances
Alonzo
data AlonzoTxAuxData era where #
Bundled Patterns
| pattern AlonzoTxAuxData :: Era era => Map Word64 Metadatum -> StrictSeq (Timelock era) -> Map Language (NonEmpty BinaryPlutus) -> AlonzoTxAuxData era |
Instances
| Memoized AlonzoTxAuxData | |
Defined in Cardano.Ledger.Alonzo.TxAuxData Associated Types type RawType AlonzoTxAuxData = (r :: Type -> Type) Methods getMemoBytes :: AlonzoTxAuxData era -> MemoBytes (RawType AlonzoTxAuxData) era wrapMemoBytes :: MemoBytes (RawType AlonzoTxAuxData) era -> AlonzoTxAuxData era | |
| Generic (AlonzoTxAuxData era) | |
Defined in Cardano.Ledger.Alonzo.TxAuxData Methods from :: AlonzoTxAuxData era -> Rep (AlonzoTxAuxData era) x Source # to :: Rep (AlonzoTxAuxData era) x -> AlonzoTxAuxData era Source # | |
| HashAlgorithm (HASH (EraCrypto era)) => Show (AuxiliaryData era) | |
| Typeable era => ToCBOR (AlonzoTxAuxData era) | |
Defined in Cardano.Ledger.Alonzo.TxAuxData Methods toCBOR :: AlonzoTxAuxData era -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (AlonzoTxAuxData era) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AlonzoTxAuxData era] -> Size | |
| Era era => DecCBOR (Annotator (AuxiliaryData era)) | |
| Era era => EncCBOR (AlonzoTxAuxData era) | |
Defined in Cardano.Ledger.Alonzo.TxAuxData Methods encCBOR :: AlonzoTxAuxData era -> Encoding encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (AlonzoTxAuxData era) -> Size encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [AlonzoTxAuxData era] -> Size | |
| EqRaw (AlonzoTxAuxData era) | |
Defined in Cardano.Ledger.Alonzo.TxAuxData Methods eqRaw :: AlonzoTxAuxData era -> AlonzoTxAuxData era -> Bool | |
| SafeToHash (AlonzoTxAuxData era) | |
Defined in Cardano.Ledger.Alonzo.TxAuxData Methods originalBytes :: AlonzoTxAuxData era -> ByteString makeHashWithExplicitProxys :: HashAlgorithm (HASH c) => Proxy c -> Proxy index -> AlonzoTxAuxData era -> SafeHash c index | |
| NFData (AuxiliaryData era) | |
Defined in Cardano.Ledger.Alonzo.TxAuxData | |
| Eq (AuxiliaryData era) | |
| NoThunks (AuxiliaryData era) | |
Defined in Cardano.Ledger.Alonzo.TxAuxData | |
| ToExpr (AlonzoTxAuxData era) | |
Defined in Cardano.Ledger.Alonzo.TxAuxData | |
| EraCrypto era ~ c => HashAnnotated (AuxiliaryData era) EraIndependentTxAuxData c | |
Defined in Cardano.Ledger.Alonzo.TxAuxData Methods indexProxy :: AuxiliaryData era -> Proxy EraIndependentTxAuxData hashAnnotated :: AuxiliaryData era -> SafeHash c EraIndependentTxAuxData | |
| type RawType AlonzoTxAuxData | |
Defined in Cardano.Ledger.Alonzo.TxAuxData type RawType AlonzoTxAuxData = AlonzoTxAuxDataRaw | |
| type Rep (AlonzoTxAuxData era) | |
Defined in Cardano.Ledger.Alonzo.TxAuxData type Rep (AlonzoTxAuxData era) = D1 ('MetaData "AlonzoTxAuxData" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.5.1.0-1MT8TTvKeeyGoJw1KVxcth" 'True) (C1 ('MetaCons "AuxiliaryDataConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxAuxDataRaw era)))) | |
mkAlonzoTxAuxData :: (Foldable f, Era era) => Map Word64 Metadatum -> f (AlonzoScript era) -> AlonzoTxAuxData era #
getAlonzoTxAuxDataScripts :: Era era => AlonzoTxAuxData era -> StrictSeq (AlonzoScript era) #