atlas-cardano

Copyright	(c) 2024 GYELD GMBH
License	Apache 2.0
Maintainer	[email protected]
Stability	develop
Safe Haskell	None
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

Instance details

Defined in GeniusYield.Types.Blueprint.Contract

type Rep ContractBlueprint = D1 ('MetaData "ContractBlueprint" "GeniusYield.Types.Blueprint.Contract" "atlas-cardano-0.14.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)))))

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.14.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)))))