Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 {}
- 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.
MkValidatorBlueprint | |
|
Instances
data CompiledValidator Source #