Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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.
MkContractBlueprint | |
|