| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Ledger.Dijkstra.TxBody
Contents
Synopsis
- class (ConwayEraTxBody era, ToJSON (TxBody 'SubTx era), FromJSON (TxBody 'SubTx era)) ⇒ DijkstraEraTxBody era where
- guardsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (OSet (Credential 'Guard))
- subTransactionsTxBodyL ∷ Lens' (TxBody 'TopTx era) (OMap TxId (Tx 'SubTx era))
- requiredTopLevelGuardsL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (Map (Credential 'Guard) (StrictMaybe (Data era)))
- directDepositsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) DirectDeposits
- accountBalanceIntervalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (AccountBalanceIntervals era)
- startingAccountBalanceIntervalsTxBodyL ∷ Lens' (TxBody 'TopTx era) (AccountBalanceIntervals 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)
- requiredTopLevelGuardsDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (Map (Credential 'Guard) (StrictMaybe (Data era)) → f (Map (Credential 'Guard) (StrictMaybe (Data era)))) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era)
- directDepositsDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (DirectDeposits → f DirectDeposits) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era)
- accountBalanceIntervalsDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (AccountBalanceIntervals era → f (AccountBalanceIntervals era)) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era)
- startingAccountBalanceIntervalsDijkstraTxBodyRawL ∷ ∀ era f. Functor f ⇒ (AccountBalanceIntervals era → f (AccountBalanceIntervals era)) → DijkstraTxBodyRaw 'TopTx era → f (DijkstraTxBodyRaw 'TopTx era)
Documentation
class (ConwayEraTxBody era, ToJSON (TxBody 'SubTx era), FromJSON (TxBody 'SubTx 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 #
requiredTopLevelGuardsL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (Map (Credential 'Guard) (StrictMaybe (Data era))) Source #
directDepositsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) DirectDeposits Source #
accountBalanceIntervalsTxBodyL ∷ ∀ (l ∷ TxLevel). Lens' (TxBody l era) (AccountBalanceIntervals era) Source #
startingAccountBalanceIntervalsTxBodyL ∷ Lens' (TxBody 'TopTx era) (AccountBalanceIntervals era) Source #
Instances
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 #
requiredTopLevelGuardsDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (Map (Credential 'Guard) (StrictMaybe (Data era)) → f (Map (Credential 'Guard) (StrictMaybe (Data era)))) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era) Source #
directDepositsDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (DirectDeposits → f DirectDeposits) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era) Source #
accountBalanceIntervalsDijkstraTxBodyRawL ∷ ∀ (l ∷ TxLevel) era f. Functor f ⇒ (AccountBalanceIntervals era → f (AccountBalanceIntervals era)) → DijkstraTxBodyRaw l era → f (DijkstraTxBodyRaw l era) Source #
startingAccountBalanceIntervalsDijkstraTxBodyRawL ∷ ∀ era f. Functor f ⇒ (AccountBalanceIntervals era → f (AccountBalanceIntervals 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)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (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)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (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)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (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)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (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)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (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 ∷ PParams DijkstraEra → (KeyHash 'StakePool → Bool) → TxBody 'TopTx DijkstraEra → Coin Source # getTotalRefundsTxBody ∷ ∀ (l ∷ TxLevel). PParams DijkstraEra → (Credential 'Staking → 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)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (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)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ DecCBOR (Annotator (TxBody l DijkstraEra)) Source # | |||||
| (FromJSON (TxOut DijkstraEra), Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ FromJSON (TxBody 'SubTx DijkstraEra) Source # | |||||
| (Eq (Tx 'SubTx DijkstraEra), NFData (Tx 'SubTx DijkstraEra), Show (Tx 'SubTx DijkstraEra), EncCBOR (Tx 'SubTx DijkstraEra), DecCBOR (Annotator (Tx 'SubTx DijkstraEra)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ FromJSON (TxBody 'TopTx DijkstraEra) Source # | |||||
| ToJSON (TxOut DijkstraEra) ⇒ ToJSON (TxBody 'SubTx DijkstraEra) Source # | |||||
Methods toJSON ∷ TxBody 'SubTx DijkstraEra → Value Source # toEncoding ∷ TxBody 'SubTx DijkstraEra → Encoding Source # toJSONList ∷ [TxBody 'SubTx DijkstraEra] → Value Source # toEncodingList ∷ [TxBody 'SubTx DijkstraEra] → Encoding Source # | |||||
| (ToJSON (TxOut DijkstraEra), ToJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ ToJSON (TxBody 'TopTx DijkstraEra) Source # | |||||
Methods toJSON ∷ TxBody 'TopTx DijkstraEra → Value Source # toEncoding ∷ TxBody 'TopTx DijkstraEra → Encoding Source # toJSONList ∷ [TxBody 'TopTx DijkstraEra] → Value Source # toEncodingList ∷ [TxBody 'TopTx DijkstraEra] → Encoding Source # | |||||
| Typeable l ⇒ ToCBOR (TxBody l DijkstraEra) Source # | |||||
| EncCBOR (TxBody l DijkstraEra) Source # | |||||
| ToJSON (TxOut DijkstraEra) ⇒ ToKeyValuePairs (TxBody 'SubTx DijkstraEra) Source # | |||||
Methods toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'SubTx DijkstraEra → [kv] Source # | |||||
| (ToJSON (TxOut DijkstraEra), ToJSON (Tx 'SubTx DijkstraEra), HasOKey TxId (Tx 'SubTx DijkstraEra)) ⇒ ToKeyValuePairs (TxBody 'TopTx DijkstraEra) Source # | |||||
Methods toKeyValuePairs ∷ KeyValue e kv ⇒ TxBody 'TopTx DijkstraEra → [kv] 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)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (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)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (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)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (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)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (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)), ToJSON (Tx 'SubTx DijkstraEra), FromJSON (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 # | |||||