Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Blueprint.Contract

Synopsis

data ContractBlueprint where
- MkContractBlueprint ∷ ∀ referencedTypes. {..} → ContractBlueprint

Documentation

data ContractBlueprint where Source #

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

The referencedTypes type variable 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. See Note [Unrolling types] for more details.

Constructors

MkContractBlueprint

Fields

∷ ∀ referencedTypes. { contractId ∷ Maybe Text
An optional identifier for the contract.
, contractPreamble ∷ Preamble
An object with meta-information about the contract.
, contractValidators ∷ Set (ValidatorBlueprint referencedTypes)
A set of validator blueprints that are part of the contract.
, contractDefinitions ∷ Definitions referencedTypes
A registry of schema definitions used across the blueprint.
} → ContractBlueprint

Instances

Instances details

ToJSON ContractBlueprint Source #
Instance details Defined in PlutusTx.Blueprint.Contract Methods toJSON ∷ ContractBlueprint → Value Source # toEncoding ∷ ContractBlueprint → Encoding Source # toJSONList ∷ [ContractBlueprint] → Value Source # toEncodingList ∷ [ContractBlueprint] → Encoding Source # omitField ∷ ContractBlueprint → Bool Source #