Safe Haskell	None
Language	Haskell98

Shelley.Spec.Ledger.Scripts

Synopsis

data MultiSig era where
- pattern RequireAllOf ∷ Era era ⇒ [MultiSig era] → MultiSig era
- pattern RequireAnyOf ∷ Era era ⇒ [MultiSig era] → MultiSig era
- pattern RequireSignature ∷ Era era ⇒ KeyHash 'Witness (Crypto era) → MultiSig era
- pattern RequireMOf ∷ Era era ⇒ Int → [MultiSig era] → MultiSig era
getMultiSigBytes ∷ MultiSig era → ShortByteString
newtype ScriptHash era = ScriptHash (Hash (ADDRHASH (Crypto era)) (Script era))
getKeyCombination ∷ Era era ⇒ MultiSig era → [KeyHash 'Witness (Crypto era)]
getKeyCombinations ∷ Era era ⇒ MultiSig era → [[KeyHash 'Witness (Crypto era)]]
hashMultiSigScript ∷ Era era ⇒ MultiSig era → ScriptHash era

Documentation

data MultiSig era where Source #

Bundled Patterns

pattern RequireAllOf ∷ Era era ⇒ [MultiSig era] → MultiSig era
pattern RequireAnyOf ∷ Era era ⇒ [MultiSig era] → MultiSig era
pattern RequireSignature ∷ Era era ⇒ KeyHash 'Witness (Crypto era) → MultiSig era
pattern RequireMOf ∷ Era era ⇒ Int → [MultiSig era] → MultiSig era

Instances

Instances details

Eq (MultiSig era) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts Methods (==) ∷ MultiSig era → MultiSig era → Bool # (/=) ∷ MultiSig era → MultiSig era → Bool #
Ord (MultiSig era) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts Methods compare ∷ MultiSig era → MultiSig era → Ordering # (<) ∷ MultiSig era → MultiSig era → Bool # (<=) ∷ MultiSig era → MultiSig era → Bool # (>) ∷ MultiSig era → MultiSig era → Bool # (>=) ∷ MultiSig era → MultiSig era → Bool # max ∷ MultiSig era → MultiSig era → MultiSig era # min ∷ MultiSig era → MultiSig era → MultiSig era #
Show (MultiSig era) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts Methods showsPrec ∷ Int → MultiSig era → ShowS # show ∷ MultiSig era → String # showList ∷ [MultiSig era] → ShowS #
Generic (MultiSig era) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts Associated Types type Rep (MultiSig era) ∷ Type → Type # Methods from ∷ MultiSig era → Rep (MultiSig era) x # to ∷ Rep (MultiSig era) x → MultiSig era #
Typeable era ⇒ ToCBOR (MultiSig era) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts Methods toCBOR ∷ MultiSig era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (MultiSig era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [MultiSig era] → Size Source #
Era era ⇒ FromCBOR (Annotator (MultiSig era)) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts Methods fromCBOR ∷ Decoder s (Annotator (MultiSig era)) Source # label ∷ Proxy (Annotator (MultiSig era)) → Text Source #
Typeable era ⇒ NoThunks (MultiSig era) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts Methods noThunks ∷ Context → MultiSig era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → MultiSig era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (MultiSig era) → String
type Rep (MultiSig era) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts type Rep (MultiSig era)

getMultiSigBytes ∷ MultiSig era → ShortByteString Source #

newtype ScriptHash era Source #

Constructors

ScriptHash (Hash (ADDRHASH (Crypto era)) (Script era))

Instances

Instances details

Eq (ScriptHash era) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts Methods (==) ∷ ScriptHash era → ScriptHash era → Bool # (/=) ∷ ScriptHash era → ScriptHash era → Bool #
Ord (ScriptHash era) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts Methods compare ∷ ScriptHash era → ScriptHash era → Ordering # (<) ∷ ScriptHash era → ScriptHash era → Bool # (<=) ∷ ScriptHash era → ScriptHash era → Bool # (>) ∷ ScriptHash era → ScriptHash era → Bool # (>=) ∷ ScriptHash era → ScriptHash era → Bool # max ∷ ScriptHash era → ScriptHash era → ScriptHash era # min ∷ ScriptHash era → ScriptHash era → ScriptHash era #
Show (ScriptHash era) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts Methods showsPrec ∷ Int → ScriptHash era → ShowS # show ∷ ScriptHash era → String # showList ∷ [ScriptHash era] → ShowS #
Generic (ScriptHash era) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts Associated Types type Rep (ScriptHash era) ∷ Type → Type # Methods from ∷ ScriptHash era → Rep (ScriptHash era) x # to ∷ Rep (ScriptHash era) x → ScriptHash era #
NFData (ScriptHash era) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts Methods rnf ∷ ScriptHash era → () #
(Era era, Typeable (Script era)) ⇒ ToCBOR (ScriptHash era) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts Methods toCBOR ∷ ScriptHash era → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (ScriptHash era) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ScriptHash era] → Size Source #
(Era era, Typeable (Script era)) ⇒ FromCBOR (ScriptHash era) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts Methods fromCBOR ∷ Decoder s (ScriptHash era) Source # label ∷ Proxy (ScriptHash era) → Text Source #
NoThunks (ScriptHash era) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts Methods noThunks ∷ Context → ScriptHash era → IO (Maybe ThunkInfo) wNoThunks ∷ Context → ScriptHash era → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (ScriptHash era) → String
Era era ⇒ FromJSON (ScriptHash era) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts Methods parseJSON ∷ Value → Parser (ScriptHash era) parseJSONList ∷ Value → Parser [ScriptHash era]
Era era ⇒ ToJSON (ScriptHash era) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts Methods toJSON ∷ ScriptHash era → Value toEncoding ∷ ScriptHash era → Encoding toJSONList ∷ [ScriptHash era] → Value toEncodingList ∷ [ScriptHash era] → Encoding
type Rep (ScriptHash era) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts type Rep (ScriptHash era) = D1 ('MetaData "ScriptHash" "Shelley.Spec.Ledger.Scripts" "shelley-spec-ledger-0.1.0.0-inplace" 'True) (C1 ('MetaCons "ScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash (ADDRHASH (Crypto era)) (Script era)))))

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

Get one possible combination of keys for multi signature script

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.

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

Hashes native multi-signature script.