Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Blueprint.Validator

Synopsis

data ValidatorBlueprint (referencedTypes :: [Type]) = MkValidatorBlueprint {
- validatorTitle :: Text
- validatorDescription :: Maybe Text
- validatorRedeemer :: ArgumentBlueprint referencedTypes
- validatorDatum :: Maybe (ArgumentBlueprint referencedTypes)
- validatorParameters :: [ParameterBlueprint referencedTypes]
- validatorCompiled :: Maybe CompiledValidator
}
data CompiledValidator = MkCompiledValidator {
- compiledValidatorCode :: ByteString
- compiledValidatorHash :: ByteString
}
compiledValidator :: PlutusVersion -> ByteString -> CompiledValidator

Documentation

data ValidatorBlueprint (referencedTypes :: [Type]) Source #

A blueprint of a validator, as defined by the CIP-0057

The referencedTypes phantom type parameter is used to track the types used in the contract making sure their schemas are included in the blueprint and that they are referenced in a type-safe way.

Constructors

MkValidatorBlueprint

Fields

validatorTitle :: Text
A short and descriptive name for the validator.
validatorDescription :: Maybe Text
An informative description of the validator.
validatorRedeemer :: ArgumentBlueprint referencedTypes
A description of the redeemer format expected by this validator.
validatorDatum :: Maybe (ArgumentBlueprint referencedTypes)
A description of the datum format expected by this validator.
validatorParameters :: [ParameterBlueprint referencedTypes]
A list of parameters required by the script.
validatorCompiled :: Maybe CompiledValidator
A full compiled and CBOR-encoded serialized flat script together with its hash.

Instances

Instances details

ToJSON (ValidatorBlueprint referencedTypes) Source #
Instance details Defined in PlutusTx.Blueprint.Validator Methods toJSON :: ValidatorBlueprint referencedTypes -> Value toEncoding :: ValidatorBlueprint referencedTypes -> Encoding toJSONList :: [ValidatorBlueprint referencedTypes] -> Value toEncodingList :: [ValidatorBlueprint referencedTypes] -> Encoding omitField :: ValidatorBlueprint referencedTypes -> Bool
Show (ValidatorBlueprint referencedTypes) Source #
Instance details Defined in PlutusTx.Blueprint.Validator Methods showsPrec :: Int -> ValidatorBlueprint referencedTypes -> ShowS Source # show :: ValidatorBlueprint referencedTypes -> String Source # showList :: [ValidatorBlueprint referencedTypes] -> ShowS Source #
Eq (ValidatorBlueprint referencedTypes) Source #
Instance details Defined in PlutusTx.Blueprint.Validator Methods (==) :: ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes -> Bool Source # (/=) :: ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes -> Bool Source #
Ord (ValidatorBlueprint referencedTypes) Source #
Instance details Defined in PlutusTx.Blueprint.Validator Methods compare :: ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes -> Ordering Source # (<) :: ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes -> Bool Source # (<=) :: ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes -> Bool Source # (>) :: ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes -> Bool Source # (>=) :: ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes -> Bool Source # max :: ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes Source # min :: ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes Source #

data CompiledValidator Source #

Constructors

MkCompiledValidator
Fields compiledValidatorCode :: ByteString compiledValidatorHash :: ByteString

Instances

Instances details

Show CompiledValidator Source #
Instance details Defined in PlutusTx.Blueprint.Validator Methods showsPrec :: Int -> CompiledValidator -> ShowS Source # show :: CompiledValidator -> String Source # showList :: [CompiledValidator] -> ShowS Source #
Eq CompiledValidator Source #
Instance details Defined in PlutusTx.Blueprint.Validator Methods (==) :: CompiledValidator -> CompiledValidator -> Bool Source # (/=) :: CompiledValidator -> CompiledValidator -> Bool Source #
Ord CompiledValidator Source #
Instance details Defined in PlutusTx.Blueprint.Validator Methods compare :: CompiledValidator -> CompiledValidator -> Ordering Source # (<) :: CompiledValidator -> CompiledValidator -> Bool Source # (<=) :: CompiledValidator -> CompiledValidator -> Bool Source # (>) :: CompiledValidator -> CompiledValidator -> Bool Source # (>=) :: CompiledValidator -> CompiledValidator -> Bool Source # max :: CompiledValidator -> CompiledValidator -> CompiledValidator Source # min :: CompiledValidator -> CompiledValidator -> CompiledValidator Source #

compiledValidator :: PlutusVersion -> ByteString -> CompiledValidator Source #