Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.Tx

Contents

Transaction

Synopsis

data ShelleyTx era where
- pattern ShelleyTx ∷ EraTx era ⇒ TxBody era → TxWits era → StrictMaybe (TxAuxData era) → ShelleyTx era
data ShelleyTxRaw era
bodyShelleyTxL ∷ ∀ era. EraTx era ⇒ Lens' (ShelleyTx era) (TxBody era)
witsShelleyTxL ∷ ∀ era. EraTx era ⇒ Lens' (ShelleyTx era) (TxWits era)
auxDataShelleyTxL ∷ EraTx era ⇒ Lens' (ShelleyTx era) (StrictMaybe (TxAuxData era))
sizeShelleyTxF ∷ SimpleGetter (ShelleyTx era) Integer
wireSizeShelleyTxF ∷ SimpleGetter (ShelleyTx era) Word32
segWitAnnTx ∷ ∀ era. EraTx era ⇒ Annotator (TxBody era) → Annotator (TxWits era) → Maybe (Annotator (TxAuxData era)) → Annotator (ShelleyTx era)
segWitTx ∷ ∀ era. EraTx era ⇒ TxBody era → TxWits era → Maybe (TxAuxData era) → ShelleyTx era
mkBasicShelleyTx ∷ EraTx era ⇒ TxBody era → ShelleyTx era
shelleyMinFeeTx ∷ EraTx era ⇒ PParams era → Tx era → Coin
witsFromTxWitnesses ∷ EraTx era ⇒ Tx era → Set (KeyHash 'Witness)
shelleyEqTxRaw ∷ EraTx era ⇒ Tx era → Tx era → Bool

Transaction

data ShelleyTx era where Source #

Bundled Patterns

pattern ShelleyTx ∷ EraTx era ⇒ TxBody era → TxWits era → StrictMaybe (TxAuxData era) → ShelleyTx era

Instances

Instances details

Generic (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Associated Types type Rep (ShelleyTx era) ∷ Type → Type # Methods from ∷ ShelleyTx era → Rep (ShelleyTx era) x # to ∷ Rep (ShelleyTx era) x → ShelleyTx era #
(Era era, Show (TxBody era), Show (TxWits era), Show (TxAuxData era)) ⇒ Show (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods showsPrec ∷ Int → ShelleyTx era → ShowS # show ∷ ShelleyTx era → String # showList ∷ [ShelleyTx era] → ShowS #
Typeable era ⇒ ToCBOR (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods toCBOR ∷ ShelleyTx era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTx era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTx era] → Size Source #
EraTx era ⇒ DecCBOR (Annotator (ShelleyTx era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods decCBOR ∷ Decoder s (Annotator (ShelleyTx era)) Source # dropCBOR ∷ Proxy (Annotator (ShelleyTx era)) → Decoder s () Source # label ∷ Proxy (Annotator (ShelleyTx era)) → Text Source #
(Era era, DecCBOR (TxBody era), DecCBOR (TxWits era), DecCBOR (TxAuxData era)) ⇒ DecCBOR (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods decCBOR ∷ Decoder s (ShelleyTx era) Source # dropCBOR ∷ Proxy (ShelleyTx era) → Decoder s () Source # label ∷ Proxy (ShelleyTx era) → Text Source #
Era era ⇒ EncCBOR (ShelleyTx era) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods encCBOR ∷ ShelleyTx era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTx era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTx era] → Size Source #
SafeToHash (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods originalBytes ∷ ShelleyTx era → ByteString Source # originalBytesSize ∷ ShelleyTx era → Int Source # makeHashWithExplicitProxys ∷ Proxy i → ShelleyTx era → SafeHash i Source #
(Tx era ~ ShelleyTx era, EraTx era) ⇒ EqRaw (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods eqRaw ∷ ShelleyTx era → ShelleyTx era → Bool Source #
Memoized (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Associated Types type RawType (ShelleyTx era) = (r ∷ Type) Source # Methods getMemoBytes ∷ ShelleyTx era → MemoBytes (RawType (ShelleyTx era)) wrapMemoBytes ∷ MemoBytes (RawType (ShelleyTx era)) → ShelleyTx era
(NFData (TxBody era), NFData (TxWits era), NFData (TxAuxData era)) ⇒ NFData (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods rnf ∷ ShelleyTx era → () #
(Era era, Eq (TxBody era), Eq (TxWits era), Eq (TxAuxData era)) ⇒ Eq (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods (==) ∷ ShelleyTx era → ShelleyTx era → Bool # (/=) ∷ ShelleyTx era → ShelleyTx era → Bool #
(Era era, NoThunks (TxAuxData era), NoThunks (TxBody era), NoThunks (TxWits era)) ⇒ NoThunks (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods noThunks ∷ Context → ShelleyTx era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyTx era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyTx era) → String Source #
type Rep (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal type Rep (ShelleyTx era) = D1 ('MetaData "ShelleyTx" "Cardano.Ledger.Shelley.Tx.Internal" "cardano-ledger-shelley-1.16.0.0-inplace" 'True) (C1 ('MetaCons "TxConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxRaw era)))))
type RawType (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal type RawType (ShelleyTx era) = ShelleyTxRaw era

data ShelleyTxRaw era Source #

Instances

Instances details

Generic (ShelleyTxRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Associated Types type Rep (ShelleyTxRaw era) ∷ Type → Type # Methods from ∷ ShelleyTxRaw era → Rep (ShelleyTxRaw era) x # to ∷ Rep (ShelleyTxRaw era) x → ShelleyTxRaw era #
(Era era, Show (TxBody era), Show (TxWits era), Show (TxAuxData era)) ⇒ Show (ShelleyTxRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods showsPrec ∷ Int → ShelleyTxRaw era → ShowS # show ∷ ShelleyTxRaw era → String # showList ∷ [ShelleyTxRaw era] → ShowS #
(Era era, DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (TxWits era)), DecCBOR (Annotator (TxAuxData era))) ⇒ DecCBOR (Annotator (ShelleyTxRaw era)) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods decCBOR ∷ Decoder s (Annotator (ShelleyTxRaw era)) Source # dropCBOR ∷ Proxy (Annotator (ShelleyTxRaw era)) → Decoder s () Source # label ∷ Proxy (Annotator (ShelleyTxRaw era)) → Text Source #
(Era era, DecCBOR (TxBody era), DecCBOR (TxWits era), DecCBOR (TxAuxData era)) ⇒ DecCBOR (ShelleyTxRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods decCBOR ∷ Decoder s (ShelleyTxRaw era) Source # dropCBOR ∷ Proxy (ShelleyTxRaw era) → Decoder s () Source # label ∷ Proxy (ShelleyTxRaw era) → Text Source #
(Era era, EncCBOR (TxWits era), EncCBOR (TxBody era), EncCBOR (TxAuxData era)) ⇒ EncCBOR (ShelleyTxRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods encCBOR ∷ ShelleyTxRaw era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (ShelleyTxRaw era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [ShelleyTxRaw era] → Size Source #
(NFData (TxBody era), NFData (TxWits era), NFData (TxAuxData era)) ⇒ NFData (ShelleyTxRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods rnf ∷ ShelleyTxRaw era → () #
(Era era, Eq (TxBody era), Eq (TxWits era), Eq (TxAuxData era)) ⇒ Eq (ShelleyTxRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods (==) ∷ ShelleyTxRaw era → ShelleyTxRaw era → Bool # (/=) ∷ ShelleyTxRaw era → ShelleyTxRaw era → Bool #
(Era era, NoThunks (TxAuxData era), NoThunks (TxBody era), NoThunks (TxWits era)) ⇒ NoThunks (ShelleyTxRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Methods noThunks ∷ Context → ShelleyTxRaw era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ShelleyTxRaw era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (ShelleyTxRaw era) → String Source #
type Rep (ShelleyTxRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal type Rep (ShelleyTxRaw era) = D1 ('MetaData "ShelleyTxRaw" "Cardano.Ledger.Shelley.Tx.Internal" "cardano-ledger-shelley-1.16.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyTxRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "strBody") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxBody era)) :: (S1 ('MetaSel ('Just "strWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxWits era)) :: S1 ('MetaSel ('Just "strAuxiliaryData") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (TxAuxData era))))))

bodyShelleyTxL ∷ ∀ era. EraTx era ⇒ Lens' (ShelleyTx era) (TxBody era) Source #

TxBody setter and getter for ShelleyTx. The setter does update memoized binary representation.

witsShelleyTxL ∷ ∀ era. EraTx era ⇒ Lens' (ShelleyTx era) (TxWits era) Source #

TxWits setter and getter for ShelleyTx. The setter does update memoized binary representation.

auxDataShelleyTxL ∷ EraTx era ⇒ Lens' (ShelleyTx era) (StrictMaybe (TxAuxData era)) Source #

TxAuxData setter and getter for ShelleyTx. The setter does update memoized binary representation.

sizeShelleyTxF ∷ SimpleGetter (ShelleyTx era) Integer Source #

Size getter for ShelleyTx.

wireSizeShelleyTxF ∷ SimpleGetter (ShelleyTx era) Word32 Source #

segWitAnnTx ∷ ∀ era. EraTx era ⇒ Annotator (TxBody era) → Annotator (TxWits era) → Maybe (Annotator (TxAuxData era)) → Annotator (ShelleyTx era) Source #

segWitTx ∷ ∀ era. EraTx era ⇒ TxBody era → TxWits era → Maybe (TxAuxData era) → ShelleyTx era Source #

mkBasicShelleyTx ∷ EraTx era ⇒ TxBody era → ShelleyTx era Source #

shelleyMinFeeTx ∷ EraTx era ⇒ PParams era → Tx era → Coin Source #

Minimum fee calculation

witsFromTxWitnesses ∷ EraTx era ⇒ Tx era → Set (KeyHash 'Witness) Source #

Extract the witness hashes from the Transaction.

shelleyEqTxRaw ∷ EraTx era ⇒ Tx era → Tx era → Bool Source #