Copyright	(c) 2024 GYELD GMBH
License	Apache 2.0
Maintainer	[email protected]
Stability	develop
Safe Haskell	Safe-Inferred
Language	GHC2021

GeniusYield.Types.Blueprint.Contract

Description

Synopsis

data ContractBlueprint = MkContractBlueprint {
- contractId ∷ Maybe Text
- contractPreamble ∷ Preamble
- contractValidators ∷ Set ValidatorBlueprint
- contractDefinitions ∷ Map DefinitionId Schema
}

Documentation

data ContractBlueprint #

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

Constructors

MkContractBlueprint
Fields contractId ∷ Maybe Text An optional identifier for the contract. contractPreamble ∷ Preamble An object with meta-information about the contract. contractValidators ∷ Set ValidatorBlueprint A set of validator blueprints that are part of the contract. contractDefinitions ∷ Map DefinitionId Schema A registry of schema definitions used across the blueprint.

Instances

Instances details

FromJSON ContractBlueprint #
Instance details Defined in GeniusYield.Types.Blueprint.Contract Methods parseJSON ∷ Value → Parser ContractBlueprint # parseJSONList ∷ Value → Parser [ContractBlueprint] # omittedField ∷ Maybe ContractBlueprint #
ToJSON ContractBlueprint #
Instance details Defined in GeniusYield.Types.Blueprint.Contract Methods toJSON ∷ ContractBlueprint → Value # toEncoding ∷ ContractBlueprint → Encoding # toJSONList ∷ [ContractBlueprint] → Value # toEncodingList ∷ [ContractBlueprint] → Encoding # omitField ∷ ContractBlueprint → Bool #
Generic ContractBlueprint #
Instance details Defined in GeniusYield.Types.Blueprint.Contract Associated Types type Rep ContractBlueprint ∷ Type → Type # Methods from ∷ ContractBlueprint → Rep ContractBlueprint x # to ∷ Rep ContractBlueprint x → ContractBlueprint #
Show ContractBlueprint #
Instance details Defined in GeniusYield.Types.Blueprint.Contract Methods showsPrec ∷ Int → ContractBlueprint → ShowS # show ∷ ContractBlueprint → String # showList ∷ [ContractBlueprint] → ShowS #
Eq ContractBlueprint #
Instance details Defined in GeniusYield.Types.Blueprint.Contract Methods (==) ∷ ContractBlueprint → ContractBlueprint → Bool # (/=) ∷ ContractBlueprint → ContractBlueprint → Bool #
Ord ContractBlueprint #
Instance details Defined in GeniusYield.Types.Blueprint.Contract Methods compare ∷ ContractBlueprint → ContractBlueprint → Ordering # (<) ∷ ContractBlueprint → ContractBlueprint → Bool # (<=) ∷ ContractBlueprint → ContractBlueprint → Bool # (>) ∷ ContractBlueprint → ContractBlueprint → Bool # (>=) ∷ ContractBlueprint → ContractBlueprint → Bool # max ∷ ContractBlueprint → ContractBlueprint → ContractBlueprint # min ∷ ContractBlueprint → ContractBlueprint → ContractBlueprint #
type Rep ContractBlueprint #
Instance details Defined in GeniusYield.Types.Blueprint.Contract type Rep ContractBlueprint = D1 ('MetaData "ContractBlueprint" "GeniusYield.Types.Blueprint.Contract" "atlas-cardano-0.6.1-inplace" 'False) (C1 ('MetaCons "MkContractBlueprint" 'PrefixI 'True) ((S1 ('MetaSel ('Just "contractId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text)) :: S1 ('MetaSel ('Just "contractPreamble") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Preamble)) :: (S1 ('MetaSel ('Just "contractValidators") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set ValidatorBlueprint)) :*: S1 ('MetaSel ('Just "contractDefinitions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map DefinitionId Schema)))))