Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Allegra.Tx

Contents

Orphan instances

Documentation

validateTimelock ∷ (EraTx era, AllegraEraTxBody era, AllegraEraScript era, NativeScript era ~ Timelock era) ⇒ Tx era → NativeScript era → Bool Source #

data family Tx era Source #

Instances

Instances details

TranslateEra AllegraEra Tx Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation Associated Types type TranslationError AllegraEra Tx Source # Methods translateEra ∷ TranslationContext AllegraEra → Tx (PreviousEra AllegraEra) → Except (TranslationError AllegraEra Tx) (Tx AllegraEra) Source #
Generic (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Associated Types type Rep (Tx AllegraEra) ∷ Type → Type # Methods from ∷ Tx AllegraEra → Rep (Tx AllegraEra) x # to ∷ Rep (Tx AllegraEra) x → Tx AllegraEra #
Show (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods showsPrec ∷ Int → Tx AllegraEra → ShowS # show ∷ Tx AllegraEra → String # showList ∷ [Tx AllegraEra] → ShowS #
ToCBOR (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods toCBOR ∷ Tx AllegraEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx AllegraEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx AllegraEra] → Size Source #
DecCBOR (Annotator (Tx AllegraEra)) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods decCBOR ∷ Decoder s (Annotator (Tx AllegraEra)) Source # dropCBOR ∷ Proxy (Annotator (Tx AllegraEra)) → Decoder s () Source # label ∷ Proxy (Annotator (Tx AllegraEra)) → Text Source #
EncCBOR (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods encCBOR ∷ Tx AllegraEra → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Tx AllegraEra) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Tx AllegraEra] → Size Source #
EqRaw (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods eqRaw ∷ Tx AllegraEra → Tx AllegraEra → Bool Source #
NFData (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods rnf ∷ Tx AllegraEra → () #
Eq (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods (==) ∷ Tx AllegraEra → Tx AllegraEra → Bool # (/=) ∷ Tx AllegraEra → Tx AllegraEra → Bool #
NoThunks (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx Methods noThunks ∷ Context → Tx AllegraEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Tx AllegraEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Tx AllegraEra) → String Source #
newtype Tx AllegraEra Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx newtype Tx AllegraEra = MkAllegraTx { unAllegraTx ∷ ShelleyTx AllegraEra }
newtype Tx ShelleyEra
Instance details Defined in Cardano.Ledger.Shelley.Tx newtype Tx ShelleyEra = MkShelleyTx { unShelleyTx ∷ ShelleyTx ShelleyEra }
type TranslationError AllegraEra Tx Source #
Instance details Defined in Cardano.Ledger.Allegra.Translation type TranslationError AllegraEra Tx = DecoderError
type Rep (Tx AllegraEra) Source #
Instance details Defined in Cardano.Ledger.Allegra.Tx type Rep (Tx AllegraEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Allegra.Tx" "cardano-ledger-allegra-1.8.0.0-inplace" 'True) (C1 ('MetaCons "MkAllegraTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAllegraTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx AllegraEra))))
type Rep (Tx ShelleyEra)
Instance details Defined in Cardano.Ledger.Shelley.Tx type Rep (Tx ShelleyEra) = D1 ('MetaData "Tx" "Cardano.Ledger.Shelley.Tx" "cardano-ledger-shelley-1.17.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "unShelleyTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ShelleyTx ShelleyEra))))

Orphan instances

EraTx AllegraEra Source #
Instance details Associated Types data Tx AllegraEra Source # Methods mkBasicTx ∷ TxBody AllegraEra → Tx AllegraEra Source # bodyTxL ∷ Lens' (Tx AllegraEra) (TxBody AllegraEra) Source # witsTxL ∷ Lens' (Tx AllegraEra) (TxWits AllegraEra) Source # auxDataTxL ∷ Lens' (Tx AllegraEra) (StrictMaybe (TxAuxData AllegraEra)) Source # sizeTxF ∷ SimpleGetter (Tx AllegraEra) Integer Source # sizeTxForFeeCalculation ∷ Tx AllegraEra → Integer Source # validateNativeScript ∷ Tx AllegraEra → NativeScript AllegraEra → Bool Source # getMinFeeTx ∷ PParams AllegraEra → Tx AllegraEra → Int → Coin Source #
Generic (Tx AllegraEra) Source #
Instance details Associated Types type Rep (Tx AllegraEra) ∷ Type → Type # Methods from ∷ Tx AllegraEra → Rep (Tx AllegraEra) x # to ∷ Rep (Tx AllegraEra) x → Tx AllegraEra #
Show (Tx AllegraEra) Source #
Instance details Methods showsPrec ∷ Int → Tx AllegraEra → ShowS # show ∷ Tx AllegraEra → String # showList ∷ [Tx AllegraEra] → ShowS #
ToCBOR (Tx AllegraEra) Source #
Instance details Methods toCBOR ∷ Tx AllegraEra → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tx AllegraEra) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tx AllegraEra] → Size Source #
DecCBOR (Annotator (Tx AllegraEra)) Source #
Instance details Methods decCBOR ∷ Decoder s (Annotator (Tx AllegraEra)) Source # dropCBOR ∷ Proxy (Annotator (Tx AllegraEra)) → Decoder s () Source # label ∷ Proxy (Annotator (Tx AllegraEra)) → Text Source #
EncCBOR (Tx AllegraEra) Source #
Instance details Methods encCBOR ∷ Tx AllegraEra → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (Tx AllegraEra) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [Tx AllegraEra] → Size Source #
EqRaw (Tx AllegraEra) Source #
Instance details Methods eqRaw ∷ Tx AllegraEra → Tx AllegraEra → Bool Source #
NFData (Tx AllegraEra) Source #
Instance details Methods rnf ∷ Tx AllegraEra → () #
Eq (Tx AllegraEra) Source #
Instance details Methods (==) ∷ Tx AllegraEra → Tx AllegraEra → Bool # (/=) ∷ Tx AllegraEra → Tx AllegraEra → Bool #
NoThunks (Tx AllegraEra) Source #
Instance details Methods noThunks ∷ Context → Tx AllegraEra → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Tx AllegraEra → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Tx AllegraEra) → String Source #