Safe Haskell	None
Language	Haskell2010

Cardano.Api.Internal.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.Internal.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.Internal.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.Internal.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.Internal.Governance.Metadata.GovAction

Associated Types

type Rep (Authors CIP108)
Instance details Defined in Cardano.Api.Internal.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.Internal.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.Internal.Governance.Metadata.DrepRegistration

data Authors CIP119 = Absent

newtype Authors CIP108 Source #

Instance details

Defined in Cardano.Api.Internal.Governance.Metadata.GovAction

newtype Authors CIP108 = Authors [Author]

type Rep (Authors CIP108) Source #

Instance details

Defined in Cardano.Api.Internal.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.Internal.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.Internal.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.Internal.Governance.Metadata.DrepRegistration

Associated Types

type Rep (Body CIP119)
Instance details Defined in Cardano.Api.Internal.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.Internal.Governance.Metadata.GovAction

Associated Types

type Rep (Body CIP108)
Instance details Defined in Cardano.Api.Internal.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.Internal.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.Internal.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.Internal.Governance.Metadata.DrepRegistration

data Body CIP119 = Body {

}

data Body CIP108 Source #

Instance details

Defined in Cardano.Api.Internal.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.Internal.Governance.Metadata.DrepRegistration

type Rep (Body CIP119)

type Rep (Body CIP108) Source #

Instance details

Defined in Cardano.Api.Internal.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.Internal.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.Internal.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.Internal.Governance.Metadata.DrepRegistration

Associated Types

type Rep (HashAlgorithm CIP119)
Instance details Defined in Cardano.Api.Internal.Governance.Metadata.DrepRegistration type Rep (HashAlgorithm CIP119) = D1 ('MetaData "HashAlgorithm" "Cardano.Api.Internal.Governance.Metadata.DrepRegistration" "cardano-api-10.9.0.0-inplace" '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.Internal.Governance.Metadata.GovAction

Associated Types

type Rep (HashAlgorithm CIP108)
Instance details Defined in Cardano.Api.Internal.Governance.Metadata.GovAction type Rep (HashAlgorithm CIP108) = D1 ('MetaData "HashAlgorithm" "Cardano.Api.Internal.Governance.Metadata.GovAction" "cardano-api-10.9.0.0-inplace" '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.Internal.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.Internal.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.Internal.Governance.Metadata.DrepRegistration

data HashAlgorithm CIP119 = Blake2b256

data HashAlgorithm CIP108 Source #

Instance details

Defined in Cardano.Api.Internal.Governance.Metadata.GovAction

data HashAlgorithm CIP108 = Blake2b256

type Rep (HashAlgorithm CIP119) Source #

Instance details

Defined in Cardano.Api.Internal.Governance.Metadata.DrepRegistration

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

type Rep (HashAlgorithm CIP108) Source #

Instance details

Defined in Cardano.Api.Internal.Governance.Metadata.GovAction

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

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