shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Shelley.Spec.Ledger.Tx

Synopsis

Documentation

data Tx era Source #

A fully formed transaction.

Constructors

Tx' !(TxBody era) !(WitnessSet era) !(StrictMaybe MetaData) ByteString 

Bundled Patterns

pattern TxTxBodyConstraints era ⇒ TxBody era → WitnessSet era → StrictMaybe MetaDataTx era 

Instances

Instances details
ShelleyBased era ⇒ Eq (Tx era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Tx

Methods

(==)Tx era → Tx era → Bool #

(/=)Tx era → Tx era → Bool #

ShelleyBased era ⇒ Show (Tx era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Tx

Methods

showsPrecIntTx era → ShowS #

showTx era → String #

showList ∷ [Tx era] → ShowS #

Generic (Tx era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Tx

Associated Types

type Rep (Tx era) ∷ TypeType #

Methods

fromTx era → Rep (Tx era) x #

toRep (Tx era) x → Tx era #

ShelleyBased era ⇒ ToCBOR (Tx era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Tx

Methods

toCBORTx era → Encoding Source #

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

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

(ShelleyBased era, ValidateScript era) ⇒ FromCBOR (Annotator (Tx era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Tx

Methods

fromCBORDecoder s (Annotator (Tx era)) Source #

labelProxy (Annotator (Tx era)) → Text Source #

ShelleyBased era ⇒ NoThunks (Tx era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Tx

Methods

noThunks ∷ Context → Tx era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → Tx era → IO (Maybe ThunkInfo)

showTypeOfProxy (Tx era) → String

ShelleyBased era ⇒ HashAnnotated (Tx era) era Source # 
Instance details

Defined in Shelley.Spec.Ledger.Tx

Associated Types

type HashIndex (Tx era) Source #

Methods

hashAnnotatedTx era → Hash (HASH (Crypto era)) (HashIndex (Tx era)) Source #

type Rep (Tx era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Tx

type Rep (Tx era) = D1 ('MetaData "Tx" "Shelley.Spec.Ledger.Tx" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "Tx'" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_body'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxBody era)) :*: S1 ('MetaSel ('Just "_witnessSet'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WitnessSet era))) :*: (S1 ('MetaSel ('Just "_metadata'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe MetaData)) :*: S1 ('MetaSel ('Just "txFullBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))))
type HashIndex (Tx era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Tx

newtype TxBody era Source #

Constructors

TxBodyY (MemoBytes (TxBodyX era)) 

Bundled Patterns

pattern TxBody ∷ ProperTo era ⇒ Set (TxIn era) → StrictSeq (TxOut era) → StrictSeq (DCert era) → Wdrl era → CoinSlotNoStrictMaybe (Update era) → StrictMaybe (MetaDataHash era) → TxBody era

Pattern for use by external users

Instances

Instances details
HasField "ttl" (TxBody era) SlotNo Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → SlotNo #

HasField "txfee" (TxBody era) Coin Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → Coin #

HasField "certs" (TxBody era) (StrictSeq (DCert era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → StrictSeq (DCert era) #

HasField "inputs" (TxBody e) (Set (TxIn e)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody e → Set (TxIn e) #

HasField "mdHash" (TxBody era) (StrictMaybe (MetaDataHash era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → StrictMaybe (MetaDataHash era) #

HasField "outputs" (TxBody era) (StrictSeq (TxOut era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → StrictSeq (TxOut era) #

HasField "update" (TxBody era) (StrictMaybe (Update era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → StrictMaybe (Update era) #

HasField "wdrls" (TxBody era) (Wdrl era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → Wdrl era #

ProperVal era ⇒ Eq (TxBody era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)TxBody era → TxBody era → Bool #

(/=)TxBody era → TxBody era → Bool #

ProperVal era ⇒ Show (TxBody era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntTxBody era → ShowS #

showTxBody era → String #

showList ∷ [TxBody era] → ShowS #

Generic (TxBody era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (TxBody era) ∷ TypeType #

Methods

fromTxBody era → Rep (TxBody era) x #

toRep (TxBody era) x → TxBody era #

Era era ⇒ ToCBOR (TxBody era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORTxBody era → Encoding Source #

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

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

ProperFrom era ⇒ FromCBOR (Annotator (TxBody era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Typeable era ⇒ NoThunks (TxBody era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → TxBody era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → TxBody era → IO (Maybe ThunkInfo)

showTypeOfProxy (TxBody era) → String

Era era ⇒ HashAnnotated (TxBody era) era Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type HashIndex (TxBody era) Source #

Methods

hashAnnotatedTxBody era → Hash (HASH (Crypto era)) (HashIndex (TxBody era)) Source #

type Rep (TxBody era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (TxBody era)
type HashIndex (TxBody era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

data TxOut era Source #

The output of a UTxO.

Constructors

TxOutCompact !(CompactAddr era) !(CompactForm (Value era)) 

Bundled Patterns

pattern TxOutShelleyBased era ⇒ Addr era → Value era → TxOut era 

Instances

Instances details
HasField "outputs" (TxBody era) (StrictSeq (TxOut era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody era → StrictSeq (TxOut era) #

(Eq (Value era), Compactible (Value era)) ⇒ Eq (TxOut era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)TxOut era → TxOut era → Bool #

(/=)TxOut era → TxOut era → Bool #

(Show (Value era), Era era, Compactible (Value era)) ⇒ Show (TxOut era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntTxOut era → ShowS #

showTxOut era → String #

showList ∷ [TxOut era] → ShowS #

NFData (TxOut era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

rnfTxOut era → () #

(Era era, ToCBOR (Value era), ToCBOR (CompactForm (Value era))) ⇒ ToCBOR (TxOut era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORTxOut era → Encoding Source #

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

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

(Era era, FromCBOR (Value era), FromCBOR (CompactForm (Value era))) ⇒ FromCBOR (TxOut era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBORDecoder s (TxOut era) Source #

labelProxy (TxOut era) → Text Source #

NoThunks (TxOut era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → TxOut era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → TxOut era → IO (Maybe ThunkInfo)

showTypeOfProxy (TxOut era) → String

Embed (UTxO era) (Map (TxIn era) (TxOut era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.UTxO

Methods

toBaseUTxO era → Map (TxIn era) (TxOut era) Source #

fromBaseMap (TxIn era) (TxOut era) → UTxO era Source #

HasExp (UTxO era) (Map (TxIn era) (TxOut era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.UTxO

Methods

toExpUTxO era → Exp (Map (TxIn era) (TxOut era)) Source #

data TxIn era Source #

The input of a UTxO.

Constructors

TxInCompact !(TxId era) !Word64 

Bundled Patterns

pattern TxInEra era ⇒ TxId era → NaturalTxIn era 

Instances

Instances details
HasField "inputs" (TxBody e) (Set (TxIn e)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

getFieldTxBody e → Set (TxIn e) #

Eq (TxIn era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)TxIn era → TxIn era → Bool #

(/=)TxIn era → TxIn era → Bool #

Ord (TxIn era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

compareTxIn era → TxIn era → Ordering #

(<)TxIn era → TxIn era → Bool #

(<=)TxIn era → TxIn era → Bool #

(>)TxIn era → TxIn era → Bool #

(>=)TxIn era → TxIn era → Bool #

maxTxIn era → TxIn era → TxIn era #

minTxIn era → TxIn era → TxIn era #

Show (TxIn era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntTxIn era → ShowS #

showTxIn era → String #

showList ∷ [TxIn era] → ShowS #

Generic (TxIn era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (TxIn era) ∷ TypeType #

Methods

fromTxIn era → Rep (TxIn era) x #

toRep (TxIn era) x → TxIn era #

Era era ⇒ NFData (TxIn era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

rnfTxIn era → () #

Era era ⇒ ToCBOR (TxIn era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORTxIn era → Encoding Source #

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

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

Era era ⇒ FromCBOR (TxIn era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBORDecoder s (TxIn era) Source #

labelProxy (TxIn era) → Text Source #

NoThunks (TxIn era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → TxIn era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → TxIn era → IO (Maybe ThunkInfo)

showTypeOfProxy (TxIn era) → String

Embed (UTxO era) (Map (TxIn era) (TxOut era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.UTxO

Methods

toBaseUTxO era → Map (TxIn era) (TxOut era) Source #

fromBaseMap (TxIn era) (TxOut era) → UTxO era Source #

HasExp (UTxO era) (Map (TxIn era) (TxOut era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.UTxO

Methods

toExpUTxO era → Exp (Map (TxIn era) (TxOut era)) Source #

type Rep (TxIn era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (TxIn era) = D1 ('MetaData "TxIn" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TxInCompact" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (TxId era)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)))

newtype TxId era Source #

A unique ID of a transaction, which is computable from the transaction.

Constructors

TxId 

Instances

Instances details
Eq (TxId era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)TxId era → TxId era → Bool #

(/=)TxId era → TxId era → Bool #

Ord (TxId era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

compareTxId era → TxId era → Ordering #

(<)TxId era → TxId era → Bool #

(<=)TxId era → TxId era → Bool #

(>)TxId era → TxId era → Bool #

(>=)TxId era → TxId era → Bool #

maxTxId era → TxId era → TxId era #

minTxId era → TxId era → TxId era #

Show (TxId era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntTxId era → ShowS #

showTxId era → String #

showList ∷ [TxId era] → ShowS #

Generic (TxId era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (TxId era) ∷ TypeType #

Methods

fromTxId era → Rep (TxId era) x #

toRep (TxId era) x → TxId era #

Era era ⇒ NFData (TxId era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

rnfTxId era → () #

Era era ⇒ ToCBOR (TxId era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORTxId era → Encoding Source #

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

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

Era era ⇒ FromCBOR (TxId era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBORDecoder s (TxId era) Source #

labelProxy (TxId era) → Text Source #

NoThunks (TxId era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → TxId era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → TxId era → IO (Maybe ThunkInfo)

showTypeOfProxy (TxId era) → String

type Rep (TxId era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (TxId era) = D1 ('MetaData "TxId" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "_unTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash (Crypto era) EraIndependentTxBody))))

data WitnessSetHKD f era where Source #

Bundled Patterns

pattern WitnessSet ∷ (Era era, AnnotatedData (Script era)) ⇒ Set (WitVKey 'Witness era) → Map (ScriptHash era) (Script era) → Set (BootstrapWitness era) → WitnessSet era 

Instances

Instances details
(Era era, ChainData (Script era)) ⇒ Eq (WitnessSetHKD Identity era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Tx

(Era era, ChainData (Script era)) ⇒ Show (WitnessSetHKD Identity era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Tx

Era era ⇒ Generic (WitnessSetHKD Identity era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Tx

Associated Types

type Rep (WitnessSetHKD Identity era) ∷ TypeType #

(Era era, AnnotatedData (Script era)) ⇒ Semigroup (WitnessSetHKD Identity era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Tx

(Era era, AnnotatedData (Script era)) ⇒ Monoid (WitnessSetHKD Identity era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Tx

Era era ⇒ ToCBOR (WitnessSetHKD Identity era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Tx

Methods

toCBORWitnessSetHKD Identity era → Encoding Source #

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

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

(Era era, ChainData (Script era)) ⇒ NoThunks (WitnessSetHKD Identity era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Tx

Methods

noThunks ∷ Context → WitnessSetHKD Identity era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → WitnessSetHKD Identity era → IO (Maybe ThunkInfo)

showTypeOfProxy (WitnessSetHKD Identity era) → String

type Rep (WitnessSetHKD Identity era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Tx

data WitVKey kr era where Source #

Proof/Witness that a transaction is authorized by the given key holder.

Bundled Patterns

pattern WitVKey ∷ (Typeable kr, Era era) ⇒ VKey kr (Crypto era) → SignedDSIGN (Crypto era) (Hash (Crypto era) EraIndependentTxBody) → WitVKey kr era 

Instances

Instances details
(Typeable kr, Era era) ⇒ FromCBOR (Annotator (WitVKey kr era)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

fromCBORDecoder s (Annotator (WitVKey kr era)) Source #

labelProxy (Annotator (WitVKey kr era)) → Text Source #

Era era ⇒ Eq (WitVKey kr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

(==)WitVKey kr era → WitVKey kr era → Bool #

(/=)WitVKey kr era → WitVKey kr era → Bool #

(Typeable kr, Era era) ⇒ Ord (WitVKey kr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

compareWitVKey kr era → WitVKey kr era → Ordering #

(<)WitVKey kr era → WitVKey kr era → Bool #

(<=)WitVKey kr era → WitVKey kr era → Bool #

(>)WitVKey kr era → WitVKey kr era → Bool #

(>=)WitVKey kr era → WitVKey kr era → Bool #

maxWitVKey kr era → WitVKey kr era → WitVKey kr era #

minWitVKey kr era → WitVKey kr era → WitVKey kr era #

Era era ⇒ Show (WitVKey kr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

showsPrecIntWitVKey kr era → ShowS #

showWitVKey kr era → String #

showList ∷ [WitVKey kr era] → ShowS #

Generic (WitVKey kr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type Rep (WitVKey kr era) ∷ TypeType #

Methods

fromWitVKey kr era → Rep (WitVKey kr era) x #

toRep (WitVKey kr era) x → WitVKey kr era #

(Typeable kr, Era era) ⇒ ToCBOR (WitVKey kr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

toCBORWitVKey kr era → Encoding Source #

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

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

(Era era, Typeable kr) ⇒ NoThunks (WitVKey kr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Methods

noThunks ∷ Context → WitVKey kr era → IO (Maybe ThunkInfo)

wNoThunks ∷ Context → WitVKey kr era → IO (Maybe ThunkInfo)

showTypeOfProxy (WitVKey kr era) → String

(Era era, Typeable kr) ⇒ HashAnnotated (WitVKey kr era) era Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

Associated Types

type HashIndex (WitVKey kr era) Source #

Methods

hashAnnotatedWitVKey kr era → Hash (HASH (Crypto era)) (HashIndex (WitVKey kr era)) Source #

type Rep (WitVKey kr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

type Rep (WitVKey kr era) = D1 ('MetaData "WitVKey" "Shelley.Spec.Ledger.TxBody" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "WitVKey'" 'PrefixI 'True) ((S1 ('MetaSel ('Just "wvkKey'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey kr (Crypto era))) :*: S1 ('MetaSel ('Just "wvkSig'") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN (Crypto era) (Hash (Crypto era) EraIndependentTxBody)))) :*: (S1 ('MetaSel ('Just "wvkKeyHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Witness (Crypto era))) :*: S1 ('MetaSel ('Just "wvkBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString))))
type HashIndex (WitVKey kr era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.TxBody

class (Era era, ToCBOR (Script era)) ⇒ ValidateScript era where Source #

Typeclass for multis-signature script data types. Allows for script validation and hashing.

Methods

validateScriptScript era → Tx era → Bool Source #

hashScriptScript era → ScriptHash era Source #

Instances

Instances details
(Crypto c, TxBodyConstraints (ShelleyEra c)) ⇒ ValidateScript (ShelleyEra c) Source #

instance of MultiSignatureScript type class

Instance details

Defined in Shelley.Spec.Ledger.Tx

txwitsScriptTxBodyConstraints era ⇒ Tx era → Map (ScriptHash era) (Script era) Source #

Multi-signature script witness accessor function for Transactions

extractKeyHashWitnessSet ∷ ∀ (r ∷ KeyRole) era. [Credential r era] → Set (KeyHash 'Witness (Crypto era)) Source #

getKeyCombinationsEra era ⇒ MultiSig era → [[KeyHash 'Witness (Crypto era)]] Source #

Get all valid combinations of keys for given multi signature. This is mainly useful for testing.

getKeyCombinationEra era ⇒ MultiSig era → [KeyHash 'Witness (Crypto era)] Source #

Get one possible combination of keys for multi signature script

addrWits'WitnessSetHKD f era → HKD f (Set (WitVKey 'Witness era)) Source #

evalNativeMultiSigScriptEra era ⇒ MultiSig era → Set (KeyHash 'Witness (Crypto era)) → Bool Source #

Script evaluator for native multi-signature scheme. vhks is the set of key hashes that signed the transaction to be validated.

hashMultiSigScriptEra era ⇒ MultiSig era → ScriptHash era Source #

Hashes native multi-signature script.

validateNativeMultiSigScriptTxBodyConstraints era ⇒ MultiSig era → Tx era → Bool Source #

Script validator for native multi-signature scheme.