Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Alonzo.TxWits

Contents

Orphan instances

Synopsis

newtype Redeemers era where
- MkRedeemers (MemoBytes (RedeemersRaw era))
- pattern Redeemers ∷ AlonzoEraScript era ⇒ Map (PlutusPurpose AsIx era) (Data era, ExUnits) → Redeemers era
newtype RedeemersRaw era = RedeemersRaw {
- unRedeemersRaw ∷ Map (PlutusPurpose AsIx era) (Data era, ExUnits)
}
unRedeemersL ∷ AlonzoEraScript era ⇒ Lens' (Redeemers era) (Map (PlutusPurpose AsIx era) (Data era, ExUnits))
unRedeemers ∷ Redeemers era → Map (PlutusPurpose AsIx era) (Data era, ExUnits)
newtype TxDats era where
- MkTxDats (MemoBytes (TxDatsRaw era))
- pattern TxDats ∷ Era era ⇒ Map DataHash (Data era) → TxDats era
newtype TxDatsRaw era = TxDatsRaw {
- unTxDatsRaw ∷ Map DataHash (Data era)
}
newtype AlonzoTxWits era where
- MkAlonzoTxWits (MemoBytes (AlonzoTxWitsRaw era))
- pattern AlonzoTxWits ∷ AlonzoEraScript era ⇒ Set (WitVKey 'Witness) → Set BootstrapWitness → Map ScriptHash (Script era) → TxDats era → Redeemers era → AlonzoTxWits era
data AlonzoTxWitsRaw era = AlonzoTxWitsRaw {
- atwrAddrTxWits ∷ !(Set (WitVKey 'Witness))
- atwrBootAddrTxWits ∷ !(Set BootstrapWitness)
- atwrScriptTxWits ∷ !(Map ScriptHash (Script era))
- atwrDatsTxWits ∷ !(TxDats era)
- atwrRdmrsTxWits ∷ !(Redeemers era)
}
addrAlonzoTxWitsL ∷ AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Set (WitVKey 'Witness))
bootAddrAlonzoTxWitsL ∷ AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Set BootstrapWitness)
scriptAlonzoTxWitsL ∷ AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Map ScriptHash (Script era))
datsAlonzoTxWitsL ∷ AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (TxDats era)
rdmrsAlonzoTxWitsL ∷ AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Redeemers era)
class (EraTxWits era, AlonzoEraScript era) ⇒ AlonzoEraTxWits era where
- datsTxWitsL ∷ Lens' (TxWits era) (TxDats era)
- rdmrsTxWitsL ∷ Lens' (TxWits era) (Redeemers era)
hashDataTxWitsL ∷ AlonzoEraTxWits era ⇒ Lens (TxWits era) (TxWits era) (TxDats era) [Data era]
unTxDats ∷ TxDats era → Map DataHash (Data era)
unTxDatsL ∷ Era era ⇒ Lens' (TxDats era) (Map DataHash (Data era))
alonzoEqTxWitsRaw ∷ AlonzoEraTxWits era ⇒ TxWits era → TxWits era → Bool
emptyTxWitsRaw ∷ AlonzoEraScript era ⇒ AlonzoTxWitsRaw era
addScriptsTxWitsRaw ∷ Map ScriptHash (Script era) → AlonzoTxWitsRaw era → AlonzoTxWitsRaw era
decodeAlonzoPlutusScript ∷ ∀ era (l ∷ Language). (AlonzoEraScript era, PlutusLanguage l) ⇒ SLanguage l → Decode ('Closed 'Dense) (Map ScriptHash (Script era))
alonzoPlutusScriptDecoder ∷ ∀ era (l ∷ Language) s. (AlonzoEraScript era, PlutusLanguage l) ⇒ SLanguage l → Decoder s (Map ScriptHash (Script era))
asHashedScriptPair ∷ EraScript era ⇒ Script era → (ScriptHash, Script era)

Documentation

newtype Redeemers era Source #

Note that Redeemers are based on MemoBytes since we must preserve the original bytes for the ScriptIntegrity. Since the Redeemers exist outside of the transaction body, this is how we ensure that they are not manipulated.

Constructors

MkRedeemers (MemoBytes (RedeemersRaw era))

Bundled Patterns

pattern Redeemers ∷ AlonzoEraScript era ⇒ Map (PlutusPurpose AsIx era) (Data era, ExUnits) → Redeemers era

Instances

Instances details

(AlonzoEraScript era, FromJSON (Data era), FromJSON (PlutusPurpose AsIx era)) ⇒ FromJSON (Redeemers era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

parseJSON ∷ Value → Parser (Redeemers era) Source #

parseJSONList ∷ Value → Parser [Redeemers era] Source #

omittedField ∷ Maybe (Redeemers era) Source #

(AlonzoEraScript era, ToJSON (Data era), ToJSON (PlutusPurpose AsIx era)) ⇒ ToJSON (Redeemers era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

toJSON ∷ Redeemers era → Value Source #

toEncoding ∷ Redeemers era → Encoding Source #

toJSONList ∷ [Redeemers era] → Value Source #

toEncodingList ∷ [Redeemers era] → Encoding Source #

omitField ∷ Redeemers era → Bool Source #

Typeable era ⇒ ToCBOR (Redeemers era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

toCBOR ∷ Redeemers era → Encoding Source #

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

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

AlonzoEraScript era ⇒ DecCBOR (Annotator (Redeemers era)) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

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

AlonzoEraScript era ⇒ EncCBOR (Redeemers era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

encCBOR ∷ Redeemers era → Encoding Source #

SafeToHash (Redeemers era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

originalBytes ∷ Redeemers era → ByteString Source #

originalBytesSize ∷ Redeemers era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → Redeemers era → SafeHash i Source #

Memoized (Redeemers era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type RawType (Redeemers era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type RawType (Redeemers era) = RedeemersRaw era

Methods

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

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

AlonzoEraScript era ⇒ NFData (Redeemers era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

rnf ∷ Redeemers era → () #

AlonzoEraScript era ⇒ Monoid (Redeemers era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

mempty ∷ Redeemers era #

mappend ∷ Redeemers era → Redeemers era → Redeemers era #

mconcat ∷ [Redeemers era] → Redeemers era #

AlonzoEraScript era ⇒ Semigroup (Redeemers era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

sconcat ∷ NonEmpty (Redeemers era) → Redeemers era #

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

Generic (Redeemers era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type Rep (Redeemers era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type Rep (Redeemers era) = Rep (MemoBytes (RedeemersRaw era))

Methods

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

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

AlonzoEraScript era ⇒ Show (Redeemers era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

showsPrec ∷ Int → Redeemers era → ShowS #

show ∷ Redeemers era → String #

showList ∷ [Redeemers era] → ShowS #

AlonzoEraScript era ⇒ Eq (Redeemers era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

AlonzoEraScript era ⇒ NoThunks (Redeemers era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

showTypeOf ∷ Proxy (Redeemers era) → String Source #

type RawType (Redeemers era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type RawType (Redeemers era) = RedeemersRaw era

type Rep (Redeemers era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (Redeemers era) = Rep (MemoBytes (RedeemersRaw era))

newtype RedeemersRaw era Source #

Constructors

RedeemersRaw
Fields unRedeemersRaw ∷ Map (PlutusPurpose AsIx era) (Data era, ExUnits)

Instances

Instances details

AlonzoEraScript era ⇒ DecCBOR (Annotator (RedeemersRaw era)) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

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

AlonzoEraScript era ⇒ EncCBOR (RedeemersRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

encCBOR ∷ RedeemersRaw era → Encoding Source #

AlonzoEraScript era ⇒ NFData (RedeemersRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

rnf ∷ RedeemersRaw era → () #

Generic (RedeemersRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type Rep (RedeemersRaw era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type Rep (RedeemersRaw era) = D1 ('MetaData "RedeemersRaw" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.17.1.0-inplace" 'True) (C1 ('MetaCons "RedeemersRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRedeemersRaw") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (PlutusPurpose AsIx era) (Data era, ExUnits)))))

Methods

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

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

AlonzoEraScript era ⇒ Show (RedeemersRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

showsPrec ∷ Int → RedeemersRaw era → ShowS #

show ∷ RedeemersRaw era → String #

showList ∷ [RedeemersRaw era] → ShowS #

AlonzoEraScript era ⇒ Eq (RedeemersRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

AlonzoEraScript era ⇒ NoThunks (RedeemersRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

showTypeOf ∷ Proxy (RedeemersRaw era) → String Source #

type Rep (RedeemersRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (RedeemersRaw era) = D1 ('MetaData "RedeemersRaw" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.17.1.0-inplace" 'True) (C1 ('MetaCons "RedeemersRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRedeemersRaw") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (PlutusPurpose AsIx era) (Data era, ExUnits)))))

unRedeemersL ∷ AlonzoEraScript era ⇒ Lens' (Redeemers era) (Map (PlutusPurpose AsIx era) (Data era, ExUnits)) Source #

unRedeemers ∷ Redeemers era → Map (PlutusPurpose AsIx era) (Data era, ExUnits) Source #

newtype TxDats era Source #

Note that TxDats are based on MemoBytes since we must preserve the original bytes for the ScriptIntegrity. Since the TxDats exist outside of the transaction body, this is how we ensure that they are not manipulated.

Constructors

MkTxDats (MemoBytes (TxDatsRaw era))

Bundled Patterns

pattern TxDats ∷ Era era ⇒ Map DataHash (Data era) → TxDats era

Instances

Instances details

(Era era, FromJSON (Data era)) ⇒ FromJSON (TxDats era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

parseJSON ∷ Value → Parser (TxDats era) Source #

parseJSONList ∷ Value → Parser [TxDats era] Source #

omittedField ∷ Maybe (TxDats era) Source #

(Era era, ToJSON (Data era)) ⇒ ToJSON (TxDats era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

toJSON ∷ TxDats era → Value Source #

toEncoding ∷ TxDats era → Encoding Source #

toJSONList ∷ [TxDats era] → Value Source #

toEncodingList ∷ [TxDats era] → Encoding Source #

omitField ∷ TxDats era → Bool Source #

Typeable era ⇒ ToCBOR (TxDats era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

toCBOR ∷ TxDats era → Encoding Source #

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

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

Era era ⇒ DecCBOR (Annotator (TxDats era)) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

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

Era era ⇒ EncCBOR (TxDats era) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

encCBOR ∷ TxDats era → Encoding Source #

SafeToHash (TxDats era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

originalBytes ∷ TxDats era → ByteString Source #

originalBytesSize ∷ TxDats era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → TxDats era → SafeHash i Source #

Memoized (TxDats era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type RawType (TxDats era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type RawType (TxDats era) = TxDatsRaw era

Methods

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

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

NFData (TxDats era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

rnf ∷ TxDats era → () #

Era era ⇒ Monoid (TxDats era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

mempty ∷ TxDats era #

mappend ∷ TxDats era → TxDats era → TxDats era #

mconcat ∷ [TxDats era] → TxDats era #

Era era ⇒ Semigroup (TxDats era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

sconcat ∷ NonEmpty (TxDats era) → TxDats era #

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

Generic (TxDats era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type Rep (TxDats era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type Rep (TxDats era) = D1 ('MetaData "TxDats" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.17.1.0-inplace" 'True) (C1 ('MetaCons "MkTxDats" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (TxDatsRaw era)))))

Methods

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

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

Show (TxDats era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

showsPrec ∷ Int → TxDats era → ShowS #

show ∷ TxDats era → String #

showList ∷ [TxDats era] → ShowS #

Eq (TxDats era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

Typeable era ⇒ NoThunks (TxDats era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

showTypeOf ∷ Proxy (TxDats era) → String Source #

type RawType (TxDats era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type RawType (TxDats era) = TxDatsRaw era

type Rep (TxDats era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

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

newtype TxDatsRaw era Source #

Constructors

TxDatsRaw
Fields unTxDatsRaw ∷ Map DataHash (Data era)

Instances

Instances details

Era era ⇒ DecCBOR (Annotator (TxDatsRaw era)) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

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

EncCBOR (Data era) ⇒ EncCBOR (TxDatsRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

encCBOR ∷ TxDatsRaw era → Encoding Source #

NFData (TxDatsRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

rnf ∷ TxDatsRaw era → () #

Generic (TxDatsRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type Rep (TxDatsRaw era)
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type Rep (TxDatsRaw era) = D1 ('MetaData "TxDatsRaw" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.17.1.0-inplace" 'True) (C1 ('MetaCons "TxDatsRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxDatsRaw") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map DataHash (Data era)))))

Methods

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

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

Show (TxDatsRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

showsPrec ∷ Int → TxDatsRaw era → ShowS #

show ∷ TxDatsRaw era → String #

showList ∷ [TxDatsRaw era] → ShowS #

Eq (TxDatsRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

Typeable era ⇒ NoThunks (TxDatsRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

showTypeOf ∷ Proxy (TxDatsRaw era) → String Source #

type Rep (TxDatsRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (TxDatsRaw era) = D1 ('MetaData "TxDatsRaw" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.17.1.0-inplace" 'True) (C1 ('MetaCons "TxDatsRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTxDatsRaw") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map DataHash (Data era)))))

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

(AlonzoEraScript era, FromJSON (Script era), FromJSON (Data era), FromJSON (PlutusPurpose AsIx era)) ⇒ FromJSON (AlonzoTxWits era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

parseJSON ∷ Value → Parser (AlonzoTxWits era) Source #

parseJSONList ∷ Value → Parser [AlonzoTxWits era] Source #

omittedField ∷ Maybe (AlonzoTxWits era) Source #

(AlonzoEraScript era, ToJSON (Script era), ToJSON (Data era), ToJSON (PlutusPurpose AsIx era)) ⇒ ToJSON (AlonzoTxWits era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

toJSON ∷ AlonzoTxWits era → Value Source #

toEncoding ∷ AlonzoTxWits era → Encoding Source #

toJSONList ∷ [AlonzoTxWits era] → Value Source #

toEncodingList ∷ [AlonzoTxWits era] → Encoding Source #

omitField ∷ AlonzoTxWits era → Bool Source #

Typeable era ⇒ ToCBOR (AlonzoTxWits era) Source #

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)) Source #

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) Source #

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

encCBOR ∷ AlonzoTxWits era → Encoding Source #

SafeToHash (AlonzoTxWits era) Source #

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) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

eqRaw ∷ AlonzoTxWits era → AlonzoTxWits era → Bool Source #

Memoized (AlonzoTxWits era) Source #

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) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

rnf ∷ AlonzoTxWits era → () #

AlonzoEraScript era ⇒ Monoid (AlonzoTxWits era) Source #

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) Source #

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) Source #

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.17.1.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) Source #

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) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

AlonzoEraScript era ⇒ NoThunks (AlonzoTxWits era) Source #

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 #

HashAnnotated (AlonzoTxWits era) EraIndependentTxWits Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

hashAnnotated ∷ AlonzoTxWits era → SafeHash EraIndependentTxWits Source #

type RawType (AlonzoTxWits era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type RawType (AlonzoTxWits era) = AlonzoTxWitsRaw era

type Rep (AlonzoTxWits era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

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

data AlonzoTxWitsRaw era Source #

Internal AlonzoTxWits type, lacking serialised bytes.

Constructors

AlonzoTxWitsRaw
Fields atwrAddrTxWits ∷ !(Set (WitVKey 'Witness)) atwrBootAddrTxWits ∷ !(Set BootstrapWitness) atwrScriptTxWits ∷ !(Map ScriptHash (Script era)) atwrDatsTxWits ∷ !(TxDats era) atwrRdmrsTxWits ∷ !(Redeemers era)

Instances

Instances details

(AlonzoEraScript era, DecCBOR (Annotator (NativeScript era))) ⇒ DecCBOR (Annotator (AlonzoTxWitsRaw era)) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

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

AlonzoEraScript era ⇒ EncCBOR (AlonzoTxWitsRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

encCBOR ∷ AlonzoTxWitsRaw era → Encoding Source #

(Era era, NFData (Script era), NFData (TxDats era), NFData (Redeemers era)) ⇒ NFData (AlonzoTxWitsRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

rnf ∷ AlonzoTxWitsRaw era → () #

Generic (AlonzoTxWitsRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Associated Types

type Rep (AlonzoTxWitsRaw era)

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (AlonzoTxWitsRaw era) = D1 ('MetaData "AlonzoTxWitsRaw" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.17.1.0-inplace" 'False) (C1 ('MetaCons "AlonzoTxWitsRaw" 'PrefixI 'True) ((S1 ('MetaSel ('Just "atwrAddrTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (WitVKey 'Witness))) :*: S1 ('MetaSel ('Just "atwrBootAddrTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set BootstrapWitness))) :*: (S1 ('MetaSel ('Just "atwrScriptTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map ScriptHash (Script era))) :*: (S1 ('MetaSel ('Just "atwrDatsTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxDats era)) :*: S1 ('MetaSel ('Just "atwrRdmrsTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Redeemers era))))))

Methods

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

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

AlonzoEraScript era ⇒ Show (AlonzoTxWitsRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

showsPrec ∷ Int → AlonzoTxWitsRaw era → ShowS #

show ∷ AlonzoTxWitsRaw era → String #

showList ∷ [AlonzoTxWitsRaw era] → ShowS #

AlonzoEraScript era ⇒ Eq (AlonzoTxWitsRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

AlonzoEraScript era ⇒ NoThunks (AlonzoTxWitsRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

Methods

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

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

showTypeOf ∷ Proxy (AlonzoTxWitsRaw era) → String Source #

type MemoHashIndex (AlonzoTxWitsRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type MemoHashIndex (AlonzoTxWitsRaw era) = EraIndependentTxWits

type Rep (AlonzoTxWitsRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxWits

type Rep (AlonzoTxWitsRaw era) = D1 ('MetaData "AlonzoTxWitsRaw" "Cardano.Ledger.Alonzo.TxWits" "cardano-ledger-alonzo-1.17.1.0-inplace" 'False) (C1 ('MetaCons "AlonzoTxWitsRaw" 'PrefixI 'True) ((S1 ('MetaSel ('Just "atwrAddrTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (WitVKey 'Witness))) :*: S1 ('MetaSel ('Just "atwrBootAddrTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set BootstrapWitness))) :*: (S1 ('MetaSel ('Just "atwrScriptTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map ScriptHash (Script era))) :*: (S1 ('MetaSel ('Just "atwrDatsTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxDats era)) :*: S1 ('MetaSel ('Just "atwrRdmrsTxWits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Redeemers era))))))

addrAlonzoTxWitsL ∷ AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Set (WitVKey 'Witness)) Source #

bootAddrAlonzoTxWitsL ∷ AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Set BootstrapWitness) Source #

scriptAlonzoTxWitsL ∷ AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Map ScriptHash (Script era)) Source #

datsAlonzoTxWitsL ∷ AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (TxDats era) Source #

rdmrsAlonzoTxWitsL ∷ AlonzoEraScript era ⇒ Lens' (AlonzoTxWits era) (Redeemers era) Source #

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 Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxWits Methods datsTxWitsL ∷ Lens' (TxWits AlonzoEra) (TxDats AlonzoEra) Source # rdmrsTxWitsL ∷ Lens' (TxWits AlonzoEra) (Redeemers AlonzoEra) Source #

hashDataTxWitsL ∷ AlonzoEraTxWits era ⇒ Lens (TxWits era) (TxWits era) (TxDats era) [Data era] Source #

This is a convenience Lens that will hash the Data when it is being added to the TxWits. See datsTxWitsL for a version that aloows setting TxDats instead.

unTxDats ∷ TxDats era → Map DataHash (Data era) Source #

unTxDatsL ∷ Era era ⇒ Lens' (TxDats era) (Map DataHash (Data era)) Source #

alonzoEqTxWitsRaw ∷ AlonzoEraTxWits era ⇒ TxWits era → TxWits era → Bool Source #

emptyTxWitsRaw ∷ AlonzoEraScript era ⇒ AlonzoTxWitsRaw era Source #

addScriptsTxWitsRaw ∷ Map ScriptHash (Script era) → AlonzoTxWitsRaw era → AlonzoTxWitsRaw era Source #

decodeAlonzoPlutusScript ∷ ∀ era (l ∷ Language). (AlonzoEraScript era, PlutusLanguage l) ⇒ SLanguage l → Decode ('Closed 'Dense) (Map ScriptHash (Script era)) Source #

alonzoPlutusScriptDecoder ∷ ∀ era (l ∷ Language) s. (AlonzoEraScript era, PlutusLanguage l) ⇒ SLanguage l → Decoder s (Map ScriptHash (Script era)) Source #

asHashedScriptPair ∷ EraScript era ⇒ Script era → (ScriptHash, Script era) Source #

Orphan instances

EraTxWits AlonzoEra Source #

Instance details

Associated Types

type TxWits AlonzoEra
Instance details Defined in Cardano.Ledger.Alonzo.TxWits type TxWits AlonzoEra = AlonzoTxWits AlonzoEra

Methods

mkBasicTxWits ∷ TxWits AlonzoEra Source #

addrTxWitsL ∷ Lens' (TxWits AlonzoEra) (Set (WitVKey 'Witness)) Source #

bootAddrTxWitsL ∷ Lens' (TxWits AlonzoEra) (Set BootstrapWitness) Source #

scriptTxWitsL ∷ Lens' (TxWits AlonzoEra) (Map ScriptHash (Script AlonzoEra)) Source #