Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Shelley.Tx.Internal

Contents

Transaction
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 ∷ ∀ 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

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

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 #

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 # 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))))))