shelley-spec-ledger-0.1.0.0
Safe HaskellNone
LanguageHaskell98

Shelley.Spec.Ledger.Scripts

Synopsis

Documentation

data MultiSig crypto where Source #

Bundled Patterns

pattern RequireAllOf :: Crypto crypto => [MultiSig crypto] -> MultiSig crypto 
pattern RequireAnyOf :: Crypto crypto => [MultiSig crypto] -> MultiSig crypto 
pattern RequireSignature :: Crypto crypto => KeyHash 'Witness crypto -> MultiSig crypto 
pattern RequireMOf :: Crypto crypto => Int -> [MultiSig crypto] -> MultiSig crypto 

Instances

Instances details
Eq (MultiSig crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

(==) :: MultiSig crypto -> MultiSig crypto -> Bool #

(/=) :: MultiSig crypto -> MultiSig crypto -> Bool #

Ord (MultiSig crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

compare :: MultiSig crypto -> MultiSig crypto -> Ordering #

(<) :: MultiSig crypto -> MultiSig crypto -> Bool #

(<=) :: MultiSig crypto -> MultiSig crypto -> Bool #

(>) :: MultiSig crypto -> MultiSig crypto -> Bool #

(>=) :: MultiSig crypto -> MultiSig crypto -> Bool #

max :: MultiSig crypto -> MultiSig crypto -> MultiSig crypto #

min :: MultiSig crypto -> MultiSig crypto -> MultiSig crypto #

Show (MultiSig crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

showsPrec :: Int -> MultiSig crypto -> ShowS #

show :: MultiSig crypto -> String #

showList :: [MultiSig crypto] -> ShowS #

Generic (MultiSig crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Associated Types

type Rep (MultiSig crypto) :: Type -> Type #

Methods

from :: MultiSig crypto -> Rep (MultiSig crypto) x #

to :: Rep (MultiSig crypto) x -> MultiSig crypto #

Typeable crypto => ToCBOR (MultiSig crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

toCBOR :: MultiSig crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (MultiSig crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [MultiSig crypto] -> Size Source #

Crypto crypto => FromCBOR (Annotator (MultiSig crypto)) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Typeable crypto => NoThunks (MultiSig crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

type Rep (MultiSig crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

type Rep (MultiSig crypto)

newtype ScriptHash crypto Source #

Constructors

ScriptHash (Hash (ADDRHASH crypto) EraIndependentScript) 

Instances

Instances details
Eq (ScriptHash crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

(==) :: ScriptHash crypto -> ScriptHash crypto -> Bool #

(/=) :: ScriptHash crypto -> ScriptHash crypto -> Bool #

Ord (ScriptHash crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

compare :: ScriptHash crypto -> ScriptHash crypto -> Ordering #

(<) :: ScriptHash crypto -> ScriptHash crypto -> Bool #

(<=) :: ScriptHash crypto -> ScriptHash crypto -> Bool #

(>) :: ScriptHash crypto -> ScriptHash crypto -> Bool #

(>=) :: ScriptHash crypto -> ScriptHash crypto -> Bool #

max :: ScriptHash crypto -> ScriptHash crypto -> ScriptHash crypto #

min :: ScriptHash crypto -> ScriptHash crypto -> ScriptHash crypto #

Show (ScriptHash crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

showsPrec :: Int -> ScriptHash crypto -> ShowS #

show :: ScriptHash crypto -> String #

showList :: [ScriptHash crypto] -> ShowS #

Generic (ScriptHash crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Associated Types

type Rep (ScriptHash crypto) :: Type -> Type #

Methods

from :: ScriptHash crypto -> Rep (ScriptHash crypto) x #

to :: Rep (ScriptHash crypto) x -> ScriptHash crypto #

NFData (ScriptHash crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

rnf :: ScriptHash crypto -> () #

ToJSON (ScriptHash crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Crypto crypto => FromJSON (ScriptHash crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Crypto crypto => ToCBOR (ScriptHash crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

toCBOR :: ScriptHash crypto -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ScriptHash crypto) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ScriptHash crypto] -> Size Source #

Crypto crypto => FromCBOR (ScriptHash crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

Methods

fromCBOR :: Decoder s (ScriptHash crypto) Source #

label :: Proxy (ScriptHash crypto) -> Text Source #

NoThunks (ScriptHash crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

type Rep (ScriptHash crypto) Source # 
Instance details

Defined in Shelley.Spec.Ledger.Scripts

type Rep (ScriptHash crypto) = D1 ('MetaData "ScriptHash" "Shelley.Spec.Ledger.Scripts" "shelley-spec-ledger-0.1.0.0-Is3EknyvW92LxCl96jGQVW" 'True) (C1 ('MetaCons "ScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Hash (ADDRHASH crypto) EraIndependentScript))))

hashMultiSigScript :: Crypto crypto => MultiSig crypto -> ScriptHash crypto Source #

Hashes native multi-signature script.

nativeMultiSigTag :: ByteString Source #

Magic number representing the tag of the native multi-signature script language. For each script language included, a new tag is chosen and the tag is included in the script hash for a script.