Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Blueprint.Validator

Synopsis

data ValidatorBlueprint (referencedTypes :: [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]) #

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
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) #
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) #
Instance details Defined in PlutusTx.Blueprint.Validator Methods showsPrec :: Int -> ValidatorBlueprint referencedTypes -> ShowS # show :: ValidatorBlueprint referencedTypes -> String # showList :: [ValidatorBlueprint referencedTypes] -> ShowS #
Eq (ValidatorBlueprint referencedTypes) #
Instance details Defined in PlutusTx.Blueprint.Validator Methods (==) :: ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes -> Bool # (/=) :: ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes -> Bool #
Ord (ValidatorBlueprint referencedTypes) #
Instance details Defined in PlutusTx.Blueprint.Validator Methods compare :: ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes -> Ordering # (<) :: ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes -> Bool # (<=) :: ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes -> Bool # (>) :: ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes -> Bool # (>=) :: ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes -> Bool # max :: ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes # min :: ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes -> ValidatorBlueprint referencedTypes #

data CompiledValidator #

Constructors

MkCompiledValidator
Fields compiledValidatorCode :: ByteString compiledValidatorHash :: ByteString

Instances

Instances details

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

compiledValidator :: PlutusVersion -> ByteString -> CompiledValidator #