cardano-ledger-conway-1.14.0.0: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.TxWits

Documentation

data AlonzoTxWits era where Source #

Bundled Patterns

pattern AlonzoTxWits ∷ AlonzoEraScript era ⇒ Set (WitVKey 'Witness (EraCrypto era)) → Set (BootstrapWitness (EraCrypto era)) → Map (ScriptHash (EraCrypto era)) (Script era) → TxDats era → Redeemers era → AlonzoTxWits era 
pattern AlonzoTxWits' ∷ Era era ⇒ Set (WitVKey 'Witness (EraCrypto era)) → Set (BootstrapWitness (EraCrypto era)) → Map (ScriptHash (EraCrypto era)) (Script era) → TxDats era → Redeemers era → AlonzoTxWits era 

Instances

Instances details
Memoized AlonzoTxWits 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type RawType AlonzoTxWits = (r ∷ Type → Type) Source #

Methods

getMemoBytes ∷ AlonzoTxWits era → MemoBytes (RawType AlonzoTxWits) era

wrapMemoBytes ∷ MemoBytes (RawType AlonzoTxWits) era → AlonzoTxWits era

AlonzoEraScript era ⇒ Monoid (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

mempty ∷ AlonzoTxWits era Source #

mappend ∷ AlonzoTxWits era → AlonzoTxWits era → AlonzoTxWits era Source #

mconcat ∷ [AlonzoTxWits era] → AlonzoTxWits era Source #

AlonzoEraScript era ⇒ Semigroup (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

(<>) ∷ AlonzoTxWits era → AlonzoTxWits era → AlonzoTxWits era Source #

sconcat ∷ NonEmpty (AlonzoTxWits era) → AlonzoTxWits era Source #

stimes ∷ Integral b ⇒ b → AlonzoTxWits era → AlonzoTxWits era Source #

Generic (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type Rep (AlonzoTxWits era) ∷ Type → Type Source #

Methods

from ∷ AlonzoTxWits era → Rep (AlonzoTxWits era) x Source #

to ∷ Rep (AlonzoTxWits era) x → AlonzoTxWits era Source #

AlonzoEraScript era ⇒ Show (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

showsPrec ∷ Int → AlonzoTxWits era → ShowS Source #

show ∷ AlonzoTxWits era → String Source #

showList ∷ [AlonzoTxWits era] → ShowS Source #

Typeable era ⇒ ToCBOR (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

toCBOR ∷ AlonzoTxWits era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxWits era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxWits era] → Size Source #

AlonzoEraScript era ⇒ DecCBOR (Annotator (AlonzoTxWits era)) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

decCBOR ∷ Decoder s (Annotator (AlonzoTxWits era)) Source #

dropCBOR ∷ Proxy (Annotator (AlonzoTxWits era)) → Decoder s () Source #

label ∷ Proxy (Annotator (AlonzoTxWits era)) → Text Source #

Era era ⇒ EncCBOR (AlonzoTxWits era)

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

encCBOR ∷ AlonzoTxWits era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxWits era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxWits era] → Size Source #

(TxWits era ~ AlonzoTxWits era, AlonzoEraTxWits era) ⇒ EqRaw (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

eqRaw ∷ AlonzoTxWits era → AlonzoTxWits era → Bool Source #

SafeToHash (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

originalBytes ∷ AlonzoTxWits era → ByteString Source #

originalBytesSize ∷ AlonzoTxWits era → Int Source #

makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → AlonzoTxWits era → SafeHash c index Source #

(Era era, NFData (Script era), NFData (TxDats era), NFData (Redeemers era), NFData (SigDSIGN (DSIGN (EraCrypto era))), NFData (VerKeyDSIGN (DSIGN (EraCrypto era)))) ⇒ NFData (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

rnf ∷ AlonzoTxWits era → () Source #

AlonzoEraScript era ⇒ Eq (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

(==) ∷ AlonzoTxWits era → AlonzoTxWits era → Bool Source #

(/=) ∷ AlonzoTxWits era → AlonzoTxWits era → Bool Source #

AlonzoEraScript era ⇒ NoThunks (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

noThunks ∷ Context → AlonzoTxWits era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AlonzoTxWits era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AlonzoTxWits era) → String Source #

type RawType AlonzoTxWits 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type RawType AlonzoTxWits = AlonzoTxWitsRaw
type Rep (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (AlonzoTxWits era) = D1 ('MetaData "AlonzoTxWits" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.8.0.0-inplace" 'True) (C1 ('MetaCons "TxWitnessConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxWitsRaw era))))

class (EraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTxWits era where Source #

Methods

datsTxWitsL ∷ Lens' (TxWits era) (TxDats era) Source #

rdmrsTxWitsL ∷ Lens' (TxWits era) (Redeemers era) Source #

Instances

Instances details
(EraScript (AlonzoEra c), Crypto c) ⇒ AlonzoEraTxWits (AlonzoEra c) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

datsTxWitsL ∷ Lens' (TxWits (AlonzoEra c)) (TxDats (AlonzoEra c)) Source #

rdmrsTxWitsL ∷ Lens' (TxWits (AlonzoEra c)) (Redeemers (AlonzoEra c)) Source #

Crypto c ⇒ AlonzoEraTxWits (ConwayEra c) Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxWits

Methods

datsTxWitsL ∷ Lens' (TxWits (ConwayEra c)) (TxDats (ConwayEra c)) Source #

rdmrsTxWitsL ∷ Lens' (TxWits (ConwayEra c)) (Redeemers (ConwayEra c)) Source #

Orphan instances