Cardano.Ledger.Dijkstra.Tx
Contents
data family Tx era Source #
Defined in Cardano.Ledger.Dijkstra.Translation
Associated Types
type TranslationError DijkstraEra Tx Source #
Methods
translateEra ∷ TranslationContext DijkstraEra → Tx (PreviousEra DijkstraEra) → Except (TranslationError DijkstraEra Tx) (Tx DijkstraEra) Source #
Defined in Cardano.Ledger.Dijkstra.Tx
type Rep (Tx DijkstraEra) ∷ Type → Type #
from ∷ Tx DijkstraEra → Rep (Tx DijkstraEra) x #
to ∷ Rep (Tx DijkstraEra) x → Tx DijkstraEra #
showsPrec ∷ Int → Tx DijkstraEra → ShowS #
show ∷ Tx DijkstraEra → String #
showList ∷ [Tx DijkstraEra] → ShowS #
toCBOR ∷ Tx DijkstraEra → Encoding Source #
encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx DijkstraEra) → Size Source #
encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx DijkstraEra] → Size Source #
decCBOR ∷ Decoder s (Annotator (Tx DijkstraEra)) Source #
dropCBOR ∷ Proxy (Annotator (Tx DijkstraEra)) → Decoder s () Source #
label ∷ Proxy (Annotator (Tx DijkstraEra)) → Text Source #
encCBOR ∷ Tx DijkstraEra → Encoding Source #
encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Tx DijkstraEra) → Size Source #
encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Tx DijkstraEra] → Size Source #
eqRaw ∷ Tx DijkstraEra → Tx DijkstraEra → Bool Source #
rnf ∷ Tx DijkstraEra → () #
(==) ∷ Tx DijkstraEra → Tx DijkstraEra → Bool #
(/=) ∷ Tx DijkstraEra → Tx DijkstraEra → Bool #
noThunks ∷ Context → Tx DijkstraEra → IO (Maybe ThunkInfo) Source #
wNoThunks ∷ Context → Tx DijkstraEra → IO (Maybe ThunkInfo) Source #
showTypeOf ∷ Proxy (Tx DijkstraEra) → String Source #
Defined in Cardano.Ledger.Allegra.Tx
Defined in Cardano.Ledger.Alonzo.Tx
Defined in Cardano.Ledger.Babbage.Tx
Defined in Cardano.Ledger.Conway.Tx
Defined in Cardano.Ledger.Mary.Tx
Defined in Cardano.Ledger.Shelley.Tx
Defined in Cardano.Ledger.Allegra.Translation
Defined in Cardano.Ledger.Alonzo.Translation
Defined in Cardano.Ledger.Babbage.Translation
Defined in Cardano.Ledger.Conway.Translation
Defined in Cardano.Ledger.Mary.Translation
isValidTxL ∷ Lens' (Tx DijkstraEra) IsValid Source #
data Tx DijkstraEra Source #
mkBasicTx ∷ TxBody DijkstraEra → Tx DijkstraEra Source #
bodyTxL ∷ Lens' (Tx DijkstraEra) (TxBody DijkstraEra) Source #
witsTxL ∷ Lens' (Tx DijkstraEra) (TxWits DijkstraEra) Source #
auxDataTxL ∷ Lens' (Tx DijkstraEra) (StrictMaybe (TxAuxData DijkstraEra)) Source #
sizeTxF ∷ SimpleGetter (Tx DijkstraEra) Integer Source #
sizeTxForFeeCalculation ∷ Tx DijkstraEra → Integer Source #
validateNativeScript ∷ Tx DijkstraEra → NativeScript DijkstraEra → Bool Source #
getMinFeeTx ∷ PParams DijkstraEra → Tx DijkstraEra → Int → Coin Source #