plutus-ledger-api-0.1.0.0: Interface to the Plutus ledger for the Cardano ledger.
Safe HaskellNone
LanguageHaskell2010

Plutus.V1.Ledger.Scripts

Description

Functions for working with scripts on the ledger.

Synopsis

Scripts

newtype Script Source #

A script on the chain. This is an opaque type as far as the chain is concerned.

Instances

Instances details
Eq Script Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord Script Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show Script Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic Script Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep Script :: Type -> Type Source #

ToJSON Script Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSON Script Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

NFData Script Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: Script -> () Source #

Serialise Script Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep Script Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep Script = D1 ('MetaData "Script" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" 'True) (C1 ('MetaCons "Script" 'PrefixI 'True) (S1 ('MetaSel ('Just "unScript") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Program DeBruijn DefaultUni DefaultFun ()))))

scriptSize :: Script -> Integer Source #

The size of a Script. No particular interpretation is given to this, other than that it is proportional to the serialized size of the script.

fromCompiledCode :: CompiledCode a -> Script Source #

Turn a CompiledCode (usually produced by compile) into a Script for use with this package.

data ScriptError Source #

Constructors

EvaluationError [Text] String

Expected behavior of the engine (e.g. user-provided error)

EvaluationException String String

Unexpected behavior of the engine (a bug)

Instances

Instances details
Eq ScriptError Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show ScriptError Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic ScriptError Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep ScriptError :: Type -> Type Source #

ToJSON ScriptError Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSON ScriptError Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

NFData ScriptError Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: ScriptError -> () Source #

type Rep ScriptError Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

evaluateScript :: forall m. MonadError ScriptError m => Script -> m (ExBudget, [Text]) Source #

Evaluate a script, returning the trace log.

runScript :: MonadError ScriptError m => Context -> Validator -> Datum -> Redeemer -> m (ExBudget, [Text]) Source #

Evaluate a Validator with its Context, Datum, and Redeemer, returning the log.

runMintingPolicyScript :: MonadError ScriptError m => Context -> MintingPolicy -> Redeemer -> m (ExBudget, [Text]) Source #

Evaluate a MintingPolicy with its Context and Redeemer, returning the log.

Script wrappers

newtype Validator Source #

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

Constructors

Validator 

Fields

Instances

Instances details
Eq Validator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord Validator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show Validator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic Validator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep Validator :: Type -> Type Source #

ToJSON Validator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSON Validator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

NFData Validator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: Validator -> () Source #

ByteArrayAccess Validator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Pretty Validator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: Validator -> Doc ann Source #

prettyList :: [Validator] -> Doc ann Source #

Serialise Validator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep Validator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep Validator = D1 ('MetaData "Validator" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" 'True) (C1 ('MetaCons "Validator" 'PrefixI 'True) (S1 ('MetaSel ('Just "getValidator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Script)))

newtype Redeemer Source #

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

Constructors

Redeemer 

Instances

Instances details
Eq Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep Redeemer :: Type -> Type Source #

ToJSON Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSON Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

NFData Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: Redeemer -> () Source #

ByteArrayAccess Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Pretty Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: Redeemer -> Doc ann Source #

prettyList :: [Redeemer] -> Doc ann Source #

ToData Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromData Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Eq Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

(==) :: Redeemer -> Redeemer -> Bool Source #

Serialise Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Lift DefaultUni Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Typeable DefaultUni Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep Redeemer Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep Redeemer = D1 ('MetaData "Redeemer" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" 'True) (C1 ('MetaCons "Redeemer" 'PrefixI 'True) (S1 ('MetaSel ('Just "getRedeemer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

newtype Datum Source #

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

Constructors

Datum 

Instances

Instances details
Eq Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

(==) :: Datum -> Datum -> Bool Source #

(/=) :: Datum -> Datum -> Bool Source #

Ord Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic Datum Source # 
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 #

ToJSON Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSON Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

NFData Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: Datum -> () Source #

ByteArrayAccess Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

length :: Datum -> Int Source #

withByteArray :: Datum -> (Ptr p -> IO a) -> IO a Source #

copyByteArrayToPtr :: Datum -> Ptr p -> IO () Source #

Pretty Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: Datum -> Doc ann Source #

prettyList :: [Datum] -> Doc ann Source #

ToData Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromData Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Eq Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

(==) :: Datum -> Datum -> Bool Source #

Serialise Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Lift DefaultUni Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Typeable DefaultUni Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep Datum Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep Datum = D1 ('MetaData "Datum" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" 'True) (C1 ('MetaCons "Datum" 'PrefixI 'True) (S1 ('MetaSel ('Just "getDatum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

newtype MintingPolicy Source #

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

Constructors

MintingPolicy 

Instances

Instances details
Eq MintingPolicy Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord MintingPolicy Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show MintingPolicy Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic MintingPolicy Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep MintingPolicy :: Type -> Type Source #

ToJSON MintingPolicy Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSON MintingPolicy Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

NFData MintingPolicy Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: MintingPolicy -> () Source #

ByteArrayAccess MintingPolicy Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Pretty MintingPolicy Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Serialise MintingPolicy Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep MintingPolicy Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep MintingPolicy = D1 ('MetaData "MintingPolicy" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" 'True) (C1 ('MetaCons "MintingPolicy" 'PrefixI 'True) (S1 ('MetaSel ('Just "getMintingPolicy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Script)))

newtype StakeValidator Source #

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

Constructors

StakeValidator 

Instances

Instances details
Eq StakeValidator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord StakeValidator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show StakeValidator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic StakeValidator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep StakeValidator :: Type -> Type Source #

ToJSON StakeValidator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSON StakeValidator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

NFData StakeValidator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: StakeValidator -> () Source #

ByteArrayAccess StakeValidator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Pretty StakeValidator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Serialise StakeValidator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep StakeValidator Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep StakeValidator = D1 ('MetaData "StakeValidator" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" 'True) (C1 ('MetaCons "StakeValidator" 'PrefixI 'True) (S1 ('MetaSel ('Just "getStakeValidator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Script)))

newtype Context Source #

Information about the state of the blockchain and about the transaction that is currently being validated, represented as a value in Data.

Constructors

Context BuiltinData 

Hashes

newtype DatumHash Source #

Script runtime representation of a Digest SHA256.

Instances

Instances details
Eq DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

IsString DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep DatumHash :: Type -> Type Source #

Hashable DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToJSON DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToJSONKey DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSON DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSONKey DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

NFData DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: DatumHash -> () Source #

Pretty DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

pretty :: DatumHash -> Doc ann Source #

prettyList :: [DatumHash] -> Doc ann Source #

ToData DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromData DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Eq DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Serialise DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Lift DefaultUni DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Typeable DefaultUni DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep DatumHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep DatumHash = D1 ('MetaData "DatumHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" 'True) (C1 ('MetaCons "DatumHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

newtype RedeemerHash Source #

Script runtime representation of a Digest SHA256.

Instances

Instances details
Eq RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

IsString RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep RedeemerHash :: Type -> Type Source #

Hashable RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToJSON RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToJSONKey RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSON RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSONKey RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

NFData RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: RedeemerHash -> () Source #

Pretty RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromData RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Eq RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Serialise RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Lift DefaultUni RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Typeable DefaultUni RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep RedeemerHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep RedeemerHash = D1 ('MetaData "RedeemerHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" 'True) (C1 ('MetaCons "RedeemerHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

newtype ScriptHash Source #

Script runtime representation of a Digest SHA256.

Instances

Instances details
Eq ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

IsString ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep ScriptHash :: Type -> Type Source #

Hashable ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToJSON ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToJSONKey ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSON ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSONKey ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

NFData ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: ScriptHash -> () Source #

Pretty ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromData ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Eq ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Serialise ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep ScriptHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep ScriptHash = D1 ('MetaData "ScriptHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" 'True) (C1 ('MetaCons "ScriptHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "getScriptHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

newtype ValidatorHash Source #

Script runtime representation of a Digest SHA256.

Instances

Instances details
Eq ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

IsString ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep ValidatorHash :: Type -> Type Source #

Hashable ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToJSON ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToJSONKey ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSON ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSONKey ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

NFData ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Methods

rnf :: ValidatorHash -> () Source #

Pretty ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromData ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Eq ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Serialise ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Lift DefaultUni ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Typeable DefaultUni ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep ValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep ValidatorHash = D1 ('MetaData "ValidatorHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" 'True) (C1 ('MetaCons "ValidatorHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

newtype MintingPolicyHash Source #

Script runtime representation of a Digest SHA256.

Instances

Instances details
Eq MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

IsString MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep MintingPolicyHash :: Type -> Type Source #

Hashable MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToJSON MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToJSONKey MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSON MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSONKey MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Pretty MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromData MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Eq MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Serialise MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Lift DefaultUni MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Typeable DefaultUni MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep MintingPolicyHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep MintingPolicyHash = D1 ('MetaData "MintingPolicyHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" 'True) (C1 ('MetaCons "MintingPolicyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

newtype StakeValidatorHash Source #

Script runtime representation of a Digest SHA256.

Instances

Instances details
Eq StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Show StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

IsString StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Generic StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Associated Types

type Rep StakeValidatorHash :: Type -> Type Source #

Hashable StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToJSON StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToJSONKey StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSON StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromJSONKey StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Pretty StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

ToData StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

FromData StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

UnsafeFromData StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Ord StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Eq StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Serialise StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Lift DefaultUni StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

Typeable DefaultUni StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep StakeValidatorHash Source # 
Instance details

Defined in Plutus.V1.Ledger.Scripts

type Rep StakeValidatorHash = D1 ('MetaData "StakeValidatorHash" "Plutus.V1.Ledger.Scripts" "plutus-ledger-api-0.1.0.0-6XBf4FRRdNK1B20rg7kZGy" 'True) (C1 ('MetaCons "StakeValidatorHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinByteString)))

Example scripts

unitRedeemer :: Redeemer Source #

() as a redeemer.

unitDatum :: Datum Source #

() as a datum.

Orphan instances