| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Dijkstra.TxBody
Contents
Synopsis
- class ConwayEraTxBody era ⇒ DijkstraEraTxBody era where
- guardsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (OSet (Credential 'Guard))
- subTransactionsTxBodyL ∷ Lens' (TxBody 'TopTx era) (OMap TxId (Tx 'SubTx era))
- data family TxBody (l ∷ TxLevel) era
- upgradeProposals ∷ ProposalProcedure ConwayEra → ProposalProcedure DijkstraEra
- upgradeGovAction ∷ (AlonzoEraPParams era, EraPParams (PreviousEra era)) ⇒ GovAction (PreviousEra era) → GovAction era
- decodeGuards ∷ Decoder s (OSet (Credential 'Guard))
- data DijkstraTxBodyRaw (l ∷ TxLevel) era where
- DijkstraTxBodyRaw ∷ ∀ era. {..} → DijkstraTxBodyRaw 'TopTx era
- DijkstraSubTxBodyRaw ∷ ∀ era. {..} → DijkstraTxBodyRaw 'SubTx era
- basicDijkstraTxBodyRaw ∷ ∀ era (l ∷ TxLevel). EraTxBody era ⇒ STxBothLevels l era → DijkstraTxBodyRaw l era
- inputsDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (Set TxIn → f (Set TxIn)) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era)
- outputsDijkstraTxBodyRawL ∷ ∀ era (l ∷ TxLevel). EraTxOut era ⇒ Lens' (DijkstraTxBodyRaw l era) (StrictSeq (TxOut era))
- feeDijkstraTxBodyRawL ∷ ∀ era f. Functor f ⇒ (Coin → f Coin) → DijkstraTxBodyRaw 'TopTx era → f (DijkstraTxBodyRaw 'TopTx era)
- vldtDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (ValidityInterval → f ValidityInterval) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era)
- certsDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (OSet (TxCert era) → f (OSet (TxCert era))) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era)
- withdrawalsDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (Withdrawals → f Withdrawals) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era)
- auxDataHashDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (StrictMaybe TxAuxDataHash → f (StrictMaybe TxAuxDataHash)) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era)
- mintDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (MultiAsset → f MultiAsset) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era)
- scriptIntegrityHashDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (StrictMaybe ScriptIntegrityHash → f (StrictMaybe ScriptIntegrityHash)) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era)
- collateralInputsDijkstraTxBodyRawL ∷ ∀ era f. Functor f ⇒ (Set TxIn → f (Set TxIn)) → DijkstraTxBodyRaw 'TopTx era → f (DijkstraTxBodyRaw 'TopTx era)
- guardsDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (OSet (Credential 'Guard) → f (OSet (Credential 'Guard))) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era)
- networkIdDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (StrictMaybe Network → f (StrictMaybe Network)) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era)
- collateralReturnDijkstraTxBodyRawL ∷ EraTxBody era ⇒ Lens' (DijkstraTxBodyRaw 'TopTx era) (StrictMaybe (TxOut era))
- totalCollateralDijkstraTxBodyRawL ∷ ∀ era f. Functor f ⇒ (StrictMaybe Coin → f (StrictMaybe Coin)) → DijkstraTxBodyRaw 'TopTx era → f (DijkstraTxBodyRaw 'TopTx era)
- referenceInputsDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (Set TxIn → f (Set TxIn)) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era)
- votingProceduresDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (VotingProcedures era → f (VotingProcedures era)) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era)
- proposalProceduresDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (OSet (ProposalProcedure era) → f (OSet (ProposalProcedure era))) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era)
- currentTreasuryValueDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (StrictMaybe Coin → f (StrictMaybe Coin)) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era)
- treasuryDonationDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (Coin → f Coin) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era)
- subTransactionsDijkstraTxBodyRawL ∷ ∀ era f. Functor f ⇒ (OMap TxId (Tx 'SubTx era) → f (OMap TxId (Tx 'SubTx era))) → DijkstraTxBodyRaw 'TopTx era → f (DijkstraTxBodyRaw 'TopTx era)
Documentation
class ConwayEraTxBody era ⇒ DijkstraEraTxBody era where Source #
Methods
guardsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (OSet (Credential 'Guard)) Source #
subTransactionsTxBodyL ∷ Lens' (TxBody 'TopTx era) (OMap TxId (Tx 'SubTx era)) Source #
Instances
| (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 DijkstraEra Source # | |
Defined in Cardano.Ledger.Dijkstra.TxBody Methods guardsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (OSet (Credential 'Guard)) Source # subTransactionsTxBodyL ∷ Lens' (TxBody 'TopTx DijkstraEra) (OMap TxId (Tx 'SubTx DijkstraEra)) Source # | |
data family TxBody (l ∷ TxLevel) era Source #
The body of a transaction.
Instances
upgradeGovAction ∷ (AlonzoEraPParams era, EraPParams (PreviousEra era)) ⇒ GovAction (PreviousEra era) → GovAction era Source #
decodeGuards ∷ Decoder s (OSet (Credential 'Guard)) Source #
Decoder for decoding guards in a backwards-compatible manner. It peeks at the first element and if it's a credential, it decodes the rest of the elements as credentials. If the first element is a plain keyhash, it will decode rest of the elements as keyhashes.
data DijkstraTxBodyRaw (l ∷ TxLevel) era where Source #
Constructors
| DijkstraTxBodyRaw | |
Fields
| |
| DijkstraSubTxBodyRaw | |
Fields
| |
Instances
| HasEraTxLevel DijkstraTxBodyRaw DijkstraEra Source # | |
Defined in Cardano.Ledger.Dijkstra.TxBody Methods toSTxLevel ∷ ∀ (l ∷ TxLevel). DijkstraTxBodyRaw l DijkstraEra → STxLevel l DijkstraEra Source # | |
| (Typeable l, EraTxBody era, DecCBOR (Annotator (Tx 'SubTx era)), HasOKey TxId (Tx 'SubTx era)) ⇒ DecCBOR (Annotator (DijkstraTxBodyRaw l era)) Source # | |
| (EraTxBody era, EncCBOR (Tx 'SubTx era)) ⇒ EncCBOR (DijkstraTxBodyRaw l era) Source # | |
Defined in Cardano.Ledger.Dijkstra.TxBody Methods encCBOR ∷ DijkstraTxBodyRaw l era → Encoding Source # | |
| (EraTxBody era, NFData (Tx 'SubTx era)) ⇒ NFData (DijkstraTxBodyRaw l era) Source # | |
Defined in Cardano.Ledger.Dijkstra.TxBody Methods rnf ∷ DijkstraTxBodyRaw l era → () # | |
| (EraTxBody era, Show (Tx 'SubTx era)) ⇒ Show (DijkstraTxBodyRaw l era) Source # | |
Defined in Cardano.Ledger.Dijkstra.TxBody Methods showsPrec ∷ Int → DijkstraTxBodyRaw l era → ShowS # show ∷ DijkstraTxBodyRaw l era → String # showList ∷ [DijkstraTxBodyRaw l era] → ShowS # | |
| (EraTxBody era, Eq (Tx 'SubTx era)) ⇒ Eq (DijkstraTxBodyRaw l era) Source # | |
Defined in Cardano.Ledger.Dijkstra.TxBody Methods (==) ∷ DijkstraTxBodyRaw l era → DijkstraTxBodyRaw l era → Bool # (/=) ∷ DijkstraTxBodyRaw l era → DijkstraTxBodyRaw l era → Bool # | |
| (Typeable l, EraTxBody era) ⇒ NoThunks (DijkstraTxBodyRaw l era) Source # | |
Defined in Cardano.Ledger.Dijkstra.TxBody | |
| type MemoHashIndex (DijkstraTxBodyRaw l DijkstraEra) Source # | |
Defined in Cardano.Ledger.Dijkstra.TxBody | |
basicDijkstraTxBodyRaw ∷ ∀ era (l ∷ TxLevel). EraTxBody era ⇒ STxBothLevels l era → DijkstraTxBodyRaw l era Source #
inputsDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (Set TxIn → f (Set TxIn)) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era) Source #
outputsDijkstraTxBodyRawL ∷ ∀ era (l ∷ TxLevel). EraTxOut era ⇒ Lens' (DijkstraTxBodyRaw l era) (StrictSeq (TxOut era)) Source #
feeDijkstraTxBodyRawL ∷ ∀ era f. Functor f ⇒ (Coin → f Coin) → DijkstraTxBodyRaw 'TopTx era → f (DijkstraTxBodyRaw 'TopTx era) Source #
vldtDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (ValidityInterval → f ValidityInterval) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era) Source #
certsDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (OSet (TxCert era) → f (OSet (TxCert era))) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era) Source #
withdrawalsDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (Withdrawals → f Withdrawals) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era) Source #
auxDataHashDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (StrictMaybe TxAuxDataHash → f (StrictMaybe TxAuxDataHash)) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era) Source #
mintDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (MultiAsset → f MultiAsset) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era) Source #
scriptIntegrityHashDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (StrictMaybe ScriptIntegrityHash → f (StrictMaybe ScriptIntegrityHash)) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era) Source #
collateralInputsDijkstraTxBodyRawL ∷ ∀ era f. Functor f ⇒ (Set TxIn → f (Set TxIn)) → DijkstraTxBodyRaw 'TopTx era → f (DijkstraTxBodyRaw 'TopTx era) Source #
guardsDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (OSet (Credential 'Guard) → f (OSet (Credential 'Guard))) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era) Source #
networkIdDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (StrictMaybe Network → f (StrictMaybe Network)) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era) Source #
collateralReturnDijkstraTxBodyRawL ∷ EraTxBody era ⇒ Lens' (DijkstraTxBodyRaw 'TopTx era) (StrictMaybe (TxOut era)) Source #
totalCollateralDijkstraTxBodyRawL ∷ ∀ era f. Functor f ⇒ (StrictMaybe Coin → f (StrictMaybe Coin)) → DijkstraTxBodyRaw 'TopTx era → f (DijkstraTxBodyRaw 'TopTx era) Source #
referenceInputsDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (Set TxIn → f (Set TxIn)) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era) Source #
votingProceduresDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (VotingProcedures era → f (VotingProcedures era)) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era) Source #
proposalProceduresDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (OSet (ProposalProcedure era) → f (OSet (ProposalProcedure era))) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era) Source #
currentTreasuryValueDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (StrictMaybe Coin → f (StrictMaybe Coin)) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era) Source #
treasuryDonationDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (Coin → f Coin) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era) Source #
subTransactionsDijkstraTxBodyRawL ∷ ∀ era f. Functor f ⇒ (OMap TxId (Tx 'SubTx era) → f (OMap TxId (Tx 'SubTx era))) → DijkstraTxBodyRaw 'TopTx era → f (DijkstraTxBodyRaw 'TopTx era) Source #
Orphan 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)) ⇒ AllegraEraTxBody DijkstraEra Source # | |||||
Methods vldtTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) ValidityInterval Source # | |||||
| (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 Source # | |||||
Methods collateralInputsTxBodyL ∷ Lens' (TxBody 'TopTx DijkstraEra) (Set TxIn) Source # reqSignerHashesTxBodyL ∷ ∀ (l ∷ TxLevel). AtMostEra "Conway" DijkstraEra ⇒ Lens' (TxBody l DijkstraEra) (Set (KeyHash 'Guard)) Source # reqSignerHashesTxBodyG ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Set (KeyHash 'Guard)) Source # scriptIntegrityHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (StrictMaybe ScriptIntegrityHash) Source # networkIdTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (StrictMaybe Network) Source # redeemerPointer ∷ ∀ (l ∷ TxLevel). TxBody l DijkstraEra → PlutusPurpose AsItem DijkstraEra → StrictMaybe (PlutusPurpose AsIx DijkstraEra) Source # redeemerPointerInverse ∷ ∀ (l ∷ TxLevel). TxBody l DijkstraEra → PlutusPurpose AsIx DijkstraEra → StrictMaybe (PlutusPurpose AsIxItem DijkstraEra) Source # | |||||
| (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 Source # | |||||
Methods sizedOutputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (StrictSeq (Sized (TxOut DijkstraEra))) Source # referenceInputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (Set TxIn) Source # totalCollateralTxBodyL ∷ Lens' (TxBody 'TopTx DijkstraEra) (StrictMaybe Coin) Source # collateralReturnTxBodyL ∷ Lens' (TxBody 'TopTx DijkstraEra) (StrictMaybe (TxOut DijkstraEra)) Source # sizedCollateralReturnTxBodyL ∷ Lens' (TxBody 'TopTx DijkstraEra) (StrictMaybe (Sized (TxOut DijkstraEra))) Source # allSizedOutputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (StrictSeq (Sized (TxOut DijkstraEra))) Source # | |||||
| (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 DijkstraEra Source # | |||||
Methods currentTreasuryValueTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (StrictMaybe Coin) Source # votingProceduresTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (VotingProcedures DijkstraEra) Source # proposalProceduresTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (OSet (ProposalProcedure DijkstraEra)) Source # treasuryDonationTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) Coin Source # | |||||
| (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 Source # | |||||
Associated Types
Methods mkBasicTxBody ∷ ∀ (l ∷ TxLevel). Typeable l ⇒ TxBody l DijkstraEra Source # inputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (Set TxIn) Source # outputsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (StrictSeq (TxOut DijkstraEra)) Source # feeTxBodyL ∷ Lens' (TxBody 'TopTx DijkstraEra) Coin Source # withdrawalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) Withdrawals Source # auxDataHashTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (StrictMaybe TxAuxDataHash) Source # spendableInputsTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Set TxIn) Source # allInputsTxBodyF ∷ SimpleGetter (TxBody 'TopTx DijkstraEra) (Set TxIn) Source # certsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) (StrictSeq (TxCert DijkstraEra)) Source # getTotalDepositsTxBody ∷ ∀ (l ∷ TxLevel). PParams DijkstraEra → (KeyHash 'StakePool → Bool) → TxBody l DijkstraEra → Coin Source # getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams DijkstraEra → (Credential 'Staking → Maybe Coin) → (Credential 'DRepRole → Maybe Coin) → TxBody l DijkstraEra → Coin Source # getGenesisKeyHashCountTxBody ∷ TxBody 'TopTx DijkstraEra → Int Source # | |||||
| (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 Source # | |||||
Methods mintTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l DijkstraEra) MultiAsset Source # mintedTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Set PolicyID) Source # mintValueTxBodyF ∷ ∀ (l ∷ TxLevel). SimpleGetter (TxBody l DijkstraEra) (Value DijkstraEra) Source # | |||||
| HasEraTxLevel TxBody DijkstraEra Source # | |||||
Methods toSTxLevel ∷ ∀ (l ∷ TxLevel). TxBody l DijkstraEra → STxLevel l DijkstraEra Source # | |||||
| (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)) Source # | |||||
| Typeable l ⇒ ToCBOR (TxBody l DijkstraEra) Source # | |||||
| EncCBOR (TxBody l DijkstraEra) Source # | |||||
| SafeToHash (TxBody l DijkstraEra) Source # | |||||
Methods originalBytes ∷ TxBody l DijkstraEra → ByteString Source # originalBytesSize ∷ TxBody l DijkstraEra → Int Source # makeHashWithExplicitProxys ∷ Proxy i → TxBody l DijkstraEra → SafeHash i Source # | |||||
| (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) Source # | |||||
Methods eqRaw ∷ TxBody l DijkstraEra → TxBody l DijkstraEra → Bool Source # | |||||
| Memoized (TxBody l DijkstraEra) Source # | |||||
Associated Types
Methods getMemoBytes ∷ TxBody l DijkstraEra → MemoBytes (RawType (TxBody l DijkstraEra)) wrapMemoBytes ∷ MemoBytes (RawType (TxBody l DijkstraEra)) → 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) Source # | |||||
Methods rnf ∷ TxBody l DijkstraEra → () # | |||||
| Generic (TxBody l DijkstraEra) Source # | |||||
Associated Types
Methods from ∷ TxBody l DijkstraEra → Rep (TxBody l DijkstraEra) x # to ∷ Rep (TxBody l DijkstraEra) x → 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) Source # | |||||
| (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) Source # | |||||
Methods (==) ∷ TxBody l DijkstraEra → TxBody l DijkstraEra → Bool # (/=) ∷ TxBody l DijkstraEra → TxBody l DijkstraEra → Bool # | |||||
| (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) Source # | |||||
| HashAnnotated (TxBody l DijkstraEra) EraIndependentTxBody Source # | |||||
Methods hashAnnotated ∷ TxBody l DijkstraEra → SafeHash EraIndependentTxBody Source # | |||||