Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Shelley.Scripts

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 Cardano.Ledger.Shelley.Scripts Methods (==) :: MultiSig crypto -> MultiSig crypto -> Bool Source # (/=) :: MultiSig crypto -> MultiSig crypto -> Bool Source #
Ord ( MultiSig crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.Scripts Methods compare :: MultiSig crypto -> MultiSig crypto -> Ordering Source # (<) :: MultiSig crypto -> MultiSig crypto -> Bool Source # (<=) :: MultiSig crypto -> MultiSig crypto -> Bool Source # (>) :: MultiSig crypto -> MultiSig crypto -> Bool Source # (>=) :: MultiSig crypto -> MultiSig crypto -> Bool Source # max :: MultiSig crypto -> MultiSig crypto -> MultiSig crypto Source # min :: MultiSig crypto -> MultiSig crypto -> MultiSig crypto Source #
Show ( MultiSig crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.Scripts Methods showsPrec :: Int -> MultiSig crypto -> ShowS Source # show :: MultiSig crypto -> String Source # showList :: [ MultiSig crypto] -> ShowS Source #
Generic ( MultiSig crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.Scripts Associated Types type Rep ( MultiSig crypto) :: Type -> Type Source # Methods from :: MultiSig crypto -> Rep ( MultiSig crypto) x Source # to :: Rep ( MultiSig crypto) x -> MultiSig crypto Source #
NFData ( MultiSig era) Source #
Instance details Defined in Cardano.Ledger.Shelley.Scripts Methods rnf :: MultiSig era -> () Source #
Typeable crypto => ToCBOR ( MultiSig crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.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 Cardano.Ledger.Shelley.Scripts Methods fromCBOR :: Decoder s ( Annotator ( MultiSig crypto)) Source # label :: Proxy ( Annotator ( MultiSig crypto)) -> Text Source #
SafeToHash ( MultiSig crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.Scripts Methods originalBytes :: MultiSig crypto -> ByteString Source # makeHashWithExplicitProxys :: HasAlgorithm c => Proxy c -> Proxy index -> MultiSig crypto -> SafeHash c index Source #
Typeable crypto => NoThunks ( MultiSig crypto) Source #
Instance details Defined in Cardano.Ledger.Shelley.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 Cardano.Ledger.Shelley.Scripts type Rep ( MultiSig crypto)

getMultiSigBytes :: MultiSig crypto -> ShortByteString Source #

newtype ScriptHash crypto Source #

Constructors

ScriptHash ( Hash ( ADDRHASH crypto) EraIndependentScript )

Instances

Instances details

c ~ Crypto era => HasField "minted" ( TxBody era) ( Set ( ScriptHash c)) Source #
Instance details Defined in Cardano.Ledger.Shelley.TxBody Methods getField :: TxBody era -> Set ( ScriptHash c) Source #
(c ~ Crypto era, script ~ Script era, Witnesses era ~ WitnessSet era) => HasField "scriptWits" ( WitnessSet era) ( Map ( ScriptHash c) script) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: WitnessSet era -> Map ( ScriptHash c) script Source #
(c ~ Crypto era, script ~ Script era, Witnesses era ~ WitnessSet era) => HasField "scriptWits" ( Tx era) ( Map ( ScriptHash c) script) Source #
Instance details Defined in Cardano.Ledger.Shelley.Tx Methods getField :: Tx era -> Map ( ScriptHash c) script Source #
Eq ( ScriptHash crypto)
Instance details Defined in Cardano.Ledger.Hashes Methods (==) :: ScriptHash crypto -> ScriptHash crypto -> Bool Source # (/=) :: ScriptHash crypto -> ScriptHash crypto -> Bool Source #
Ord ( ScriptHash crypto)
Instance details Defined in Cardano.Ledger.Hashes Methods compare :: ScriptHash crypto -> ScriptHash crypto -> Ordering Source # (<) :: ScriptHash crypto -> ScriptHash crypto -> Bool Source # (<=) :: ScriptHash crypto -> ScriptHash crypto -> Bool Source # (>) :: ScriptHash crypto -> ScriptHash crypto -> Bool Source # (>=) :: ScriptHash crypto -> ScriptHash crypto -> Bool Source # max :: ScriptHash crypto -> ScriptHash crypto -> ScriptHash crypto Source # min :: ScriptHash crypto -> ScriptHash crypto -> ScriptHash crypto Source #
Show ( ScriptHash crypto)
Instance details Defined in Cardano.Ledger.Hashes Methods showsPrec :: Int -> ScriptHash crypto -> ShowS Source # show :: ScriptHash crypto -> String Source # showList :: [ ScriptHash crypto] -> ShowS Source #
Generic ( ScriptHash crypto)
Instance details Defined in Cardano.Ledger.Hashes Associated Types type Rep ( ScriptHash crypto) :: Type -> Type Source # Methods from :: ScriptHash crypto -> Rep ( ScriptHash crypto) x Source # to :: Rep ( ScriptHash crypto) x -> ScriptHash crypto Source #
NFData ( ScriptHash crypto)
Instance details Defined in Cardano.Ledger.Hashes Methods rnf :: ScriptHash crypto -> () Source #
Crypto crypto => ToJSON ( ScriptHash crypto)
Instance details Defined in Cardano.Ledger.Hashes 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)
Instance details Defined in Cardano.Ledger.Hashes Methods parseJSON :: Value -> Parser ( ScriptHash crypto) Source # parseJSONList :: Value -> Parser [ ScriptHash crypto] Source #
Crypto crypto => ToCBOR ( ScriptHash crypto)
Instance details Defined in Cardano.Ledger.Hashes 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)
Instance details Defined in Cardano.Ledger.Hashes Methods fromCBOR :: Decoder s ( ScriptHash crypto) Source # label :: Proxy ( ScriptHash crypto) -> Text Source #
NoThunks ( ScriptHash crypto)
Instance details Defined in Cardano.Ledger.Hashes 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)
Instance details Defined in Cardano.Ledger.Hashes type Rep ( ScriptHash crypto) = D1 (' MetaData "ScriptHash" "Cardano.Ledger.Hashes" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' True ) ( C1 (' MetaCons "ScriptHash" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Hash ( ADDRHASH crypto) EraIndependentScript ))))