data AsType (Proposal era)
Instance details Defined in Cardano.Api.Governance.Internal.Action.ProposalProcedure data AsType (Proposal era) = AsProposal

Methods

proxyToAsType :: Proxy (Proposal era) -> AsType (Proposal era) Source #

IsShelleyBasedEra era => SerialiseAsCBOR (Proposal era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.ProposalProcedure

Methods

serialiseToCBOR :: Proposal era -> ByteString Source #

deserialiseFromCBOR :: AsType (Proposal era) -> ByteString -> Either DecoderError (Proposal era) Source #

IsShelleyBasedEra era => HasTextEnvelope (Proposal era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.ProposalProcedure

Methods

textEnvelopeType :: AsType (Proposal era) -> TextEnvelopeType Source #

textEnvelopeDefaultDescr :: Proposal era -> TextEnvelopeDescr Source #

IsShelleyBasedEra era => FromCBOR (Proposal era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.ProposalProcedure

Methods

fromCBOR :: Decoder s (Proposal era) Source #

label :: Proxy (Proposal era) -> Text Source #

IsShelleyBasedEra era => ToCBOR (Proposal era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.ProposalProcedure

Methods

toCBOR :: Proposal era -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Proposal era) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Proposal era] -> Size Source #

IsShelleyBasedEra era => Eq (Proposal era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.ProposalProcedure

Methods

(==) :: Proposal era -> Proposal era -> Bool Source #

(/=) :: Proposal era -> Proposal era -> Bool Source #

IsShelleyBasedEra era => Ord (Proposal era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.ProposalProcedure

Methods

compare :: Proposal era -> Proposal era -> Ordering Source #

(<) :: Proposal era -> Proposal era -> Bool Source #

(<=) :: Proposal era -> Proposal era -> Bool Source #

(>) :: Proposal era -> Proposal era -> Bool Source #

(>=) :: Proposal era -> Proposal era -> Bool Source #

max :: Proposal era -> Proposal era -> Proposal era Source #

min :: Proposal era -> Proposal era -> Proposal era Source #

data AsType (Proposal era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.ProposalProcedure

data AsType (Proposal era) = AsProposal

data GovernanceAction era Source #

Constructors

MotionOfNoConfidence (StrictMaybe (GovPurposeId 'CommitteePurpose (ShelleyLedgerEra era)))
ProposeNewConstitution (StrictMaybe (GovPurposeId 'ConstitutionPurpose (ShelleyLedgerEra era))) Anchor (StrictMaybe ScriptHash)
ProposeNewCommittee
Fields (StrictMaybe (GovPurposeId 'CommitteePurpose (ShelleyLedgerEra era))) [Credential 'ColdCommitteeRole] Old constitutional committee (Map (Credential 'ColdCommitteeRole) EpochNo) New committee members with epoch number when each of them expires Rational Quorum of the committee that is necessary for a successful vote
InfoAct
TreasuryWithdrawal [(Network, StakeCredential, Coin)] !(StrictMaybe ScriptHash)	Governance policy
InitiateHardfork (StrictMaybe (GovPurposeId 'HardForkPurpose (ShelleyLedgerEra era))) ProtVer
UpdatePParams (StrictMaybe (GovPurposeId 'PParamUpdatePurpose (ShelleyLedgerEra era))) (PParamsUpdate (ShelleyLedgerEra era)) !(StrictMaybe ScriptHash)	Governance policy

data family AsType t Source #

A family of singleton types used in this API to indicate which type to use where it would otherwise be ambiguous or merely unclear.

Values of this type are passed to deserialisation functions for example.

Instances

Instances details

data AsType AddressAny Source #
Instance details Defined in Cardano.Api.Address data AsType AddressAny = AsAddressAny
data AsType ByronAddr Source #
Instance details Defined in Cardano.Api.Address data AsType ByronAddr = AsByronAddr
data AsType ShelleyAddr Source #
Instance details Defined in Cardano.Api.Address data AsType ShelleyAddr = AsShelleyAddr
data AsType StakeAddress Source #
Instance details Defined in Cardano.Api.Address data AsType StakeAddress = AsStakeAddress
data AsType BlockHeader Source #
Instance details Defined in Cardano.Api.Block data AsType BlockHeader = AsBlockHeader
data AsType ByronKey Source #
Instance details Defined in Cardano.Api.Byron.Internal.Key data AsType ByronKey = AsByronKey
data AsType ByronKeyLegacy Source #
Instance details Defined in Cardano.Api.Byron.Internal.Key data AsType ByronKeyLegacy = AsByronKeyLegacy
data AsType ByronUpdateProposal Source #
Instance details Defined in Cardano.Api.Byron.Internal.Proposal data AsType ByronUpdateProposal = AsByronUpdateProposal
data AsType ByronVote Source #
Instance details Defined in Cardano.Api.Byron.Internal.Proposal data AsType ByronVote = AsByronVote
data AsType DRepMetadata Source #
Instance details Defined in Cardano.Api.Certificate.Internal.DRepMetadata data AsType DRepMetadata = AsDRepMetadata
data AsType OperationalCertificate Source #
Instance details Defined in Cardano.Api.Certificate.Internal.OperationalCertificate data AsType OperationalCertificate = AsOperationalCertificate
data AsType OperationalCertificateIssueCounter Source #
Instance details Defined in Cardano.Api.Certificate.Internal.OperationalCertificate data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter
data AsType StakePoolMetadata Source #
Instance details Defined in Cardano.Api.Certificate.Internal.StakePoolMetadata data AsType StakePoolMetadata = AsStakePoolMetadata
data AsType AllegraEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType AllegraEra = AsAllegraEra
data AsType AlonzoEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType AlonzoEra = AsAlonzoEra
data AsType BabbageEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType BabbageEra = AsBabbageEra
data AsType ByronEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType ByronEra = AsByronEra
data AsType ConwayEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType ConwayEra = AsConwayEra
data AsType MaryEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType MaryEra = AsMaryEra
data AsType ShelleyEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType ShelleyEra = AsShelleyEra
data AsType GovernancePoll Source #
Instance details Defined in Cardano.Api.Governance.Internal.Poll data AsType GovernancePoll = AsGovernancePoll
data AsType GovernancePollAnswer Source #
Instance details Defined in Cardano.Api.Governance.Internal.Poll data AsType GovernancePollAnswer = AsGovernancePollAnswer
data AsType CommitteeColdExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeColdExtendedKey = AsCommitteeColdExtendedKey
data AsType CommitteeColdKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeColdKey = AsCommitteeColdKey
data AsType CommitteeHotExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeHotExtendedKey = AsCommitteeHotExtendedKey
data AsType CommitteeHotKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeHotKey = AsCommitteeHotKey
data AsType DRepExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType DRepExtendedKey = AsDRepExtendedKey
data AsType DRepKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType DRepKey = AsDRepKey
data AsType GenesisDelegateExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey
data AsType GenesisDelegateKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisDelegateKey = AsGenesisDelegateKey
data AsType GenesisExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisExtendedKey = AsGenesisExtendedKey
data AsType GenesisKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisKey = AsGenesisKey
data AsType GenesisUTxOKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisUTxOKey = AsGenesisUTxOKey
data AsType PaymentExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType PaymentExtendedKey = AsPaymentExtendedKey
data AsType PaymentKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType PaymentKey = AsPaymentKey
data AsType StakeExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType StakeExtendedKey = AsStakeExtendedKey
data AsType StakeKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType StakeKey = AsStakeKey
data AsType StakePoolExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType StakePoolExtendedKey = AsStakePoolExtendedKey
data AsType StakePoolKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType StakePoolKey = AsStakePoolKey
data AsType KesKey Source #
Instance details Defined in Cardano.Api.Key.Internal.Praos data AsType KesKey = AsKesKey
data AsType VrfKey Source #
Instance details Defined in Cardano.Api.Key.Internal.Praos data AsType VrfKey = AsVrfKey
data AsType PlutusScriptV1 Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType PlutusScriptV1 = AsPlutusScriptV1
data AsType PlutusScriptV2 Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType PlutusScriptV2 = AsPlutusScriptV2
data AsType PlutusScriptV3 Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType PlutusScriptV3 = AsPlutusScriptV3
data AsType ScriptHash Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType ScriptHash = AsScriptHash
data AsType ScriptInAnyLang Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType ScriptInAnyLang = AsScriptInAnyLang
data AsType SimpleScript' Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType SimpleScript' = AsSimpleScript
data AsType HashableScriptData Source #
Instance details Defined in Cardano.Api.Plutus.Internal.ScriptData data AsType HashableScriptData = AsHashableScriptData
data AsType ScriptData Source #
Instance details Defined in Cardano.Api.Plutus.Internal.ScriptData data AsType ScriptData = AsScriptData
data AsType PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters data AsType PraosNonce = AsPraosNonce
data AsType UpdateProposal Source #
Instance details Defined in Cardano.Api.ProtocolParameters data AsType UpdateProposal = AsUpdateProposal
data AsType EraHistory Source #
Instance details Defined in Cardano.Api.Query.Internal.Type.QueryInMode data AsType EraHistory = AsEraHistory
data AsType TextEnvelope Source #
Instance details Defined in Cardano.Api.Serialise.TextEnvelope.Internal data AsType TextEnvelope = AsTextEnvelope
data AsType TxId Source #
Instance details Defined in Cardano.Api.Tx.Internal.TxIn data AsType TxId = AsTxId
data AsType TxMetadata Source #
Instance details Defined in Cardano.Api.Tx.Internal.TxMetadata data AsType TxMetadata = AsTxMetadata
data AsType AssetName Source #
Instance details Defined in Cardano.Api.Value.Internal data AsType AssetName = AsAssetName
data AsType PolicyId Source #
Instance details Defined in Cardano.Api.Value.Internal data AsType PolicyId = AsPolicyId
data AsType GovActionId Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType GovActionId = AsGovActionId
data AsType Term Source #
Instance details Defined in Cardano.Api.Serialise.Cbor.Canonical data AsType Term = AsTerm
data AsType (Address addrtype) Source #
Instance details Defined in Cardano.Api.Address data AsType (Address addrtype) = AsAddress (AsType addrtype)
data AsType (AddressInEra era) Source #
Instance details Defined in Cardano.Api.Address data AsType (AddressInEra era) = AsAddressInEra (AsType era)
data AsType (Certificate era) Source #
Instance details Defined in Cardano.Api.Certificate.Internal data AsType (Certificate era) = AsCertificate
data AsType (Proposal era) Source #
Instance details Defined in Cardano.Api.Governance.Internal.Action.ProposalProcedure data AsType (Proposal era) = AsProposal
data AsType (VotingProcedure era) Source #
Instance details Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure data AsType (VotingProcedure era) = AsVote
data AsType (VotingProcedures era) Source #
Instance details Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure data AsType (VotingProcedures era) = AsVotingProcedures
data AsType (Hash a) Source #
Instance details Defined in Cardano.Api.Hash data AsType (Hash a) = AsHash (AsType a)
data AsType (SigningKey a) Source #
Instance details Defined in Cardano.Api.Key.Internal.Class data AsType (SigningKey a) = AsSigningKey (AsType a)
data AsType (VerificationKey a) Source #
Instance details Defined in Cardano.Api.Key.Internal.Class data AsType (VerificationKey a) = AsVerificationKey (AsType a)
data AsType (PlutusScript lang) Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)
data AsType (Script lang) Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (Script lang) = AsScript (AsType lang)
data AsType (ScriptInEra era) Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (ScriptInEra era) = AsScriptInEra (AsType era)
data AsType (KeyWitness era) Source #
Instance details Defined in Cardano.Api.Tx.Internal.Sign data AsType (KeyWitness era) = AsKeyWitness (AsType era)
data AsType (Tx era) Source #
Instance details Defined in Cardano.Api.Tx.Internal.Sign data AsType (Tx era) = AsTx (AsType era)
data AsType (TxBody era) Source #
Instance details Defined in Cardano.Api.Tx.Internal.Sign data AsType (TxBody era) = AsTxBody (AsType era)
data AsType (Credential 'ColdCommitteeRole) Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType (Credential 'ColdCommitteeRole) = AsColdCommitteeCredential
data AsType (Credential 'DRepRole) Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType (Credential 'DRepRole) = AsDrepCredential
data AsType (Credential 'HotCommitteeRole) Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType (Credential 'HotCommitteeRole) = AsHotCommitteeCredential
data AsType (PlutusScriptInEra era lang) Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (PlutusScriptInEra era lang) = AsPlutusScriptInEra (AsType lang)

createAnchor :: Url -> ByteString -> Anchor Source #

createGovernanceActionId :: TxId -> Word16 -> GovActionId Source #

createProposalProcedure Source #

Arguments

:: ShelleyBasedEra era
-> Network
-> Coin	Deposit
-> StakeCredential	Credential to return the deposit to.
-> GovernanceAction era
-> Anchor
-> Proposal era

fromGovernanceAction :: GovAction (ShelleyLedgerEra era) -> GovernanceAction era Source #

fromProposalProcedure :: ShelleyBasedEra era -> Proposal era -> (Coin, StakeCredential, GovernanceAction era) Source #

getAnchorDataFromGovernanceAction :: GovAction (ShelleyLedgerEra era) -> Maybe Anchor Source #

Get anchor data url and hash from a governance action. A return value of Nothing means that the governance action does not contain anchor data.

proposalTypeEquality :: (Typeable eraA, Typeable eraB) => ProposalProcedure (ShelleyLedgerEra eraA) -> ProposalProcedure (ShelleyLedgerEra eraB) -> Maybe (eraA :~: eraB) Source #

toGovernanceAction :: ShelleyBasedEra era -> GovernanceAction era -> GovAction (ShelleyLedgerEra era) Source #

data AnyGovernanceAction Source #

Constructors

AnyGovernanceAction (GovAction era)

Voting Procedure

data Vote Source #

Constructors

No
Yes
Abstain

Instances

Instances details

Show Vote Source #
Instance details Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure Methods showsPrec :: Int -> Vote -> ShowS Source # show :: Vote -> String Source # showList :: [Vote] -> ShowS Source #
Eq Vote Source #
Instance details Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure Methods (==) :: Vote -> Vote -> Bool Source # (/=) :: Vote -> Vote -> Bool Source #

newtype VotingProcedure era Source #

Constructors

VotingProcedure
Fields unVotingProcedure :: VotingProcedure (ShelleyLedgerEra era)

Instances

Instances details

Show (VotingProcedure era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

Methods

showsPrec :: Int -> VotingProcedure era -> ShowS Source #

show :: VotingProcedure era -> String Source #

showList :: [VotingProcedure era] -> ShowS Source #

HasTypeProxy era => HasTypeProxy (VotingProcedure era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

Associated Types

data AsType (VotingProcedure era)
Instance details Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure data AsType (VotingProcedure era) = AsVote

Methods

proxyToAsType :: Proxy (VotingProcedure era) -> AsType (VotingProcedure era) Source #

IsShelleyBasedEra era => SerialiseAsCBOR (VotingProcedure era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

Methods

serialiseToCBOR :: VotingProcedure era -> ByteString Source #

deserialiseFromCBOR :: AsType (VotingProcedure era) -> ByteString -> Either DecoderError (VotingProcedure era) Source #

IsShelleyBasedEra era => HasTextEnvelope (VotingProcedure era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

Methods

textEnvelopeType :: AsType (VotingProcedure era) -> TextEnvelopeType Source #

textEnvelopeDefaultDescr :: VotingProcedure era -> TextEnvelopeDescr Source #

IsShelleyBasedEra era => FromCBOR (VotingProcedure era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

Methods

fromCBOR :: Decoder s (VotingProcedure era) Source #

label :: Proxy (VotingProcedure era) -> Text Source #

IsShelleyBasedEra era => ToCBOR (VotingProcedure era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

Methods

toCBOR :: VotingProcedure era -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VotingProcedure era) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VotingProcedure era] -> Size Source #

Eq (VotingProcedure era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

Methods

(==) :: VotingProcedure era -> VotingProcedure era -> Bool Source #

(/=) :: VotingProcedure era -> VotingProcedure era -> Bool Source #

data AsType (VotingProcedure era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

data AsType (VotingProcedure era) = AsVote

newtype VotingProcedures era Source #

Constructors

VotingProcedures
Fields unVotingProcedures :: VotingProcedures (ShelleyLedgerEra era)

Instances

Instances details

Generic (VotingProcedures era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

Associated Types

type Rep (VotingProcedures era)

Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

type Rep (VotingProcedures era) = D1 ('MetaData "VotingProcedures" "Cardano.Api.Governance.Internal.Action.VotingProcedure" "cardano-api-10.17.0.0-inplace" 'True) (C1 ('MetaCons "VotingProcedures" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVotingProcedures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VotingProcedures (ShelleyLedgerEra era)))))

Methods

from :: VotingProcedures era -> Rep (VotingProcedures era) x Source #

to :: Rep (VotingProcedures era) x -> VotingProcedures era Source #

Show (VotingProcedures era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

Methods

showsPrec :: Int -> VotingProcedures era -> ShowS Source #

show :: VotingProcedures era -> String Source #

showList :: [VotingProcedures era] -> ShowS Source #

HasTypeProxy era => HasTypeProxy (VotingProcedures era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

Associated Types

data AsType (VotingProcedures era)
Instance details Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure data AsType (VotingProcedures era) = AsVotingProcedures

Methods

proxyToAsType :: Proxy (VotingProcedures era) -> AsType (VotingProcedures era) Source #

IsShelleyBasedEra era => SerialiseAsCBOR (VotingProcedures era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

Methods

serialiseToCBOR :: VotingProcedures era -> ByteString Source #

deserialiseFromCBOR :: AsType (VotingProcedures era) -> ByteString -> Either DecoderError (VotingProcedures era) Source #

IsShelleyBasedEra era => HasTextEnvelope (VotingProcedures era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

Methods

textEnvelopeType :: AsType (VotingProcedures era) -> TextEnvelopeType Source #

textEnvelopeDefaultDescr :: VotingProcedures era -> TextEnvelopeDescr Source #

IsShelleyBasedEra era => FromCBOR (VotingProcedures era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

Methods

fromCBOR :: Decoder s (VotingProcedures era) Source #

label :: Proxy (VotingProcedures era) -> Text Source #

IsShelleyBasedEra era => ToCBOR (VotingProcedures era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

Methods

toCBOR :: VotingProcedures era -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (VotingProcedures era) -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [VotingProcedures era] -> Size Source #

Eq (VotingProcedures era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

Methods

(==) :: VotingProcedures era -> VotingProcedures era -> Bool Source #

(/=) :: VotingProcedures era -> VotingProcedures era -> Bool Source #

type Rep (VotingProcedures era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

type Rep (VotingProcedures era) = D1 ('MetaData "VotingProcedures" "Cardano.Api.Governance.Internal.Action.VotingProcedure" "cardano-api-10.17.0.0-inplace" 'True) (C1 ('MetaCons "VotingProcedures" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVotingProcedures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VotingProcedures (ShelleyLedgerEra era)))))

data AsType (VotingProcedures era) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

data AsType (VotingProcedures era) = AsVotingProcedures

data family AsType t Source #

A family of singleton types used in this API to indicate which type to use where it would otherwise be ambiguous or merely unclear.

Values of this type are passed to deserialisation functions for example.

Instances

Instances details

data AsType AddressAny Source #
Instance details Defined in Cardano.Api.Address data AsType AddressAny = AsAddressAny
data AsType ByronAddr Source #
Instance details Defined in Cardano.Api.Address data AsType ByronAddr = AsByronAddr
data AsType ShelleyAddr Source #
Instance details Defined in Cardano.Api.Address data AsType ShelleyAddr = AsShelleyAddr
data AsType StakeAddress Source #
Instance details Defined in Cardano.Api.Address data AsType StakeAddress = AsStakeAddress
data AsType BlockHeader Source #
Instance details Defined in Cardano.Api.Block data AsType BlockHeader = AsBlockHeader
data AsType ByronKey Source #
Instance details Defined in Cardano.Api.Byron.Internal.Key data AsType ByronKey = AsByronKey
data AsType ByronKeyLegacy Source #
Instance details Defined in Cardano.Api.Byron.Internal.Key data AsType ByronKeyLegacy = AsByronKeyLegacy
data AsType ByronUpdateProposal Source #
Instance details Defined in Cardano.Api.Byron.Internal.Proposal data AsType ByronUpdateProposal = AsByronUpdateProposal
data AsType ByronVote Source #
Instance details Defined in Cardano.Api.Byron.Internal.Proposal data AsType ByronVote = AsByronVote
data AsType DRepMetadata Source #
Instance details Defined in Cardano.Api.Certificate.Internal.DRepMetadata data AsType DRepMetadata = AsDRepMetadata
data AsType OperationalCertificate Source #
Instance details Defined in Cardano.Api.Certificate.Internal.OperationalCertificate data AsType OperationalCertificate = AsOperationalCertificate
data AsType OperationalCertificateIssueCounter Source #
Instance details Defined in Cardano.Api.Certificate.Internal.OperationalCertificate data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter
data AsType StakePoolMetadata Source #
Instance details Defined in Cardano.Api.Certificate.Internal.StakePoolMetadata data AsType StakePoolMetadata = AsStakePoolMetadata
data AsType AllegraEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType AllegraEra = AsAllegraEra
data AsType AlonzoEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType AlonzoEra = AsAlonzoEra
data AsType BabbageEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType BabbageEra = AsBabbageEra
data AsType ByronEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType ByronEra = AsByronEra
data AsType ConwayEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType ConwayEra = AsConwayEra
data AsType MaryEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType MaryEra = AsMaryEra
data AsType ShelleyEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType ShelleyEra = AsShelleyEra
data AsType GovernancePoll Source #
Instance details Defined in Cardano.Api.Governance.Internal.Poll data AsType GovernancePoll = AsGovernancePoll
data AsType GovernancePollAnswer Source #
Instance details Defined in Cardano.Api.Governance.Internal.Poll data AsType GovernancePollAnswer = AsGovernancePollAnswer
data AsType CommitteeColdExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeColdExtendedKey = AsCommitteeColdExtendedKey
data AsType CommitteeColdKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeColdKey = AsCommitteeColdKey
data AsType CommitteeHotExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeHotExtendedKey = AsCommitteeHotExtendedKey
data AsType CommitteeHotKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeHotKey = AsCommitteeHotKey
data AsType DRepExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType DRepExtendedKey = AsDRepExtendedKey
data AsType DRepKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType DRepKey = AsDRepKey
data AsType GenesisDelegateExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey
data AsType GenesisDelegateKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisDelegateKey = AsGenesisDelegateKey
data AsType GenesisExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisExtendedKey = AsGenesisExtendedKey
data AsType GenesisKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisKey = AsGenesisKey
data AsType GenesisUTxOKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisUTxOKey = AsGenesisUTxOKey
data AsType PaymentExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType PaymentExtendedKey = AsPaymentExtendedKey
data AsType PaymentKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType PaymentKey = AsPaymentKey
data AsType StakeExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType StakeExtendedKey = AsStakeExtendedKey
data AsType StakeKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType StakeKey = AsStakeKey
data AsType StakePoolExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType StakePoolExtendedKey = AsStakePoolExtendedKey
data AsType StakePoolKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType StakePoolKey = AsStakePoolKey
data AsType KesKey Source #
Instance details Defined in Cardano.Api.Key.Internal.Praos data AsType KesKey = AsKesKey
data AsType VrfKey Source #
Instance details Defined in Cardano.Api.Key.Internal.Praos data AsType VrfKey = AsVrfKey
data AsType PlutusScriptV1 Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType PlutusScriptV1 = AsPlutusScriptV1
data AsType PlutusScriptV2 Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType PlutusScriptV2 = AsPlutusScriptV2
data AsType PlutusScriptV3 Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType PlutusScriptV3 = AsPlutusScriptV3
data AsType ScriptHash Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType ScriptHash = AsScriptHash
data AsType ScriptInAnyLang Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType ScriptInAnyLang = AsScriptInAnyLang
data AsType SimpleScript' Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType SimpleScript' = AsSimpleScript
data AsType HashableScriptData Source #
Instance details Defined in Cardano.Api.Plutus.Internal.ScriptData data AsType HashableScriptData = AsHashableScriptData
data AsType ScriptData Source #
Instance details Defined in Cardano.Api.Plutus.Internal.ScriptData data AsType ScriptData = AsScriptData
data AsType PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters data AsType PraosNonce = AsPraosNonce
data AsType UpdateProposal Source #
Instance details Defined in Cardano.Api.ProtocolParameters data AsType UpdateProposal = AsUpdateProposal
data AsType EraHistory Source #
Instance details Defined in Cardano.Api.Query.Internal.Type.QueryInMode data AsType EraHistory = AsEraHistory
data AsType TextEnvelope Source #
Instance details Defined in Cardano.Api.Serialise.TextEnvelope.Internal data AsType TextEnvelope = AsTextEnvelope
data AsType TxId Source #
Instance details Defined in Cardano.Api.Tx.Internal.TxIn data AsType TxId = AsTxId
data AsType TxMetadata Source #
Instance details Defined in Cardano.Api.Tx.Internal.TxMetadata data AsType TxMetadata = AsTxMetadata
data AsType AssetName Source #
Instance details Defined in Cardano.Api.Value.Internal data AsType AssetName = AsAssetName
data AsType PolicyId Source #
Instance details Defined in Cardano.Api.Value.Internal data AsType PolicyId = AsPolicyId
data AsType GovActionId Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType GovActionId = AsGovActionId
data AsType Term Source #
Instance details Defined in Cardano.Api.Serialise.Cbor.Canonical data AsType Term = AsTerm
data AsType (Address addrtype) Source #
Instance details Defined in Cardano.Api.Address data AsType (Address addrtype) = AsAddress (AsType addrtype)
data AsType (AddressInEra era) Source #
Instance details Defined in Cardano.Api.Address data AsType (AddressInEra era) = AsAddressInEra (AsType era)
data AsType (Certificate era) Source #
Instance details Defined in Cardano.Api.Certificate.Internal data AsType (Certificate era) = AsCertificate
data AsType (Proposal era) Source #
Instance details Defined in Cardano.Api.Governance.Internal.Action.ProposalProcedure data AsType (Proposal era) = AsProposal
data AsType (VotingProcedure era) Source #
Instance details Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure data AsType (VotingProcedure era) = AsVote
data AsType (VotingProcedures era) Source #
Instance details Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure data AsType (VotingProcedures era) = AsVotingProcedures
data AsType (Hash a) Source #
Instance details Defined in Cardano.Api.Hash data AsType (Hash a) = AsHash (AsType a)
data AsType (SigningKey a) Source #
Instance details Defined in Cardano.Api.Key.Internal.Class data AsType (SigningKey a) = AsSigningKey (AsType a)
data AsType (VerificationKey a) Source #
Instance details Defined in Cardano.Api.Key.Internal.Class data AsType (VerificationKey a) = AsVerificationKey (AsType a)
data AsType (PlutusScript lang) Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)
data AsType (Script lang) Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (Script lang) = AsScript (AsType lang)
data AsType (ScriptInEra era) Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (ScriptInEra era) = AsScriptInEra (AsType era)
data AsType (KeyWitness era) Source #
Instance details Defined in Cardano.Api.Tx.Internal.Sign data AsType (KeyWitness era) = AsKeyWitness (AsType era)
data AsType (Tx era) Source #
Instance details Defined in Cardano.Api.Tx.Internal.Sign data AsType (Tx era) = AsTx (AsType era)
data AsType (TxBody era) Source #
Instance details Defined in Cardano.Api.Tx.Internal.Sign data AsType (TxBody era) = AsTxBody (AsType era)
data AsType (Credential 'ColdCommitteeRole) Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType (Credential 'ColdCommitteeRole) = AsColdCommitteeCredential
data AsType (Credential 'DRepRole) Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType (Credential 'DRepRole) = AsDrepCredential
data AsType (Credential 'HotCommitteeRole) Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType (Credential 'HotCommitteeRole) = AsHotCommitteeCredential
data AsType (PlutusScriptInEra era lang) Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (PlutusScriptInEra era lang) = AsPlutusScriptInEra (AsType lang)

newtype VotesMergingConflict era Source #

A voter, and the conflicting votes of this voter (i.e. votes with the same governance action identifier)

Constructors

VotesMergingConflict (Voter, [GovActionId])

Instances

Instances details

Show (VotesMergingConflict era) Source #
Instance details Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure Methods showsPrec :: Int -> VotesMergingConflict era -> ShowS Source # show :: VotesMergingConflict era -> String Source # showList :: [VotesMergingConflict era] -> ShowS Source #

createVotingProcedure Source #

Arguments

:: ConwayEraOnwards era
-> Vote
-> Maybe (Url, Text)	Anchor
-> VotingProcedure era

emptyVotingProcedures :: VotingProcedures era Source #

mergeVotingProcedures Source #

Arguments

:: VotingProcedures era	Votes to merge
-> VotingProcedures era	Votes to merge
-> Either (VotesMergingConflict era) (VotingProcedures era)	Either the conflict found, or the merged votes

mergeVotingProcedures vote1 vote2 merges vote1 and vote2 into a single vote, or fails if the votes are incompatible.

singletonVotingProcedures :: ConwayEraOnwards era -> Voter -> GovActionId -> VotingProcedure (ShelleyLedgerEra era) -> VotingProcedures era Source #

toVote :: Vote -> Vote Source #

Metadata

DRep off-chain metadata

This module implements validation of metadata for DRep registration and update actions, as specified bt the CIP-119 (https:/cips.cardano.orgcip/CIP-0119).

The constraints implemented in this module can be tested against a JSON ByteString by using the function validateGovActionAnchorData in Cardano.Api.Governance.Internal.Metadata.Validation with the parameter DrepRegistrationMetadata.

data CIP119 Source #

Constructors

DrepRegistrationMetadata

Instances

Instances details

FromJSON (Body CIP119) Source #

Instance details

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

Methods

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

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

omittedField :: Maybe (Body CIP119) #

FromJSON (GovActionMetadata CIP119) Source #

Instance details

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

Methods

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

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

omittedField :: Maybe (GovActionMetadata CIP119) #

FromJSON (HashAlgorithm CIP119) Source #

Instance details

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

Methods

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

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

omittedField :: Maybe (HashAlgorithm CIP119) #

Generic (Body CIP119) Source #

Instance details

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

Associated Types

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

Methods

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

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

Generic (HashAlgorithm CIP119) Source #

Instance details

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

Associated Types

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

Show (Body CIP119) Source #

Instance details

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

Methods

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

show :: Body CIP119 -> String Source #

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

Show (HashAlgorithm CIP119) Source #

Instance details

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

Methods

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

show :: HashAlgorithm CIP119 -> String Source #

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

data Authors CIP119 Source #

Instance details

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

data Authors CIP119 = Absent

data Body CIP119 Source #

Instance details

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

data Body CIP119 = Body {

}

data HashAlgorithm CIP119 Source #

Instance details

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

data HashAlgorithm CIP119 = Blake2b256

type Rep (Body CIP119) Source #

Instance details

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

type Rep (Body CIP119)

type Rep (HashAlgorithm CIP119) Source #

Instance details

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

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

Government action metadata

This module implements validation of metadata for Government Actions in general, as specified bt the CIP-108 (https:/cips.cardano.orgcip/CIP-0108), except for Government Actions covered by other CIPs.

The constraints implemented in this module can be tested against a JSON ByteString by using the function validateGovActionAnchorData in Cardano.Api.Governance.Internal.Metadata.Validation with the parameter BaseGovActionMetadata.

data CIP108 Source #

Constructors

BaseGovActionMetadata

Instances

Instances details

FromJSON (Authors CIP108) Source #

Instance details

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

Methods

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

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

omittedField :: Maybe (Authors CIP108) #

FromJSON (Body CIP108) Source #

Instance details

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

Methods

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

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

omittedField :: Maybe (Body CIP108) #

FromJSON (GovActionMetadata CIP108) Source #

Instance details

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

Methods

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

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

omittedField :: Maybe (GovActionMetadata CIP108) #

FromJSON (HashAlgorithm CIP108) Source #

Instance details

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

Methods

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

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

omittedField :: Maybe (HashAlgorithm CIP108) #

Generic (Authors CIP108) Source #

Instance details

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

Associated Types

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

Methods

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

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

Generic (Body CIP108) Source #

Instance details

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

Associated Types

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

Methods

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

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

Generic (HashAlgorithm CIP108) Source #

Instance details

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

Associated Types

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

Instance details

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

Methods

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

show :: Authors CIP108 -> String Source #

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

Show (Body CIP108) Source #

Instance details

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

Methods

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

show :: Body CIP108 -> String Source #

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

Show (HashAlgorithm CIP108) Source #

Instance details

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

Methods

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

show :: HashAlgorithm CIP108 -> String Source #

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

newtype Authors CIP108 Source #

Instance details

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

newtype Authors CIP108 = Authors [Author]

data Body CIP108 Source #

Instance details

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

data Body CIP108 = Body {

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

}

data HashAlgorithm CIP108 Source #

Instance details

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

data HashAlgorithm CIP108 = Blake2b256

type Rep (Authors CIP108) Source #

Instance details

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

type Rep (Authors CIP108)

type Rep (Body CIP108) Source #

Instance details

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

type Rep (Body CIP108)

type Rep (HashAlgorithm CIP108) Source #

Instance details

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

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

Metadata anchor

newtype AnchorUrl Source #

The URL to build the anchor to pass to DRep registration certificate

Constructors

AnchorUrl
Fields unAnchorUrl :: Url

Instances

Instances details

Show AnchorUrl Source #
Instance details Defined in Cardano.Api.Governance.Internal.Metadata.Anchor Methods showsPrec :: Int -> AnchorUrl -> ShowS Source # show :: AnchorUrl -> String Source # showList :: [AnchorUrl] -> ShowS Source #
Eq AnchorUrl Source #
Instance details Defined in Cardano.Api.Governance.Internal.Metadata.Anchor Methods (==) :: AnchorUrl -> AnchorUrl -> Bool Source # (/=) :: AnchorUrl -> AnchorUrl -> Bool Source #

newtype AnchorDataHash Source #

The hash to build the anchor to pass to DRep registration certificate

Constructors

AnchorDataHash
Fields unAnchorDataHash :: SafeHash AnchorData

Instances

Instances details

Show AnchorDataHash Source #
Instance details Defined in Cardano.Api.Governance.Internal.Metadata.Anchor Methods showsPrec :: Int -> AnchorDataHash -> ShowS Source # show :: AnchorDataHash -> String Source # showList :: [AnchorDataHash] -> ShowS Source #
Eq AnchorDataHash Source #
Instance details Defined in Cardano.Api.Governance.Internal.Metadata.Anchor Methods (==) :: AnchorDataHash -> AnchorDataHash -> Bool Source # (/=) :: AnchorDataHash -> AnchorDataHash -> Bool Source #

Metadata validation

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.Internal.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.Internal.Metadata.GovAction Methods parseJSON :: Value -> Parser (GovActionMetadata CIP108) # parseJSONList :: Value -> Parser [GovActionMetadata CIP108] # omittedField :: Maybe (GovActionMetadata CIP108) #

data family HashAlgorithm cip Source #

Instances

Instances details

FromJSON (HashAlgorithm CIP119) Source #

Instance details

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

Associated Types

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

Associated Types

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

data HashAlgorithm CIP119 = Blake2b256

data HashAlgorithm CIP108 Source #

Instance details

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

data HashAlgorithm CIP108 = Blake2b256

type Rep (HashAlgorithm CIP119) Source #

Instance details

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

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

type Rep (HashAlgorithm CIP108) Source #

Instance details

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

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

data family Body cip Source #

Instances

Instances details

FromJSON (Body CIP119) Source #

Instance details

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

Associated Types

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

Associated Types

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

data Body CIP119 = Body {

}

data Body CIP108 Source #

Instance details

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

type Rep (Body CIP119)

type Rep (Body CIP108) Source #

Instance details

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

type Rep (Body CIP108)

data family Authors cip Source #

Instances

Instances details

FromJSON (Authors CIP108) Source #

Instance details

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

Associated Types

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

data Authors CIP119 = Absent

newtype Authors CIP108 Source #

Instance details

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

newtype Authors CIP108 = Authors [Author]

type Rep (Authors CIP108) Source #

Instance details

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

type Rep (Authors CIP108)

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

Poll

Types

data GovernancePoll Source #

A governance poll declaration meant to be created by one of the genesis delegates and directed towards SPOs.

A poll is made of a question and some pre-defined answers to chose from. There's an optional nonce used to make poll unique (as things down the line are based on their hashes) if the same question/answers need to be asked multiple times.

Constructors

GovernancePoll
Fields govPollQuestion :: Text A question as a human readable text; the text can be arbitrarily large. govPollAnswers :: [Text] Answers as human readable texts; their positions are used for answering. govPollNonce :: Maybe Word An optional nonce to make the poll unique if needs be.

Instances

Instances details

Show GovernancePoll Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Methods

showsPrec :: Int -> GovernancePoll -> ShowS Source #

show :: GovernancePoll -> String Source #

showList :: [GovernancePoll] -> ShowS Source #

HasTypeProxy GovernancePoll Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Associated Types

data AsType GovernancePoll
Instance details Defined in Cardano.Api.Governance.Internal.Poll data AsType GovernancePoll = AsGovernancePoll

Methods

proxyToAsType :: Proxy GovernancePoll -> AsType GovernancePoll Source #

SerialiseAsCBOR GovernancePoll Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Methods

serialiseToCBOR :: GovernancePoll -> ByteString Source #

deserialiseFromCBOR :: AsType GovernancePoll -> ByteString -> Either DecoderError GovernancePoll Source #

HasTextEnvelope GovernancePoll Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Methods

textEnvelopeType :: AsType GovernancePoll -> TextEnvelopeType Source #

textEnvelopeDefaultDescr :: GovernancePoll -> TextEnvelopeDescr Source #

Eq GovernancePoll Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Methods

(==) :: GovernancePoll -> GovernancePoll -> Bool Source #

(/=) :: GovernancePoll -> GovernancePoll -> Bool Source #

Show (Hash GovernancePoll) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Methods

showsPrec :: Int -> Hash GovernancePoll -> ShowS Source #

show :: Hash GovernancePoll -> String Source #

showList :: [Hash GovernancePoll] -> ShowS Source #

SerialiseAsRawBytes (Hash GovernancePoll) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Methods

serialiseToRawBytes :: Hash GovernancePoll -> ByteString Source #

deserialiseFromRawBytes :: AsType (Hash GovernancePoll) -> ByteString -> Either SerialiseAsRawBytesError (Hash GovernancePoll) Source #

Eq (Hash GovernancePoll) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Methods

(==) :: Hash GovernancePoll -> Hash GovernancePoll -> Bool Source #

(/=) :: Hash GovernancePoll -> Hash GovernancePoll -> Bool Source #

Ord (Hash GovernancePoll) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Methods

compare :: Hash GovernancePoll -> Hash GovernancePoll -> Ordering Source #

(<) :: Hash GovernancePoll -> Hash GovernancePoll -> Bool Source #

(<=) :: Hash GovernancePoll -> Hash GovernancePoll -> Bool Source #

(>) :: Hash GovernancePoll -> Hash GovernancePoll -> Bool Source #

(>=) :: Hash GovernancePoll -> Hash GovernancePoll -> Bool Source #

max :: Hash GovernancePoll -> Hash GovernancePoll -> Hash GovernancePoll Source #

min :: Hash GovernancePoll -> Hash GovernancePoll -> Hash GovernancePoll Source #

Pretty (Hash GovernancePoll) Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Methods

pretty :: Hash GovernancePoll -> Doc ann #

prettyList :: [Hash GovernancePoll] -> Doc ann #

data AsType GovernancePoll Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Poll

data AsType GovernancePoll = AsGovernancePoll

newtype Hash GovernancePoll Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Poll

newtype Hash GovernancePoll = GovernancePollHash {

unGovernancePollHash :: Hash HASH GovernancePoll

}

data family AsType t Source #

A family of singleton types used in this API to indicate which type to use where it would otherwise be ambiguous or merely unclear.

Values of this type are passed to deserialisation functions for example.

Instances

Instances details

data AsType AddressAny Source #
Instance details Defined in Cardano.Api.Address data AsType AddressAny = AsAddressAny
data AsType ByronAddr Source #
Instance details Defined in Cardano.Api.Address data AsType ByronAddr = AsByronAddr
data AsType ShelleyAddr Source #
Instance details Defined in Cardano.Api.Address data AsType ShelleyAddr = AsShelleyAddr
data AsType StakeAddress Source #
Instance details Defined in Cardano.Api.Address data AsType StakeAddress = AsStakeAddress
data AsType BlockHeader Source #
Instance details Defined in Cardano.Api.Block data AsType BlockHeader = AsBlockHeader
data AsType ByronKey Source #
Instance details Defined in Cardano.Api.Byron.Internal.Key data AsType ByronKey = AsByronKey
data AsType ByronKeyLegacy Source #
Instance details Defined in Cardano.Api.Byron.Internal.Key data AsType ByronKeyLegacy = AsByronKeyLegacy
data AsType ByronUpdateProposal Source #
Instance details Defined in Cardano.Api.Byron.Internal.Proposal data AsType ByronUpdateProposal = AsByronUpdateProposal
data AsType ByronVote Source #
Instance details Defined in Cardano.Api.Byron.Internal.Proposal data AsType ByronVote = AsByronVote
data AsType DRepMetadata Source #
Instance details Defined in Cardano.Api.Certificate.Internal.DRepMetadata data AsType DRepMetadata = AsDRepMetadata
data AsType OperationalCertificate Source #
Instance details Defined in Cardano.Api.Certificate.Internal.OperationalCertificate data AsType OperationalCertificate = AsOperationalCertificate
data AsType OperationalCertificateIssueCounter Source #
Instance details Defined in Cardano.Api.Certificate.Internal.OperationalCertificate data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter
data AsType StakePoolMetadata Source #
Instance details Defined in Cardano.Api.Certificate.Internal.StakePoolMetadata data AsType StakePoolMetadata = AsStakePoolMetadata
data AsType AllegraEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType AllegraEra = AsAllegraEra
data AsType AlonzoEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType AlonzoEra = AsAlonzoEra
data AsType BabbageEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType BabbageEra = AsBabbageEra
data AsType ByronEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType ByronEra = AsByronEra
data AsType ConwayEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType ConwayEra = AsConwayEra
data AsType MaryEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType MaryEra = AsMaryEra
data AsType ShelleyEra Source #
Instance details Defined in Cardano.Api.Era.Internal.Core data AsType ShelleyEra = AsShelleyEra
data AsType GovernancePoll Source #
Instance details Defined in Cardano.Api.Governance.Internal.Poll data AsType GovernancePoll = AsGovernancePoll
data AsType GovernancePollAnswer Source #
Instance details Defined in Cardano.Api.Governance.Internal.Poll data AsType GovernancePollAnswer = AsGovernancePollAnswer
data AsType CommitteeColdExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeColdExtendedKey = AsCommitteeColdExtendedKey
data AsType CommitteeColdKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeColdKey = AsCommitteeColdKey
data AsType CommitteeHotExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeHotExtendedKey = AsCommitteeHotExtendedKey
data AsType CommitteeHotKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType CommitteeHotKey = AsCommitteeHotKey
data AsType DRepExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType DRepExtendedKey = AsDRepExtendedKey
data AsType DRepKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType DRepKey = AsDRepKey
data AsType GenesisDelegateExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey
data AsType GenesisDelegateKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisDelegateKey = AsGenesisDelegateKey
data AsType GenesisExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisExtendedKey = AsGenesisExtendedKey
data AsType GenesisKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisKey = AsGenesisKey
data AsType GenesisUTxOKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType GenesisUTxOKey = AsGenesisUTxOKey
data AsType PaymentExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType PaymentExtendedKey = AsPaymentExtendedKey
data AsType PaymentKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType PaymentKey = AsPaymentKey
data AsType StakeExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType StakeExtendedKey = AsStakeExtendedKey
data AsType StakeKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType StakeKey = AsStakeKey
data AsType StakePoolExtendedKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType StakePoolExtendedKey = AsStakePoolExtendedKey
data AsType StakePoolKey Source #
Instance details Defined in Cardano.Api.Key.Internal data AsType StakePoolKey = AsStakePoolKey
data AsType KesKey Source #
Instance details Defined in Cardano.Api.Key.Internal.Praos data AsType KesKey = AsKesKey
data AsType VrfKey Source #
Instance details Defined in Cardano.Api.Key.Internal.Praos data AsType VrfKey = AsVrfKey
data AsType PlutusScriptV1 Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType PlutusScriptV1 = AsPlutusScriptV1
data AsType PlutusScriptV2 Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType PlutusScriptV2 = AsPlutusScriptV2
data AsType PlutusScriptV3 Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType PlutusScriptV3 = AsPlutusScriptV3
data AsType ScriptHash Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType ScriptHash = AsScriptHash
data AsType ScriptInAnyLang Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType ScriptInAnyLang = AsScriptInAnyLang
data AsType SimpleScript' Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType SimpleScript' = AsSimpleScript
data AsType HashableScriptData Source #
Instance details Defined in Cardano.Api.Plutus.Internal.ScriptData data AsType HashableScriptData = AsHashableScriptData
data AsType ScriptData Source #
Instance details Defined in Cardano.Api.Plutus.Internal.ScriptData data AsType ScriptData = AsScriptData
data AsType PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters data AsType PraosNonce = AsPraosNonce
data AsType UpdateProposal Source #
Instance details Defined in Cardano.Api.ProtocolParameters data AsType UpdateProposal = AsUpdateProposal
data AsType EraHistory Source #
Instance details Defined in Cardano.Api.Query.Internal.Type.QueryInMode data AsType EraHistory = AsEraHistory
data AsType TextEnvelope Source #
Instance details Defined in Cardano.Api.Serialise.TextEnvelope.Internal data AsType TextEnvelope = AsTextEnvelope
data AsType TxId Source #
Instance details Defined in Cardano.Api.Tx.Internal.TxIn data AsType TxId = AsTxId
data AsType TxMetadata Source #
Instance details Defined in Cardano.Api.Tx.Internal.TxMetadata data AsType TxMetadata = AsTxMetadata
data AsType AssetName Source #
Instance details Defined in Cardano.Api.Value.Internal data AsType AssetName = AsAssetName
data AsType PolicyId Source #
Instance details Defined in Cardano.Api.Value.Internal data AsType PolicyId = AsPolicyId
data AsType GovActionId Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType GovActionId = AsGovActionId
data AsType Term Source #
Instance details Defined in Cardano.Api.Serialise.Cbor.Canonical data AsType Term = AsTerm
data AsType (Address addrtype) Source #
Instance details Defined in Cardano.Api.Address data AsType (Address addrtype) = AsAddress (AsType addrtype)
data AsType (AddressInEra era) Source #
Instance details Defined in Cardano.Api.Address data AsType (AddressInEra era) = AsAddressInEra (AsType era)
data AsType (Certificate era) Source #
Instance details Defined in Cardano.Api.Certificate.Internal data AsType (Certificate era) = AsCertificate
data AsType (Proposal era) Source #
Instance details Defined in Cardano.Api.Governance.Internal.Action.ProposalProcedure data AsType (Proposal era) = AsProposal
data AsType (VotingProcedure era) Source #
Instance details Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure data AsType (VotingProcedure era) = AsVote
data AsType (VotingProcedures era) Source #
Instance details Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure data AsType (VotingProcedures era) = AsVotingProcedures
data AsType (Hash a) Source #
Instance details Defined in Cardano.Api.Hash data AsType (Hash a) = AsHash (AsType a)
data AsType (SigningKey a) Source #
Instance details Defined in Cardano.Api.Key.Internal.Class data AsType (SigningKey a) = AsSigningKey (AsType a)
data AsType (VerificationKey a) Source #
Instance details Defined in Cardano.Api.Key.Internal.Class data AsType (VerificationKey a) = AsVerificationKey (AsType a)
data AsType (PlutusScript lang) Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)
data AsType (Script lang) Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (Script lang) = AsScript (AsType lang)
data AsType (ScriptInEra era) Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (ScriptInEra era) = AsScriptInEra (AsType era)
data AsType (KeyWitness era) Source #
Instance details Defined in Cardano.Api.Tx.Internal.Sign data AsType (KeyWitness era) = AsKeyWitness (AsType era)
data AsType (Tx era) Source #
Instance details Defined in Cardano.Api.Tx.Internal.Sign data AsType (Tx era) = AsTx (AsType era)
data AsType (TxBody era) Source #
Instance details Defined in Cardano.Api.Tx.Internal.Sign data AsType (TxBody era) = AsTxBody (AsType era)
data AsType (Credential 'ColdCommitteeRole) Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType (Credential 'ColdCommitteeRole) = AsColdCommitteeCredential
data AsType (Credential 'DRepRole) Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType (Credential 'DRepRole) = AsDrepCredential
data AsType (Credential 'HotCommitteeRole) Source #
Instance details Defined in Cardano.Api.Internal.Orphans.Serialisation data AsType (Credential 'HotCommitteeRole) = AsHotCommitteeCredential
data AsType (PlutusScriptInEra era lang) Source #
Instance details Defined in Cardano.Api.Plutus.Internal.Script data AsType (PlutusScriptInEra era lang) = AsPlutusScriptInEra (AsType lang)

data GovernancePollAnswer Source #

An (unauthenticated) answer to a poll from an SPO referring to a poll by hash digest value.

Constructors

GovernancePollAnswer
Fields govAnsPoll :: Hash GovernancePoll The target poll govAnsChoice :: Word The (0-based) index of the chosen answer from that poll

Instances

Instances details

Show GovernancePollAnswer Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Methods

showsPrec :: Int -> GovernancePollAnswer -> ShowS Source #

show :: GovernancePollAnswer -> String Source #

showList :: [GovernancePollAnswer] -> ShowS Source #

HasTypeProxy GovernancePollAnswer Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Associated Types

data AsType GovernancePollAnswer
Instance details Defined in Cardano.Api.Governance.Internal.Poll data AsType GovernancePollAnswer = AsGovernancePollAnswer

Methods

proxyToAsType :: Proxy GovernancePollAnswer -> AsType GovernancePollAnswer Source #

SerialiseAsCBOR GovernancePollAnswer Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Methods

serialiseToCBOR :: GovernancePollAnswer -> ByteString Source #

deserialiseFromCBOR :: AsType GovernancePollAnswer -> ByteString -> Either DecoderError GovernancePollAnswer Source #

Eq GovernancePollAnswer Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Methods

(==) :: GovernancePollAnswer -> GovernancePollAnswer -> Bool Source #

(/=) :: GovernancePollAnswer -> GovernancePollAnswer -> Bool Source #

data AsType GovernancePollAnswer Source #

Instance details

Defined in Cardano.Api.Governance.Internal.Poll

data AsType GovernancePollAnswer = AsGovernancePollAnswer

data family Hash keyrole Source #

Instances

Instances details

FromJSON (Hash BlockHeader) Source #

Instance details

Defined in Cardano.Api.Block

Methods

parseJSON :: Value -> Parser (Hash BlockHeader) #

parseJSONList :: Value -> Parser [Hash BlockHeader] #

omittedField :: Maybe (Hash BlockHeader) #

FromJSON (Hash DRepKey) Source #

Instance details

ErrGovernancePollMismatch GovernancePollMismatchError
ErrGovernancePollNoAnswer
ErrGovernancePollUnauthenticated
ErrGovernancePollMalformedAnswer DecoderError
ErrGovernancePollInvalidAnswer GovernancePollInvalidAnswerError

Show GovernancePollError Source #
Instance details Defined in Cardano.Api.Governance.Internal.Poll Methods showsPrec :: Int -> GovernancePollError -> ShowS Source # show :: GovernancePollError -> String Source # showList :: [GovernancePollError] -> ShowS Source #

Actions

Proposal Procedure

Instances

Instances

Voting Procedure

Instances

Instances

Instances

Instances

Instances

Metadata

DRep off-chain metadata

Instances

Government action metadata

Instances

Metadata anchor

Instances

Instances

Metadata validation

Instances

Instances

Instances

Instances

Poll

Types

Instances

Instances

Instances

Instances

Errors

Instances

Functions