Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.Tx.Internal

Contents

Transaction
Deprecated
Orphan instances

Description

Provides Shelley Tx internals

Warning

This module is considered internal.

The contents of this module may change in any way whatsoever and without any warning between minor versions of this package.

Synopsis

newtype ShelleyTx era where
- TxConstr (MemoBytes ShelleyTxRaw era)
- pattern ShelleyTx ∷ EraTx era ⇒ TxBody era → TxWits era → StrictMaybe (TxAuxData era) → ShelleyTx era
data ShelleyTxRaw era = ShelleyTxRaw {
- strBody ∷ !(TxBody era)
- strWits ∷ !(TxWits era)
- strAuxiliaryData ∷ !(StrictMaybe (TxAuxData era))
}
bodyShelleyTxL ∷ EraTx era ⇒ Lens' (ShelleyTx era) (TxBody era)
witsShelleyTxL ∷ EraTx era ⇒ Lens' (ShelleyTx era) (TxWits era)
auxDataShelleyTxL ∷ EraTx era ⇒ Lens' (ShelleyTx era) (StrictMaybe (TxAuxData era))
sizeShelleyTxF ∷ Era era ⇒ SimpleGetter (ShelleyTx era) Integer
wireSizeShelleyTxF ∷ Era era ⇒ SimpleGetter (ShelleyTx era) Word32
segwitTx ∷ ∀ era. EraTx era ⇒ Annotator (TxBody era) → Annotator (TxWits era) → Maybe (Annotator (TxAuxData era)) → Annotator (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 (EraCrypto era))
shelleyEqTxRaw ∷ EraTx era ⇒ Tx era → Tx era → Bool
txwitsScript ∷ EraTx era ⇒ Tx era → Map (ScriptHash (EraCrypto era)) (Script era)
hashMultiSigScript ∷ ∀ era. (EraScript era, Script era ~ MultiSig (EraCrypto era)) ⇒ MultiSig (EraCrypto era) → ScriptHash (EraCrypto era)

Transaction

newtype ShelleyTx era Source #

Constructors

TxConstr (MemoBytes ShelleyTxRaw era)

Bundled Patterns

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

Instances

Instances details

Memoized ShelleyTx Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Associated Types type RawType ShelleyTx = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ ShelleyTx era → MemoBytes (RawType ShelleyTx) era wrapMemoBytes ∷ MemoBytes (RawType ShelleyTx) era → ShelleyTx era
Generic (ShelleyTx era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Associated Types type Rep (ShelleyTx era) ∷ Type → Type Source # Methods from ∷ ShelleyTx era → Rep (ShelleyTx era) x Source # to ∷ Rep (ShelleyTx era) x → ShelleyTx era Source #
(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 Source # show ∷ ShelleyTx era → String Source # showList ∷ [ShelleyTx era] → ShowS Source #
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 ⇒ 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 #
(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 #
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 ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → ShelleyTx era → SafeHash c index Source #
(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 → () Source #
(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 Source # (/=) ∷ ShelleyTx era → ShelleyTx era → Bool Source #
(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 RawType ShelleyTx Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal type RawType ShelleyTx = ShelleyTxRaw
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.14.1.0-inplace" 'True) (C1 ('MetaCons "TxConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes ShelleyTxRaw era))))

data ShelleyTxRaw era Source #

Constructors

ShelleyTxRaw
Fields strBody ∷ !(TxBody era) strWits ∷ !(TxWits era) strAuxiliaryData ∷ !(StrictMaybe (TxAuxData era))

Instances

Instances details

Generic (ShelleyTxRaw era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx.Internal Associated Types type Rep (ShelleyTxRaw era) ∷ Type → Type Source # Methods from ∷ ShelleyTxRaw era → Rep (ShelleyTxRaw era) x Source # to ∷ Rep (ShelleyTxRaw era) x → ShelleyTxRaw era Source #
(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 Source # show ∷ ShelleyTxRaw era → String Source # showList ∷ [ShelleyTxRaw era] → ShowS Source #
(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, 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 → () Source #
(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 Source # (/=) ∷ ShelleyTxRaw era → ShelleyTxRaw era → Bool Source #
(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.14.1.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))))))