shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Shelley.Spec.Ledger.Scripts

Synopsis

Documentation

data MultiSig era where Source #

Bundled Patterns

pattern RequireAllOfEra era ⇒ [MultiSig era] → MultiSig era 
pattern RequireAnyOfEra era ⇒ [MultiSig era] → MultiSig era 
pattern RequireSignatureEra era ⇒ KeyHash 'Witness (Crypto era) → MultiSig era 
pattern RequireMOfEra 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

compareMultiSig era → MultiSig era → Ordering #

(<)MultiSig era → MultiSig era → Bool #

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

(>)MultiSig era → MultiSig era → Bool #

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

maxMultiSig era → MultiSig era → MultiSig era #

minMultiSig era → MultiSig era → MultiSig era #

Show (MultiSig era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

showsPrecIntMultiSig era → ShowS #

showMultiSig era → String #

showList ∷ [MultiSig era] → ShowS #

Generic (MultiSig era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Associated Types

type Rep (MultiSig era) ∷ TypeType #

Methods

fromMultiSig era → Rep (MultiSig era) x #

toRep (MultiSig era) x → MultiSig era #

Typeable era ⇒ ToCBOR (MultiSig era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

toCBORMultiSig 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

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)

showTypeOfProxy (MultiSig era) → String

type Rep (MultiSig era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

type Rep (MultiSig era)

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

compareScriptHash era → ScriptHash era → Ordering #

(<)ScriptHash era → ScriptHash era → Bool #

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

(>)ScriptHash era → ScriptHash era → Bool #

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

maxScriptHash era → ScriptHash era → ScriptHash era #

minScriptHash era → ScriptHash era → ScriptHash era #

Show (ScriptHash era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

showsPrecIntScriptHash era → ShowS #

showScriptHash era → String #

showList ∷ [ScriptHash era] → ShowS #

Generic (ScriptHash era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Associated Types

type Rep (ScriptHash era) ∷ TypeType #

Methods

fromScriptHash era → Rep (ScriptHash era) x #

toRep (ScriptHash era) x → ScriptHash era #

NFData (ScriptHash era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

rnfScriptHash era → () #

(Era era, Typeable (Script era)) ⇒ ToCBOR (ScriptHash era) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

toCBORScriptHash 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

fromCBORDecoder s (ScriptHash era) Source #

labelProxy (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)

showTypeOfProxy (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

toJSONScriptHash era → Value

toEncodingScriptHash 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 ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash (ADDRHASH (Crypto era)) (Script era)))))

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

Get one possible combination of keys for multi signature script

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.

hashMultiSigScriptEra era ⇒ MultiSig era → ScriptHash era Source #

Hashes native multi-signature script.