cardano-ledger-conway-1.20.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
AlonzoEraScript era ⇒ Monoid (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

mempty ∷ AlonzoTxWits era #

mappend ∷ AlonzoTxWits era → AlonzoTxWits era → AlonzoTxWits era #

mconcat ∷ [AlonzoTxWits era] → AlonzoTxWits era #

AlonzoEraScript era ⇒ Semigroup (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

sconcat ∷ NonEmpty (AlonzoTxWits era) → AlonzoTxWits era #

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

Generic (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type Rep (AlonzoTxWits era) ∷ Type → Type #

Methods

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

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

AlonzoEraScript era ⇒ Show (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

showsPrec ∷ Int → AlonzoTxWits era → ShowS #

show ∷ AlonzoTxWits era → String #

showList ∷ [AlonzoTxWits era] → ShowS #

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 (NativeScript era)) ⇒ DecCBOR (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

decCBOR ∷ Decoder s (AlonzoTxWits era) Source #

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

label ∷ Proxy (AlonzoTxWits era) → Text 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 #

Memoized (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

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

Methods

getMemoBytes ∷ AlonzoTxWits era → MemoBytes (RawType (AlonzoTxWits era))

wrapMemoBytes ∷ MemoBytes (RawType (AlonzoTxWits era)) → AlonzoTxWits era

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

AlonzoEraScript era ⇒ Eq (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

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 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.1-inplace" 'True) (C1 ('MetaCons "TxWitnessConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxWitsRaw era)))))
type RawType (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type RawType (AlonzoTxWits era) = 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