cardano-ledger-conway-1.19.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) → Set BootstrapWitness → Map ScriptHash (Script era) → TxDats era → Redeemers era → AlonzoTxWits era 
pattern AlonzoTxWits' ∷ Era era ⇒ Set (WitVKey 'Witness) → Set BootstrapWitness → Map ScriptHash (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 #

SafeToHash (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

originalBytes ∷ AlonzoTxWits era → ByteString Source #

originalBytesSize ∷ AlonzoTxWits era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → AlonzoTxWits era → SafeHash i 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 #

(Era era, NFData (Script era), NFData (TxDats era), NFData (Redeemers 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.13.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 ⇒ AlonzoEraTxWits AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

AlonzoEraTxWits ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Conway.TxWits

Methods

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

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

Orphan instances