Safe Haskell	None
Language	Haskell2010

Cardano.Api.Governance.Metadata.Validation

Documentation

data GovActionMetadata cip Source #

Constructors

GovActionMetadata
Fields hashAlgorithm :: HashAlgorithm cip authors :: Authors cip body :: Body cip

Instances

Instances details

FromJSON (GovActionMetadata CIP119) Source #
Instance details Defined in Cardano.Api.Governance.Metadata.DrepRegistration Methods parseJSON :: Value -> Parser (GovActionMetadata CIP119) # parseJSONList :: Value -> Parser [GovActionMetadata CIP119] # omittedField :: Maybe (GovActionMetadata CIP119) #
FromJSON (GovActionMetadata CIP108) Source #
Instance details Defined in Cardano.Api.Governance.Metadata.GovAction Methods parseJSON :: Value -> Parser (GovActionMetadata CIP108) # parseJSONList :: Value -> Parser [GovActionMetadata CIP108] # omittedField :: Maybe (GovActionMetadata CIP108) #

data family Authors cip Source #

Instances

Instances details

FromJSON (Authors CIP108) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.GovAction

Methods

parseJSON :: Value -> Parser (Authors CIP108) #

parseJSONList :: Value -> Parser [Authors CIP108] #

omittedField :: Maybe (Authors CIP108) #

Generic (Authors CIP108) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.GovAction

Associated Types

type Rep (Authors CIP108)
Instance details Defined in Cardano.Api.Governance.Metadata.GovAction type Rep (Authors CIP108)

Methods

from :: Authors CIP108 -> Rep (Authors CIP108) x Source #

to :: Rep (Authors CIP108) x -> Authors CIP108 Source #

Show (Authors CIP108) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.GovAction

Methods

showsPrec :: Int -> Authors CIP108 -> ShowS Source #

show :: Authors CIP108 -> String Source #

showList :: [Authors CIP108] -> ShowS Source #

data Authors CIP119 Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.DrepRegistration

data Authors CIP119 = Absent

newtype Authors CIP108 Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.GovAction

newtype Authors CIP108 = Authors [Author]

type Rep (Authors CIP108) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.GovAction

type Rep (Authors CIP108)

data family Body cip Source #

Instances

Instances details

FromJSON (Body CIP119) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.DrepRegistration

Methods

parseJSON :: Value -> Parser (Body CIP119) #

parseJSONList :: Value -> Parser [Body CIP119] #

omittedField :: Maybe (Body CIP119) #

FromJSON (Body CIP108) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.GovAction

Methods

parseJSON :: Value -> Parser (Body CIP108) #

parseJSONList :: Value -> Parser [Body CIP108] #

omittedField :: Maybe (Body CIP108) #

Generic (Body CIP119) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.DrepRegistration

Associated Types

type Rep (Body CIP119)
Instance details Defined in Cardano.Api.Governance.Metadata.DrepRegistration type Rep (Body CIP119)

Methods

from :: Body CIP119 -> Rep (Body CIP119) x Source #

to :: Rep (Body CIP119) x -> Body CIP119 Source #

Generic (Body CIP108) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.GovAction

Associated Types

type Rep (Body CIP108)
Instance details Defined in Cardano.Api.Governance.Metadata.GovAction type Rep (Body CIP108)

Methods

from :: Body CIP108 -> Rep (Body CIP108) x Source #

to :: Rep (Body CIP108) x -> Body CIP108 Source #

Show (Body CIP119) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.DrepRegistration

Methods

showsPrec :: Int -> Body CIP119 -> ShowS Source #

show :: Body CIP119 -> String Source #

showList :: [Body CIP119] -> ShowS Source #

Show (Body CIP108) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.GovAction

Methods

showsPrec :: Int -> Body CIP108 -> ShowS Source #

show :: Body CIP108 -> String Source #

showList :: [Body CIP108] -> ShowS Source #

data Body CIP119 Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.DrepRegistration

data Body CIP119 = Body {

}

data Body CIP108 Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.GovAction

data Body CIP108 = Body {

title :: Text
abstract :: Text
motivation :: Text
rationale :: Text
references :: Maybe [Reference]

}

type Rep (Body CIP119) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.DrepRegistration

type Rep (Body CIP119)

type Rep (Body CIP108) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.GovAction

type Rep (Body CIP108)

data family HashAlgorithm cip Source #

Instances

Instances details

FromJSON (HashAlgorithm CIP119) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.DrepRegistration

Methods

parseJSON :: Value -> Parser (HashAlgorithm CIP119) #

parseJSONList :: Value -> Parser [HashAlgorithm CIP119] #

omittedField :: Maybe (HashAlgorithm CIP119) #

FromJSON (HashAlgorithm CIP108) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.GovAction

Methods

parseJSON :: Value -> Parser (HashAlgorithm CIP108) #

parseJSONList :: Value -> Parser [HashAlgorithm CIP108] #

omittedField :: Maybe (HashAlgorithm CIP108) #

Generic (HashAlgorithm CIP119) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.DrepRegistration

Associated Types

type Rep (HashAlgorithm CIP119)
Instance details Defined in Cardano.Api.Governance.Metadata.DrepRegistration type Rep (HashAlgorithm CIP119) = D1 ('MetaData "HashAlgorithm" "Cardano.Api.Governance.Metadata.DrepRegistration" "cardano-api-10.6.0.0-inplace-internal" 'False) (C1 ('MetaCons "Blake2b256" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: HashAlgorithm CIP119 -> Rep (HashAlgorithm CIP119) x Source #

to :: Rep (HashAlgorithm CIP119) x -> HashAlgorithm CIP119 Source #

Generic (HashAlgorithm CIP108) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.GovAction

Associated Types

type Rep (HashAlgorithm CIP108)
Instance details Defined in Cardano.Api.Governance.Metadata.GovAction type Rep (HashAlgorithm CIP108) = D1 ('MetaData "HashAlgorithm" "Cardano.Api.Governance.Metadata.GovAction" "cardano-api-10.6.0.0-inplace-internal" 'False) (C1 ('MetaCons "Blake2b256" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: HashAlgorithm CIP108 -> Rep (HashAlgorithm CIP108) x Source #

to :: Rep (HashAlgorithm CIP108) x -> HashAlgorithm CIP108 Source #

Show (HashAlgorithm CIP119) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.DrepRegistration

Methods

showsPrec :: Int -> HashAlgorithm CIP119 -> ShowS Source #

show :: HashAlgorithm CIP119 -> String Source #

showList :: [HashAlgorithm CIP119] -> ShowS Source #

Show (HashAlgorithm CIP108) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.GovAction

Methods

showsPrec :: Int -> HashAlgorithm CIP108 -> ShowS Source #

show :: HashAlgorithm CIP108 -> String Source #

showList :: [HashAlgorithm CIP108] -> ShowS Source #

data HashAlgorithm CIP119 Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.DrepRegistration

data HashAlgorithm CIP119 = Blake2b256

data HashAlgorithm CIP108 Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.GovAction

data HashAlgorithm CIP108 = Blake2b256

type Rep (HashAlgorithm CIP119) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.DrepRegistration

type Rep (HashAlgorithm CIP119) = D1 ('MetaData "HashAlgorithm" "Cardano.Api.Governance.Metadata.DrepRegistration" "cardano-api-10.6.0.0-inplace-internal" 'False) (C1 ('MetaCons "Blake2b256" 'PrefixI 'False) (U1 :: Type -> Type))

type Rep (HashAlgorithm CIP108) Source #

Instance details

Defined in Cardano.Api.Governance.Metadata.GovAction

type Rep (HashAlgorithm CIP108) = D1 ('MetaData "HashAlgorithm" "Cardano.Api.Governance.Metadata.GovAction" "cardano-api-10.6.0.0-inplace-internal" 'False) (C1 ('MetaCons "Blake2b256" 'PrefixI 'False) (U1 :: Type -> Type))

validateGovActionAnchorData :: FromJSON (GovActionMetadata cip) => cip -> ByteString -> Either String () Source #