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 #

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 #
Serialise Validator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods encode :: Validator -> Encoding decode :: Decoder s Validator encodeList :: [Validator] -> Encoding decodeList :: Decoder s [Validator]
Pretty Validator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: Validator -> Doc ann prettyList :: [Validator] -> Doc ann
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-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "Validator" 'PrefixI 'True) (S1 ('MetaSel ('Just "getValidator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Script)))

data ValidatorHash #

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 #
Eq ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: ValidatorHash -> ValidatorHash -> Bool
FromData ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods fromBuiltinData :: BuiltinData -> Maybe ValidatorHash
Ord ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: ValidatorHash -> ValidatorHash -> Ordering (<) :: ValidatorHash -> ValidatorHash -> Bool (<=) :: ValidatorHash -> ValidatorHash -> Bool (>) :: ValidatorHash -> ValidatorHash -> Bool (>=) :: ValidatorHash -> ValidatorHash -> Bool max :: ValidatorHash -> ValidatorHash -> ValidatorHash min :: ValidatorHash -> ValidatorHash -> ValidatorHash
Pretty ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: ValidatorHash -> Doc ann prettyList :: [ValidatorHash] -> Doc ann
ToData ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods toBuiltinData :: ValidatorHash -> BuiltinData
UnsafeFromData ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods unsafeFromBuiltinData :: BuiltinData -> ValidatorHash
Lift DefaultUni ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods lift :: ValidatorHash -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods typeRep :: Proxy ValidatorHash -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
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-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "ValidatorHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

data MintingPolicy #

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 #
Serialise MintingPolicy
Instance details Defined in Plutus.V1.Ledger.Scripts Methods encode :: MintingPolicy -> Encoding decode :: Decoder s MintingPolicy encodeList :: [MintingPolicy] -> Encoding decodeList :: Decoder s [MintingPolicy]
Pretty MintingPolicy
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: MintingPolicy -> Doc ann prettyList :: [MintingPolicy] -> Doc ann
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-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "MintingPolicy" 'PrefixI 'True) (S1 ('MetaSel ('Just "getMintingPolicy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Script)))

data MintingPolicyHash #

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 #
Eq MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: MintingPolicyHash -> MintingPolicyHash -> Bool
FromData MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods fromBuiltinData :: BuiltinData -> Maybe MintingPolicyHash
Ord MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: MintingPolicyHash -> MintingPolicyHash -> Ordering (<) :: MintingPolicyHash -> MintingPolicyHash -> Bool (<=) :: MintingPolicyHash -> MintingPolicyHash -> Bool (>) :: MintingPolicyHash -> MintingPolicyHash -> Bool (>=) :: MintingPolicyHash -> MintingPolicyHash -> Bool max :: MintingPolicyHash -> MintingPolicyHash -> MintingPolicyHash min :: MintingPolicyHash -> MintingPolicyHash -> MintingPolicyHash
Pretty MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: MintingPolicyHash -> Doc ann prettyList :: [MintingPolicyHash] -> Doc ann
ToData MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods toBuiltinData :: MintingPolicyHash -> BuiltinData
UnsafeFromData MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods unsafeFromBuiltinData :: BuiltinData -> MintingPolicyHash
Lift DefaultUni MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods lift :: MintingPolicyHash -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods typeRep :: Proxy MintingPolicyHash -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
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-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "MintingPolicyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

data StakeValidator #

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 #
Serialise StakeValidator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods encode :: StakeValidator -> Encoding decode :: Decoder s StakeValidator encodeList :: [StakeValidator] -> Encoding decodeList :: Decoder s [StakeValidator]
Pretty StakeValidator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: StakeValidator -> Doc ann prettyList :: [StakeValidator] -> Doc ann
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-6EvbyJiK8IAAVEtnIJDu5Z" 'True) (C1 ('MetaCons "StakeValidator" 'PrefixI 'True) (S1 ('MetaSel ('Just "getStakeValidator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Script)))

data StakeValidatorHash #

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 #
Eq StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods (==) :: StakeValidatorHash -> StakeValidatorHash -> Bool
FromData StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods fromBuiltinData :: BuiltinData -> Maybe StakeValidatorHash
Ord StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods compare :: StakeValidatorHash -> StakeValidatorHash -> Ordering (<) :: StakeValidatorHash -> StakeValidatorHash -> Bool (<=) :: StakeValidatorHash -> StakeValidatorHash -> Bool (>) :: StakeValidatorHash -> StakeValidatorHash -> Bool (>=) :: StakeValidatorHash -> StakeValidatorHash -> Bool max :: StakeValidatorHash -> StakeValidatorHash -> StakeValidatorHash min :: StakeValidatorHash -> StakeValidatorHash -> StakeValidatorHash
Pretty StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: StakeValidatorHash -> Doc ann prettyList :: [StakeValidatorHash] -> Doc ann
ToData StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods toBuiltinData :: StakeValidatorHash -> BuiltinData
UnsafeFromData StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods unsafeFromBuiltinData :: BuiltinData -> StakeValidatorHash
Lift DefaultUni StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods lift :: StakeValidatorHash -> RTCompile DefaultUni fun (Term TyName Name DefaultUni fun ())
Typeable DefaultUni StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods typeRep :: Proxy StakeValidatorHash -> RTCompile DefaultUni fun (Type TyName DefaultUni ())
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-6EvbyJiK8IAAVEtnIJDu5Z" '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]