cardano-ledger-babbage-1.13.0.0: Cardano ledger introducing refrence scripts and inline datums
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Babbage.TxWits

Documentation

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
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 BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Babbage.TxWits

Methods

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

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

newtype AlonzoTxWits era Source #

Constructors

MkAlonzoTxWits (MemoBytes (AlonzoTxWitsRaw era)) 

Bundled Patterns

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

Instances

Instances details
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 (NativeScript 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 #

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) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type RawType (AlonzoTxWits era) = AlonzoTxWitsRaw era

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 ⇒ 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) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

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

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 #

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 RawType (AlonzoTxWits era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

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

Orphan instances