Safe Haskell	None
Language	Haskell98

Shelley.Spec.Ledger.Scripts

Synopsis

data MultiSig crypto where
- 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
getMultiSigBytes :: MultiSig crypto -> ShortByteString
newtype ScriptHash crypto = ScriptHash (Hash (ADDRHASH crypto) EraIndependentScript)
hashMultiSigScript :: Crypto crypto => MultiSig crypto -> ScriptHash crypto
nativeMultiSigTag :: ByteString

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 Methods fromCBOR :: Decoder s (Annotator (MultiSig crypto)) Source # label :: Proxy (Annotator (MultiSig crypto)) -> Text Source #
Typeable crypto => NoThunks (MultiSig crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts Methods noThunks :: Context -> MultiSig crypto -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> MultiSig crypto -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (MultiSig crypto) -> String Source #
type Rep (MultiSig crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts type Rep (MultiSig crypto)

getMultiSigBytes :: MultiSig crypto -> ShortByteString Source #

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 Methods toJSON :: ScriptHash crypto -> Value Source # toEncoding :: ScriptHash crypto -> Encoding Source # toJSONList :: [ScriptHash crypto] -> Value Source # toEncodingList :: [ScriptHash crypto] -> Encoding Source #
Crypto crypto => FromJSON (ScriptHash crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.Scripts Methods parseJSON :: Value -> Parser (ScriptHash crypto) Source # parseJSONList :: Value -> Parser [ScriptHash crypto] Source #
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 Methods noThunks :: Context -> ScriptHash crypto -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> ScriptHash crypto -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (ScriptHash crypto) -> String Source #
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.