Safe Haskell	Safe-Inferred
Language	Haskell2010

Cooked.Skeleton.Proposal

Documentation

data TxParameterChange where Source #

Constructors

FeePerByte :: Integer -> TxParameterChange	The linear factor for the minimum fee calculation
FeeFixed :: Integer -> TxParameterChange	The constant factor for the minimum fee calculation
MaxBlockBodySize :: Integer -> TxParameterChange	Maximal block body size
MaxTxSize :: Integer -> TxParameterChange	Maximal transaction size
MaxBlockHeaderSize :: Integer -> TxParameterChange	Maximal block header size
KeyDeposit :: Integer -> TxParameterChange	The amount of a key registration deposit
PoolDeposit :: Integer -> TxParameterChange	The amount of a pool registration deposit
PoolRetirementMaxEpoch :: Integer -> TxParameterChange	Maximum number of epochs in the future a pool retirement is allowed to be scheduled future for.
PoolNumber :: Integer -> TxParameterChange	Desired number of pools
PoolInfluence :: Rational -> TxParameterChange	Pool influence
MonetaryExpansion :: Rational -> TxParameterChange	Monetary expansion
TreasuryCut :: Rational -> TxParameterChange	Treasury expansion
MinPoolCost :: Integer -> TxParameterChange	Minimum Stake Pool Cost
CoinsPerUTxOByte :: Integer -> TxParameterChange	Cost in lovelace per byte of UTxO storage
CostModels	Cost models for non-native script languages
Fields :: { cmPlutusV1Costs :: [Integer] , cmPlutusV2Costs :: [Integer] , cmPlutusV3Costs :: [Integer] } -> TxParameterChange
Prices	Prices of execution units
Fields :: { pMemoryCost :: Rational , pStepCost :: Rational } -> TxParameterChange
MaxTxExUnits	Max total script execution resources units allowed per tx
Fields :: { mteuMemory :: Integer , mteuSteps :: Integer } -> TxParameterChange
MaxBlockExUnits	Max total script execution resources units allowed per block
Fields :: { mbeuMemory :: Integer , mbeuSteps :: Integer } -> TxParameterChange
MaxValSize :: Integer -> TxParameterChange	Max size of a Value in an output
CollateralPercentage :: Integer -> TxParameterChange	Percentage of the txfee which must be provided as collateral when including non-native scripts.
MaxCollateralInputs :: Integer -> TxParameterChange	Maximum number of collateral inputs allowed in a transaction
PoolVotingThresholds	Thresholds for pool votes
Fields :: { pvtMotionNoConfidence :: Rational , pvtCommitteeNormal :: Rational , pvtCommitteeNoConfidence :: Rational , pvtHardFork :: Rational , pvtSecurityGroup :: Rational } -> TxParameterChange
DRepVotingThresholds	Thresholds for DRep votes
Fields :: { drvtMotionNoConfidence :: Rational , drvtCommitteeNormal :: Rational , drvtCommitteeNoConfidence :: Rational , drvtUpdateConstitution :: Rational , drvtHardForkInitialization :: Rational , drvtNetworkGroup :: Rational , drvtEconomicGroup :: Rational , drvtTechnicalGroup :: Rational , drvtGovernanceGroup :: Rational , drvtTreasuryWithdrawal :: Rational } -> TxParameterChange
CommitteeMinSize :: Integer -> TxParameterChange	Minimum size of the Constitutional Committee
CommitteeMaxTermLength :: Integer -> TxParameterChange	The Constitutional Committee Term limit in number of Slots
GovActionLifetime :: Integer -> TxParameterChange	Gov action lifetime in number of Epochs
GovActionDeposit :: Integer -> TxParameterChange	The amount of the Gov Action deposit
DRepRegistrationDeposit :: Integer -> TxParameterChange	The amount of a DRep registration deposit
DRepActivity :: Integer -> TxParameterChange	The number of Epochs that a DRep can perform no activity without losing their `Active` status.

Instances

Instances details

Show TxParameterChange Source #
Instance details Defined in Cooked.Skeleton.Proposal Methods showsPrec :: Int -> TxParameterChange -> ShowS # show :: TxParameterChange -> String # showList :: [TxParameterChange] -> ShowS #
Eq TxParameterChange Source #
Instance details Defined in Cooked.Skeleton.Proposal Methods (==) :: TxParameterChange -> TxParameterChange -> Bool # (/=) :: TxParameterChange -> TxParameterChange -> Bool #

data TxGovAction where Source #

Instances

Instances details

Show TxGovAction Source #
Instance details Defined in Cooked.Skeleton.Proposal Methods showsPrec :: Int -> TxGovAction -> ShowS # show :: TxGovAction -> String # showList :: [TxGovAction] -> ShowS #
Eq TxGovAction Source #
Instance details Defined in Cooked.Skeleton.Proposal Methods (==) :: TxGovAction -> TxGovAction -> Bool # (/=) :: TxGovAction -> TxGovAction -> Bool #

data TxSkelProposal where Source #

Constructors

TxSkelProposal

Fields

:: { txSkelProposalAddress :: Address
Whatever credential will get back the deposit
, txSkelProposalAction :: TxGovAction
The proposed action
, txSkelProposalWitness :: Maybe (Versioned Script, TxSkelRedeemer)
An optional script (typically the constitution script) to witness the proposal and validate it. Only parameter changes and treasury withdrawals can be subject to such a validation and transactions will not pass validation phase 1 if other actions are given a witness.
, txSkelProposalAnchor :: Maybe String
An optional anchor to be given as additional data. It should correspond to the URL of a web page
} -> TxSkelProposal

Instances

Instances details

Show TxSkelProposal Source #
Instance details Defined in Cooked.Skeleton.Proposal Methods showsPrec :: Int -> TxSkelProposal -> ShowS # show :: TxSkelProposal -> String # showList :: [TxSkelProposal] -> ShowS #
Eq TxSkelProposal Source #
Instance details Defined in Cooked.Skeleton.Proposal Methods (==) :: TxSkelProposal -> TxSkelProposal -> Bool # (/=) :: TxSkelProposal -> TxSkelProposal -> Bool #

txSkelProposalAddressL :: Lens' TxSkelProposal Address Source #

txSkelProposalActionL :: Lens' TxSkelProposal TxGovAction Source #

txSkelProposalWitnessL :: Lens' TxSkelProposal (Maybe (Versioned Script, TxSkelRedeemer)) Source #

txSkelProposalAnchorL :: Lens' TxSkelProposal (Maybe String) Source #

simpleTxSkelProposal :: ToAddress a => a -> TxGovAction -> TxSkelProposal Source #

withWitness :: ToVersionedScript a => TxSkelProposal -> (a, TxSkelRedeemer) -> TxSkelProposal Source #

withAnchor :: TxSkelProposal -> String -> TxSkelProposal Source #

TxGovActionParameterChange :: [TxParameterChange] -> TxGovAction
TxGovActionHardForkInitiation :: ProtocolVersion -> TxGovAction
TxGovActionTreasuryWithdrawals :: Map Credential Lovelace -> TxGovAction
TxGovActionNoConfidence :: TxGovAction
TxGovActionUpdateCommittee :: [ColdCommitteeCredential] -> Map ColdCommitteeCredential Integer -> Rational -> TxGovAction
TxGovActionNewConstitution :: Constitution -> TxGovAction