Safe Haskell	None
Language	Haskell98

Shelley.Spec.Ledger.Tx

Synopsis

data Tx era where
- Tx' !(TxBody era) !(WitnessSet era) !(StrictMaybe MetaData) ByteString
- pattern Tx ∷ TxBodyConstraints era ⇒ TxBody era → WitnessSet era → StrictMaybe MetaData → Tx era
newtype TxBody era where
- TxBodyY (MemoBytes (TxBodyX era))
- pattern TxBody ∷ ProperTo era ⇒ Set (TxIn era) → StrictSeq (TxOut era) → StrictSeq (DCert era) → Wdrl era → Coin → SlotNo → StrictMaybe (Update era) → StrictMaybe (MetaDataHash era) → TxBody era
data TxOut era where
- TxOutCompact !(CompactAddr era) !(CompactForm (Value era))
- pattern TxOut ∷ ShelleyBased era ⇒ Addr era → Value era → TxOut era
data TxIn era where
- TxInCompact !(TxId era) !Word64
- pattern TxIn ∷ Era era ⇒ TxId era → Natural → TxIn era
newtype TxId era = TxId {
- _unTxId ∷ Hash (Crypto era) EraIndependentTxBody
}
decodeWits ∷ ∀ era s. (TxBodyConstraints era, AnnotatedData (Script era), ValidateScript era) ⇒ Decoder s (Annotator (WitnessSet era))
segwitTx ∷ TxBodyConstraints era ⇒ Annotator (TxBody era) → Annotator (WitnessSet era) → Maybe (Annotator MetaData) → Annotator (Tx era)
type WitnessSet = WitnessSetHKD Identity
data WitnessSetHKD f era where
- pattern WitnessSet ∷ (Era era, AnnotatedData (Script era)) ⇒ Set (WitVKey 'Witness era) → Map (ScriptHash era) (Script era) → Set (BootstrapWitness era) → WitnessSet era
data WitVKey kr era where
- pattern WitVKey ∷ (Typeable kr, Era era) ⇒ VKey kr (Crypto era) → SignedDSIGN (Crypto era) (Hash (Crypto era) EraIndependentTxBody) → WitVKey kr era
class (Era era, ToCBOR (Script era)) ⇒ ValidateScript era where
- validateScript ∷ Script era → Tx era → Bool
- hashScript ∷ Script era → ScriptHash era
txwitsScript ∷ TxBodyConstraints era ⇒ Tx era → Map (ScriptHash era) (Script era)
extractKeyHashWitnessSet ∷ ∀ (r ∷ KeyRole) era. [Credential r era] → Set (KeyHash 'Witness (Crypto era))
getKeyCombinations ∷ Era era ⇒ MultiSig era → [[KeyHash 'Witness (Crypto era)]]
getKeyCombination ∷ Era era ⇒ MultiSig era → [KeyHash 'Witness (Crypto era)]
addrWits' ∷ WitnessSetHKD f era → HKD f (Set (WitVKey 'Witness era))
evalNativeMultiSigScript ∷ Era era ⇒ MultiSig era → Set (KeyHash 'Witness (Crypto era)) → Bool
hashMultiSigScript ∷ Era era ⇒ MultiSig era → ScriptHash era
validateNativeMultiSigScript ∷ TxBodyConstraints era ⇒ MultiSig era → Tx era → Bool

Documentation

data Tx era Source #

A fully formed transaction.

Constructors

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

Bundled Patterns

pattern Tx ∷ TxBodyConstraints era ⇒ TxBody era → WitnessSet era → StrictMaybe MetaData → Tx 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 showsPrec ∷ Int → Tx era → ShowS # show ∷ Tx era → String # showList ∷ [Tx era] → ShowS #
Generic (Tx era) Source #
Instance details Defined in Shelley.Spec.Ledger.Tx Associated Types type Rep (Tx era) ∷ Type → Type # Methods from ∷ Tx era → Rep (Tx era) x # to ∷ Rep (Tx era) x → Tx era #
ShelleyBased era ⇒ ToCBOR (Tx era) Source #
Instance details Defined in Shelley.Spec.Ledger.Tx Methods toCBOR ∷ Tx 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 fromCBOR ∷ Decoder s (Annotator (Tx era)) Source # label ∷ Proxy (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) showTypeOf ∷ Proxy (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 hashAnnotated ∷ Tx 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 type HashIndex (Tx era) = EraIndependentTx

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 → Coin → SlotNo → StrictMaybe (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 getField ∷ TxBody era → SlotNo #
HasField "txfee" (TxBody era) Coin Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods getField ∷ TxBody era → Coin #
HasField "certs" (TxBody era) (StrictSeq (DCert era)) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods getField ∷ TxBody era → StrictSeq (DCert era) #
HasField "inputs" (TxBody e) (Set (TxIn e)) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods getField ∷ TxBody e → Set (TxIn e) #
HasField "mdHash" (TxBody era) (StrictMaybe (MetaDataHash era)) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods getField ∷ TxBody era → StrictMaybe (MetaDataHash era) #
HasField "outputs" (TxBody era) (StrictSeq (TxOut era)) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods getField ∷ TxBody era → StrictSeq (TxOut era) #
HasField "update" (TxBody era) (StrictMaybe (Update era)) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods getField ∷ TxBody era → StrictMaybe (Update era) #
HasField "wdrls" (TxBody era) (Wdrl era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods getField ∷ TxBody 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 showsPrec ∷ Int → TxBody era → ShowS # show ∷ TxBody era → String # showList ∷ [TxBody era] → ShowS #
Generic (TxBody era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Associated Types type Rep (TxBody era) ∷ Type → Type # Methods from ∷ TxBody era → Rep (TxBody era) x # to ∷ Rep (TxBody era) x → TxBody era #
Era era ⇒ ToCBOR (TxBody era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods toCBOR ∷ TxBody 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 Methods fromCBOR ∷ Decoder s (Annotator (TxBody era)) Source # label ∷ Proxy (Annotator (TxBody era)) → Text Source #
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) showTypeOf ∷ Proxy (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 hashAnnotated ∷ TxBody 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 type HashIndex (TxBody era) = EraIndependentTxBody

data TxOut era Source #

The output of a UTxO.

Constructors

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

Bundled Patterns

pattern TxOut ∷ ShelleyBased 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 getField ∷ TxBody 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 showsPrec ∷ Int → TxOut era → ShowS # show ∷ TxOut era → String # showList ∷ [TxOut era] → ShowS #
NFData (TxOut era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods rnf ∷ TxOut era → () #
(Era era, ToCBOR (Value era), ToCBOR (CompactForm (Value era))) ⇒ ToCBOR (TxOut era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods toCBOR ∷ TxOut 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 fromCBOR ∷ Decoder s (TxOut era) Source # label ∷ Proxy (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) showTypeOf ∷ Proxy (TxOut era) → String
Embed (UTxO era) (Map (TxIn era) (TxOut era)) Source #
Instance details Defined in Shelley.Spec.Ledger.UTxO Methods toBase ∷ UTxO era → Map (TxIn era) (TxOut era) Source # fromBase ∷ Map (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 toExp ∷ UTxO 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 TxIn ∷ Era era ⇒ TxId era → Natural → TxIn era

Instances

Instances details

HasField "inputs" (TxBody e) (Set (TxIn e)) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods getField ∷ TxBody 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 compare ∷ TxIn era → TxIn era → Ordering # (<) ∷ TxIn era → TxIn era → Bool # (<=) ∷ TxIn era → TxIn era → Bool # (>) ∷ TxIn era → TxIn era → Bool # (>=) ∷ TxIn era → TxIn era → Bool # max ∷ TxIn era → TxIn era → TxIn era # min ∷ TxIn era → TxIn era → TxIn era #
Show (TxIn era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods showsPrec ∷ Int → TxIn era → ShowS # show ∷ TxIn era → String # showList ∷ [TxIn era] → ShowS #
Generic (TxIn era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Associated Types type Rep (TxIn era) ∷ Type → Type # Methods from ∷ TxIn era → Rep (TxIn era) x # to ∷ Rep (TxIn era) x → TxIn era #
Era era ⇒ NFData (TxIn era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods rnf ∷ TxIn era → () #
Era era ⇒ ToCBOR (TxIn era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods toCBOR ∷ TxIn 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 fromCBOR ∷ Decoder s (TxIn era) Source # label ∷ Proxy (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) showTypeOf ∷ Proxy (TxIn era) → String
Embed (UTxO era) (Map (TxIn era) (TxOut era)) Source #
Instance details Defined in Shelley.Spec.Ledger.UTxO Methods toBase ∷ UTxO era → Map (TxIn era) (TxOut era) Source # fromBase ∷ Map (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 toExp ∷ UTxO 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 ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 (TxId era)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 Word64)))

newtype TxId era Source #

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

Constructors

TxId
Fields _unTxId ∷ Hash (Crypto era) EraIndependentTxBody

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 compare ∷ TxId era → TxId era → Ordering # (<) ∷ TxId era → TxId era → Bool # (<=) ∷ TxId era → TxId era → Bool # (>) ∷ TxId era → TxId era → Bool # (>=) ∷ TxId era → TxId era → Bool # max ∷ TxId era → TxId era → TxId era # min ∷ TxId era → TxId era → TxId era #
Show (TxId era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods showsPrec ∷ Int → TxId era → ShowS # show ∷ TxId era → String # showList ∷ [TxId era] → ShowS #
Generic (TxId era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Associated Types type Rep (TxId era) ∷ Type → Type # Methods from ∷ TxId era → Rep (TxId era) x # to ∷ Rep (TxId era) x → TxId era #
Era era ⇒ NFData (TxId era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods rnf ∷ TxId era → () #
Era era ⇒ ToCBOR (TxId era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods toCBOR ∷ TxId 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 fromCBOR ∷ Decoder s (TxId era) Source # label ∷ Proxy (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) showTypeOf ∷ Proxy (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))))

decodeWits ∷ ∀ era s. (TxBodyConstraints era, AnnotatedData (Script era), ValidateScript era) ⇒ Decoder s (Annotator (WitnessSet era)) Source #

segwitTx ∷ TxBodyConstraints era ⇒ Annotator (TxBody era) → Annotator (WitnessSet era) → Maybe (Annotator MetaData) → Annotator (Tx era) Source #

type WitnessSet = WitnessSetHKD Identity Source #

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 Methods (==) ∷ WitnessSetHKD Identity era → WitnessSetHKD Identity era → Bool # (/=) ∷ WitnessSetHKD Identity era → WitnessSetHKD Identity era → Bool #
(Era era, ChainData (Script era)) ⇒ Show (WitnessSetHKD Identity era) Source #
Instance details Defined in Shelley.Spec.Ledger.Tx Methods showsPrec ∷ Int → WitnessSetHKD Identity era → ShowS # show ∷ WitnessSetHKD Identity era → String # showList ∷ [WitnessSetHKD Identity era] → ShowS #
Era era ⇒ Generic (WitnessSetHKD Identity era) Source #
Instance details Defined in Shelley.Spec.Ledger.Tx Associated Types type Rep (WitnessSetHKD Identity era) ∷ Type → Type # Methods from ∷ WitnessSetHKD Identity era → Rep (WitnessSetHKD Identity era) x # to ∷ Rep (WitnessSetHKD Identity era) x → WitnessSetHKD Identity era #
(Era era, AnnotatedData (Script era)) ⇒ Semigroup (WitnessSetHKD Identity era) Source #
Instance details Defined in Shelley.Spec.Ledger.Tx Methods (<>) ∷ WitnessSetHKD Identity era → WitnessSetHKD Identity era → WitnessSetHKD Identity era # sconcat ∷ NonEmpty (WitnessSetHKD Identity era) → WitnessSetHKD Identity era # stimes ∷ Integral b ⇒ b → WitnessSetHKD Identity era → WitnessSetHKD Identity era #
(Era era, AnnotatedData (Script era)) ⇒ Monoid (WitnessSetHKD Identity era) Source #
Instance details Defined in Shelley.Spec.Ledger.Tx Methods mempty ∷ WitnessSetHKD Identity era # mappend ∷ WitnessSetHKD Identity era → WitnessSetHKD Identity era → WitnessSetHKD Identity era # mconcat ∷ [WitnessSetHKD Identity era] → WitnessSetHKD Identity era #
Era era ⇒ ToCBOR (WitnessSetHKD Identity era) Source #
Instance details Defined in Shelley.Spec.Ledger.Tx Methods toCBOR ∷ WitnessSetHKD 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) showTypeOf ∷ Proxy (WitnessSetHKD Identity era) → String
type Rep (WitnessSetHKD Identity era) Source #
Instance details Defined in Shelley.Spec.Ledger.Tx type Rep (WitnessSetHKD Identity era)

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 fromCBOR ∷ Decoder s (Annotator (WitVKey kr era)) Source # label ∷ Proxy (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 compare ∷ WitVKey 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 # max ∷ WitVKey kr era → WitVKey kr era → WitVKey kr era # min ∷ WitVKey kr era → WitVKey kr era → WitVKey kr era #
Era era ⇒ Show (WitVKey kr era) Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods showsPrec ∷ Int → WitVKey kr era → ShowS # show ∷ WitVKey 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) ∷ Type → Type # Methods from ∷ WitVKey kr era → Rep (WitVKey kr era) x # to ∷ Rep (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 toCBOR ∷ WitVKey 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) showTypeOf ∷ Proxy (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 hashAnnotated ∷ WitVKey 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 type HashIndex (WitVKey kr era) = EraIndependentWitVKey

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

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

Methods

validateScript ∷ Script era → Tx era → Bool Source #

hashScript ∷ Script 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 Methods validateScript ∷ Script (ShelleyEra c) → Tx (ShelleyEra c) → Bool Source # hashScript ∷ Script (ShelleyEra c) → ScriptHash (ShelleyEra c) Source #

txwitsScript ∷ TxBodyConstraints 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 #

getKeyCombinations ∷ Era era ⇒ MultiSig era → [[KeyHash 'Witness (Crypto era)]] Source #

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

getKeyCombination ∷ Era 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 #

evalNativeMultiSigScript ∷ Era 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.

hashMultiSigScript ∷ Era era ⇒ MultiSig era → ScriptHash era Source #

Hashes native multi-signature script.

validateNativeMultiSigScript ∷ TxBodyConstraints era ⇒ MultiSig era → Tx era → Bool Source #

Script validator for native multi-signature scheme.