type Rep GYVote
Instance details Defined in GeniusYield.Types.Governance type Rep GYVote = D1 ('MetaData "GYVote" "GeniusYield.Types.Governance" "atlas-cardano-0.14.1-inplace" 'False) (C1 ('MetaCons "Yes" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "No" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Abstain" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: GYVote -> Rep GYVote x #

to :: Rep GYVote x -> GYVote #

Show GYVote #

Instance details

Defined in GeniusYield.Types.Governance

Methods

showsPrec :: Int -> GYVote -> ShowS #

show :: GYVote -> String #

showList :: [GYVote] -> ShowS #

Eq GYVote #

Instance details

Defined in GeniusYield.Types.Governance

Methods

(==) :: GYVote -> GYVote -> Bool #

(/=) :: GYVote -> GYVote -> Bool #

Ord GYVote #

Instance details

Defined in GeniusYield.Types.Governance

Methods

compare :: GYVote -> GYVote -> Ordering #

(<) :: GYVote -> GYVote -> Bool #

(<=) :: GYVote -> GYVote -> Bool #

(>) :: GYVote -> GYVote -> Bool #

(>=) :: GYVote -> GYVote -> Bool #

max :: GYVote -> GYVote -> GYVote #

min :: GYVote -> GYVote -> GYVote #

type Rep GYVote #

Instance details

Defined in GeniusYield.Types.Governance

type Rep GYVote = D1 ('MetaData "GYVote" "GeniusYield.Types.Governance" "atlas-cardano-0.14.1-inplace" 'False) (C1 ('MetaCons "Yes" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "No" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Abstain" 'PrefixI 'False) (U1 :: Type -> Type)))

voteFromLedger :: Vote -> GYVote #

voteToLedger :: GYVote -> Vote #

voteFromPlutus :: Vote -> GYVote #

voteToPlutus :: GYVote -> Vote #

data GYVoter #

Voter.

Constructors

CommitteeVoter !(GYCredential 'GYKeyRoleHotCommittee)
DRepVoter !(GYCredential 'GYKeyRoleDRep)
StakePoolVoter !(GYKeyHash 'GYKeyRoleStakePool)

Instances

Instances details

Show GYVoter #
Instance details Defined in GeniusYield.Types.Governance Methods showsPrec :: Int -> GYVoter -> ShowS # show :: GYVoter -> String # showList :: [GYVoter] -> ShowS #
Eq GYVoter #
Instance details Defined in GeniusYield.Types.Governance Methods (==) :: GYVoter -> GYVoter -> Bool # (/=) :: GYVoter -> GYVoter -> Bool #
Ord GYVoter #
Instance details Defined in GeniusYield.Types.Governance Methods compare :: GYVoter -> GYVoter -> Ordering # (<) :: GYVoter -> GYVoter -> Bool # (<=) :: GYVoter -> GYVoter -> Bool # (>) :: GYVoter -> GYVoter -> Bool # (>=) :: GYVoter -> GYVoter -> Bool # max :: GYVoter -> GYVoter -> GYVoter # min :: GYVoter -> GYVoter -> GYVoter #

voterFromLedger :: Voter -> GYVoter #

voterToLedger :: GYVoter -> Voter #

data GYGovActionId #

Constructors

GYGovActionId
Fields gaidTxId :: !GYTxId gaidIx :: !Word16

Instances

Instances details

FromJSON GYGovActionId #

Instance details

Defined in GeniusYield.Types.Governance

Methods

parseJSON :: Value -> Parser GYGovActionId #

parseJSONList :: Value -> Parser [GYGovActionId] #

omittedField :: Maybe GYGovActionId #

ToJSON GYGovActionId #

Instance details

Defined in GeniusYield.Types.Governance

Methods

toJSON :: GYGovActionId -> Value #

toEncoding :: GYGovActionId -> Encoding #

toJSONList :: [GYGovActionId] -> Value #

toEncodingList :: [GYGovActionId] -> Encoding #

omitField :: GYGovActionId -> Bool #

Generic GYGovActionId #

Instance details

Defined in GeniusYield.Types.Governance

Associated Types

type Rep GYGovActionId

Instance details

Defined in GeniusYield.Types.Governance

type Rep GYGovActionId = D1 ('MetaData "GYGovActionId" "GeniusYield.Types.Governance" "atlas-cardano-0.14.1-inplace" 'False) (C1 ('MetaCons "GYGovActionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "gaidTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GYTxId) :*: S1 ('MetaSel ('Just "gaidIx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word16)))

Methods

from :: GYGovActionId -> Rep GYGovActionId x #

to :: Rep GYGovActionId x -> GYGovActionId #

Show GYGovActionId #

Instance details

Defined in GeniusYield.Types.Governance

Methods

showsPrec :: Int -> GYGovActionId -> ShowS #

show :: GYGovActionId -> String #

showList :: [GYGovActionId] -> ShowS #

Eq GYGovActionId #

Instance details

Defined in GeniusYield.Types.Governance

Methods

(==) :: GYGovActionId -> GYGovActionId -> Bool #

(/=) :: GYGovActionId -> GYGovActionId -> Bool #

Ord GYGovActionId #

Instance details

Defined in GeniusYield.Types.Governance

Methods

compare :: GYGovActionId -> GYGovActionId -> Ordering #

(<) :: GYGovActionId -> GYGovActionId -> Bool #

(<=) :: GYGovActionId -> GYGovActionId -> Bool #

(>) :: GYGovActionId -> GYGovActionId -> Bool #

(>=) :: GYGovActionId -> GYGovActionId -> Bool #

max :: GYGovActionId -> GYGovActionId -> GYGovActionId #

min :: GYGovActionId -> GYGovActionId -> GYGovActionId #

type Rep GYGovActionId #

Instance details

Defined in GeniusYield.Types.Governance

type Rep GYGovActionId = D1 ('MetaData "GYGovActionId" "GeniusYield.Types.Governance" "atlas-cardano-0.14.1-inplace" 'False) (C1 ('MetaCons "GYGovActionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "gaidTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 GYTxId) :*: S1 ('MetaSel ('Just "gaidIx") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word16)))

govActionIdFromLedger :: GovActionId -> GYGovActionId #

govActionIdToLedger :: GYGovActionId -> GovActionId #

govActionIdFromPlutus :: GovernanceActionId -> Either PlutusToCardanoError GYGovActionId #

govActionIdToPlutus :: GYGovActionId -> GovernanceActionId #

data GYVotingProcedure #

Voting procedure.

Constructors

GYVotingProcedure
Fields vpVote :: !GYVote vpAnchor :: !(Maybe GYAnchor)

Instances

Instances details

Show GYVotingProcedure #
Instance details Defined in GeniusYield.Types.Governance Methods showsPrec :: Int -> GYVotingProcedure -> ShowS # show :: GYVotingProcedure -> String # showList :: [GYVotingProcedure] -> ShowS #
Eq GYVotingProcedure #
Instance details Defined in GeniusYield.Types.Governance Methods (==) :: GYVotingProcedure -> GYVotingProcedure -> Bool # (/=) :: GYVotingProcedure -> GYVotingProcedure -> Bool #
Ord GYVotingProcedure #
Instance details Defined in GeniusYield.Types.Governance Methods compare :: GYVotingProcedure -> GYVotingProcedure -> Ordering # (<) :: GYVotingProcedure -> GYVotingProcedure -> Bool # (<=) :: GYVotingProcedure -> GYVotingProcedure -> Bool # (>) :: GYVotingProcedure -> GYVotingProcedure -> Bool # (>=) :: GYVotingProcedure -> GYVotingProcedure -> Bool # max :: GYVotingProcedure -> GYVotingProcedure -> GYVotingProcedure # min :: GYVotingProcedure -> GYVotingProcedure -> GYVotingProcedure #

votingProcedureFromLedger :: VotingProcedure ConwayEra -> GYVotingProcedure #

votingProcedureToLedger :: GYVotingProcedure -> VotingProcedure ConwayEra #

type GYVotingProcedures = Map GYVoter (Map GYGovActionId GYVotingProcedure) #

votingProceduresFromLedger :: VotingProcedures ConwayEra -> GYVotingProcedures #

votingProceduresToLedger :: GYVotingProcedures -> VotingProcedures ConwayEra #

combineVotingProcedures :: GYVotingProcedures -> GYVotingProcedures -> GYVotingProcedures #

Combine two voting procedures. Here if a voter has voted on the same proposal in both procedures, the vote from the second procedure is taken.

type GYTxVotingProcedures (v :: PlutusVersion) = Map GYVoter (GYTxBuildWitness v, Map GYGovActionId GYVotingProcedure) #

combineTxVotingProcedures :: forall (v :: PlutusVersion). GYTxVotingProcedures v -> GYTxVotingProcedures v -> GYTxVotingProcedures v #

Combine two voting procedures. Here if a voter has voted on the same proposal in both procedures, the vote from the second procedure is taken. Likewise, witness from the second map is taken in case of conflicts.

data GYProposalProcedurePB #

Constructors

GYProposalProcedurePB
Fields propProcPBReturnAddr :: !GYStakeAddress propProcPBGovAction :: !GYGovAction propProcPBAnchor :: !GYAnchor

Instances

Instances details

Show GYProposalProcedurePB #
Instance details Defined in GeniusYield.Types.Governance Methods showsPrec :: Int -> GYProposalProcedurePB -> ShowS # show :: GYProposalProcedurePB -> String # showList :: [GYProposalProcedurePB] -> ShowS #
Eq GYProposalProcedurePB #
Instance details Defined in GeniusYield.Types.Governance Methods (==) :: GYProposalProcedurePB -> GYProposalProcedurePB -> Bool # (/=) :: GYProposalProcedurePB -> GYProposalProcedurePB -> Bool #
Ord GYProposalProcedurePB #
Instance details Defined in GeniusYield.Types.Governance Methods compare :: GYProposalProcedurePB -> GYProposalProcedurePB -> Ordering # (<) :: GYProposalProcedurePB -> GYProposalProcedurePB -> Bool # (<=) :: GYProposalProcedurePB -> GYProposalProcedurePB -> Bool # (>) :: GYProposalProcedurePB -> GYProposalProcedurePB -> Bool # (>=) :: GYProposalProcedurePB -> GYProposalProcedurePB -> Bool # max :: GYProposalProcedurePB -> GYProposalProcedurePB -> GYProposalProcedurePB # min :: GYProposalProcedurePB -> GYProposalProcedurePB -> GYProposalProcedurePB #

data GYProposalProcedure #

Constructors

GYProposalProcedure
Fields propProcDeposit :: !Natural propProcReturnAddr :: !GYStakeAddress propProcGovAction :: !GYGovAction propProcAnchor :: !GYAnchor

Instances

Instances details

Show GYProposalProcedure #
Instance details Defined in GeniusYield.Types.Governance Methods showsPrec :: Int -> GYProposalProcedure -> ShowS # show :: GYProposalProcedure -> String # showList :: [GYProposalProcedure] -> ShowS #
Eq GYProposalProcedure #
Instance details Defined in GeniusYield.Types.Governance Methods (==) :: GYProposalProcedure -> GYProposalProcedure -> Bool # (/=) :: GYProposalProcedure -> GYProposalProcedure -> Bool #
Ord GYProposalProcedure #
Instance details Defined in GeniusYield.Types.Governance Methods compare :: GYProposalProcedure -> GYProposalProcedure -> Ordering # (<) :: GYProposalProcedure -> GYProposalProcedure -> Bool # (<=) :: GYProposalProcedure -> GYProposalProcedure -> Bool # (>) :: GYProposalProcedure -> GYProposalProcedure -> Bool # (>=) :: GYProposalProcedure -> GYProposalProcedure -> Bool # max :: GYProposalProcedure -> GYProposalProcedure -> GYProposalProcedure # min :: GYProposalProcedure -> GYProposalProcedure -> GYProposalProcedure #

completeProposalProcedure :: GYProposalProcedurePB -> Natural -> GYProposalProcedure #

propProcToLedger :: GYProposalProcedure -> ProposalProcedure ConwayEra #

propProcFromLedger :: ProposalProcedure ConwayEra -> GYProposalProcedure #

data GYConstitution #

Constructors

GYConstitution
Fields constitutionAnchor :: !GYAnchor constitutionScript :: !(Maybe GYScriptHash)

Instances

Instances details

Show GYConstitution #
Instance details Defined in GeniusYield.Types.Governance Methods showsPrec :: Int -> GYConstitution -> ShowS # show :: GYConstitution -> String # showList :: [GYConstitution] -> ShowS #
Eq GYConstitution #
Instance details Defined in GeniusYield.Types.Governance Methods (==) :: GYConstitution -> GYConstitution -> Bool # (/=) :: GYConstitution -> GYConstitution -> Bool #
Ord GYConstitution #
Instance details Defined in GeniusYield.Types.Governance Methods compare :: GYConstitution -> GYConstitution -> Ordering # (<) :: GYConstitution -> GYConstitution -> Bool # (<=) :: GYConstitution -> GYConstitution -> Bool # (>) :: GYConstitution -> GYConstitution -> Bool # (>=) :: GYConstitution -> GYConstitution -> Bool # max :: GYConstitution -> GYConstitution -> GYConstitution # min :: GYConstitution -> GYConstitution -> GYConstitution #

constitutionToLedger :: GYConstitution -> Constitution ConwayEra #

constitutionFromLedger :: Constitution ConwayEra -> GYConstitution #

data GYGovAction #

Constructors

ParameterChange
Fields !(Maybe GYGovActionId) Previous governance action id of `ParameterChange` type. !(PParamsUpdate ConwayEra) Proposed changes to PParams !(Maybe GYScriptHash) Policy hash protection
HardForkInitiation
Fields !(Maybe GYGovActionId) Previous governance action id of `HardForkInitiation` type !ProtVer Proposed new protocol version
TreasuryWithdrawals
Fields !(Map GYStakeAddress Natural) Proposed treasury withdrawals !(Maybe GYScriptHash) Policy hash protection
NoConfidence
Fields !(Maybe GYGovActionId) Previous governance action id of `NoConfidence` or `UpdateCommittee` type
UpdateCommittee
Fields !(Maybe GYGovActionId) Previous governance action id of `UpdateCommittee` or `NoConfidence` type !(Set (GYCredential 'GYKeyRoleColdCommittee)) Constitutional committee members to be removed !(Map (GYCredential 'GYKeyRoleColdCommittee) GYEpochNo) Constitutional committee members to be added !UnitInterval New Threshold
NewConstitution
Fields !(Maybe GYGovActionId) Previous governance action id of `NewConstitution` type !GYConstitution
InfoAction

Instances

Instances details

Show GYGovAction #
Instance details Defined in GeniusYield.Types.Governance Methods showsPrec :: Int -> GYGovAction -> ShowS # show :: GYGovAction -> String # showList :: [GYGovAction] -> ShowS #
Eq GYGovAction #
Instance details Defined in GeniusYield.Types.Governance Methods (==) :: GYGovAction -> GYGovAction -> Bool # (/=) :: GYGovAction -> GYGovAction -> Bool #
Ord GYGovAction #
Instance details Defined in GeniusYield.Types.Governance Methods compare :: GYGovAction -> GYGovAction -> Ordering # (<) :: GYGovAction -> GYGovAction -> Bool # (<=) :: GYGovAction -> GYGovAction -> Bool # (>) :: GYGovAction -> GYGovAction -> Bool # (>=) :: GYGovAction -> GYGovAction -> Bool # max :: GYGovAction -> GYGovAction -> GYGovAction # min :: GYGovAction -> GYGovAction -> GYGovAction #

govActionToLedger :: GYGovAction -> GovAction ConwayEra #

govActionFromLedger :: GovAction ConwayEra -> GYGovAction #

data GYGovActionState #

Constructors

GYGovActionState
Fields gasId :: !GYGovActionId gasCommitteeVotes :: !(Map (GYCredential 'GYKeyRoleHotCommittee) GYVote) gasDRepVotes :: !(Map (GYCredential 'GYKeyRoleDRep) GYVote) gasStakePoolVotes :: !(Map (GYKeyHash 'GYKeyRoleStakePool) GYVote) gasProposalProcedure :: !GYProposalProcedure gasProposedIn :: !GYEpochNo gasExpiresAfter :: !GYEpochNo

Instances

Instances details

Show GYGovActionState #
Instance details Defined in GeniusYield.Types.Governance Methods showsPrec :: Int -> GYGovActionState -> ShowS # show :: GYGovActionState -> String # showList :: [GYGovActionState] -> ShowS #
Eq GYGovActionState #
Instance details Defined in GeniusYield.Types.Governance Methods (==) :: GYGovActionState -> GYGovActionState -> Bool # (/=) :: GYGovActionState -> GYGovActionState -> Bool #
Ord GYGovActionState #
Instance details Defined in GeniusYield.Types.Governance Methods compare :: GYGovActionState -> GYGovActionState -> Ordering # (<) :: GYGovActionState -> GYGovActionState -> Bool # (<=) :: GYGovActionState -> GYGovActionState -> Bool # (>) :: GYGovActionState -> GYGovActionState -> Bool # (>=) :: GYGovActionState -> GYGovActionState -> Bool # max :: GYGovActionState -> GYGovActionState -> GYGovActionState # min :: GYGovActionState -> GYGovActionState -> GYGovActionState #

govActionStateToLedger :: GYGovActionState -> GovActionState ConwayEra #

govActionStateFromLedger :: GovActionState ConwayEra -> GYGovActionState #

data GYGovState #

Constructors

GYGovState
Fields cgsProposals :: !GYProposals cgsCommittee :: !(Maybe (Committee ConwayEra)) cgsConstitution :: !(Constitution ConwayEra) cgsCurPParams :: !(PParams ConwayEra) cgsPrevPParams :: !(PParams ConwayEra) cgsFuturePParams :: !(FuturePParams ConwayEra) cgsDRepPulsingState :: !(DRepPulsingState ConwayEra)

Instances

Instances details

Show GYGovState #
Instance details Defined in GeniusYield.Types.Governance Methods showsPrec :: Int -> GYGovState -> ShowS # show :: GYGovState -> String # showList :: [GYGovState] -> ShowS #
Eq GYGovState #
Instance details Defined in GeniusYield.Types.Governance Methods (==) :: GYGovState -> GYGovState -> Bool # (/=) :: GYGovState -> GYGovState -> Bool #

govStateFromLedger :: GovState ConwayEra -> GYGovState #

data GYProposals #

Constructors

GYProposals
Fields pProps :: !(Map GYGovActionId GYGovActionState) pRoots :: !(GovRelation PRoot ConwayEra) pGraph :: !(GovRelation PGraph ConwayEra)

Instances

Instances details

Show GYProposals #
Instance details Defined in GeniusYield.Types.Governance Methods showsPrec :: Int -> GYProposals -> ShowS # show :: GYProposals -> String # showList :: [GYProposals] -> ShowS #
Eq GYProposals #
Instance details Defined in GeniusYield.Types.Governance Methods (==) :: GYProposals -> GYProposals -> Bool # (/=) :: GYProposals -> GYProposals -> Bool #

proposalsFromLedger :: Proposals ConwayEra -> GYProposals #