Safe Haskell	None
Language	Haskell2010

Plutus.Script.Utils.V1.Scripts

Contents

Script hashes
Script utilities

Description

This module contains functions related to the computation of script hashes for PlutusV1.

Synopsis

data Validator
data ValidatorHash
data MintingPolicy
data MintingPolicyHash
data StakeValidator
data StakeValidatorHash
fromCardanoHash :: ScriptHash -> ScriptHash
validatorHash :: Validator -> ValidatorHash
mintingPolicyHash :: MintingPolicy -> MintingPolicyHash
stakeValidatorHash :: StakeValidator -> StakeValidatorHash
scriptHash :: Script -> ScriptHash
scriptCurrencySymbol :: MintingPolicy -> CurrencySymbol
toCardanoApiScript :: Script -> Script PlutusScriptV1

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

fromCardanoHash :: ScriptHash -> ScriptHash Source #

Transform a Cardano Script hash in a Plutus Script hash

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 #

Hash a Script

Script utilities

scriptCurrencySymbol :: MintingPolicy -> CurrencySymbol Source #

The CurrencySymbol of a MintingPolicy.

toCardanoApiScript :: Script -> Script PlutusScriptV1 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]