Modulecardano-ledger-dijkstra-0.3.0.0
Cardano.Ledger.Dijkstra.TxBody
- 1 type
- 1 class
- 70 values
- Packagecardano-ledger-dijkstra-0.3.0.0
- Exports76
- LicenceApache-2.0
value
collateralReturnDijkstraTxBodyRawL :: EraTxBody era => Lens' (DijkstraTxBodyRaw TopTx era) (StrictMaybe (TxOut era))value
outputsDijkstraTxBodyRawL :: EraTxOut era => Lens' (DijkstraTxBodyRaw l era) (StrictSeq (TxOut era))Instances113HasEraTxLevel, HasOKey, DecCBOR, Eq, Show, Generic, …
HasEraTxLevel TxBody AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanHasEraTxLevel TxBody AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanHasEraTxLevel TxBody BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanHasEraTxLevel TxBody ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanHasEraTxLevel TxBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphanHasEraTxLevel TxBody MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanHasEraTxLevel TxBody ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphanEraTxBody era => HasOKey TxId (TxBody l era)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.CoreTypeable l => DecCBOR (Annotator (TxBody l AllegraEra))Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanTypeable l => DecCBOR (Annotator (TxBody l AlonzoEra))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanTypeable l => DecCBOR (Annotator (TxBody l BabbageEra))Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanTypeable l => DecCBOR (Annotator (TxBody l ConwayEra))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanTypeable l => DecCBOR (Annotator (TxBody l MaryEra))Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanTypeable l => DecCBOR (Annotator (TxBody l ShelleyEra))Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan(Typeable l, Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => DecCBOR (Annotator (TxBody l DijkstraEra))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphanEq (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanEq (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanEq (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanEq (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanEq (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanEq (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => Eq (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphanShow (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanShow (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanShow (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanShow (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanShow (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanShow (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan(Show (Tx SubTx DijkstraEra), Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => Show (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphanGeneric (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanGeneric (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanGeneric (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanGeneric (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanGeneric (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphanGeneric (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanGeneric (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphanNFData (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanNFData (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanNFData (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanNFData (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanNFData (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanNFData (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan(NFData (Tx SubTx DijkstraEra), Eq (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => NFData (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphanTypeable l => NoThunks (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanTypeable l => NoThunks (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanTypeable l => NoThunks (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanTypeable l => NoThunks (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanTypeable l => NoThunks (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanTypeable l => NoThunks (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan(Typeable l, Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => NoThunks (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphanTypeable l => ToCBOR (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanTypeable l => ToCBOR (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanTypeable l => ToCBOR (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanTypeable l => ToCBOR (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanTypeable l => ToCBOR (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphanTypeable l => ToCBOR (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanTypeable l => ToCBOR (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphanEncCBOR (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanEncCBOR (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanEncCBOR (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanEncCBOR (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanEncCBOR (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphanEncCBOR (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanEncCBOR (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphanSafeToHash (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanSafeToHash (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanSafeToHash (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanSafeToHash (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanSafeToHash (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphanSafeToHash (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanSafeToHash (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphanEqRaw (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanEqRaw (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanEqRaw (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanEqRaw (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanEqRaw (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanEqRaw (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => EqRaw (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphanMemoized (TxBody l AllegraEra)Defined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanMemoized (TxBody l AlonzoEra)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanMemoized (TxBody l BabbageEra)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanMemoized (TxBody l ConwayEra)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanMemoized (TxBody l DijkstraEra)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphanMemoized (TxBody l MaryEra)Defined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanMemoized (TxBody l ShelleyEra)Defined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphanHashAnnotated (TxBody l AllegraEra) EraIndependentTxBodyDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphanHashAnnotated (TxBody l AlonzoEra) EraIndependentTxBodyDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphanHashAnnotated (TxBody l BabbageEra) EraIndependentTxBodyDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphanHashAnnotated (TxBody l ConwayEra) EraIndependentTxBodyDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphanHashAnnotated (TxBody l DijkstraEra) EraIndependentTxBodyDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphanHashAnnotated (TxBody l MaryEra) EraIndependentTxBodyDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphanHashAnnotated (TxBody l ShelleyEra) EraIndependentTxBodyDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphantype Rep (TxBody l AllegraEra) = D1 ('MetaDataDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphan"TxBody"
"Cardano.Ledger.Allegra.TxBody"
"cardano-ledger-allegra-1.10.1.0-CrQS1ZJSGfrBK4W3kaLbYJ"
'True) (C1 ('MetaCons"MkAllegraTxBody"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxBodyRaw () l AllegraEra)))))type Rep (TxBody l AlonzoEra) = D1 ('MetaDataDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphan"TxBody"
"Cardano.Ledger.Alonzo.TxBody"
"cardano-ledger-alonzo-1.16.0.0-IAMfW3LYKkAJgcpNx6tltO"
'True) (C1 ('MetaCons"MkAlonzoTxBody"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxBodyRaw l AlonzoEra)))))type Rep (TxBody l BabbageEra) = Rep (MemoBytes (BabbageTxBodyRaw l BabbageEra))Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphantype Rep (TxBody l ConwayEra) = D1 ('MetaDataDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphan"TxBody"
"Cardano.Ledger.Conway.TxBody"
"cardano-ledger-conway-1.23.0.0-3imHpgZ11PrLntIAFdXQGK"
'True) (C1 ('MetaCons"MkConwayTxBody"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ConwayTxBodyRaw l ConwayEra)))))type Rep (TxBody l DijkstraEra) = D1 ('MetaDataDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphan"TxBody"
"Cardano.Ledger.Dijkstra.TxBody"
"cardano-ledger-dijkstra-0.3.0.0-19Xk5pXBfYy7FK4gdY0Bsc"
'True) (C1 ('MetaCons"MkDijkstraTxBody"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (DijkstraTxBodyRaw l DijkstraEra)))))type Rep (TxBody l MaryEra) = D1 ('MetaDataDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphan"TxBody"
"Cardano.Ledger.Mary.TxBody"
"cardano-ledger-mary-1.11.0.0-BDX9Jw3i0LOAEIgnwJZDrh"
'True) (C1 ('MetaCons"MkMaryTxBody"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (MaryTxBodyRaw l)))))type Rep (TxBody l ShelleyEra) = D1 ('MetaDataDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan"TxBody"
"Cardano.Ledger.Shelley.TxBody"
"cardano-ledger-shelley-1.19.0.1-FBmICzj0TLXDG7I9pVlx3P"
'True) (C1 ('MetaCons"MkShelleyTxBody"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxBodyRaw l ShelleyEra)))))data TxBody l AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphandata TxBody l AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphandata TxBody l BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphandata TxBody l ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphandata TxBody l DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphandata TxBody l MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphandata TxBody l ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphantype RawType (TxBody l AllegraEra) = AllegraTxBodyRaw () l AllegraEraDefined in cardano-ledger-allegra-1.10.1.0 · Cardano.Ledger.Allegra.TxBody · orphantype RawType (TxBody l AlonzoEra) = AlonzoTxBodyRaw l AlonzoEraDefined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.TxBody · orphantype RawType (TxBody l BabbageEra) = BabbageTxBodyRaw l BabbageEraDefined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxBody · orphantype RawType (TxBody l ConwayEra) = ConwayTxBodyRaw l ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxBody · orphantype RawType (TxBody l DijkstraEra) = DijkstraTxBodyRaw l DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody · orphantype RawType (TxBody l MaryEra) = AllegraTxBodyRaw MultiAsset l MaryEraDefined in cardano-ledger-mary-1.11.0.0 · Cardano.Ledger.Mary.TxBody · orphantype RawType (TxBody l ShelleyEra) = ShelleyTxBodyRaw l ShelleyEraDefined in cardano-ledger-shelley-1.19.0.1 · Cardano.Ledger.Shelley.TxBody · orphan
pattern
pattern DijkstraSubTxBody :: (EncCBOR (Tx SubTx DijkstraEra), Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => Set TxIn -> Set TxIn -> StrictSeq (Sized (TxOut DijkstraEra)) -> OSet (TxCert DijkstraEra) -> Withdrawals -> ValidityInterval -> OSet (Credential Guard) -> MultiAsset -> StrictMaybe ScriptIntegrityHash -> StrictMaybe TxAuxDataHash -> StrictMaybe Network -> VotingProcedures DijkstraEra -> OSet (ProposalProcedure DijkstraEra) -> StrictMaybe Coin -> Coin -> Map (Credential Guard) (StrictMaybe (Data DijkstraEra)) -> DirectDeposits -> AccountBalanceIntervals DijkstraEra -> TxBody SubTx DijkstraErapattern
pattern DijkstraTxBody :: (EncCBOR (Tx SubTx DijkstraEra), Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => Set TxIn -> Set TxIn -> Set TxIn -> StrictSeq (Sized (TxOut DijkstraEra)) -> StrictMaybe (Sized (TxOut DijkstraEra)) -> StrictMaybe Coin -> OSet (TxCert DijkstraEra) -> Withdrawals -> Coin -> ValidityInterval -> OSet (Credential Guard) -> MultiAsset -> StrictMaybe ScriptIntegrityHash -> StrictMaybe TxAuxDataHash -> StrictMaybe Network -> VotingProcedures DijkstraEra -> OSet (ProposalProcedure DijkstraEra) -> StrictMaybe Coin -> Coin -> OMap TxId (Tx SubTx DijkstraEra) -> Map (Credential Guard) (StrictMaybe (Data DijkstraEra)) -> DirectDeposits -> AccountBalanceIntervals DijkstraEra -> AccountBalanceIntervals DijkstraEra -> TxBody TopTx DijkstraEraMethods
guardsTxBodyL :: Lens' (TxBody l era) (OSet (Credential Guard))subTransactionsTxBodyL :: Lens' (TxBody TopTx era) (OMap TxId (Tx SubTx era))requiredTopLevelGuardsL :: Lens' (TxBody l era) (Map (Credential Guard) (StrictMaybe (Data era)))directDepositsTxBodyL :: Lens' (TxBody l era) DirectDepositsaccountBalanceIntervalsTxBodyL :: Lens' (TxBody l era) (AccountBalanceIntervals era)startingAccountBalanceIntervalsTxBodyL :: Lens' (TxBody TopTx era) (AccountBalanceIntervals era)
Instances1DijkstraEraTxBody
(NFData (Tx SubTx DijkstraEra), Eq (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => DijkstraEraTxBody DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody
Constructors
DijkstraTxBodyRaw :: !Set TxIn -> !Set TxIn -> !Set TxIn -> !StrictSeq (Sized (TxOut era)) -> !StrictMaybe (Sized (TxOut era)) -> !StrictMaybe Coin -> !OSet (TxCert era) -> !Withdrawals -> !Coin -> !ValidityInterval -> !OSet (Credential Guard) -> !MultiAsset -> !StrictMaybe ScriptIntegrityHash -> !StrictMaybe TxAuxDataHash -> !StrictMaybe Network -> !VotingProcedures era -> !OSet (ProposalProcedure era) -> !StrictMaybe Coin -> !Coin -> !OMap TxId (Tx SubTx era) -> !Map (Credential Guard) (StrictMaybe (Data era)) -> !DirectDeposits -> !AccountBalanceIntervals era -> !AccountBalanceIntervals era -> DijkstraTxBodyRaw TopTx eradtbrSpendInputs :: !Set TxIndtbrCollateralInputs :: !Set TxIndtbrReferenceInputs :: !Set TxIndtbrOutputs :: !StrictSeq (Sized (TxOut era))dtbrCollateralReturn :: !StrictMaybe (Sized (TxOut era))dtbrTotalCollateral :: !StrictMaybe CoindtbrCerts :: !OSet (TxCert era)dtbrWithdrawals :: !WithdrawalsdtbrFee :: !CoindtbrVldt :: !ValidityIntervaldtbrGuards :: !OSet (Credential Guard)dtbrMint :: !MultiAssetdtbrScriptIntegrityHash :: !StrictMaybe ScriptIntegrityHashdtbrAuxDataHash :: !StrictMaybe TxAuxDataHashdtbrNetworkId :: !StrictMaybe NetworkdtbrVotingProcedures :: !VotingProcedures eradtbrProposalProcedures :: !OSet (ProposalProcedure era)dtbrCurrentTreasuryValue :: !StrictMaybe CoindtbrTreasuryDonation :: !CoindtbrSubTransactions :: !OMap TxId (Tx SubTx era)dtbrRequiredTopLevelGuards :: !Map (Credential Guard) (StrictMaybe (Data era))dtbrDirectDeposits :: !DirectDepositsdtbrAccountBalanceIntervals :: !AccountBalanceIntervals eradtbrStartingAccountBalanceIntervals :: !AccountBalanceIntervals era
DijkstraSubTxBodyRaw :: !Set TxIn -> !Set TxIn -> !StrictSeq (Sized (TxOut era)) -> !OSet (TxCert era) -> !Withdrawals -> !ValidityInterval -> !OSet (Credential Guard) -> !MultiAsset -> !StrictMaybe ScriptIntegrityHash -> !StrictMaybe TxAuxDataHash -> !StrictMaybe Network -> !VotingProcedures era -> !OSet (ProposalProcedure era) -> !StrictMaybe Coin -> !Coin -> !Map (Credential Guard) (StrictMaybe (Data era)) -> !DirectDeposits -> !AccountBalanceIntervals era -> DijkstraTxBodyRaw SubTx eradstbrSpendInputs :: !Set TxIndstbrReferenceInputs :: !Set TxIndstbrOutputs :: !StrictSeq (Sized (TxOut era))dstbrCerts :: !OSet (TxCert era)dstbrWithdrawals :: !WithdrawalsdstbrVldt :: !ValidityIntervaldstbrGuards :: !OSet (Credential Guard)dstbrMint :: !MultiAssetdstbrScriptIntegrityHash :: !StrictMaybe ScriptIntegrityHashdstbrAuxDataHash :: !StrictMaybe TxAuxDataHashdstbrNetworkId :: !StrictMaybe NetworkdstbrVotingProcedures :: !VotingProcedures eradstbrProposalProcedures :: !OSet (ProposalProcedure era)dstbrCurrentTreasuryValue :: !StrictMaybe CoindstbrTreasuryDonation :: !CoindstbrRequiredTopLevelGuards :: !Map (Credential Guard) (StrictMaybe (Data era))dstbrDirectDeposits :: !DirectDepositsdstbrAccountBalanceIntervals :: !AccountBalanceIntervals era
Instances8HasEraTxLevel, DecCBOR, Eq, Show, NFData, NoThunks, …
HasEraTxLevel DijkstraTxBodyRaw DijkstraEraDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody(Typeable l, EraTxBody era, DecCBOR (Annotator (Tx SubTx era)), HasOKey TxId (Tx SubTx era)) => DecCBOR (Annotator (DijkstraTxBodyRaw l era))Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody(EraTxBody era, Eq (Tx SubTx era)) => Eq (DijkstraTxBodyRaw l era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody(EraTxBody era, Show (Tx SubTx era)) => Show (DijkstraTxBodyRaw l era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody(EraTxBody era, NFData (Tx SubTx era)) => NFData (DijkstraTxBodyRaw l era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody(Typeable l, EraTxBody era) => NoThunks (DijkstraTxBodyRaw l era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody(EraTxBody era, EncCBOR (Tx SubTx era)) => EncCBOR (DijkstraTxBodyRaw l era)Defined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBodytype MemoHashIndex (DijkstraTxBodyRaw l DijkstraEra) = EraIndependentTxBodyDefined in cardano-ledger-dijkstra-0.3.0.0 · Cardano.Ledger.Dijkstra.TxBody
Orphan instances
19 instances(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => EraTxBody DijkstraEra(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => AllegraEraTxBody DijkstraEra(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => MaryEraTxBody DijkstraEra(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => AlonzoEraTxBody DijkstraEra(NFData (Tx SubTx DijkstraEra), Eq (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => BabbageEraTxBody DijkstraEra(NFData (Tx SubTx DijkstraEra), Eq (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => ConwayEraTxBody DijkstraEraHasEraTxLevel TxBody DijkstraEra(Typeable l, Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => DecCBOR (Annotator (TxBody l DijkstraEra))(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => Eq (TxBody l DijkstraEra)(Show (Tx SubTx DijkstraEra), Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => Show (TxBody l DijkstraEra)Generic (TxBody l DijkstraEra)(NFData (Tx SubTx DijkstraEra), Eq (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => NFData (TxBody l DijkstraEra)(Typeable l, Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => NoThunks (TxBody l DijkstraEra)Typeable l => ToCBOR (TxBody l DijkstraEra)EncCBOR (TxBody l DijkstraEra)SafeToHash (TxBody l DijkstraEra)(Eq (Tx SubTx DijkstraEra), NFData (Tx SubTx DijkstraEra), Show (Tx SubTx DijkstraEra), EncCBOR (Tx SubTx DijkstraEra), DecCBOR (Annotator (Tx SubTx DijkstraEra)), HasOKey TxId (Tx SubTx DijkstraEra)) => EqRaw (TxBody l DijkstraEra)Memoized (TxBody l DijkstraEra)HashAnnotated (TxBody l DijkstraEra) EraIndependentTxBody