Safe Haskell	None
Language	Haskell2010

Plutus.Script.Utils.V2.Scripts

Contents

Script data hashes
Script hashes
Script utilities

Synopsis

data Datum
data DatumHash
data Redeemer
data RedeemerHash
datumHash :: Datum -> DatumHash
redeemerHash :: Redeemer -> RedeemerHash
dataHash :: BuiltinData -> BuiltinByteString
data Validator
data ValidatorHash
data MintingPolicy
data MintingPolicyHash
data StakeValidator
data StakeValidatorHash
validatorHash :: Validator -> ValidatorHash
mintingPolicyHash :: MintingPolicy -> MintingPolicyHash
stakeValidatorHash :: StakeValidator -> StakeValidatorHash
scriptHash :: Script -> ScriptHash
scriptCurrencySymbol :: MintingPolicy -> CurrencySymbol
toCardanoApiScript :: Script -> Script PlutusScriptV2

Script data hashes

data Datum Source #

Datum is a wrapper around Data values which are used as data in transaction outputs.

Instances

Instances details

Eq Datum
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: Datum -> Datum -> Bool Source # (/=) :: Datum -> Datum -> Bool Source #
Ord Datum
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: Datum -> Datum -> Ordering Source # (<) :: Datum -> Datum -> Bool Source # (<=) :: Datum -> Datum -> Bool Source # (>) :: Datum -> Datum -> Bool Source # (>=) :: Datum -> Datum -> Bool Source # max :: Datum -> Datum -> Datum Source # min :: Datum -> Datum -> Datum Source #
Show Datum
Instance details Defined in Plutus.V1.Ledger.Scripts Methods showsPrec :: Int -> Datum -> ShowS Source # show :: Datum -> String Source # showList :: [Datum] -> ShowS Source #
Generic Datum
Instance details Defined in Plutus.V1.Ledger.Scripts Associated Types type Rep Datum :: Type -> Type Source # Methods from :: Datum -> Rep Datum x Source # to :: Rep Datum x -> Datum Source #
NFData Datum
Instance details Defined in Plutus.V1.Ledger.Scripts Methods rnf :: Datum -> () Source #
Pretty Datum
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: Datum -> Doc ann Source # prettyList :: [Datum] -> Doc ann Source #
UnsafeFromData Datum
Instance details Defined in Plutus.V1.Ledger.Scripts Methods unsafeFromBuiltinData :: BuiltinData -> Datum Source #
FromData Datum
Instance details Defined in Plutus.V1.Ledger.Scripts Methods fromBuiltinData :: BuiltinData -> Maybe Datum Source #
ToData Datum
Instance details Defined in Plutus.V1.Ledger.Scripts Methods toBuiltinData :: Datum -> BuiltinData Source #
Eq Datum
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: Datum -> Datum -> Bool Source #
Lift DefaultUni Datum
Instance details Defined in Plutus.V1.Ledger.Scripts Methods lift :: Datum -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni Datum
Instance details Defined in Plutus.V1.Ledger.Scripts Methods typeRep :: Proxy Datum -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep Datum
Instance details Defined in Plutus.V1.Ledger.Scripts type Rep Datum = D1 ('MetaData "Datum" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-EUjexvcAhXiGIaLon6olWb" 'True) (C1 ('MetaCons "Datum" 'PrefixI 'True) (S1 ('MetaSel ('Just "getDatum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

data DatumHash Source #

Script runtime representation of a Digest SHA256.

Instances

Instances details

Eq DatumHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: DatumHash -> DatumHash -> Bool Source # (/=) :: DatumHash -> DatumHash -> Bool Source #
Ord DatumHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: DatumHash -> DatumHash -> Ordering Source # (<) :: DatumHash -> DatumHash -> Bool Source # (<=) :: DatumHash -> DatumHash -> Bool Source # (>) :: DatumHash -> DatumHash -> Bool Source # (>=) :: DatumHash -> DatumHash -> Bool Source # max :: DatumHash -> DatumHash -> DatumHash Source # min :: DatumHash -> DatumHash -> DatumHash Source #
Show DatumHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods showsPrec :: Int -> DatumHash -> ShowS Source # show :: DatumHash -> String Source # showList :: [DatumHash] -> ShowS Source #
IsString DatumHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods fromString :: String -> DatumHash Source #
Generic DatumHash
Instance details Defined in Plutus.V1.Ledger.Scripts Associated Types type Rep DatumHash :: Type -> Type Source # Methods from :: DatumHash -> Rep DatumHash x Source # to :: Rep DatumHash x -> DatumHash Source #
NFData DatumHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods rnf :: DatumHash -> () Source #
Pretty DatumHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: DatumHash -> Doc ann Source # prettyList :: [DatumHash] -> Doc ann Source #
UnsafeFromData DatumHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods unsafeFromBuiltinData :: BuiltinData -> DatumHash Source #
FromData DatumHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods fromBuiltinData :: BuiltinData -> Maybe DatumHash Source #
ToData DatumHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods toBuiltinData :: DatumHash -> BuiltinData Source #
Ord DatumHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: DatumHash -> DatumHash -> Ordering Source # (<) :: DatumHash -> DatumHash -> Bool Source # (<=) :: DatumHash -> DatumHash -> Bool Source # (>) :: DatumHash -> DatumHash -> Bool Source # (>=) :: DatumHash -> DatumHash -> Bool Source # max :: DatumHash -> DatumHash -> DatumHash Source # min :: DatumHash -> DatumHash -> DatumHash Source #
Eq DatumHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: DatumHash -> DatumHash -> Bool Source #
Lift DefaultUni DatumHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods lift :: DatumHash -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni DatumHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods typeRep :: Proxy DatumHash -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep DatumHash
Instance details Defined in Plutus.V1.Ledger.Scripts type Rep DatumHash = D1 ('MetaData "DatumHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-EUjexvcAhXiGIaLon6olWb" 'True) (C1 ('MetaCons "DatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

data Redeemer Source #

Redeemer is a wrapper around Data values that are used as redeemers in transaction inputs.

Instances

Instances details

Eq Redeemer
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: Redeemer -> Redeemer -> Bool Source # (/=) :: Redeemer -> Redeemer -> Bool Source #
Ord Redeemer
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: Redeemer -> Redeemer -> Ordering Source # (<) :: Redeemer -> Redeemer -> Bool Source # (<=) :: Redeemer -> Redeemer -> Bool Source # (>) :: Redeemer -> Redeemer -> Bool Source # (>=) :: Redeemer -> Redeemer -> Bool Source # max :: Redeemer -> Redeemer -> Redeemer Source # min :: Redeemer -> Redeemer -> Redeemer Source #
Show Redeemer
Instance details Defined in Plutus.V1.Ledger.Scripts Methods showsPrec :: Int -> Redeemer -> ShowS Source # show :: Redeemer -> String Source # showList :: [Redeemer] -> ShowS Source #
Generic Redeemer
Instance details Defined in Plutus.V1.Ledger.Scripts Associated Types type Rep Redeemer :: Type -> Type Source # Methods from :: Redeemer -> Rep Redeemer x Source # to :: Rep Redeemer x -> Redeemer Source #
NFData Redeemer
Instance details Defined in Plutus.V1.Ledger.Scripts Methods rnf :: Redeemer -> () Source #
Pretty Redeemer
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: Redeemer -> Doc ann Source # prettyList :: [Redeemer] -> Doc ann Source #
UnsafeFromData Redeemer
Instance details Defined in Plutus.V1.Ledger.Scripts Methods unsafeFromBuiltinData :: BuiltinData -> Redeemer Source #
FromData Redeemer
Instance details Defined in Plutus.V1.Ledger.Scripts Methods fromBuiltinData :: BuiltinData -> Maybe Redeemer Source #
ToData Redeemer
Instance details Defined in Plutus.V1.Ledger.Scripts Methods toBuiltinData :: Redeemer -> BuiltinData Source #
Eq Redeemer
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: Redeemer -> Redeemer -> Bool Source #
Lift DefaultUni Redeemer
Instance details Defined in Plutus.V1.Ledger.Scripts Methods lift :: Redeemer -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni Redeemer
Instance details Defined in Plutus.V1.Ledger.Scripts Methods typeRep :: Proxy Redeemer -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep Redeemer
Instance details Defined in Plutus.V1.Ledger.Scripts type Rep Redeemer = D1 ('MetaData "Redeemer" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-EUjexvcAhXiGIaLon6olWb" 'True) (C1 ('MetaCons "Redeemer" 'PrefixI 'True) (S1 ('MetaSel ('Just "getRedeemer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

data RedeemerHash Source #

Script runtime representation of a Digest SHA256.

Instances

Instances details

Eq RedeemerHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: RedeemerHash -> RedeemerHash -> Bool Source # (/=) :: RedeemerHash -> RedeemerHash -> Bool Source #
Ord RedeemerHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: RedeemerHash -> RedeemerHash -> Ordering Source # (<) :: RedeemerHash -> RedeemerHash -> Bool Source # (<=) :: RedeemerHash -> RedeemerHash -> Bool Source # (>) :: RedeemerHash -> RedeemerHash -> Bool Source # (>=) :: RedeemerHash -> RedeemerHash -> Bool Source # max :: RedeemerHash -> RedeemerHash -> RedeemerHash Source # min :: RedeemerHash -> RedeemerHash -> RedeemerHash Source #
Show RedeemerHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods showsPrec :: Int -> RedeemerHash -> ShowS Source # show :: RedeemerHash -> String Source # showList :: [RedeemerHash] -> ShowS Source #
IsString RedeemerHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods fromString :: String -> RedeemerHash Source #
Generic RedeemerHash
Instance details Defined in Plutus.V1.Ledger.Scripts Associated Types type Rep RedeemerHash :: Type -> Type Source # Methods from :: RedeemerHash -> Rep RedeemerHash x Source # to :: Rep RedeemerHash x -> RedeemerHash Source #
NFData RedeemerHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods rnf :: RedeemerHash -> () Source #
Pretty RedeemerHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: RedeemerHash -> Doc ann Source # prettyList :: [RedeemerHash] -> Doc ann Source #
UnsafeFromData RedeemerHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods unsafeFromBuiltinData :: BuiltinData -> RedeemerHash Source #
FromData RedeemerHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods fromBuiltinData :: BuiltinData -> Maybe RedeemerHash Source #
ToData RedeemerHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods toBuiltinData :: RedeemerHash -> BuiltinData Source #
Ord RedeemerHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: RedeemerHash -> RedeemerHash -> Ordering Source # (<) :: RedeemerHash -> RedeemerHash -> Bool Source # (<=) :: RedeemerHash -> RedeemerHash -> Bool Source # (>) :: RedeemerHash -> RedeemerHash -> Bool Source # (>=) :: RedeemerHash -> RedeemerHash -> Bool Source # max :: RedeemerHash -> RedeemerHash -> RedeemerHash Source # min :: RedeemerHash -> RedeemerHash -> RedeemerHash Source #
Eq RedeemerHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: RedeemerHash -> RedeemerHash -> Bool Source #
Lift DefaultUni RedeemerHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods lift :: RedeemerHash -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni RedeemerHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods typeRep :: Proxy RedeemerHash -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep RedeemerHash
Instance details Defined in Plutus.V1.Ledger.Scripts type Rep RedeemerHash = D1 ('MetaData "RedeemerHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-EUjexvcAhXiGIaLon6olWb" 'True) (C1 ('MetaCons "RedeemerHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

datumHash :: Datum -> DatumHash Source #

Hash a 'PV1.Datum builtin data.

redeemerHash :: Redeemer -> RedeemerHash Source #

Hash a Redeemer builtin data.

dataHash :: BuiltinData -> BuiltinByteString Source #

Hash a BuiltinData

Script hashes

data Validator Source #

Validator is a wrapper around Scripts which are used as validators in transaction outputs.

Instances

Instances details

Eq Validator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: Validator -> Validator -> Bool Source # (/=) :: Validator -> Validator -> Bool Source #
Ord Validator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: Validator -> Validator -> Ordering Source # (<) :: Validator -> Validator -> Bool Source # (<=) :: Validator -> Validator -> Bool Source # (>) :: Validator -> Validator -> Bool Source # (>=) :: Validator -> Validator -> Bool Source # max :: Validator -> Validator -> Validator Source # min :: Validator -> Validator -> Validator Source #
Show Validator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods showsPrec :: Int -> Validator -> ShowS Source # show :: Validator -> String Source # showList :: [Validator] -> ShowS Source #
Generic Validator
Instance details Defined in Plutus.V1.Ledger.Scripts Associated Types type Rep Validator :: Type -> Type Source # Methods from :: Validator -> Rep Validator x Source # to :: Rep Validator x -> Validator Source #
NFData Validator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods rnf :: Validator -> () Source #
Pretty Validator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: Validator -> Doc ann Source # prettyList :: [Validator] -> Doc ann Source #
Serialise Validator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods encode :: Validator -> Encoding Source # decode :: Decoder s Validator Source # encodeList :: [Validator] -> Encoding Source # decodeList :: Decoder s [Validator] Source #
type Rep Validator
Instance details Defined in Plutus.V1.Ledger.Scripts type Rep Validator = D1 ('MetaData "Validator" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-EUjexvcAhXiGIaLon6olWb" 'True) (C1 ('MetaCons "Validator" 'PrefixI 'True) (S1 ('MetaSel ('Just "getValidator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Script)))

data ValidatorHash Source #

Script runtime representation of a Digest SHA256.

Instances

Instances details

Eq ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: ValidatorHash -> ValidatorHash -> Bool Source # (/=) :: ValidatorHash -> ValidatorHash -> Bool Source #
Ord ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: ValidatorHash -> ValidatorHash -> Ordering Source # (<) :: ValidatorHash -> ValidatorHash -> Bool Source # (<=) :: ValidatorHash -> ValidatorHash -> Bool Source # (>) :: ValidatorHash -> ValidatorHash -> Bool Source # (>=) :: ValidatorHash -> ValidatorHash -> Bool Source # max :: ValidatorHash -> ValidatorHash -> ValidatorHash Source # min :: ValidatorHash -> ValidatorHash -> ValidatorHash Source #
Show ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods showsPrec :: Int -> ValidatorHash -> ShowS Source # show :: ValidatorHash -> String Source # showList :: [ValidatorHash] -> ShowS Source #
IsString ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods fromString :: String -> ValidatorHash Source #
Generic ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Associated Types type Rep ValidatorHash :: Type -> Type Source # Methods from :: ValidatorHash -> Rep ValidatorHash x Source # to :: Rep ValidatorHash x -> ValidatorHash Source #
NFData ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods rnf :: ValidatorHash -> () Source #
Pretty ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: ValidatorHash -> Doc ann Source # prettyList :: [ValidatorHash] -> Doc ann Source #
UnsafeFromData ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods unsafeFromBuiltinData :: BuiltinData -> ValidatorHash Source #
FromData ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods fromBuiltinData :: BuiltinData -> Maybe ValidatorHash Source #
ToData ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods toBuiltinData :: ValidatorHash -> BuiltinData Source #
Ord ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: ValidatorHash -> ValidatorHash -> Ordering Source # (<) :: ValidatorHash -> ValidatorHash -> Bool Source # (<=) :: ValidatorHash -> ValidatorHash -> Bool Source # (>) :: ValidatorHash -> ValidatorHash -> Bool Source # (>=) :: ValidatorHash -> ValidatorHash -> Bool Source # max :: ValidatorHash -> ValidatorHash -> ValidatorHash Source # min :: ValidatorHash -> ValidatorHash -> ValidatorHash Source #
Eq ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: ValidatorHash -> ValidatorHash -> Bool Source #
Lift DefaultUni ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods lift :: ValidatorHash -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods typeRep :: Proxy ValidatorHash -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts type Rep ValidatorHash = D1 ('MetaData "ValidatorHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-EUjexvcAhXiGIaLon6olWb" 'True) (C1 ('MetaCons "ValidatorHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

data MintingPolicy Source #

MintingPolicy is a wrapper around Scripts which are used as validators for minting constraints.

Instances

Instances details

Eq MintingPolicy
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: MintingPolicy -> MintingPolicy -> Bool Source # (/=) :: MintingPolicy -> MintingPolicy -> Bool Source #
Ord MintingPolicy
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: MintingPolicy -> MintingPolicy -> Ordering Source # (<) :: MintingPolicy -> MintingPolicy -> Bool Source # (<=) :: MintingPolicy -> MintingPolicy -> Bool Source # (>) :: MintingPolicy -> MintingPolicy -> Bool Source # (>=) :: MintingPolicy -> MintingPolicy -> Bool Source # max :: MintingPolicy -> MintingPolicy -> MintingPolicy Source # min :: MintingPolicy -> MintingPolicy -> MintingPolicy Source #
Show MintingPolicy
Instance details Defined in Plutus.V1.Ledger.Scripts Methods showsPrec :: Int -> MintingPolicy -> ShowS Source # show :: MintingPolicy -> String Source # showList :: [MintingPolicy] -> ShowS Source #
Generic MintingPolicy
Instance details Defined in Plutus.V1.Ledger.Scripts Associated Types type Rep MintingPolicy :: Type -> Type Source # Methods from :: MintingPolicy -> Rep MintingPolicy x Source # to :: Rep MintingPolicy x -> MintingPolicy Source #
NFData MintingPolicy
Instance details Defined in Plutus.V1.Ledger.Scripts Methods rnf :: MintingPolicy -> () Source #
Pretty MintingPolicy
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: MintingPolicy -> Doc ann Source # prettyList :: [MintingPolicy] -> Doc ann Source #
Serialise MintingPolicy
Instance details Defined in Plutus.V1.Ledger.Scripts Methods encode :: MintingPolicy -> Encoding Source # decode :: Decoder s MintingPolicy Source # encodeList :: [MintingPolicy] -> Encoding Source # decodeList :: Decoder s [MintingPolicy] Source #
type Rep MintingPolicy
Instance details Defined in Plutus.V1.Ledger.Scripts type Rep MintingPolicy = D1 ('MetaData "MintingPolicy" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-EUjexvcAhXiGIaLon6olWb" 'True) (C1 ('MetaCons "MintingPolicy" 'PrefixI 'True) (S1 ('MetaSel ('Just "getMintingPolicy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Script)))

data MintingPolicyHash Source #

Script runtime representation of a Digest SHA256.

Instances

Instances details

Eq MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: MintingPolicyHash -> MintingPolicyHash -> Bool Source # (/=) :: MintingPolicyHash -> MintingPolicyHash -> Bool Source #
Ord MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: MintingPolicyHash -> MintingPolicyHash -> Ordering Source # (<) :: MintingPolicyHash -> MintingPolicyHash -> Bool Source # (<=) :: MintingPolicyHash -> MintingPolicyHash -> Bool Source # (>) :: MintingPolicyHash -> MintingPolicyHash -> Bool Source # (>=) :: MintingPolicyHash -> MintingPolicyHash -> Bool Source # max :: MintingPolicyHash -> MintingPolicyHash -> MintingPolicyHash Source # min :: MintingPolicyHash -> MintingPolicyHash -> MintingPolicyHash Source #
Show MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods showsPrec :: Int -> MintingPolicyHash -> ShowS Source # show :: MintingPolicyHash -> String Source # showList :: [MintingPolicyHash] -> ShowS Source #
IsString MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods fromString :: String -> MintingPolicyHash Source #
Generic MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Associated Types type Rep MintingPolicyHash :: Type -> Type Source # Methods from :: MintingPolicyHash -> Rep MintingPolicyHash x Source # to :: Rep MintingPolicyHash x -> MintingPolicyHash Source #
NFData MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods rnf :: MintingPolicyHash -> () Source #
Pretty MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: MintingPolicyHash -> Doc ann Source # prettyList :: [MintingPolicyHash] -> Doc ann Source #
UnsafeFromData MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods unsafeFromBuiltinData :: BuiltinData -> MintingPolicyHash Source #
FromData MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods fromBuiltinData :: BuiltinData -> Maybe MintingPolicyHash Source #
ToData MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods toBuiltinData :: MintingPolicyHash -> BuiltinData Source #
Ord MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: MintingPolicyHash -> MintingPolicyHash -> Ordering Source # (<) :: MintingPolicyHash -> MintingPolicyHash -> Bool Source # (<=) :: MintingPolicyHash -> MintingPolicyHash -> Bool Source # (>) :: MintingPolicyHash -> MintingPolicyHash -> Bool Source # (>=) :: MintingPolicyHash -> MintingPolicyHash -> Bool Source # max :: MintingPolicyHash -> MintingPolicyHash -> MintingPolicyHash Source # min :: MintingPolicyHash -> MintingPolicyHash -> MintingPolicyHash Source #
Eq MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: MintingPolicyHash -> MintingPolicyHash -> Bool Source #
Lift DefaultUni MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods lift :: MintingPolicyHash -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods typeRep :: Proxy MintingPolicyHash -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts type Rep MintingPolicyHash = D1 ('MetaData "MintingPolicyHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-EUjexvcAhXiGIaLon6olWb" 'True) (C1 ('MetaCons "MintingPolicyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

data StakeValidator Source #

StakeValidator is a wrapper around Scripts which are used as validators for withdrawals and stake address certificates.

Instances

Instances details

Eq StakeValidator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: StakeValidator -> StakeValidator -> Bool Source # (/=) :: StakeValidator -> StakeValidator -> Bool Source #
Ord StakeValidator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: StakeValidator -> StakeValidator -> Ordering Source # (<) :: StakeValidator -> StakeValidator -> Bool Source # (<=) :: StakeValidator -> StakeValidator -> Bool Source # (>) :: StakeValidator -> StakeValidator -> Bool Source # (>=) :: StakeValidator -> StakeValidator -> Bool Source # max :: StakeValidator -> StakeValidator -> StakeValidator Source # min :: StakeValidator -> StakeValidator -> StakeValidator Source #
Show StakeValidator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods showsPrec :: Int -> StakeValidator -> ShowS Source # show :: StakeValidator -> String Source # showList :: [StakeValidator] -> ShowS Source #
Generic StakeValidator
Instance details Defined in Plutus.V1.Ledger.Scripts Associated Types type Rep StakeValidator :: Type -> Type Source # Methods from :: StakeValidator -> Rep StakeValidator x Source # to :: Rep StakeValidator x -> StakeValidator Source #
NFData StakeValidator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods rnf :: StakeValidator -> () Source #
Pretty StakeValidator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: StakeValidator -> Doc ann Source # prettyList :: [StakeValidator] -> Doc ann Source #
Serialise StakeValidator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods encode :: StakeValidator -> Encoding Source # decode :: Decoder s StakeValidator Source # encodeList :: [StakeValidator] -> Encoding Source # decodeList :: Decoder s [StakeValidator] Source #
type Rep StakeValidator
Instance details Defined in Plutus.V1.Ledger.Scripts type Rep StakeValidator = D1 ('MetaData "StakeValidator" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-EUjexvcAhXiGIaLon6olWb" 'True) (C1 ('MetaCons "StakeValidator" 'PrefixI 'True) (S1 ('MetaSel ('Just "getStakeValidator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Script)))

data StakeValidatorHash Source #

Script runtime representation of a Digest SHA256.

Instances

Instances details

Eq StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: StakeValidatorHash -> StakeValidatorHash -> Bool Source # (/=) :: StakeValidatorHash -> StakeValidatorHash -> Bool Source #
Ord StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: StakeValidatorHash -> StakeValidatorHash -> Ordering Source # (<) :: StakeValidatorHash -> StakeValidatorHash -> Bool Source # (<=) :: StakeValidatorHash -> StakeValidatorHash -> Bool Source # (>) :: StakeValidatorHash -> StakeValidatorHash -> Bool Source # (>=) :: StakeValidatorHash -> StakeValidatorHash -> Bool Source # max :: StakeValidatorHash -> StakeValidatorHash -> StakeValidatorHash Source # min :: StakeValidatorHash -> StakeValidatorHash -> StakeValidatorHash Source #
Show StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods showsPrec :: Int -> StakeValidatorHash -> ShowS Source # show :: StakeValidatorHash -> String Source # showList :: [StakeValidatorHash] -> ShowS Source #
IsString StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods fromString :: String -> StakeValidatorHash Source #
Generic StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Associated Types type Rep StakeValidatorHash :: Type -> Type Source # Methods from :: StakeValidatorHash -> Rep StakeValidatorHash x Source # to :: Rep StakeValidatorHash x -> StakeValidatorHash Source #
NFData StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods rnf :: StakeValidatorHash -> () Source #
Pretty StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: StakeValidatorHash -> Doc ann Source # prettyList :: [StakeValidatorHash] -> Doc ann Source #
UnsafeFromData StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods unsafeFromBuiltinData :: BuiltinData -> StakeValidatorHash Source #
FromData StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods fromBuiltinData :: BuiltinData -> Maybe StakeValidatorHash Source #
ToData StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods toBuiltinData :: StakeValidatorHash -> BuiltinData Source #
Ord StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: StakeValidatorHash -> StakeValidatorHash -> Ordering Source # (<) :: StakeValidatorHash -> StakeValidatorHash -> Bool Source # (<=) :: StakeValidatorHash -> StakeValidatorHash -> Bool Source # (>) :: StakeValidatorHash -> StakeValidatorHash -> Bool Source # (>=) :: StakeValidatorHash -> StakeValidatorHash -> Bool Source # max :: StakeValidatorHash -> StakeValidatorHash -> StakeValidatorHash Source # min :: StakeValidatorHash -> StakeValidatorHash -> StakeValidatorHash Source #
Eq StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: StakeValidatorHash -> StakeValidatorHash -> Bool Source #
Lift DefaultUni StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods lift :: StakeValidatorHash -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ()) Source #
Typeable DefaultUni StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods typeRep :: Proxy StakeValidatorHash -> RTCompile DefaultUni fun (Type TyName DefaultUni ()) Source #
type Rep StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts type Rep StakeValidatorHash = D1 ('MetaData "StakeValidatorHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-1.0.0.1-EUjexvcAhXiGIaLon6olWb" 'True) (C1 ('MetaCons "StakeValidatorHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

validatorHash :: Validator -> ValidatorHash Source #

Hash a Validator script.

mintingPolicyHash :: MintingPolicy -> MintingPolicyHash Source #

Hash a MintingPolicy script.

stakeValidatorHash :: StakeValidator -> StakeValidatorHash Source #

Hash a StakeValidator script.

scriptHash :: Script -> ScriptHash Source #

Convert a BuiltinsData value to a 'cardano-api' script data value.

For why we depend on `cardano-api`, see note [Hash computation of datums, redeemers and scripts] toCardanoAPIData :: Builtins.BuiltinData -> Script.ScriptData toCardanoAPIData = Script.fromPlutusData . Builtins.builtinDataToData

Hash a Script

Script utilities

scriptCurrencySymbol :: MintingPolicy -> CurrencySymbol Source #

The CurrencySymbol of a MintingPolicy.

toCardanoApiScript :: Script -> Script PlutusScriptV2 Source #

Convert a Script to a 'cardano-api' script.

For why we depend on `cardano-api`, see note [Hash computation of datums, redeemers and scripts]