| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Cardano.Api.ReexposeLedger
Synopsis
- data Credential (kr :: KeyRole) c
- = ScriptHashObj !(ScriptHash c)
- | KeyHashObj !(KeyHash kr c)
- credToText :: forall (kr :: KeyRole) c. Credential kr c -> Text
- newtype KeyHash (discriminator :: KeyRole) c = KeyHash {
- unKeyHash :: Hash (ADDRHASH c) (VerKeyDSIGN (DSIGN c))
- data KeyRole
- newtype VKey (kd :: KeyRole) c = VKey {
- unVKey :: VerKeyDSIGN (DSIGN c)
- data ShelleyTxCert era
- = ShelleyTxCertDelegCert !(ShelleyDelegCert (EraCrypto era))
- | ShelleyTxCertPool !(PoolCert (EraCrypto era))
- | ShelleyTxCertGenesisDeleg !(GenesisDelegCert (EraCrypto era))
- | ShelleyTxCertMir !(MIRCert (EraCrypto era))
- data ShelleyDelegCert c where
- ShelleyRegCert !(StakeCredential c)
- ShelleyUnRegCert !(StakeCredential c)
- ShelleyDelegCert !(StakeCredential c) !(KeyHash 'StakePool c)
- pattern DeRegKey :: StakeCredential c -> ShelleyDelegCert c
- pattern Delegate :: Delegation c -> ShelleyDelegCert c
- pattern RegKey :: StakeCredential c -> ShelleyDelegCert c
- class EraTxCert era => ShelleyEraTxCert era where
- mkRegTxCert :: StakeCredential (EraCrypto era) -> TxCert era
- getRegTxCert :: TxCert era -> Maybe (StakeCredential (EraCrypto era))
- mkUnRegTxCert :: StakeCredential (EraCrypto era) -> TxCert era
- getUnRegTxCert :: TxCert era -> Maybe (StakeCredential (EraCrypto era))
- mkDelegStakeTxCert :: StakeCredential (EraCrypto era) -> KeyHash 'StakePool (EraCrypto era) -> TxCert era
- getDelegStakeTxCert :: TxCert era -> Maybe (StakeCredential (EraCrypto era), KeyHash 'StakePool (EraCrypto era))
- mkGenesisDelegTxCert :: GenesisDelegCert (EraCrypto era) -> TxCert era
- getGenesisDelegTxCert :: TxCert era -> Maybe (GenesisDelegCert (EraCrypto era))
- mkMirTxCert :: MIRCert (EraCrypto era) -> TxCert era
- getMirTxCert :: TxCert era -> Maybe (MIRCert (EraCrypto era))
- data PState era = PState {
- psStakePoolParams :: !(Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
- psFutureStakePoolParams :: !(Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))
- psRetiring :: !(Map (KeyHash 'StakePool (EraCrypto era)) EpochNo)
- psDeposits :: !(Map (KeyHash 'StakePool (EraCrypto era)) Coin)
- data GenesisDelegCert c = GenesisDelegCert !(KeyHash 'Genesis c) !(KeyHash 'GenesisDelegate c) !(Hash c (VerKeyVRF c))
- data GenDelegPair c = GenDelegPair {
- genDelegKeyHash :: !(KeyHash 'GenesisDelegate c)
- genDelegVrfHash :: !(Hash c (VerKeyVRF c))
- data StakeReference c
- = StakeRefBase !(StakeCredential c)
- | StakeRefPtr !Ptr
- | StakeRefNull
- data WitVKey (kr :: KeyRole) c where
- pattern WitVKey :: (Typeable kr, Crypto c) => VKey kr c -> SignedDSIGN c (Hash c EraIndependentTxBody) -> WitVKey kr c
- hashKey :: forall c (kd :: KeyRole). Crypto c => VKey kd c -> KeyHash kd c
- hashVerKeyVRF :: (VRFAlgorithm v, HashAlgorithm h) => VerKeyVRF v -> Hash h (VerKeyVRF v)
- hashWithSerialiser :: HashAlgorithm h => (a -> Encoding) -> a -> Hash h a
- data PoolParams c = PoolParams {
- ppId :: !(KeyHash 'StakePool c)
- ppVrf :: !(Hash c (VerKeyVRF c))
- ppPledge :: !Coin
- ppCost :: !Coin
- ppMargin :: !UnitInterval
- ppRewardAccount :: !(RewardAccount c)
- ppOwners :: !(Set (KeyHash 'Staking c))
- ppRelays :: !(StrictSeq StakePoolRelay)
- ppMetadata :: !(StrictMaybe PoolMetadata)
- class HasKeyRole (a :: KeyRole -> Type -> Type)
- data MIRPot
- data MIRTarget c
- = StakeAddressesMIR !(Map (Credential 'Staking c) DeltaCoin)
- | SendToOppositePotMIR !Coin
- data MIRCert c = MIRCert {
- mirPot :: !MIRPot
- mirRewards :: !(MIRTarget c)
- data StakePoolRelay
- = SingleHostAddr !(StrictMaybe Port) !(StrictMaybe IPv4) !(StrictMaybe IPv6)
- | SingleHostName !(StrictMaybe Port) !DnsName
- | MultiHostName !DnsName
- data PoolMetadata = PoolMetadata {
- pmUrl :: !Url
- pmHash :: !ByteString
- class (Era era, ToJSON (TxCert era), DecCBOR (TxCert era), EncCBOR (TxCert era), ToCBOR (TxCert era), FromCBOR (TxCert era), NoThunks (TxCert era), NFData (TxCert era), Show (TxCert era), Ord (TxCert era), Eq (TxCert era)) => EraTxCert era where
- type TxCert era = (r :: Type) | r -> era
- type TxCertUpgradeError era
- upgradeTxCert :: TxCert (PreviousEra era) -> Either (TxCertUpgradeError era) (TxCert era)
- getVKeyWitnessTxCert :: TxCert era -> Maybe (KeyHash 'Witness (EraCrypto era))
- getScriptWitnessTxCert :: TxCert era -> Maybe (ScriptHash (EraCrypto era))
- mkRegPoolTxCert :: PoolParams (EraCrypto era) -> TxCert era
- getRegPoolTxCert :: TxCert era -> Maybe (PoolParams (EraCrypto era))
- mkRetirePoolTxCert :: KeyHash 'StakePool (EraCrypto era) -> EpochNo -> TxCert era
- getRetirePoolTxCert :: TxCert era -> Maybe (KeyHash 'StakePool (EraCrypto era), EpochNo)
- lookupRegStakeTxCert :: TxCert era -> Maybe (Credential 'Staking (EraCrypto era))
- lookupUnRegStakeTxCert :: TxCert era -> Maybe (Credential 'Staking (EraCrypto era))
- getTotalDepositsTxCerts :: Foldable f => PParams era -> (KeyHash 'StakePool (EraCrypto era) -> Bool) -> f (TxCert era) -> Coin
- getTotalRefundsTxCerts :: Foldable f => PParams era -> (Credential 'Staking (EraCrypto era) -> Maybe Coin) -> (Credential 'DRepRole (EraCrypto era) -> Maybe Coin) -> f (TxCert era) -> Coin
- data StrictMaybe a
- pattern DelegTxCert :: ConwayEraTxCert era => StakeCredential (EraCrypto era) -> Delegatee (EraCrypto era) -> TxCert era
- pattern RegPoolTxCert :: EraTxCert era => PoolParams (EraCrypto era) -> TxCert era
- pattern RetirePoolTxCert :: EraTxCert era => KeyHash 'StakePool (EraCrypto era) -> EpochNo -> TxCert era
- pattern RegDepositTxCert :: ConwayEraTxCert era => StakeCredential (EraCrypto era) -> Coin -> TxCert era
- pattern UnRegDepositTxCert :: ConwayEraTxCert era => StakeCredential (EraCrypto era) -> Coin -> TxCert era
- pattern UnRegDRepTxCert :: ConwayEraTxCert era => Credential 'DRepRole (EraCrypto era) -> Coin -> TxCert era
- pattern AuthCommitteeHotKeyTxCert :: ConwayEraTxCert era => Credential 'ColdCommitteeRole (EraCrypto era) -> Credential 'HotCommitteeRole (EraCrypto era) -> TxCert era
- pattern ResignCommitteeColdTxCert :: ConwayEraTxCert era => Credential 'ColdCommitteeRole (EraCrypto era) -> StrictMaybe (Anchor (EraCrypto era)) -> TxCert era
- pattern RegTxCert :: ShelleyEraTxCert era => StakeCredential (EraCrypto era) -> TxCert era
- pattern UnRegTxCert :: ShelleyEraTxCert era => StakeCredential (EraCrypto era) -> TxCert era
- pattern DelegStakeTxCert :: ShelleyEraTxCert era => StakeCredential (EraCrypto era) -> KeyHash 'StakePool (EraCrypto era) -> TxCert era
- pattern RegDepositDelegTxCert :: ConwayEraTxCert era => StakeCredential (EraCrypto era) -> Delegatee (EraCrypto era) -> Coin -> TxCert era
- pattern RegDRepTxCert :: ConwayEraTxCert era => Credential 'DRepRole (EraCrypto era) -> Coin -> StrictMaybe (Anchor (EraCrypto era)) -> TxCert era
- pattern MirTxCert :: (ShelleyEraTxCert era, ProtVerAtMost era 8) => MIRCert (EraCrypto era) -> TxCert era
- pattern GenesisDelegTxCert :: (ShelleyEraTxCert era, ProtVerAtMost era 8) => KeyHash 'Genesis (EraCrypto era) -> KeyHash 'GenesisDelegate (EraCrypto era) -> Hash (EraCrypto era) (VerKeyVRF (EraCrypto era)) -> TxCert era
- pattern UpdateDRepTxCert :: ConwayEraTxCert era => Credential 'DRepRole (EraCrypto era) -> StrictMaybe (Anchor (EraCrypto era)) -> TxCert era
- newtype Coin = Coin {}
- class (Era era, Eq (PParamsHKD Identity era), Ord (PParamsHKD Identity era), Show (PParamsHKD Identity era), NFData (PParamsHKD Identity era), EncCBOR (PParamsHKD Identity era), DecCBOR (PParamsHKD Identity era), ToCBOR (PParamsHKD Identity era), FromCBOR (PParamsHKD Identity era), NoThunks (PParamsHKD Identity era), ToJSON (PParamsHKD Identity era), FromJSON (PParamsHKD Identity era), Eq (PParamsHKD StrictMaybe era), Ord (PParamsHKD StrictMaybe era), Show (PParamsHKD StrictMaybe era), NFData (PParamsHKD StrictMaybe era), EncCBOR (PParamsHKD StrictMaybe era), DecCBOR (PParamsHKD StrictMaybe era), ToCBOR (PParamsHKD StrictMaybe era), FromCBOR (PParamsHKD StrictMaybe era), NoThunks (PParamsHKD StrictMaybe era), ToJSON (PParamsHKD StrictMaybe era)) => EraPParams era where
- type PParamsHKD (f :: Type -> Type) era = (r :: Type) | r -> era
- type UpgradePParams (f :: Type -> Type) era
- type DowngradePParams (f :: Type -> Type) era
- applyPPUpdates :: PParams era -> PParamsUpdate era -> PParams era
- emptyPParamsIdentity :: PParamsHKD Identity era
- emptyPParamsStrictMaybe :: PParamsHKD StrictMaybe era
- upgradePParamsHKD :: forall (f :: Type -> Type). (HKDApplicative f, EraPParams (PreviousEra era)) => UpgradePParams f era -> PParamsHKD f (PreviousEra era) -> PParamsHKD f era
- downgradePParamsHKD :: forall (f :: Type -> Type). (HKDFunctor f, EraPParams (PreviousEra era)) => DowngradePParams f era -> PParamsHKD f era -> PParamsHKD f (PreviousEra era)
- hkdMinFeeAL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Coin)
- hkdMinFeeBL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Coin)
- hkdMaxBBSizeL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Word32)
- hkdMaxTxSizeL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Word32)
- hkdMaxBHSizeL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Word16)
- hkdKeyDepositL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Coin)
- hkdPoolDepositL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Coin)
- hkdEMaxL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f EpochInterval)
- hkdNOptL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Natural)
- hkdA0L :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f NonNegativeInterval)
- hkdRhoL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f UnitInterval)
- hkdTauL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f UnitInterval)
- hkdDL :: forall (f :: Type -> Type). (HKDFunctor f, ProtVerAtMost era 6) => Lens' (PParamsHKD f era) (HKD f UnitInterval)
- ppDG :: SimpleGetter (PParams era) UnitInterval
- hkdExtraEntropyL :: forall (f :: Type -> Type). (HKDFunctor f, ProtVerAtMost era 6) => Lens' (PParamsHKD f era) (HKD f Nonce)
- hkdProtocolVersionL :: forall (f :: Type -> Type). (HKDFunctor f, ProtVerAtMost era 8) => Lens' (PParamsHKD f era) (HKD f ProtVer)
- ppProtocolVersionL :: Lens' (PParams era) ProtVer
- ppuProtocolVersionL :: Lens' (PParamsUpdate era) (StrictMaybe ProtVer)
- hkdMinUTxOValueL :: forall (f :: Type -> Type). (HKDFunctor f, ProtVerAtMost era 4) => Lens' (PParamsHKD f era) (HKD f Coin)
- hkdMinPoolCostL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Coin)
- class (Crypto (EraCrypto era), Typeable era, KnownNat (ProtVerLow era), KnownNat (ProtVerHigh era), ProtVerLow era <= ProtVerHigh era, MinVersion <= ProtVerLow era, MinVersion <= ProtVerHigh era, CmpNat (ProtVerLow era) MaxVersion ~ 'LT, CmpNat (ProtVerHigh era) MaxVersion ~ 'LT, ProtVerLow era <= MaxVersion, ProtVerHigh era <= MaxVersion) => Era era where
- type EraCrypto era
- type PreviousEra era = (r :: Type) | r -> era
- type ProtVerLow era :: Nat
- type ProtVerHigh era :: Nat
- eraName :: String
- data Network
- data PoolCert c
- = RegPool !(PoolParams c)
- | RetirePool !(KeyHash 'StakePool c) !EpochNo
- newtype PParams era = PParams (PParamsHKD Identity era)
- data PParamsUpdate era
- type family Value era
- addDeltaCoin :: Coin -> DeltaCoin -> Coin
- toDeltaCoin :: Coin -> DeltaCoin
- toEraCBOR :: (Era era, EncCBOR t) => t -> Encoding
- fromEraCBOR :: (Era era, DecCBOR t) => Decoder s t
- ppMinUTxOValueL :: (EraPParams era, ProtVerAtMost era 4) => Lens' (PParams era) Coin
- data Anchor c = Anchor {
- anchorUrl :: !Url
- anchorDataHash :: !(SafeHash c AnchorData)
- data Delegatee c
- = DelegStake !(KeyHash 'StakePool c)
- | DelegVote !(DRep c)
- | DelegStakeVote !(KeyHash 'StakePool c) !(DRep c)
- data DRep c where
- DRepAlwaysAbstain
- DRepAlwaysNoConfidence
- pattern DRepCredential :: Credential 'DRepRole c -> DRep c
- data DRepState c = DRepState {
- drepExpiry :: !EpochNo
- drepAnchor :: !(StrictMaybe (Anchor c))
- drepDeposit :: !Coin
- data ConwayTxCert era
- = ConwayTxCertDeleg !(ConwayDelegCert (EraCrypto era))
- | ConwayTxCertPool !(PoolCert (EraCrypto era))
- | ConwayTxCertGov !(ConwayGovCert (EraCrypto era))
- data ConwayDelegCert c
- = ConwayRegCert !(StakeCredential c) !(StrictMaybe Coin)
- | ConwayUnRegCert !(StakeCredential c) !(StrictMaybe Coin)
- | ConwayDelegCert !(StakeCredential c) !(Delegatee c)
- | ConwayRegDelegCert !(StakeCredential c) !(Delegatee c) !Coin
- class ShelleyEraTxCert era => ConwayEraTxCert era where
- mkRegDepositTxCert :: StakeCredential (EraCrypto era) -> Coin -> TxCert era
- getRegDepositTxCert :: TxCert era -> Maybe (StakeCredential (EraCrypto era), Coin)
- mkUnRegDepositTxCert :: StakeCredential (EraCrypto era) -> Coin -> TxCert era
- getUnRegDepositTxCert :: TxCert era -> Maybe (StakeCredential (EraCrypto era), Coin)
- mkDelegTxCert :: StakeCredential (EraCrypto era) -> Delegatee (EraCrypto era) -> TxCert era
- getDelegTxCert :: TxCert era -> Maybe (StakeCredential (EraCrypto era), Delegatee (EraCrypto era))
- mkRegDepositDelegTxCert :: StakeCredential (EraCrypto era) -> Delegatee (EraCrypto era) -> Coin -> TxCert era
- getRegDepositDelegTxCert :: TxCert era -> Maybe (StakeCredential (EraCrypto era), Delegatee (EraCrypto era), Coin)
- mkAuthCommitteeHotKeyTxCert :: Credential 'ColdCommitteeRole (EraCrypto era) -> Credential 'HotCommitteeRole (EraCrypto era) -> TxCert era
- getAuthCommitteeHotKeyTxCert :: TxCert era -> Maybe (Credential 'ColdCommitteeRole (EraCrypto era), Credential 'HotCommitteeRole (EraCrypto era))
- mkResignCommitteeColdTxCert :: Credential 'ColdCommitteeRole (EraCrypto era) -> StrictMaybe (Anchor (EraCrypto era)) -> TxCert era
- getResignCommitteeColdTxCert :: TxCert era -> Maybe (Credential 'ColdCommitteeRole (EraCrypto era), StrictMaybe (Anchor (EraCrypto era)))
- mkRegDRepTxCert :: Credential 'DRepRole (EraCrypto era) -> Coin -> StrictMaybe (Anchor (EraCrypto era)) -> TxCert era
- getRegDRepTxCert :: TxCert era -> Maybe (Credential 'DRepRole (EraCrypto era), Coin, StrictMaybe (Anchor (EraCrypto era)))
- mkUnRegDRepTxCert :: Credential 'DRepRole (EraCrypto era) -> Coin -> TxCert era
- getUnRegDRepTxCert :: TxCert era -> Maybe (Credential 'DRepRole (EraCrypto era), Coin)
- mkUpdateDRepTxCert :: Credential 'DRepRole (EraCrypto era) -> StrictMaybe (Anchor (EraCrypto era)) -> TxCert era
- getUpdateDRepTxCert :: TxCert era -> Maybe (Credential 'DRepRole (EraCrypto era), StrictMaybe (Anchor (EraCrypto era)))
- data ConwayGovCert c
- = ConwayRegDRep !(Credential 'DRepRole c) !Coin !(StrictMaybe (Anchor c))
- | ConwayUnRegDRep !(Credential 'DRepRole c) !Coin
- | ConwayUpdateDRep !(Credential 'DRepRole c) !(StrictMaybe (Anchor c))
- | ConwayAuthCommitteeHotKey !(Credential 'ColdCommitteeRole c) !(Credential 'HotCommitteeRole c)
- | ConwayResignCommitteeColdKey !(Credential 'ColdCommitteeRole c) !(StrictMaybe (Anchor c))
- data ConwayGenesis c = ConwayGenesis {
- cgUpgradePParams :: !(UpgradeConwayPParams Identity)
- cgConstitution :: !(Constitution (ConwayEra c))
- cgCommittee :: !(Committee (ConwayEra c))
- cgDelegs :: ListMap (Credential 'Staking c) (Delegatee c)
- cgInitialDReps :: ListMap (Credential 'DRepRole c) (DRepState c)
- data UpgradeConwayPParams (f :: Type -> Type) = UpgradeConwayPParams {
- ucppPoolVotingThresholds :: !(HKD f PoolVotingThresholds)
- ucppDRepVotingThresholds :: !(HKD f DRepVotingThresholds)
- ucppCommitteeMinSize :: !(HKD f Word16)
- ucppCommitteeMaxTermLength :: !(HKD f EpochInterval)
- ucppGovActionLifetime :: !(HKD f EpochInterval)
- ucppGovActionDeposit :: !(HKD f Coin)
- ucppDRepDeposit :: !(HKD f Coin)
- ucppDRepActivity :: !(HKD f EpochInterval)
- ucppMinFeeRefScriptCostPerByte :: !(HKD f NonNegativeInterval)
- ucppPlutusV3CostModel :: !(HKD f CostModel)
- type family GovState era = (r :: Type) | r -> era
- data GovActionId c = GovActionId {
- gaidTxId :: !(TxId c)
- gaidGovActionIx :: !GovActionIx
- data Vote
- data Voter c
- = CommitteeVoter !(Credential 'HotCommitteeRole c)
- | DRepVoter !(Credential 'DRepRole c)
- | StakePoolVoter !(KeyHash 'StakePool c)
- data VotingProcedure era = VotingProcedure {
- vProcVote :: !Vote
- vProcAnchor :: !(StrictMaybe (Anchor (EraCrypto era)))
- data ProposalProcedure era = ProposalProcedure {
- pProcDeposit :: !Coin
- pProcReturnAddr :: !(RewardAccount (EraCrypto era))
- pProcGovAction :: !(GovAction era)
- pProcAnchor :: !(Anchor (EraCrypto era))
- newtype VotingProcedures era = VotingProcedures {
- unVotingProcedures :: Map (Voter (EraCrypto era)) (Map (GovActionId (EraCrypto era)) (VotingProcedure era))
- data PoolVotingThresholds = PoolVotingThresholds {}
- data DRepVotingThresholds = DRepVotingThresholds {
- dvtMotionNoConfidence :: !UnitInterval
- dvtCommitteeNormal :: !UnitInterval
- dvtCommitteeNoConfidence :: !UnitInterval
- dvtUpdateToConstitution :: !UnitInterval
- dvtHardForkInitiation :: !UnitInterval
- dvtPPNetworkGroup :: !UnitInterval
- dvtPPEconomicGroup :: !UnitInterval
- dvtPPTechnicalGroup :: !UnitInterval
- dvtPPGovGroup :: !UnitInterval
- dvtTreasuryWithdrawal :: !UnitInterval
- dvtPPNetworkGroupL :: Lens' DRepVotingThresholds UnitInterval
- dvtPPGovGroupL :: Lens' DRepVotingThresholds UnitInterval
- dvtPPTechnicalGroupL :: Lens' DRepVotingThresholds UnitInterval
- dvtPPEconomicGroupL :: Lens' DRepVotingThresholds UnitInterval
- dvtUpdateToConstitutionL :: Lens' DRepVotingThresholds UnitInterval
- drepExpiryL :: forall c f. Functor f => (EpochNo -> f EpochNo) -> DRepState c -> f (DRepState c)
- drepAnchorL :: forall c f. Functor f => (StrictMaybe (Anchor c) -> f (StrictMaybe (Anchor c))) -> DRepState c -> f (DRepState c)
- drepDepositL :: forall c f. Functor f => (Coin -> f Coin) -> DRepState c -> f (DRepState c)
- csCommitteeCredsL :: forall era f. Functor f => (Map (Credential 'ColdCommitteeRole (EraCrypto era)) (CommitteeAuthorization (EraCrypto era)) -> f (Map (Credential 'ColdCommitteeRole (EraCrypto era)) (CommitteeAuthorization (EraCrypto era)))) -> CommitteeState era -> f (CommitteeState era)
- data Annotated b a = Annotated {
- unAnnotated :: !b
- annotation :: !a
- data Tx = UnsafeTx {
- txInputs :: !(NonEmpty TxIn)
- txOutputs :: !(NonEmpty TxOut)
- txAttributes :: !TxAttributes
- byronProtVer :: Version
- serialize' :: EncCBOR a => Version -> a -> ByteString
- toPlainDecoder :: Version -> Decoder s a -> Decoder s a
- toCBOR :: ToCBOR a => a -> Encoding
- fromCBOR :: FromCBOR a => Decoder s a
- data ByteSpan = ByteSpan !ByteOffset !ByteOffset
- slice :: ByteString -> ByteSpan -> ByteString
- data Decoder s a
- secondsToNominalDiffTimeMicro :: Micro -> NominalDiffTimeMicro
- newtype CoinPerByte = CoinPerByte {}
- newtype CoinPerWord = CoinPerWord {}
- data Prices = Prices {}
- data CostModels
- data AlonzoGenesis
- ppPricesL :: AlonzoEraPParams era => Lens' (PParams era) Prices
- boundRational :: BoundedRational r => Rational -> Maybe r
- unboundRational :: BoundedRational r => r -> Rational
- data DnsName
- dnsToText :: DnsName -> Text
- newtype EpochInterval = EpochInterval {}
- textToDns :: MonadFail m => Int -> Text -> m DnsName
- data Url
- urlToText :: Url -> Text
- textToUrl :: MonadFail m => Int -> Text -> m Url
- portToWord16 :: Port -> Word16
- data ProtVer = ProtVer {}
- strictMaybeToMaybe :: StrictMaybe a -> Maybe a
- maybeToStrictMaybe :: Maybe a -> StrictMaybe a
- newtype AnchorData = AnchorData ByteString
- hashAnchorData :: Crypto c => AnchorData -> SafeHash c AnchorData
- data UnitInterval
- mkVersion :: (Integral i, MonadFail m) => i -> m Version
- data NonNegativeInterval
- hashToBytes :: Hash h a -> ByteString
- hashFromBytes :: HashAlgorithm h => ByteString -> Maybe (Hash h a)
- class (HashAlgorithm (HASH c), HashAlgorithm (ADDRHASH c), DSIGNAlgorithm (DSIGN c), KESAlgorithm (KES c), VRFAlgorithm (VRF c), ContextDSIGN (DSIGN c) ~ (), ContextKES (KES c) ~ (), ContextVRF (VRF c) ~ (), Typeable c) => Crypto c
- data StandardCrypto
- type family ADDRHASH c
- newtype EpochNo = EpochNo {}
- data SafeHash c index
- unsafeMakeSafeHash :: Hash (HASH c) index -> SafeHash c index
- extractHash :: SafeHash c i -> Hash (HASH c) i
Documentation
data Credential (kr :: KeyRole) c Source #
Script hash or key hash for a payment or a staking object.
Note that credentials (unlike raw key hashes) do appear to vary from era to era, since they reference the hash of a script, which can change. This parameter is a phantom, however, so in actuality the instances will remain the same.
Constructors
| ScriptHashObj !(ScriptHash c) | |
| KeyHashObj !(KeyHash kr c) |
Instances
credToText :: forall (kr :: KeyRole) c. Credential kr c -> Text Source #
newtype KeyHash (discriminator :: KeyRole) c Source #
Discriminated hash of public Key
Instances
| HasKeyRole KeyHash | |||||
Defined in Cardano.Ledger.Keys.Internal | |||||
| Crypto c => FromJSON (KeyHash disc c) | |||||
Defined in Cardano.Ledger.Keys.Internal Methods parseJSON :: Value -> Parser (KeyHash disc c) # parseJSONList :: Value -> Parser [KeyHash disc c] # omittedField :: Maybe (KeyHash disc c) # | |||||
| Crypto c => FromJSONKey (KeyHash disc c) | |||||
Defined in Cardano.Ledger.Keys.Internal Methods fromJSONKey :: FromJSONKeyFunction (KeyHash disc c) fromJSONKeyList :: FromJSONKeyFunction [KeyHash disc c] | |||||
| Crypto c => ToJSON (KeyHash disc c) | |||||
Defined in Cardano.Ledger.Keys.Internal | |||||
| Crypto c => ToJSONKey (KeyHash disc c) | |||||
Defined in Cardano.Ledger.Keys.Internal Methods toJSONKey :: ToJSONKeyFunction (KeyHash disc c) toJSONKeyList :: ToJSONKeyFunction [KeyHash disc c] | |||||
| Generic (KeyHash discriminator c) | |||||
Defined in Cardano.Ledger.Keys.Internal Associated Types
| |||||
| Show (KeyHash discriminator c) | |||||
| (Crypto c, Typeable disc) => FromCBOR (KeyHash disc c) | |||||
| (Crypto c, Typeable disc) => ToCBOR (KeyHash disc c) | |||||
| (Crypto c, Typeable disc) => DecCBOR (KeyHash disc c) | |||||
| (Crypto c, Typeable disc) => EncCBOR (KeyHash disc c) | |||||
Defined in Cardano.Ledger.Keys.Internal | |||||
| Crypto b => Default (KeyHash a b) | |||||
Defined in Cardano.Ledger.Keys.Internal | |||||
| NFData (KeyHash discriminator c) | |||||
Defined in Cardano.Ledger.Keys.Internal | |||||
| Eq (KeyHash discriminator c) | |||||
| Ord (KeyHash discriminator c) | |||||
Defined in Cardano.Ledger.Keys.Internal Methods compare :: KeyHash discriminator c -> KeyHash discriminator c -> Ordering Source # (<) :: KeyHash discriminator c -> KeyHash discriminator c -> Bool Source # (<=) :: KeyHash discriminator c -> KeyHash discriminator c -> Bool Source # (>) :: KeyHash discriminator c -> KeyHash discriminator c -> Bool Source # (>=) :: KeyHash discriminator c -> KeyHash discriminator c -> Bool Source # max :: KeyHash discriminator c -> KeyHash discriminator c -> KeyHash discriminator c Source # min :: KeyHash discriminator c -> KeyHash discriminator c -> KeyHash discriminator c Source # | |||||
| NoThunks (KeyHash discriminator c) | |||||
| type Rep (KeyHash discriminator c) | |||||
Defined in Cardano.Ledger.Keys.Internal | |||||
The role of a key.
Note that a role is not _fixed_, nor is it unique. In particular, keys may
variously be used as witnesses, and so in many case we will change the role
of a key to the Witness role.
It is also perfectly allowable for a key to be used in many roles; there is nothing prohibiting somebody using the same underlying key as their payment and staking key, as well as the key for their stake pool. So these roles are more intended for two purposes:
- To make explicit how we are using a key in the specifications
- To provide a guide to downstream implementors, for whom the profusion of keys may be confusing.
newtype VKey (kd :: KeyRole) c Source #
Discriminated verification key
We wrap the basic VerKeyDSIGN in order to add the key role.
Constructors
| VKey | |
Fields
| |
Instances
| HasKeyRole VKey | |||||
Defined in Cardano.Ledger.Keys.Internal | |||||
| Crypto c => ToJSON (VKey 'Witness c) Source # | |||||
| Generic (VKey kd c) | |||||
Defined in Cardano.Ledger.Keys.Internal Associated Types
| |||||
| Crypto c => Show (VKey kd c) | |||||
| (Crypto c, Typeable kd) => FromCBOR (VKey kd c) | |||||
| (Crypto c, Typeable kd) => ToCBOR (VKey kd c) | |||||
| (Crypto c, Typeable kd) => DecCBOR (VKey kd c) | |||||
| (Crypto c, Typeable kd) => EncCBOR (VKey kd c) | |||||
| (Crypto c, NFData (VerKeyDSIGN (DSIGN c))) => NFData (VKey kd c) | |||||
Defined in Cardano.Ledger.Keys.Internal | |||||
| Crypto c => Eq (VKey kd c) | |||||
| Crypto c => NoThunks (VKey kd c) | |||||
| type Rep (VKey kd c) | |||||
Defined in Cardano.Ledger.Keys.Internal type Rep (VKey kd c) = D1 ('MetaData "VKey" "Cardano.Ledger.Keys.Internal" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'True) (C1 ('MetaCons "VKey" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVKey") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VerKeyDSIGN (DSIGN c))))) | |||||
data ShelleyTxCert era Source #
A heavyweight certificate.
Constructors
| ShelleyTxCertDelegCert !(ShelleyDelegCert (EraCrypto era)) | |
| ShelleyTxCertPool !(PoolCert (EraCrypto era)) | |
| ShelleyTxCertGenesisDeleg !(GenesisDelegCert (EraCrypto era)) | |
| ShelleyTxCertMir !(MIRCert (EraCrypto era)) |
Instances
| Era era => ToJSON (ShelleyTxCert era) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods toJSON :: ShelleyTxCert era -> Value # toEncoding :: ShelleyTxCert era -> Encoding # toJSONList :: [ShelleyTxCert era] -> Value # toEncodingList :: [ShelleyTxCert era] -> Encoding # omitField :: ShelleyTxCert era -> Bool # | |||||
| Generic (ShelleyTxCert era) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Associated Types
Methods from :: ShelleyTxCert era -> Rep (ShelleyTxCert era) x Source # to :: Rep (ShelleyTxCert era) x -> ShelleyTxCert era Source # | |||||
| Show (ShelleyTxCert era) | |||||
Defined in Cardano.Ledger.Shelley.TxCert | |||||
| (ShelleyEraTxCert era, TxCert era ~ ShelleyTxCert era) => FromCBOR (ShelleyTxCert era) | |||||
Defined in Cardano.Ledger.Shelley.TxCert | |||||
| Era era => ToCBOR (ShelleyTxCert era) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods toCBOR :: ShelleyTxCert era -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ShelleyTxCert era) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ShelleyTxCert era] -> Size Source # | |||||
| (ShelleyEraTxCert era, TxCert era ~ ShelleyTxCert era) => DecCBOR (ShelleyTxCert era) | |||||
Defined in Cardano.Ledger.Shelley.TxCert | |||||
| Era era => EncCBOR (ShelleyTxCert era) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods encCBOR :: ShelleyTxCert era -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (ShelleyTxCert era) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [ShelleyTxCert era] -> Size Source # | |||||
| NFData (ShelleyTxCert era) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods rnf :: ShelleyTxCert era -> () Source # | |||||
| Eq (ShelleyTxCert era) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods (==) :: ShelleyTxCert era -> ShelleyTxCert era -> Bool Source # (/=) :: ShelleyTxCert era -> ShelleyTxCert era -> Bool Source # | |||||
| Ord (ShelleyTxCert era) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods compare :: ShelleyTxCert era -> ShelleyTxCert era -> Ordering Source # (<) :: ShelleyTxCert era -> ShelleyTxCert era -> Bool Source # (<=) :: ShelleyTxCert era -> ShelleyTxCert era -> Bool Source # (>) :: ShelleyTxCert era -> ShelleyTxCert era -> Bool Source # (>=) :: ShelleyTxCert era -> ShelleyTxCert era -> Bool Source # max :: ShelleyTxCert era -> ShelleyTxCert era -> ShelleyTxCert era Source # min :: ShelleyTxCert era -> ShelleyTxCert era -> ShelleyTxCert era Source # | |||||
| NoThunks (ShelleyTxCert era) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods noThunks :: Context -> ShelleyTxCert era -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> ShelleyTxCert era -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (ShelleyTxCert era) -> String # | |||||
| type Rep (ShelleyTxCert era) | |||||
Defined in Cardano.Ledger.Shelley.TxCert type Rep (ShelleyTxCert era) = D1 ('MetaData "ShelleyTxCert" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.13.1.0-9008b3bd97a7f1369e796695331dde72764672e215156bc5aa38fd60c04f2fef" 'False) ((C1 ('MetaCons "ShelleyTxCertDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShelleyDelegCert (EraCrypto era)))) :+: C1 ('MetaCons "ShelleyTxCertPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolCert (EraCrypto era))))) :+: (C1 ('MetaCons "ShelleyTxCertGenesisDeleg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GenesisDelegCert (EraCrypto era)))) :+: C1 ('MetaCons "ShelleyTxCertMir" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MIRCert (EraCrypto era)))))) | |||||
data ShelleyDelegCert c Source #
Constructors
| ShelleyRegCert !(StakeCredential c) | A stake credential registration certificate. |
| ShelleyUnRegCert !(StakeCredential c) | A stake credential deregistration certificate. |
| ShelleyDelegCert !(StakeCredential c) !(KeyHash 'StakePool c) | A stake delegation certificate. |
Bundled Patterns
| pattern DeRegKey :: StakeCredential c -> ShelleyDelegCert c | |
| pattern Delegate :: Delegation c -> ShelleyDelegCert c | |
| pattern RegKey :: StakeCredential c -> ShelleyDelegCert c |
Instances
| Crypto c => ToJSON (ShelleyDelegCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods toJSON :: ShelleyDelegCert c -> Value # toEncoding :: ShelleyDelegCert c -> Encoding # toJSONList :: [ShelleyDelegCert c] -> Value # toEncodingList :: [ShelleyDelegCert c] -> Encoding # omitField :: ShelleyDelegCert c -> Bool # | |||||
| Generic (ShelleyDelegCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Associated Types
Methods from :: ShelleyDelegCert c -> Rep (ShelleyDelegCert c) x Source # to :: Rep (ShelleyDelegCert c) x -> ShelleyDelegCert c Source # | |||||
| Show (ShelleyDelegCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert | |||||
| NFData (ShelleyDelegCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods rnf :: ShelleyDelegCert c -> () Source # | |||||
| Eq (ShelleyDelegCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods (==) :: ShelleyDelegCert c -> ShelleyDelegCert c -> Bool Source # (/=) :: ShelleyDelegCert c -> ShelleyDelegCert c -> Bool Source # | |||||
| Ord (ShelleyDelegCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods compare :: ShelleyDelegCert c -> ShelleyDelegCert c -> Ordering Source # (<) :: ShelleyDelegCert c -> ShelleyDelegCert c -> Bool Source # (<=) :: ShelleyDelegCert c -> ShelleyDelegCert c -> Bool Source # (>) :: ShelleyDelegCert c -> ShelleyDelegCert c -> Bool Source # (>=) :: ShelleyDelegCert c -> ShelleyDelegCert c -> Bool Source # max :: ShelleyDelegCert c -> ShelleyDelegCert c -> ShelleyDelegCert c Source # min :: ShelleyDelegCert c -> ShelleyDelegCert c -> ShelleyDelegCert c Source # | |||||
| NoThunks (ShelleyDelegCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods noThunks :: Context -> ShelleyDelegCert c -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> ShelleyDelegCert c -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (ShelleyDelegCert c) -> String # | |||||
| type Rep (ShelleyDelegCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert type Rep (ShelleyDelegCert c) = D1 ('MetaData "ShelleyDelegCert" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.13.1.0-9008b3bd97a7f1369e796695331dde72764672e215156bc5aa38fd60c04f2fef" 'False) (C1 ('MetaCons "ShelleyRegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential c))) :+: (C1 ('MetaCons "ShelleyUnRegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential c))) :+: C1 ('MetaCons "ShelleyDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential c)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c))))) | |||||
class EraTxCert era => ShelleyEraTxCert era where Source #
Methods
mkRegTxCert :: StakeCredential (EraCrypto era) -> TxCert era Source #
getRegTxCert :: TxCert era -> Maybe (StakeCredential (EraCrypto era)) Source #
mkUnRegTxCert :: StakeCredential (EraCrypto era) -> TxCert era Source #
getUnRegTxCert :: TxCert era -> Maybe (StakeCredential (EraCrypto era)) Source #
mkDelegStakeTxCert :: StakeCredential (EraCrypto era) -> KeyHash 'StakePool (EraCrypto era) -> TxCert era Source #
getDelegStakeTxCert :: TxCert era -> Maybe (StakeCredential (EraCrypto era), KeyHash 'StakePool (EraCrypto era)) Source #
mkGenesisDelegTxCert :: GenesisDelegCert (EraCrypto era) -> TxCert era Source #
getGenesisDelegTxCert :: TxCert era -> Maybe (GenesisDelegCert (EraCrypto era)) Source #
mkMirTxCert :: MIRCert (EraCrypto era) -> TxCert era Source #
getMirTxCert :: TxCert era -> Maybe (MIRCert (EraCrypto era)) Source #
Instances
| Crypto c => ShelleyEraTxCert (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.TxCert Methods mkRegTxCert :: StakeCredential (EraCrypto (ShelleyEra c)) -> TxCert (ShelleyEra c) Source # getRegTxCert :: TxCert (ShelleyEra c) -> Maybe (StakeCredential (EraCrypto (ShelleyEra c))) Source # mkUnRegTxCert :: StakeCredential (EraCrypto (ShelleyEra c)) -> TxCert (ShelleyEra c) Source # getUnRegTxCert :: TxCert (ShelleyEra c) -> Maybe (StakeCredential (EraCrypto (ShelleyEra c))) Source # mkDelegStakeTxCert :: StakeCredential (EraCrypto (ShelleyEra c)) -> KeyHash 'StakePool (EraCrypto (ShelleyEra c)) -> TxCert (ShelleyEra c) Source # getDelegStakeTxCert :: TxCert (ShelleyEra c) -> Maybe (StakeCredential (EraCrypto (ShelleyEra c)), KeyHash 'StakePool (EraCrypto (ShelleyEra c))) Source # mkGenesisDelegTxCert :: GenesisDelegCert (EraCrypto (ShelleyEra c)) -> TxCert (ShelleyEra c) Source # getGenesisDelegTxCert :: TxCert (ShelleyEra c) -> Maybe (GenesisDelegCert (EraCrypto (ShelleyEra c))) Source # mkMirTxCert :: MIRCert (EraCrypto (ShelleyEra c)) -> TxCert (ShelleyEra c) Source # getMirTxCert :: TxCert (ShelleyEra c) -> Maybe (MIRCert (EraCrypto (ShelleyEra c))) Source # | |
The state used by the POOL rule, which tracks stake pool information.
Constructors
| PState | |
Fields
| |
Instances
| Era era => ToJSON (PState era) | |||||
Defined in Cardano.Ledger.CertState | |||||
| Generic (PState era) | |||||
Defined in Cardano.Ledger.CertState Associated Types
| |||||
| Show (PState era) | |||||
| (Era era, DecShareCBOR (PState era)) => DecCBOR (PState era) | |||||
| Era era => DecShareCBOR (PState era) | |||||
| Era era => EncCBOR (PState era) | |||||
| Default (PState c) | |||||
Defined in Cardano.Ledger.CertState | |||||
| NFData (PState era) | |||||
Defined in Cardano.Ledger.CertState | |||||
| Eq (PState era) | |||||
| NoThunks (PState era) | |||||
| type Rep (PState era) | |||||
Defined in Cardano.Ledger.CertState type Rep (PState era) = D1 ('MetaData "PState" "Cardano.Ledger.CertState" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'False) (C1 ('MetaCons "PState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "psStakePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era)))) :*: S1 ('MetaSel ('Just "psFutureStakePoolParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))))) :*: (S1 ('MetaSel ('Just "psRetiring") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) EpochNo)) :*: S1 ('MetaSel ('Just "psDeposits") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'StakePool (EraCrypto era)) Coin))))) | |||||
| type Share (PState era) | |||||
| type TranslationError (AllegraEra c) PState | |||||
Defined in Cardano.Ledger.Allegra.Translation | |||||
| type TranslationError (AlonzoEra c) PState | |||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||
| type TranslationError (BabbageEra c) PState | |||||
Defined in Cardano.Ledger.Babbage.Translation | |||||
| type TranslationError (ConwayEra c) PState | |||||
Defined in Cardano.Ledger.Conway.Translation | |||||
| type TranslationError (MaryEra c) PState | |||||
Defined in Cardano.Ledger.Mary.Translation | |||||
data GenesisDelegCert c Source #
Genesis key delegation certificate
Constructors
| GenesisDelegCert !(KeyHash 'Genesis c) !(KeyHash 'GenesisDelegate c) !(Hash c (VerKeyVRF c)) |
Instances
| Crypto c => ToJSON (GenesisDelegCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods toJSON :: GenesisDelegCert c -> Value # toEncoding :: GenesisDelegCert c -> Encoding # toJSONList :: [GenesisDelegCert c] -> Value # toEncodingList :: [GenesisDelegCert c] -> Encoding # omitField :: GenesisDelegCert c -> Bool # | |||||
| Generic (GenesisDelegCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Associated Types
Methods from :: GenesisDelegCert c -> Rep (GenesisDelegCert c) x Source # to :: Rep (GenesisDelegCert c) x -> GenesisDelegCert c Source # | |||||
| Show (GenesisDelegCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert | |||||
| NFData (GenesisDelegCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods rnf :: GenesisDelegCert c -> () Source # | |||||
| Eq (GenesisDelegCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods (==) :: GenesisDelegCert c -> GenesisDelegCert c -> Bool Source # (/=) :: GenesisDelegCert c -> GenesisDelegCert c -> Bool Source # | |||||
| Ord (GenesisDelegCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods compare :: GenesisDelegCert c -> GenesisDelegCert c -> Ordering Source # (<) :: GenesisDelegCert c -> GenesisDelegCert c -> Bool Source # (<=) :: GenesisDelegCert c -> GenesisDelegCert c -> Bool Source # (>) :: GenesisDelegCert c -> GenesisDelegCert c -> Bool Source # (>=) :: GenesisDelegCert c -> GenesisDelegCert c -> Bool Source # max :: GenesisDelegCert c -> GenesisDelegCert c -> GenesisDelegCert c Source # min :: GenesisDelegCert c -> GenesisDelegCert c -> GenesisDelegCert c Source # | |||||
| NoThunks (GenesisDelegCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods noThunks :: Context -> GenesisDelegCert c -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> GenesisDelegCert c -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (GenesisDelegCert c) -> String # | |||||
| type Rep (GenesisDelegCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert type Rep (GenesisDelegCert c) = D1 ('MetaData "GenesisDelegCert" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.13.1.0-9008b3bd97a7f1369e796695331dde72764672e215156bc5aa38fd60c04f2fef" 'False) (C1 ('MetaCons "GenesisDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Genesis c)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisDelegate c)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash c (VerKeyVRF c)))))) | |||||
data GenDelegPair c Source #
Constructors
| GenDelegPair | |
Fields
| |
Instances
| Crypto c => FromJSON (GenDelegPair c) | |||||
Defined in Cardano.Ledger.Keys.Internal Methods parseJSON :: Value -> Parser (GenDelegPair c) # parseJSONList :: Value -> Parser [GenDelegPair c] # omittedField :: Maybe (GenDelegPair c) # | |||||
| Crypto c => ToJSON (GenDelegPair c) | |||||
Defined in Cardano.Ledger.Keys.Internal Methods toJSON :: GenDelegPair c -> Value # toEncoding :: GenDelegPair c -> Encoding # toJSONList :: [GenDelegPair c] -> Value # toEncodingList :: [GenDelegPair c] -> Encoding # omitField :: GenDelegPair c -> Bool # | |||||
| Generic (GenDelegPair c) | |||||
Defined in Cardano.Ledger.Keys.Internal Associated Types
Methods from :: GenDelegPair c -> Rep (GenDelegPair c) x Source # to :: Rep (GenDelegPair c) x -> GenDelegPair c Source # | |||||
| Show (GenDelegPair c) | |||||
Defined in Cardano.Ledger.Keys.Internal | |||||
| Crypto c => DecCBOR (GenDelegPair c) | |||||
Defined in Cardano.Ledger.Keys.Internal | |||||
| Crypto c => EncCBOR (GenDelegPair c) | |||||
Defined in Cardano.Ledger.Keys.Internal Methods encCBOR :: GenDelegPair c -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (GenDelegPair c) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [GenDelegPair c] -> Size Source # | |||||
| NFData (GenDelegPair c) | |||||
Defined in Cardano.Ledger.Keys.Internal Methods rnf :: GenDelegPair c -> () Source # | |||||
| Eq (GenDelegPair c) | |||||
Defined in Cardano.Ledger.Keys.Internal Methods (==) :: GenDelegPair c -> GenDelegPair c -> Bool Source # (/=) :: GenDelegPair c -> GenDelegPair c -> Bool Source # | |||||
| Ord (GenDelegPair c) | |||||
Defined in Cardano.Ledger.Keys.Internal Methods compare :: GenDelegPair c -> GenDelegPair c -> Ordering Source # (<) :: GenDelegPair c -> GenDelegPair c -> Bool Source # (<=) :: GenDelegPair c -> GenDelegPair c -> Bool Source # (>) :: GenDelegPair c -> GenDelegPair c -> Bool Source # (>=) :: GenDelegPair c -> GenDelegPair c -> Bool Source # max :: GenDelegPair c -> GenDelegPair c -> GenDelegPair c Source # min :: GenDelegPair c -> GenDelegPair c -> GenDelegPair c Source # | |||||
| NoThunks (GenDelegPair c) | |||||
Defined in Cardano.Ledger.Keys.Internal Methods noThunks :: Context -> GenDelegPair c -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> GenDelegPair c -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (GenDelegPair c) -> String # | |||||
| type Rep (GenDelegPair c) | |||||
Defined in Cardano.Ledger.Keys.Internal type Rep (GenDelegPair c) = D1 ('MetaData "GenDelegPair" "Cardano.Ledger.Keys.Internal" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'False) (C1 ('MetaCons "GenDelegPair" 'PrefixI 'True) (S1 ('MetaSel ('Just "genDelegKeyHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisDelegate c)) :*: S1 ('MetaSel ('Just "genDelegVrfHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash c (VerKeyVRF c))))) | |||||
data StakeReference c Source #
Constructors
| StakeRefBase !(StakeCredential c) | |
| StakeRefPtr !Ptr | |
| StakeRefNull |
Instances
| Crypto c => ToJSON (StakeReference c) | |||||
Defined in Cardano.Ledger.Credential Methods toJSON :: StakeReference c -> Value # toEncoding :: StakeReference c -> Encoding # toJSONList :: [StakeReference c] -> Value # toEncodingList :: [StakeReference c] -> Encoding # omitField :: StakeReference c -> Bool # | |||||
| Generic (StakeReference c) | |||||
Defined in Cardano.Ledger.Credential Associated Types
Methods from :: StakeReference c -> Rep (StakeReference c) x Source # to :: Rep (StakeReference c) x -> StakeReference c Source # | |||||
| Show (StakeReference c) | |||||
Defined in Cardano.Ledger.Credential | |||||
| NFData (StakeReference c) | |||||
Defined in Cardano.Ledger.Credential Methods rnf :: StakeReference c -> () Source # | |||||
| Eq (StakeReference c) | |||||
Defined in Cardano.Ledger.Credential Methods (==) :: StakeReference c -> StakeReference c -> Bool Source # (/=) :: StakeReference c -> StakeReference c -> Bool Source # | |||||
| Ord (StakeReference c) | |||||
Defined in Cardano.Ledger.Credential Methods compare :: StakeReference c -> StakeReference c -> Ordering Source # (<) :: StakeReference c -> StakeReference c -> Bool Source # (<=) :: StakeReference c -> StakeReference c -> Bool Source # (>) :: StakeReference c -> StakeReference c -> Bool Source # (>=) :: StakeReference c -> StakeReference c -> Bool Source # max :: StakeReference c -> StakeReference c -> StakeReference c Source # min :: StakeReference c -> StakeReference c -> StakeReference c Source # | |||||
| NoThunks (StakeReference c) | |||||
Defined in Cardano.Ledger.Credential Methods noThunks :: Context -> StakeReference c -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> StakeReference c -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (StakeReference c) -> String # | |||||
| type Rep (StakeReference c) | |||||
Defined in Cardano.Ledger.Credential type Rep (StakeReference c) = D1 ('MetaData "StakeReference" "Cardano.Ledger.Credential" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'False) (C1 ('MetaCons "StakeRefBase" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential c))) :+: (C1 ('MetaCons "StakeRefPtr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ptr)) :+: C1 ('MetaCons "StakeRefNull" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||
data WitVKey (kr :: KeyRole) c where Source #
Proof/Witness that a transaction is authorized by the given key holder.
Bundled Patterns
| pattern WitVKey :: (Typeable kr, Crypto c) => VKey kr c -> SignedDSIGN c (Hash c EraIndependentTxBody) -> WitVKey kr c |
Instances
| (Typeable kr, Crypto c) => DecCBOR (Annotator (WitVKey kr c)) | |||||
| Generic (WitVKey kr c) | |||||
Defined in Cardano.Ledger.Keys.WitVKey Associated Types
| |||||
| Crypto c => Show (WitVKey kr c) | |||||
| (Typeable kr, Crypto c) => ToCBOR (WitVKey kr c) | |||||
| (Typeable kr, Crypto c) => EncCBOR (WitVKey kr c) | Encodes memoized bytes created upon construction. | ||||
| (Crypto c, Typeable kr) => EqRaw (WitVKey kr c) | |||||
| NFData (WitVKey kr c) | |||||
Defined in Cardano.Ledger.Keys.WitVKey | |||||
| Crypto c => Eq (WitVKey kr c) | |||||
| (Typeable kr, Crypto c) => Ord (WitVKey kr c) | |||||
Defined in Cardano.Ledger.Keys.WitVKey Methods compare :: WitVKey kr c -> WitVKey kr c -> Ordering Source # (<) :: WitVKey kr c -> WitVKey kr c -> Bool Source # (<=) :: WitVKey kr c -> WitVKey kr c -> Bool Source # (>) :: WitVKey kr c -> WitVKey kr c -> Bool Source # (>=) :: WitVKey kr c -> WitVKey kr c -> Bool Source # max :: WitVKey kr c -> WitVKey kr c -> WitVKey kr c Source # min :: WitVKey kr c -> WitVKey kr c -> WitVKey kr c Source # | |||||
| (Crypto c, Typeable kr) => NoThunks (WitVKey kr c) | |||||
| type Rep (WitVKey kr c) | |||||
Defined in Cardano.Ledger.Keys.WitVKey type Rep (WitVKey kr c) = D1 ('MetaData "WitVKey" "Cardano.Ledger.Keys.WitVKey" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'False) (C1 ('MetaCons "WitVKeyInternal" 'PrefixI 'True) ((S1 ('MetaSel ('Just "wvkKey") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (VKey kr c)) :*: S1 ('MetaSel ('Just "wvkSig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SignedDSIGN c (Hash c EraIndependentTxBody)))) :*: (S1 ('MetaSel ('Just "wvkKeyHash") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (KeyHash 'Witness c)) :*: S1 ('MetaSel ('Just "wvkBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))) | |||||
hashKey :: forall c (kd :: KeyRole). Crypto c => VKey kd c -> KeyHash kd c Source #
Hash a given public key
hashVerKeyVRF :: (VRFAlgorithm v, HashAlgorithm h) => VerKeyVRF v -> Hash h (VerKeyVRF v) Source #
hashWithSerialiser :: HashAlgorithm h => (a -> Encoding) -> a -> Hash h a Source #
A variation on hashWith, but specially for CBOR encodings.
data PoolParams c Source #
A stake pool.
Constructors
| PoolParams | |
Fields
| |
Instances
| Crypto c => FromJSON (PoolParams c) | |||||
Defined in Cardano.Ledger.PoolParams Methods parseJSON :: Value -> Parser (PoolParams c) # parseJSONList :: Value -> Parser [PoolParams c] # omittedField :: Maybe (PoolParams c) # | |||||
| Crypto c => ToJSON (PoolParams c) | |||||
Defined in Cardano.Ledger.PoolParams Methods toJSON :: PoolParams c -> Value # toEncoding :: PoolParams c -> Encoding # toJSONList :: [PoolParams c] -> Value # toEncodingList :: [PoolParams c] -> Encoding # omitField :: PoolParams c -> Bool # | |||||
| Generic (PoolParams c) | |||||
Defined in Cardano.Ledger.PoolParams Associated Types
Methods from :: PoolParams c -> Rep (PoolParams c) x Source # to :: Rep (PoolParams c) x -> PoolParams c Source # | |||||
| Show (PoolParams c) | |||||
Defined in Cardano.Ledger.PoolParams | |||||
| Crypto c => DecCBOR (PoolParams c) | |||||
Defined in Cardano.Ledger.PoolParams | |||||
| Crypto c => EncCBOR (PoolParams c) | |||||
Defined in Cardano.Ledger.PoolParams Methods encCBOR :: PoolParams c -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (PoolParams c) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [PoolParams c] -> Size Source # | |||||
| Crypto c => DecCBORGroup (PoolParams c) | |||||
Defined in Cardano.Ledger.PoolParams Methods decCBORGroup :: Decoder s (PoolParams c) Source # | |||||
| Crypto c => EncCBORGroup (PoolParams c) | |||||
Defined in Cardano.Ledger.PoolParams Methods encCBORGroup :: PoolParams c -> Encoding Source # encodedGroupSizeExpr :: (forall x. EncCBOR x => Proxy x -> Size) -> Proxy (PoolParams c) -> Size Source # listLen :: PoolParams c -> Word Source # listLenBound :: Proxy (PoolParams c) -> Word Source # | |||||
| Crypto c => Default (PoolParams c) | |||||
Defined in Cardano.Ledger.PoolParams Methods def :: PoolParams c # | |||||
| NFData (PoolParams c) | |||||
Defined in Cardano.Ledger.PoolParams Methods rnf :: PoolParams c -> () Source # | |||||
| Eq (PoolParams c) | |||||
Defined in Cardano.Ledger.PoolParams Methods (==) :: PoolParams c -> PoolParams c -> Bool Source # (/=) :: PoolParams c -> PoolParams c -> Bool Source # | |||||
| Ord (PoolParams c) | |||||
Defined in Cardano.Ledger.PoolParams Methods compare :: PoolParams c -> PoolParams c -> Ordering Source # (<) :: PoolParams c -> PoolParams c -> Bool Source # (<=) :: PoolParams c -> PoolParams c -> Bool Source # (>) :: PoolParams c -> PoolParams c -> Bool Source # (>=) :: PoolParams c -> PoolParams c -> Bool Source # max :: PoolParams c -> PoolParams c -> PoolParams c Source # min :: PoolParams c -> PoolParams c -> PoolParams c Source # | |||||
| NoThunks (PoolParams c) | |||||
Defined in Cardano.Ledger.PoolParams Methods noThunks :: Context -> PoolParams c -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> PoolParams c -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (PoolParams c) -> String # | |||||
| type Rep (PoolParams c) | |||||
Defined in Cardano.Ledger.PoolParams type Rep (PoolParams c) = D1 ('MetaData "PoolParams" "Cardano.Ledger.PoolParams" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'False) (C1 ('MetaCons "PoolParams" 'PrefixI 'True) (((S1 ('MetaSel ('Just "ppId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c)) :*: S1 ('MetaSel ('Just "ppVrf") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash c (VerKeyVRF c)))) :*: (S1 ('MetaSel ('Just "ppPledge") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "ppCost") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) :*: ((S1 ('MetaSel ('Just "ppMargin") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "ppRewardAccount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RewardAccount c))) :*: (S1 ('MetaSel ('Just "ppOwners") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Set (KeyHash 'Staking c))) :*: (S1 ('MetaSel ('Just "ppRelays") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq StakePoolRelay)) :*: S1 ('MetaSel ('Just "ppMetadata") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe PoolMetadata))))))) | |||||
class HasKeyRole (a :: KeyRole -> Type -> Type) Source #
Instances
| HasKeyRole Credential | |
Defined in Cardano.Ledger.Credential Methods coerceKeyRole :: forall (r :: KeyRole) c (r' :: KeyRole). Credential r c -> Credential r' c Source # | |
| HasKeyRole KeyHash | |
Defined in Cardano.Ledger.Keys.Internal | |
| HasKeyRole VKey | |
Defined in Cardano.Ledger.Keys.Internal | |
| HasKeyRole KeyPair | |
Defined in Test.Cardano.Ledger.Core.KeyPair Methods coerceKeyRole :: forall (r :: KeyRole) c (r' :: KeyRole). KeyPair r c -> KeyPair r' c Source # | |
Constructors
| ReservesMIR | |
| TreasuryMIR |
Instances
| ToJSON MIRPot | |||||
Defined in Cardano.Ledger.Shelley.TxCert | |||||
| Bounded MIRPot | |||||
| Enum MIRPot | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods succ :: MIRPot -> MIRPot Source # pred :: MIRPot -> MIRPot Source # toEnum :: Int -> MIRPot Source # fromEnum :: MIRPot -> Int Source # enumFrom :: MIRPot -> [MIRPot] Source # enumFromThen :: MIRPot -> MIRPot -> [MIRPot] Source # enumFromTo :: MIRPot -> MIRPot -> [MIRPot] Source # enumFromThenTo :: MIRPot -> MIRPot -> MIRPot -> [MIRPot] Source # | |||||
| Generic MIRPot | |||||
Defined in Cardano.Ledger.Shelley.TxCert Associated Types
| |||||
| Show MIRPot | |||||
| DecCBOR MIRPot | |||||
| EncCBOR MIRPot | |||||
| NFData MIRPot | |||||
Defined in Cardano.Ledger.Shelley.TxCert | |||||
| Eq MIRPot | |||||
| Ord MIRPot | |||||
Defined in Cardano.Ledger.Shelley.TxCert | |||||
| NoThunks MIRPot | |||||
| type Rep MIRPot | |||||
Defined in Cardano.Ledger.Shelley.TxCert type Rep MIRPot = D1 ('MetaData "MIRPot" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.13.1.0-9008b3bd97a7f1369e796695331dde72764672e215156bc5aa38fd60c04f2fef" 'False) (C1 ('MetaCons "ReservesMIR" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TreasuryMIR" 'PrefixI 'False) (U1 :: Type -> Type)) | |||||
MIRTarget specifies if funds from either the reserves or the treasury are to be handed out to a collection of reward accounts or instead transfered to the opposite pot.
Constructors
| StakeAddressesMIR !(Map (Credential 'Staking c) DeltaCoin) | |
| SendToOppositePotMIR !Coin |
Instances
| Crypto c => ToJSON (MIRTarget c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert | |||||
| Generic (MIRTarget c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Associated Types
| |||||
| Show (MIRTarget c) | |||||
| Crypto c => DecCBOR (MIRTarget c) | |||||
| Crypto c => EncCBOR (MIRTarget c) | |||||
| NFData (MIRTarget c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert | |||||
| Eq (MIRTarget c) | |||||
| Ord (MIRTarget c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Methods compare :: MIRTarget c -> MIRTarget c -> Ordering Source # (<) :: MIRTarget c -> MIRTarget c -> Bool Source # (<=) :: MIRTarget c -> MIRTarget c -> Bool Source # (>) :: MIRTarget c -> MIRTarget c -> Bool Source # (>=) :: MIRTarget c -> MIRTarget c -> Bool Source # | |||||
| NoThunks (MIRTarget c) | |||||
| type Rep (MIRTarget c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert type Rep (MIRTarget c) = D1 ('MetaData "MIRTarget" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.13.1.0-9008b3bd97a7f1369e796695331dde72764672e215156bc5aa38fd60c04f2fef" 'False) (C1 ('MetaCons "StakeAddressesMIR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (Credential 'Staking c) DeltaCoin))) :+: C1 ('MetaCons "SendToOppositePotMIR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) | |||||
Move instantaneous rewards certificate
Constructors
| MIRCert | |
Fields
| |
Instances
| Crypto c => ToJSON (MIRCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert | |||||
| Generic (MIRCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert Associated Types
| |||||
| Show (MIRCert c) | |||||
| Crypto c => DecCBOR (MIRCert c) | |||||
| Crypto c => EncCBOR (MIRCert c) | |||||
| NFData (MIRCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert | |||||
| Eq (MIRCert c) | |||||
| Ord (MIRCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert | |||||
| NoThunks (MIRCert c) | |||||
| type Rep (MIRCert c) | |||||
Defined in Cardano.Ledger.Shelley.TxCert type Rep (MIRCert c) = D1 ('MetaData "MIRCert" "Cardano.Ledger.Shelley.TxCert" "cardano-ledger-shelley-1.13.1.0-9008b3bd97a7f1369e796695331dde72764672e215156bc5aa38fd60c04f2fef" 'False) (C1 ('MetaCons "MIRCert" 'PrefixI 'True) (S1 ('MetaSel ('Just "mirPot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 MIRPot) :*: S1 ('MetaSel ('Just "mirRewards") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MIRTarget c)))) | |||||
data StakePoolRelay Source #
Constructors
| SingleHostAddr !(StrictMaybe Port) !(StrictMaybe IPv4) !(StrictMaybe IPv6) | One or both of IPv4 & IPv6 |
| SingleHostName !(StrictMaybe Port) !DnsName | An |
| MultiHostName !DnsName | A |
Instances
| FromJSON StakePoolRelay | |||||
Defined in Cardano.Ledger.PoolParams Methods parseJSON :: Value -> Parser StakePoolRelay # parseJSONList :: Value -> Parser [StakePoolRelay] # | |||||
| ToJSON StakePoolRelay | |||||
Defined in Cardano.Ledger.PoolParams Methods toJSON :: StakePoolRelay -> Value # toEncoding :: StakePoolRelay -> Encoding # toJSONList :: [StakePoolRelay] -> Value # toEncodingList :: [StakePoolRelay] -> Encoding # omitField :: StakePoolRelay -> Bool # | |||||
| Generic StakePoolRelay | |||||
Defined in Cardano.Ledger.PoolParams Associated Types
Methods from :: StakePoolRelay -> Rep StakePoolRelay x Source # to :: Rep StakePoolRelay x -> StakePoolRelay Source # | |||||
| Show StakePoolRelay | |||||
Defined in Cardano.Ledger.PoolParams | |||||
| DecCBOR StakePoolRelay | |||||
Defined in Cardano.Ledger.PoolParams | |||||
| EncCBOR StakePoolRelay | |||||
Defined in Cardano.Ledger.PoolParams Methods encCBOR :: StakePoolRelay -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy StakePoolRelay -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [StakePoolRelay] -> Size Source # | |||||
| NFData StakePoolRelay | |||||
Defined in Cardano.Ledger.PoolParams Methods rnf :: StakePoolRelay -> () Source # | |||||
| Eq StakePoolRelay | |||||
Defined in Cardano.Ledger.PoolParams Methods (==) :: StakePoolRelay -> StakePoolRelay -> Bool Source # (/=) :: StakePoolRelay -> StakePoolRelay -> Bool Source # | |||||
| Ord StakePoolRelay | |||||
Defined in Cardano.Ledger.PoolParams Methods compare :: StakePoolRelay -> StakePoolRelay -> Ordering Source # (<) :: StakePoolRelay -> StakePoolRelay -> Bool Source # (<=) :: StakePoolRelay -> StakePoolRelay -> Bool Source # (>) :: StakePoolRelay -> StakePoolRelay -> Bool Source # (>=) :: StakePoolRelay -> StakePoolRelay -> Bool Source # max :: StakePoolRelay -> StakePoolRelay -> StakePoolRelay Source # min :: StakePoolRelay -> StakePoolRelay -> StakePoolRelay Source # | |||||
| NoThunks StakePoolRelay | |||||
Defined in Cardano.Ledger.PoolParams Methods noThunks :: Context -> StakePoolRelay -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> StakePoolRelay -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy StakePoolRelay -> String # | |||||
| type Rep StakePoolRelay | |||||
Defined in Cardano.Ledger.PoolParams type Rep StakePoolRelay = D1 ('MetaData "StakePoolRelay" "Cardano.Ledger.PoolParams" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'False) (C1 ('MetaCons "SingleHostAddr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Port)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe IPv4)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe IPv6)))) :+: (C1 ('MetaCons "SingleHostName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Port)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DnsName)) :+: C1 ('MetaCons "MultiHostName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DnsName)))) | |||||
data PoolMetadata Source #
Constructors
| PoolMetadata | |
Fields
| |
Instances
| FromJSON PoolMetadata | |||||
Defined in Cardano.Ledger.PoolParams | |||||
| ToJSON PoolMetadata | |||||
Defined in Cardano.Ledger.PoolParams Methods toJSON :: PoolMetadata -> Value # toEncoding :: PoolMetadata -> Encoding # toJSONList :: [PoolMetadata] -> Value # toEncodingList :: [PoolMetadata] -> Encoding # omitField :: PoolMetadata -> Bool # | |||||
| Generic PoolMetadata | |||||
Defined in Cardano.Ledger.PoolParams Associated Types
Methods from :: PoolMetadata -> Rep PoolMetadata x Source # to :: Rep PoolMetadata x -> PoolMetadata Source # | |||||
| Show PoolMetadata | |||||
Defined in Cardano.Ledger.PoolParams | |||||
| DecCBOR PoolMetadata | |||||
Defined in Cardano.Ledger.PoolParams | |||||
| EncCBOR PoolMetadata | |||||
Defined in Cardano.Ledger.PoolParams Methods encCBOR :: PoolMetadata -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy PoolMetadata -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [PoolMetadata] -> Size Source # | |||||
| NFData PoolMetadata | |||||
Defined in Cardano.Ledger.PoolParams Methods rnf :: PoolMetadata -> () Source # | |||||
| Eq PoolMetadata | |||||
Defined in Cardano.Ledger.PoolParams Methods (==) :: PoolMetadata -> PoolMetadata -> Bool Source # (/=) :: PoolMetadata -> PoolMetadata -> Bool Source # | |||||
| Ord PoolMetadata | |||||
Defined in Cardano.Ledger.PoolParams Methods compare :: PoolMetadata -> PoolMetadata -> Ordering Source # (<) :: PoolMetadata -> PoolMetadata -> Bool Source # (<=) :: PoolMetadata -> PoolMetadata -> Bool Source # (>) :: PoolMetadata -> PoolMetadata -> Bool Source # (>=) :: PoolMetadata -> PoolMetadata -> Bool Source # max :: PoolMetadata -> PoolMetadata -> PoolMetadata Source # min :: PoolMetadata -> PoolMetadata -> PoolMetadata Source # | |||||
| NoThunks PoolMetadata | |||||
Defined in Cardano.Ledger.PoolParams Methods noThunks :: Context -> PoolMetadata -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> PoolMetadata -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy PoolMetadata -> String # | |||||
| type Rep PoolMetadata | |||||
Defined in Cardano.Ledger.PoolParams type Rep PoolMetadata = D1 ('MetaData "PoolMetadata" "Cardano.Ledger.PoolParams" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'False) (C1 ('MetaCons "PoolMetadata" 'PrefixI 'True) (S1 ('MetaSel ('Just "pmUrl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Url) :*: S1 ('MetaSel ('Just "pmHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString))) | |||||
class (Era era, ToJSON (TxCert era), DecCBOR (TxCert era), EncCBOR (TxCert era), ToCBOR (TxCert era), FromCBOR (TxCert era), NoThunks (TxCert era), NFData (TxCert era), Show (TxCert era), Ord (TxCert era), Eq (TxCert era)) => EraTxCert era where Source #
Associated Types
type TxCert era = (r :: Type) | r -> era Source #
type TxCertUpgradeError era Source #
type TxCertUpgradeError era = Void
Methods
upgradeTxCert :: TxCert (PreviousEra era) -> Either (TxCertUpgradeError era) (TxCert era) Source #
Every era, except Shelley, must be able to upgrade a TxCert from a previous
era. However, not all certificates can be upgraded, because some eras lose some of
the certificates, thus return type is an Either. Eg. from Babbage to Conway: MIR
and Genesis certificates were removed.
getVKeyWitnessTxCert :: TxCert era -> Maybe (KeyHash 'Witness (EraCrypto era)) Source #
Return a witness key whenever a certificate requires one
getScriptWitnessTxCert :: TxCert era -> Maybe (ScriptHash (EraCrypto era)) Source #
Return a ScriptHash for certificate types that require a witness
mkRegPoolTxCert :: PoolParams (EraCrypto era) -> TxCert era Source #
getRegPoolTxCert :: TxCert era -> Maybe (PoolParams (EraCrypto era)) Source #
mkRetirePoolTxCert :: KeyHash 'StakePool (EraCrypto era) -> EpochNo -> TxCert era Source #
getRetirePoolTxCert :: TxCert era -> Maybe (KeyHash 'StakePool (EraCrypto era), EpochNo) Source #
lookupRegStakeTxCert :: TxCert era -> Maybe (Credential 'Staking (EraCrypto era)) Source #
Extract staking credential from any certificate that can register such credential
lookupUnRegStakeTxCert :: TxCert era -> Maybe (Credential 'Staking (EraCrypto era)) Source #
Extract staking credential from any certificate that can unregister such credential
getTotalDepositsTxCerts Source #
Arguments
| :: Foldable f | |
| => PParams era | |
| -> (KeyHash 'StakePool (EraCrypto era) -> Bool) | Check whether stake pool is registered or not |
| -> f (TxCert era) | |
| -> Coin |
Compute the total deposits from a list of certificates.
getTotalRefundsTxCerts Source #
Arguments
| :: Foldable f | |
| => PParams era | |
| -> (Credential 'Staking (EraCrypto era) -> Maybe Coin) | Lookup current deposit for Staking credential if one is registered |
| -> (Credential 'DRepRole (EraCrypto era) -> Maybe Coin) | Lookup current deposit for DRep credential if one is registered |
| -> f (TxCert era) | |
| -> Coin |
Compute the total refunds from a list of certificates.
data StrictMaybe a Source #
Instances
| MonadFail StrictMaybe | |||||
Defined in Data.Maybe.Strict Methods fail :: String -> StrictMaybe a Source # | |||||
| Foldable StrictMaybe | |||||
Defined in Data.Maybe.Strict Methods fold :: Monoid m => StrictMaybe m -> m Source # foldMap :: Monoid m => (a -> m) -> StrictMaybe a -> m Source # foldMap' :: Monoid m => (a -> m) -> StrictMaybe a -> m Source # foldr :: (a -> b -> b) -> b -> StrictMaybe a -> b Source # foldr' :: (a -> b -> b) -> b -> StrictMaybe a -> b Source # foldl :: (b -> a -> b) -> b -> StrictMaybe a -> b Source # foldl' :: (b -> a -> b) -> b -> StrictMaybe a -> b Source # foldr1 :: (a -> a -> a) -> StrictMaybe a -> a Source # foldl1 :: (a -> a -> a) -> StrictMaybe a -> a Source # toList :: StrictMaybe a -> [a] Source # null :: StrictMaybe a -> Bool Source # length :: StrictMaybe a -> Int Source # elem :: Eq a => a -> StrictMaybe a -> Bool Source # maximum :: Ord a => StrictMaybe a -> a Source # minimum :: Ord a => StrictMaybe a -> a Source # sum :: Num a => StrictMaybe a -> a Source # product :: Num a => StrictMaybe a -> a Source # | |||||
| Traversable StrictMaybe | |||||
Defined in Data.Maybe.Strict Methods traverse :: Applicative f => (a -> f b) -> StrictMaybe a -> f (StrictMaybe b) Source # sequenceA :: Applicative f => StrictMaybe (f a) -> f (StrictMaybe a) Source # mapM :: Monad m => (a -> m b) -> StrictMaybe a -> m (StrictMaybe b) Source # sequence :: Monad m => StrictMaybe (m a) -> m (StrictMaybe a) Source # | |||||
| Alternative StrictMaybe | |||||
Defined in Data.Maybe.Strict Methods empty :: StrictMaybe a Source # (<|>) :: StrictMaybe a -> StrictMaybe a -> StrictMaybe a Source # some :: StrictMaybe a -> StrictMaybe [a] Source # many :: StrictMaybe a -> StrictMaybe [a] Source # | |||||
| Applicative StrictMaybe | |||||
Defined in Data.Maybe.Strict Methods pure :: a -> StrictMaybe a Source # (<*>) :: StrictMaybe (a -> b) -> StrictMaybe a -> StrictMaybe b Source # liftA2 :: (a -> b -> c) -> StrictMaybe a -> StrictMaybe b -> StrictMaybe c Source # (*>) :: StrictMaybe a -> StrictMaybe b -> StrictMaybe b Source # (<*) :: StrictMaybe a -> StrictMaybe b -> StrictMaybe a Source # | |||||
| Functor StrictMaybe | |||||
Defined in Data.Maybe.Strict Methods fmap :: (a -> b) -> StrictMaybe a -> StrictMaybe b Source # (<$) :: a -> StrictMaybe b -> StrictMaybe a Source # | |||||
| Monad StrictMaybe | |||||
Defined in Data.Maybe.Strict Methods (>>=) :: StrictMaybe a -> (a -> StrictMaybe b) -> StrictMaybe b Source # (>>) :: StrictMaybe a -> StrictMaybe b -> StrictMaybe b Source # return :: a -> StrictMaybe a Source # | |||||
| HKDApplicative StrictMaybe | |||||
Defined in Cardano.Ledger.HKD Methods hkdPure :: a -> HKD StrictMaybe a Source # hkdLiftA2 :: (a -> b -> c) -> HKD StrictMaybe a -> HKD StrictMaybe b -> HKD StrictMaybe c Source # | |||||
| HKDFunctor StrictMaybe | |||||
Defined in Cardano.Ledger.HKD Methods hkdMap :: proxy StrictMaybe -> (a -> b) -> HKD StrictMaybe a -> HKD StrictMaybe b Source # toNoUpdate :: HKD StrictMaybe a -> HKDNoUpdate StrictMaybe a Source # fromNoUpdate :: HKDNoUpdate StrictMaybe a -> HKD StrictMaybe a Source # | |||||
| FromJSON a => FromJSON (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Methods parseJSON :: Value -> Parser (StrictMaybe a) # parseJSONList :: Value -> Parser [StrictMaybe a] # omittedField :: Maybe (StrictMaybe a) # | |||||
| ToJSON a => ToJSON (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Methods toJSON :: StrictMaybe a -> Value # toEncoding :: StrictMaybe a -> Encoding # toJSONList :: [StrictMaybe a] -> Value # toEncodingList :: [StrictMaybe a] -> Encoding # omitField :: StrictMaybe a -> Bool # | |||||
| Semigroup a => Monoid (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Methods mempty :: StrictMaybe a Source # mappend :: StrictMaybe a -> StrictMaybe a -> StrictMaybe a Source # mconcat :: [StrictMaybe a] -> StrictMaybe a Source # | |||||
| Semigroup a => Semigroup (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Methods (<>) :: StrictMaybe a -> StrictMaybe a -> StrictMaybe a Source # sconcat :: NonEmpty (StrictMaybe a) -> StrictMaybe a Source # stimes :: Integral b => b -> StrictMaybe a -> StrictMaybe a Source # | |||||
| Generic (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Associated Types
Methods from :: StrictMaybe a -> Rep (StrictMaybe a) x Source # to :: Rep (StrictMaybe a) x -> StrictMaybe a Source # | |||||
| Show (UpgradeConwayPParams StrictMaybe) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods showsPrec :: Int -> UpgradeConwayPParams StrictMaybe -> ShowS Source # show :: UpgradeConwayPParams StrictMaybe -> String Source # showList :: [UpgradeConwayPParams StrictMaybe] -> ShowS Source # | |||||
| Show a => Show (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict | |||||
| FromCBOR a => FromCBOR (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict | |||||
| ToCBOR a => ToCBOR (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Methods toCBOR :: StrictMaybe a -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (StrictMaybe a) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [StrictMaybe a] -> Size Source # | |||||
| DecCBOR a => DecCBOR (StrictMaybe a) | |||||
Defined in Cardano.Ledger.Binary.Decoding.DecCBOR | |||||
| EncCBOR a => EncCBOR (StrictMaybe a) | |||||
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR :: StrictMaybe a -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (StrictMaybe a) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [StrictMaybe a] -> Size Source # | |||||
| Default (UpgradeAlonzoPParams StrictMaybe) | |||||
Defined in Cardano.Ledger.Alonzo.PParams Methods | |||||
| Default (UpgradeConwayPParams StrictMaybe) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods | |||||
| Default (StrictMaybe t) | |||||
Defined in Data.Maybe.Strict Methods def :: StrictMaybe t # | |||||
| NFData (UpgradeConwayPParams StrictMaybe) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods rnf :: UpgradeConwayPParams StrictMaybe -> () Source # | |||||
| NFData a => NFData (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Methods rnf :: StrictMaybe a -> () Source # | |||||
| Eq (UpgradeConwayPParams StrictMaybe) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods (==) :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Bool Source # (/=) :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Bool Source # | |||||
| Eq a => Eq (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Methods (==) :: StrictMaybe a -> StrictMaybe a -> Bool Source # (/=) :: StrictMaybe a -> StrictMaybe a -> Bool Source # | |||||
| Ord (UpgradeConwayPParams StrictMaybe) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods compare :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Ordering Source # (<) :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Bool Source # (<=) :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Bool Source # (>) :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Bool Source # (>=) :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Bool Source # max :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe Source # min :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe Source # | |||||
| Ord a => Ord (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Methods compare :: StrictMaybe a -> StrictMaybe a -> Ordering Source # (<) :: StrictMaybe a -> StrictMaybe a -> Bool Source # (<=) :: StrictMaybe a -> StrictMaybe a -> Bool Source # (>) :: StrictMaybe a -> StrictMaybe a -> Bool Source # (>=) :: StrictMaybe a -> StrictMaybe a -> Bool Source # max :: StrictMaybe a -> StrictMaybe a -> StrictMaybe a Source # min :: StrictMaybe a -> StrictMaybe a -> StrictMaybe a Source # | |||||
| NoThunks (UpgradeConwayPParams StrictMaybe) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods noThunks :: Context -> UpgradeConwayPParams StrictMaybe -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> UpgradeConwayPParams StrictMaybe -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (UpgradeConwayPParams StrictMaybe) -> String # | |||||
| NoThunks a => NoThunks (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict Methods noThunks :: Context -> StrictMaybe a -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> StrictMaybe a -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (StrictMaybe a) -> String # | |||||
| Crypto c => ToJSON (AlonzoPParams StrictMaybe (AlonzoEra c)) | |||||
Defined in Cardano.Ledger.Alonzo.PParams Methods toJSON :: AlonzoPParams StrictMaybe (AlonzoEra c) -> Value # toEncoding :: AlonzoPParams StrictMaybe (AlonzoEra c) -> Encoding # toJSONList :: [AlonzoPParams StrictMaybe (AlonzoEra c)] -> Value # toEncodingList :: [AlonzoPParams StrictMaybe (AlonzoEra c)] -> Encoding # omitField :: AlonzoPParams StrictMaybe (AlonzoEra c) -> Bool # | |||||
| (PParamsHKD StrictMaybe era ~ BabbagePParams StrictMaybe era, BabbageEraPParams era, ProtVerAtMost era 8) => ToJSON (BabbagePParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Babbage.PParams Methods toJSON :: BabbagePParams StrictMaybe era -> Value # toEncoding :: BabbagePParams StrictMaybe era -> Encoding # toJSONList :: [BabbagePParams StrictMaybe era] -> Value # toEncodingList :: [BabbagePParams StrictMaybe era] -> Encoding # omitField :: BabbagePParams StrictMaybe era -> Bool # | |||||
| (ConwayEraPParams era, PParamsHKD StrictMaybe era ~ ConwayPParams StrictMaybe era) => ToJSON (ConwayPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods toJSON :: ConwayPParams StrictMaybe era -> Value # toEncoding :: ConwayPParams StrictMaybe era -> Encoding # toJSONList :: [ConwayPParams StrictMaybe era] -> Value # toEncodingList :: [ConwayPParams StrictMaybe era] -> Encoding # omitField :: ConwayPParams StrictMaybe era -> Bool # | |||||
| (EraPParams era, PParamsHKD StrictMaybe era ~ ShelleyPParams StrictMaybe era, ProtVerAtMost era 4, ProtVerAtMost era 6, ProtVerAtMost era 8) => ToJSON (ShelleyPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods toJSON :: ShelleyPParams StrictMaybe era -> Value # toEncoding :: ShelleyPParams StrictMaybe era -> Encoding # toJSONList :: [ShelleyPParams StrictMaybe era] -> Value # toEncodingList :: [ShelleyPParams StrictMaybe era] -> Encoding # omitField :: ShelleyPParams StrictMaybe era -> Bool # | |||||
| Semigroup (AlonzoPParams StrictMaybe era) Source # | |||||
Defined in Cardano.Api.Orphans Methods (<>) :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era Source # sconcat :: NonEmpty (AlonzoPParams StrictMaybe era) -> AlonzoPParams StrictMaybe era Source # stimes :: Integral b => b -> AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era Source # | |||||
| Semigroup (BabbagePParams StrictMaybe era) Source # | |||||
Defined in Cardano.Api.Orphans Methods (<>) :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era Source # sconcat :: NonEmpty (BabbagePParams StrictMaybe era) -> BabbagePParams StrictMaybe era Source # stimes :: Integral b => b -> BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era Source # | |||||
| Semigroup (ConwayPParams StrictMaybe era) Source # | |||||
Defined in Cardano.Api.Orphans Methods (<>) :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era Source # sconcat :: NonEmpty (ConwayPParams StrictMaybe era) -> ConwayPParams StrictMaybe era Source # stimes :: Integral b => b -> ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era Source # | |||||
| Semigroup (ShelleyPParams StrictMaybe era) Source # | |||||
Defined in Cardano.Api.Orphans Methods (<>) :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era Source # sconcat :: NonEmpty (ShelleyPParams StrictMaybe era) -> ShelleyPParams StrictMaybe era Source # stimes :: Integral b => b -> ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era Source # | |||||
| Show (AlonzoPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Alonzo.PParams Methods showsPrec :: Int -> AlonzoPParams StrictMaybe era -> ShowS Source # show :: AlonzoPParams StrictMaybe era -> String Source # showList :: [AlonzoPParams StrictMaybe era] -> ShowS Source # | |||||
| Show (BabbagePParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Babbage.PParams Methods showsPrec :: Int -> BabbagePParams StrictMaybe era -> ShowS Source # show :: BabbagePParams StrictMaybe era -> String Source # showList :: [BabbagePParams StrictMaybe era] -> ShowS Source # | |||||
| Show (ConwayPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods showsPrec :: Int -> ConwayPParams StrictMaybe era -> ShowS Source # show :: ConwayPParams StrictMaybe era -> String Source # showList :: [ConwayPParams StrictMaybe era] -> ShowS Source # | |||||
| Show (ShelleyPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods showsPrec :: Int -> ShelleyPParams StrictMaybe era -> ShowS Source # show :: ShelleyPParams StrictMaybe era -> String Source # showList :: [ShelleyPParams StrictMaybe era] -> ShowS Source # | |||||
| Era era => FromCBOR (AlonzoPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Alonzo.PParams Methods fromCBOR :: Decoder s (AlonzoPParams StrictMaybe era) Source # label :: Proxy (AlonzoPParams StrictMaybe era) -> Text Source # | |||||
| Era era => FromCBOR (BabbagePParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Babbage.PParams Methods fromCBOR :: Decoder s (BabbagePParams StrictMaybe era) Source # label :: Proxy (BabbagePParams StrictMaybe era) -> Text Source # | |||||
| Era era => FromCBOR (ConwayPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods fromCBOR :: Decoder s (ConwayPParams StrictMaybe era) Source # label :: Proxy (ConwayPParams StrictMaybe era) -> Text Source # | |||||
| Era era => FromCBOR (ShelleyPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods fromCBOR :: Decoder s (ShelleyPParams StrictMaybe era) Source # label :: Proxy (ShelleyPParams StrictMaybe era) -> Text Source # | |||||
| Era era => ToCBOR (AlonzoPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Alonzo.PParams Methods toCBOR :: AlonzoPParams StrictMaybe era -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (AlonzoPParams StrictMaybe era) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AlonzoPParams StrictMaybe era] -> Size Source # | |||||
| Era era => ToCBOR (BabbagePParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Babbage.PParams Methods toCBOR :: BabbagePParams StrictMaybe era -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (BabbagePParams StrictMaybe era) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [BabbagePParams StrictMaybe era] -> Size Source # | |||||
| Era era => ToCBOR (ConwayPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods toCBOR :: ConwayPParams StrictMaybe era -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ConwayPParams StrictMaybe era) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ConwayPParams StrictMaybe era] -> Size Source # | |||||
| Era era => ToCBOR (ShelleyPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods toCBOR :: ShelleyPParams StrictMaybe era -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ShelleyPParams StrictMaybe era) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ShelleyPParams StrictMaybe era] -> Size Source # | |||||
| Era era => DecCBOR (AlonzoPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Alonzo.PParams Methods decCBOR :: Decoder s (AlonzoPParams StrictMaybe era) Source # dropCBOR :: Proxy (AlonzoPParams StrictMaybe era) -> Decoder s () Source # label :: Proxy (AlonzoPParams StrictMaybe era) -> Text Source # | |||||
| Era era => DecCBOR (BabbagePParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Babbage.PParams Methods decCBOR :: Decoder s (BabbagePParams StrictMaybe era) Source # dropCBOR :: Proxy (BabbagePParams StrictMaybe era) -> Decoder s () Source # label :: Proxy (BabbagePParams StrictMaybe era) -> Text Source # | |||||
| Era era => DecCBOR (ConwayPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods decCBOR :: Decoder s (ConwayPParams StrictMaybe era) Source # dropCBOR :: Proxy (ConwayPParams StrictMaybe era) -> Decoder s () Source # label :: Proxy (ConwayPParams StrictMaybe era) -> Text Source # | |||||
| Era era => DecCBOR (ShelleyPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods decCBOR :: Decoder s (ShelleyPParams StrictMaybe era) Source # dropCBOR :: Proxy (ShelleyPParams StrictMaybe era) -> Decoder s () Source # label :: Proxy (ShelleyPParams StrictMaybe era) -> Text Source # | |||||
| Era era => EncCBOR (AlonzoPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Alonzo.PParams Methods encCBOR :: AlonzoPParams StrictMaybe era -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (AlonzoPParams StrictMaybe era) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [AlonzoPParams StrictMaybe era] -> Size Source # | |||||
| Era era => EncCBOR (BabbagePParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Babbage.PParams Methods encCBOR :: BabbagePParams StrictMaybe era -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (BabbagePParams StrictMaybe era) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [BabbagePParams StrictMaybe era] -> Size Source # | |||||
| Era era => EncCBOR (ConwayPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods encCBOR :: ConwayPParams StrictMaybe era -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (ConwayPParams StrictMaybe era) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [ConwayPParams StrictMaybe era] -> Size Source # | |||||
| Era era => EncCBOR (ShelleyPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods encCBOR :: ShelleyPParams StrictMaybe era -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (ShelleyPParams StrictMaybe era) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [ShelleyPParams StrictMaybe era] -> Size Source # | |||||
| NFData (AlonzoPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Alonzo.PParams Methods rnf :: AlonzoPParams StrictMaybe era -> () Source # | |||||
| NFData (BabbagePParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Babbage.PParams Methods rnf :: BabbagePParams StrictMaybe era -> () Source # | |||||
| NFData (ConwayPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods rnf :: ConwayPParams StrictMaybe era -> () Source # | |||||
| NFData (ShelleyPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods rnf :: ShelleyPParams StrictMaybe era -> () Source # | |||||
| Eq (AlonzoPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Alonzo.PParams Methods (==) :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> Bool Source # (/=) :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> Bool Source # | |||||
| Eq (BabbagePParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Babbage.PParams Methods (==) :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> Bool Source # (/=) :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> Bool Source # | |||||
| Eq (ConwayPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods (==) :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> Bool Source # (/=) :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> Bool Source # | |||||
| Eq (ShelleyPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods (==) :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> Bool Source # (/=) :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> Bool Source # | |||||
| Ord (AlonzoPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Alonzo.PParams Methods compare :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> Ordering Source # (<) :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> Bool Source # (<=) :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> Bool Source # (>) :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> Bool Source # (>=) :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> Bool Source # max :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era Source # min :: AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era -> AlonzoPParams StrictMaybe era Source # | |||||
| Ord (BabbagePParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Babbage.PParams Methods compare :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> Ordering Source # (<) :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> Bool Source # (<=) :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> Bool Source # (>) :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> Bool Source # (>=) :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> Bool Source # max :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era Source # min :: BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era -> BabbagePParams StrictMaybe era Source # | |||||
| Ord (ConwayPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods compare :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> Ordering Source # (<) :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> Bool Source # (<=) :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> Bool Source # (>) :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> Bool Source # (>=) :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> Bool Source # max :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era Source # min :: ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era -> ConwayPParams StrictMaybe era Source # | |||||
| Ord (ShelleyPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods compare :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> Ordering Source # (<) :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> Bool Source # (<=) :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> Bool Source # (>) :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> Bool Source # (>=) :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> Bool Source # max :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era Source # min :: ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era -> ShelleyPParams StrictMaybe era Source # | |||||
| NoThunks (AlonzoPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Alonzo.PParams Methods noThunks :: Context -> AlonzoPParams StrictMaybe era -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> AlonzoPParams StrictMaybe era -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (AlonzoPParams StrictMaybe era) -> String # | |||||
| NoThunks (BabbagePParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Babbage.PParams Methods noThunks :: Context -> BabbagePParams StrictMaybe era -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> BabbagePParams StrictMaybe era -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (BabbagePParams StrictMaybe era) -> String # | |||||
| NoThunks (ConwayPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods noThunks :: Context -> ConwayPParams StrictMaybe era -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> ConwayPParams StrictMaybe era -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (ConwayPParams StrictMaybe era) -> String # | |||||
| NoThunks (ShelleyPParams StrictMaybe era) | |||||
Defined in Cardano.Ledger.Shelley.PParams Methods noThunks :: Context -> ShelleyPParams StrictMaybe era -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> ShelleyPParams StrictMaybe era -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (ShelleyPParams StrictMaybe era) -> String # | |||||
| (Typeable t, FromJSON a) => FromJSON (THKD t StrictMaybe a) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods parseJSON :: Value -> Parser (THKD t StrictMaybe a) # parseJSONList :: Value -> Parser [THKD t StrictMaybe a] # omittedField :: Maybe (THKD t StrictMaybe a) # | |||||
| (Typeable t, ToJSON a) => ToJSON (THKD t StrictMaybe a) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods toJSON :: THKD t StrictMaybe a -> Value # toEncoding :: THKD t StrictMaybe a -> Encoding # toJSONList :: [THKD t StrictMaybe a] -> Value # toEncodingList :: [THKD t StrictMaybe a] -> Encoding # omitField :: THKD t StrictMaybe a -> Bool # | |||||
| (Typeable t, DecCBOR a) => DecCBOR (THKD t StrictMaybe a) | |||||
| (Typeable t, EncCBOR a) => EncCBOR (THKD t StrictMaybe a) | |||||
Defined in Cardano.Ledger.Conway.PParams | |||||
| Updatable (K1 t x a) (K1 t (StrictMaybe x) u) | |||||
Defined in Cardano.Ledger.Core.PParams Methods applyUpdate :: K1 t x a -> K1 t (StrictMaybe x) u -> K1 t x a | |||||
| type Rep (StrictMaybe a) | |||||
Defined in Data.Maybe.Strict type Rep (StrictMaybe a) = D1 ('MetaData "StrictMaybe" "Data.Maybe.Strict" "cardano-strict-containers-0.1.3.0-f2133c72b8376441021fa47809c02967743003ffcbb177397ab6d07939b9435c" 'False) (C1 ('MetaCons "SNothing" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SJust" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))) | |||||
pattern DelegTxCert :: ConwayEraTxCert era => StakeCredential (EraCrypto era) -> Delegatee (EraCrypto era) -> TxCert era Source #
pattern RegPoolTxCert :: EraTxCert era => PoolParams (EraCrypto era) -> TxCert era Source #
pattern RetirePoolTxCert :: EraTxCert era => KeyHash 'StakePool (EraCrypto era) -> EpochNo -> TxCert era Source #
pattern RegDepositTxCert :: ConwayEraTxCert era => StakeCredential (EraCrypto era) -> Coin -> TxCert era Source #
pattern UnRegDepositTxCert :: ConwayEraTxCert era => StakeCredential (EraCrypto era) -> Coin -> TxCert era Source #
pattern UnRegDRepTxCert :: ConwayEraTxCert era => Credential 'DRepRole (EraCrypto era) -> Coin -> TxCert era Source #
pattern AuthCommitteeHotKeyTxCert :: ConwayEraTxCert era => Credential 'ColdCommitteeRole (EraCrypto era) -> Credential 'HotCommitteeRole (EraCrypto era) -> TxCert era Source #
pattern ResignCommitteeColdTxCert :: ConwayEraTxCert era => Credential 'ColdCommitteeRole (EraCrypto era) -> StrictMaybe (Anchor (EraCrypto era)) -> TxCert era Source #
pattern RegTxCert :: ShelleyEraTxCert era => StakeCredential (EraCrypto era) -> TxCert era Source #
pattern UnRegTxCert :: ShelleyEraTxCert era => StakeCredential (EraCrypto era) -> TxCert era Source #
pattern DelegStakeTxCert :: ShelleyEraTxCert era => StakeCredential (EraCrypto era) -> KeyHash 'StakePool (EraCrypto era) -> TxCert era Source #
pattern RegDepositDelegTxCert :: ConwayEraTxCert era => StakeCredential (EraCrypto era) -> Delegatee (EraCrypto era) -> Coin -> TxCert era Source #
pattern RegDRepTxCert :: ConwayEraTxCert era => Credential 'DRepRole (EraCrypto era) -> Coin -> StrictMaybe (Anchor (EraCrypto era)) -> TxCert era Source #
pattern MirTxCert :: (ShelleyEraTxCert era, ProtVerAtMost era 8) => MIRCert (EraCrypto era) -> TxCert era Source #
pattern GenesisDelegTxCert :: (ShelleyEraTxCert era, ProtVerAtMost era 8) => KeyHash 'Genesis (EraCrypto era) -> KeyHash 'GenesisDelegate (EraCrypto era) -> Hash (EraCrypto era) (VerKeyVRF (EraCrypto era)) -> TxCert era Source #
pattern UpdateDRepTxCert :: ConwayEraTxCert era => Credential 'DRepRole (EraCrypto era) -> StrictMaybe (Anchor (EraCrypto era)) -> TxCert era Source #
The amount of value held by a transaction output.
Instances
| FromJSON Coin | |||||
Defined in Cardano.Ledger.Coin Methods parseJSON :: Value -> Parser Coin # parseJSONList :: Value -> Parser [Coin] # omittedField :: Maybe Coin # | |||||
| ToJSON Coin | |||||
Defined in Cardano.Ledger.Coin | |||||
| Monoid Coin | |||||
| Semigroup Coin | |||||
| Enum Coin | |||||
| Generic Coin | |||||
Defined in Cardano.Ledger.Coin Associated Types
| |||||
| Num Coin Source # | |||||
| Integral Coin Source # | |||||
Defined in Cardano.Api.Orphans | |||||
| Real Coin Source # | These instances originally existed on the Lovelace type. As the Lovelace type is deleted and we use L.Coin instead, these instances are added to L.Coin. The instances are purely for the convenience of writing expressions involving L.Coin but be aware that not all uses of these typeclasses are valid. | ||||
Defined in Cardano.Api.Orphans Methods toRational :: Coin -> Rational Source # | |||||
| Show Coin | |||||
| FromCBOR Coin | |||||
| ToCBOR Coin | |||||
| DecCBOR Coin | |||||
| EncCBOR Coin | |||||
| Compactible Coin | |||||
Defined in Cardano.Ledger.Coin Associated Types
Methods toCompact :: Coin -> Maybe (CompactForm Coin) Source # fromCompact :: CompactForm Coin -> Coin Source # | |||||
| ToPlutusData Coin | |||||
Defined in Cardano.Ledger.Plutus.ToPlutusData | |||||
| Val Coin | |||||
Defined in Cardano.Ledger.Val Methods (<+>) :: Coin -> Coin -> Coin Source # (<×>) :: Integral i => i -> Coin -> Coin Source # (<->) :: Coin -> Coin -> Coin Source # isZero :: Coin -> Bool Source # modifyCoin :: (Coin -> Coin) -> Coin -> Coin Source # size :: Coin -> Integer Source # pointwise :: (Integer -> Integer -> Bool) -> Coin -> Coin -> Bool Source # isAdaOnly :: Coin -> Bool Source # isAdaOnlyCompact :: CompactForm Coin -> Bool Source # coinCompact :: CompactForm Coin -> CompactForm Coin Source # injectCompact :: CompactForm Coin -> CompactForm Coin Source # modifyCompactCoin :: (CompactForm Coin -> CompactForm Coin) -> CompactForm Coin -> CompactForm Coin Source # | |||||
| NFData Coin | |||||
Defined in Cardano.Ledger.Coin | |||||
| Eq Coin | |||||
| Ord Coin | |||||
Defined in Cardano.Ledger.Coin | |||||
| Abelian Coin | |||||
Defined in Cardano.Ledger.Coin | |||||
| Group Coin | |||||
| HeapWords Coin | |||||
Defined in Cardano.Ledger.Coin | |||||
| NoThunks Coin | |||||
| PartialOrd Coin | |||||
| Pretty Coin Source # | |||||
Defined in Cardano.Api.Orphans | |||||
| Uniform Coin | |||||
Defined in Cardano.Ledger.Coin | |||||
| UniformRange Coin | |||||
Defined in Cardano.Ledger.Coin | |||||
| Inject Coin DeltaCoin | |||||
| Inject Coin (MaryValue c) | |||||
| FromJSON (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods parseJSON :: Value -> Parser (CompactForm Coin) # parseJSONList :: Value -> Parser [CompactForm Coin] # omittedField :: Maybe (CompactForm Coin) # | |||||
| ToJSON (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods toJSON :: CompactForm Coin -> Value # toEncoding :: CompactForm Coin -> Encoding # toJSONList :: [CompactForm Coin] -> Value # toEncodingList :: [CompactForm Coin] -> Encoding # omitField :: CompactForm Coin -> Bool # | |||||
| Monoid (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods mempty :: CompactForm Coin Source # mappend :: CompactForm Coin -> CompactForm Coin -> CompactForm Coin Source # mconcat :: [CompactForm Coin] -> CompactForm Coin Source # | |||||
| Semigroup (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods (<>) :: CompactForm Coin -> CompactForm Coin -> CompactForm Coin Source # sconcat :: NonEmpty (CompactForm Coin) -> CompactForm Coin Source # stimes :: Integral b => b -> CompactForm Coin -> CompactForm Coin Source # | |||||
| Show (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin | |||||
| ToCBOR (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin | |||||
| DecCBOR (CompactForm Coin) | |||||
| EncCBOR (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin | |||||
| NFData (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods rnf :: CompactForm Coin -> () Source # | |||||
| Eq (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods (==) :: CompactForm Coin -> CompactForm Coin -> Bool Source # (/=) :: CompactForm Coin -> CompactForm Coin -> Bool Source # | |||||
| Ord (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods compare :: CompactForm Coin -> CompactForm Coin -> Ordering Source # (<) :: CompactForm Coin -> CompactForm Coin -> Bool Source # (<=) :: CompactForm Coin -> CompactForm Coin -> Bool Source # (>) :: CompactForm Coin -> CompactForm Coin -> Bool Source # (>=) :: CompactForm Coin -> CompactForm Coin -> Bool Source # max :: CompactForm Coin -> CompactForm Coin -> CompactForm Coin Source # min :: CompactForm Coin -> CompactForm Coin -> CompactForm Coin Source # | |||||
| Abelian (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin | |||||
| Group (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods invert :: CompactForm Coin -> CompactForm Coin (~~) :: CompactForm Coin -> CompactForm Coin -> CompactForm Coin pow :: Integral x => CompactForm Coin -> x -> CompactForm Coin | |||||
| HeapWords (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods heapWords :: CompactForm Coin -> Int | |||||
| NoThunks (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods noThunks :: Context -> CompactForm Coin -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> CompactForm Coin -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (CompactForm Coin) -> String # | |||||
| Prim (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods sizeOfType# :: Proxy (CompactForm Coin) -> Int# sizeOf# :: CompactForm Coin -> Int# alignmentOfType# :: Proxy (CompactForm Coin) -> Int# alignment# :: CompactForm Coin -> Int# indexByteArray# :: ByteArray# -> Int# -> CompactForm Coin readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CompactForm Coin #) writeByteArray# :: MutableByteArray# s -> Int# -> CompactForm Coin -> State# s -> State# s setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CompactForm Coin -> State# s -> State# s indexOffAddr# :: Addr# -> Int# -> CompactForm Coin readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CompactForm Coin #) writeOffAddr# :: Addr# -> Int# -> CompactForm Coin -> State# s -> State# s setOffAddr# :: Addr# -> Int# -> Int# -> CompactForm Coin -> State# s -> State# s | |||||
| Uniform (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods uniformM :: StatefulGen g m => g -> m (CompactForm Coin) | |||||
| UniformRange (CompactForm Coin) | |||||
Defined in Cardano.Ledger.Coin Methods uniformRM :: StatefulGen g m => (CompactForm Coin, CompactForm Coin) -> g -> m (CompactForm Coin) | |||||
| type Rep Coin | |||||
Defined in Cardano.Ledger.Coin type Rep Coin = D1 ('MetaData "Coin" "Cardano.Ledger.Coin" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'True) (C1 ('MetaCons "Coin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))) | |||||
| newtype CompactForm Coin | |||||
Defined in Cardano.Ledger.Coin | |||||
class (Era era, Eq (PParamsHKD Identity era), Ord (PParamsHKD Identity era), Show (PParamsHKD Identity era), NFData (PParamsHKD Identity era), EncCBOR (PParamsHKD Identity era), DecCBOR (PParamsHKD Identity era), ToCBOR (PParamsHKD Identity era), FromCBOR (PParamsHKD Identity era), NoThunks (PParamsHKD Identity era), ToJSON (PParamsHKD Identity era), FromJSON (PParamsHKD Identity era), Eq (PParamsHKD StrictMaybe era), Ord (PParamsHKD StrictMaybe era), Show (PParamsHKD StrictMaybe era), NFData (PParamsHKD StrictMaybe era), EncCBOR (PParamsHKD StrictMaybe era), DecCBOR (PParamsHKD StrictMaybe era), ToCBOR (PParamsHKD StrictMaybe era), FromCBOR (PParamsHKD StrictMaybe era), NoThunks (PParamsHKD StrictMaybe era), ToJSON (PParamsHKD StrictMaybe era)) => EraPParams era where Source #
Minimal complete definition
emptyPParamsIdentity, emptyPParamsStrictMaybe, upgradePParamsHKD, downgradePParamsHKD, hkdMinFeeAL, hkdMinFeeBL, hkdMaxBBSizeL, hkdMaxTxSizeL, hkdMaxBHSizeL, hkdKeyDepositL, hkdPoolDepositL, hkdEMaxL, hkdNOptL, hkdA0L, hkdRhoL, hkdTauL, hkdDL, hkdExtraEntropyL, hkdProtocolVersionL, hkdMinUTxOValueL, hkdMinPoolCostL
Associated Types
type PParamsHKD (f :: Type -> Type) era = (r :: Type) | r -> era Source #
Protocol parameters where the fields are represented with a HKD
type UpgradePParams (f :: Type -> Type) era Source #
type DowngradePParams (f :: Type -> Type) era Source #
Methods
applyPPUpdates :: PParams era -> PParamsUpdate era -> PParams era Source #
Applies a protocol parameters update
default applyPPUpdates :: (Generic (PParamsHKD Identity era), Generic (PParamsHKD StrictMaybe era), Updatable (Rep (PParamsHKD Identity era) a) (Rep (PParamsHKD StrictMaybe era) u)) => PParams era -> PParamsUpdate era -> PParams era Source #
emptyPParamsIdentity :: PParamsHKD Identity era Source #
emptyPParamsStrictMaybe :: PParamsHKD StrictMaybe era Source #
upgradePParamsHKD :: forall (f :: Type -> Type). (HKDApplicative f, EraPParams (PreviousEra era)) => UpgradePParams f era -> PParamsHKD f (PreviousEra era) -> PParamsHKD f era Source #
Upgrade PParams from previous era to the current one
downgradePParamsHKD :: forall (f :: Type -> Type). (HKDFunctor f, EraPParams (PreviousEra era)) => DowngradePParams f era -> PParamsHKD f era -> PParamsHKD f (PreviousEra era) Source #
Downgrade PParams from the current era to the previous one
hkdMinFeeAL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Coin) Source #
The linear factor for the minimum fee calculation
hkdMinFeeBL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Coin) Source #
The constant factor for the minimum fee calculation
hkdMaxBBSizeL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Word32) Source #
Maximal block body size
hkdMaxTxSizeL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Word32) Source #
Maximal transaction size
hkdMaxBHSizeL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Word16) Source #
Maximal block header size
hkdKeyDepositL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Coin) Source #
The amount of a key registration deposit
hkdPoolDepositL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Coin) Source #
The amount of a pool registration deposit
hkdEMaxL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f EpochInterval) Source #
epoch bound on pool retirement
hkdNOptL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Natural) Source #
Desired number of pools
hkdA0L :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f NonNegativeInterval) Source #
Pool influence
hkdRhoL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f UnitInterval) Source #
Monetary expansion
hkdTauL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f UnitInterval) Source #
Treasury expansion
hkdDL :: forall (f :: Type -> Type). (HKDFunctor f, ProtVerAtMost era 6) => Lens' (PParamsHKD f era) (HKD f UnitInterval) Source #
Decentralization parameter
ppDG :: SimpleGetter (PParams era) UnitInterval Source #
Decentralization parameter getter
default ppDG :: ProtVerAtMost era 6 => SimpleGetter (PParams era) UnitInterval Source #
hkdExtraEntropyL :: forall (f :: Type -> Type). (HKDFunctor f, ProtVerAtMost era 6) => Lens' (PParamsHKD f era) (HKD f Nonce) Source #
Extra entropy
hkdProtocolVersionL :: forall (f :: Type -> Type). (HKDFunctor f, ProtVerAtMost era 8) => Lens' (PParamsHKD f era) (HKD f ProtVer) Source #
Protocol version
ppProtocolVersionL :: Lens' (PParams era) ProtVer Source #
default ppProtocolVersionL :: ProtVerAtMost era 8 => Lens' (PParams era) ProtVer Source #
ppuProtocolVersionL :: Lens' (PParamsUpdate era) (StrictMaybe ProtVer) Source #
PParamsUpdate Protocol version
hkdMinUTxOValueL :: forall (f :: Type -> Type). (HKDFunctor f, ProtVerAtMost era 4) => Lens' (PParamsHKD f era) (HKD f Coin) Source #
Minimum UTxO value
hkdMinPoolCostL :: forall (f :: Type -> Type). HKDFunctor f => Lens' (PParamsHKD f era) (HKD f Coin) Source #
Minimum Stake Pool Cost
class (Crypto (EraCrypto era), Typeable era, KnownNat (ProtVerLow era), KnownNat (ProtVerHigh era), ProtVerLow era <= ProtVerHigh era, MinVersion <= ProtVerLow era, MinVersion <= ProtVerHigh era, CmpNat (ProtVerLow era) MaxVersion ~ 'LT, CmpNat (ProtVerHigh era) MaxVersion ~ 'LT, ProtVerLow era <= MaxVersion, ProtVerHigh era <= MaxVersion) => Era era where Source #
Associated Types
type PreviousEra era = (r :: Type) | r -> era Source #
Map an era to its predecessor.
For example:
type instance PreviousEra (AllegraEra c) = ShelleyEra c
type ProtVerLow era :: Nat Source #
Lowest major protocol version for this era
type ProtVerHigh era :: Nat Source #
Highest major protocol version for this era. By default se to ProtVerLow
type ProtVerHigh era = ProtVerLow era
Methods
Textual name of the current era.
Designed to be used with TypeApplications:
>>>eraName @(ByronEra StandardCrypto)Byron
Instances
| Crypto c => Era (AllegraEra c) | |||||||||||||||||
Defined in Cardano.Ledger.Allegra.Era Associated Types
| |||||||||||||||||
| Crypto c => Era (AlonzoEra c) | |||||||||||||||||
Defined in Cardano.Ledger.Alonzo.Era Associated Types
| |||||||||||||||||
| Crypto c => Era (BabbageEra c) | |||||||||||||||||
Defined in Cardano.Ledger.Babbage.Era Associated Types
| |||||||||||||||||
| Crypto c => Era (ConwayEra c) | |||||||||||||||||
Defined in Cardano.Ledger.Conway.Era Associated Types
| |||||||||||||||||
| Crypto c => Era (ByronEra c) | |||||||||||||||||
Defined in Cardano.Ledger.Core.Era Associated Types
| |||||||||||||||||
| Crypto c => Era (MaryEra c) | |||||||||||||||||
Defined in Cardano.Ledger.Mary.Era Associated Types
| |||||||||||||||||
| Crypto c => Era (ShelleyEra c) | |||||||||||||||||
Defined in Cardano.Ledger.Shelley.Era Associated Types
| |||||||||||||||||
Instances
| FromJSON Network | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| ToJSON Network | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| Bounded Network | |||||
| Enum Network | |||||
Defined in Cardano.Ledger.BaseTypes Methods succ :: Network -> Network Source # pred :: Network -> Network Source # toEnum :: Int -> Network Source # fromEnum :: Network -> Int Source # enumFrom :: Network -> [Network] Source # enumFromThen :: Network -> Network -> [Network] Source # enumFromTo :: Network -> Network -> [Network] Source # enumFromThenTo :: Network -> Network -> Network -> [Network] Source # | |||||
| Generic Network | |||||
Defined in Cardano.Ledger.BaseTypes Associated Types
| |||||
| Show Network | |||||
| DecCBOR Network | |||||
| EncCBOR Network | |||||
| Default Network | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| NFData Network | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| Eq Network | |||||
| Ord Network | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| NoThunks Network | |||||
| type Rep Network | |||||
Defined in Cardano.Ledger.BaseTypes type Rep Network = D1 ('MetaData "Network" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'False) (C1 ('MetaCons "Testnet" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Mainnet" 'PrefixI 'False) (U1 :: Type -> Type)) | |||||
Constructors
| RegPool !(PoolParams c) | A stake pool registration certificate. |
| RetirePool !(KeyHash 'StakePool c) !EpochNo | A stake pool retirement certificate. |
Instances
| Crypto c => ToJSON (PoolCert c) | |||||
Defined in Cardano.Ledger.Core.TxCert | |||||
| Generic (PoolCert c) | |||||
Defined in Cardano.Ledger.Core.TxCert Associated Types
| |||||
| Show (PoolCert c) | |||||
| NFData (PoolCert c) | |||||
Defined in Cardano.Ledger.Core.TxCert | |||||
| Eq (PoolCert c) | |||||
| Ord (PoolCert c) | |||||
Defined in Cardano.Ledger.Core.TxCert Methods compare :: PoolCert c -> PoolCert c -> Ordering Source # (<) :: PoolCert c -> PoolCert c -> Bool Source # (<=) :: PoolCert c -> PoolCert c -> Bool Source # (>) :: PoolCert c -> PoolCert c -> Bool Source # (>=) :: PoolCert c -> PoolCert c -> Bool Source # | |||||
| NoThunks (PoolCert c) | |||||
| type Rep (PoolCert c) | |||||
Defined in Cardano.Ledger.Core.TxCert type Rep (PoolCert c) = D1 ('MetaData "PoolCert" "Cardano.Ledger.Core.TxCert" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'False) (C1 ('MetaCons "RegPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolParams c))) :+: C1 ('MetaCons "RetirePool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo))) | |||||
Protocol parameters
Constructors
| PParams (PParamsHKD Identity era) |
Instances
| FromJSON (PParamsHKD Identity era) => FromJSON (PParams era) | |||||
Defined in Cardano.Ledger.Core.PParams Methods parseJSON :: Value -> Parser (PParams era) # parseJSONList :: Value -> Parser [PParams era] # omittedField :: Maybe (PParams era) # | |||||
| ToJSON (PParamsHKD Identity era) => ToJSON (PParams era) | |||||
Defined in Cardano.Ledger.Core.PParams | |||||
| Generic (PParams era) | |||||
Defined in Cardano.Ledger.Core.PParams Associated Types
| |||||
| Show (PParamsHKD Identity era) => Show (PParams era) | |||||
| (Typeable era, FromCBOR (PParamsHKD Identity era)) => FromCBOR (PParams era) | |||||
| (Typeable era, ToCBOR (PParamsHKD Identity era)) => ToCBOR (PParams era) | |||||
| (Typeable era, DecCBOR (PParamsHKD Identity era)) => DecCBOR (PParams era) | |||||
| (Typeable era, EncCBOR (PParamsHKD Identity era)) => EncCBOR (PParams era) | |||||
| EraPParams era => Default (PParams era) | |||||
Defined in Cardano.Ledger.Core.PParams | |||||
| NFData (PParamsHKD Identity era) => NFData (PParams era) | |||||
Defined in Cardano.Ledger.Core.PParams | |||||
| Eq (PParamsHKD Identity era) => Eq (PParams era) | |||||
| Ord (PParamsHKD Identity era) => Ord (PParams era) | |||||
Defined in Cardano.Ledger.Core.PParams Methods compare :: PParams era -> PParams era -> Ordering Source # (<) :: PParams era -> PParams era -> Bool Source # (<=) :: PParams era -> PParams era -> Bool Source # (>) :: PParams era -> PParams era -> Bool Source # (>=) :: PParams era -> PParams era -> Bool Source # | |||||
| NoThunks (PParamsHKD Identity era) => NoThunks (PParams era) | |||||
| type Rep (PParams era) | |||||
Defined in Cardano.Ledger.Core.PParams type Rep (PParams era) = D1 ('MetaData "PParams" "Cardano.Ledger.Core.PParams" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'True) (C1 ('MetaCons "PParams" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParamsHKD Identity era)))) | |||||
| type TranslationError (AllegraEra c) PParams | |||||
Defined in Cardano.Ledger.Allegra.Translation | |||||
| type TranslationError (AlonzoEra c) PParams | |||||
Defined in Cardano.Ledger.Alonzo.Translation | |||||
| type TranslationError (BabbageEra c) PParams | |||||
Defined in Cardano.Ledger.Babbage.Translation | |||||
| type TranslationError (ConwayEra c) PParams | |||||
Defined in Cardano.Ledger.Conway.Translation | |||||
| type TranslationError (MaryEra c) PParams | |||||
Defined in Cardano.Ledger.Mary.Translation | |||||
data PParamsUpdate era Source #
The type of updates to Protocol parameters
Instances
| FromJSON (PParamsHKD StrictMaybe era) => FromJSON (PParamsUpdate era) | |||||
Defined in Cardano.Ledger.Core.PParams Methods parseJSON :: Value -> Parser (PParamsUpdate era) # parseJSONList :: Value -> Parser [PParamsUpdate era] # omittedField :: Maybe (PParamsUpdate era) # | |||||
| ToJSON (PParamsHKD StrictMaybe era) => ToJSON (PParamsUpdate era) | |||||
Defined in Cardano.Ledger.Core.PParams Methods toJSON :: PParamsUpdate era -> Value # toEncoding :: PParamsUpdate era -> Encoding # toJSONList :: [PParamsUpdate era] -> Value # toEncodingList :: [PParamsUpdate era] -> Encoding # omitField :: PParamsUpdate era -> Bool # | |||||
| Generic (PParamsUpdate era) | |||||
Defined in Cardano.Ledger.Core.PParams Associated Types
Methods from :: PParamsUpdate era -> Rep (PParamsUpdate era) x Source # to :: Rep (PParamsUpdate era) x -> PParamsUpdate era Source # | |||||
| Show (PParamsHKD StrictMaybe era) => Show (PParamsUpdate era) | |||||
Defined in Cardano.Ledger.Core.PParams | |||||
| (Typeable era, FromCBOR (PParamsHKD StrictMaybe era)) => FromCBOR (PParamsUpdate era) | |||||
Defined in Cardano.Ledger.Core.PParams | |||||
| (Typeable era, ToCBOR (PParamsHKD StrictMaybe era)) => ToCBOR (PParamsUpdate era) | |||||
Defined in Cardano.Ledger.Core.PParams Methods toCBOR :: PParamsUpdate era -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (PParamsUpdate era) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [PParamsUpdate era] -> Size Source # | |||||
| (Typeable era, DecCBOR (PParamsHKD StrictMaybe era)) => DecCBOR (PParamsUpdate era) | |||||
Defined in Cardano.Ledger.Core.PParams | |||||
| (Typeable era, EncCBOR (PParamsHKD StrictMaybe era)) => EncCBOR (PParamsUpdate era) | |||||
Defined in Cardano.Ledger.Core.PParams Methods encCBOR :: PParamsUpdate era -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (PParamsUpdate era) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [PParamsUpdate era] -> Size Source # | |||||
| EraPParams era => Default (PParamsUpdate era) | |||||
Defined in Cardano.Ledger.Core.PParams Methods def :: PParamsUpdate era # | |||||
| NFData (PParamsHKD StrictMaybe era) => NFData (PParamsUpdate era) | |||||
Defined in Cardano.Ledger.Core.PParams Methods rnf :: PParamsUpdate era -> () Source # | |||||
| Eq (PParamsHKD StrictMaybe era) => Eq (PParamsUpdate era) | |||||
Defined in Cardano.Ledger.Core.PParams Methods (==) :: PParamsUpdate era -> PParamsUpdate era -> Bool Source # (/=) :: PParamsUpdate era -> PParamsUpdate era -> Bool Source # | |||||
| Ord (PParamsHKD StrictMaybe era) => Ord (PParamsUpdate era) | |||||
Defined in Cardano.Ledger.Core.PParams Methods compare :: PParamsUpdate era -> PParamsUpdate era -> Ordering Source # (<) :: PParamsUpdate era -> PParamsUpdate era -> Bool Source # (<=) :: PParamsUpdate era -> PParamsUpdate era -> Bool Source # (>) :: PParamsUpdate era -> PParamsUpdate era -> Bool Source # (>=) :: PParamsUpdate era -> PParamsUpdate era -> Bool Source # max :: PParamsUpdate era -> PParamsUpdate era -> PParamsUpdate era Source # min :: PParamsUpdate era -> PParamsUpdate era -> PParamsUpdate era Source # | |||||
| NoThunks (PParamsHKD StrictMaybe era) => NoThunks (PParamsUpdate era) | |||||
Defined in Cardano.Ledger.Core.PParams Methods noThunks :: Context -> PParamsUpdate era -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> PParamsUpdate era -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (PParamsUpdate era) -> String # | |||||
| type Rep (PParamsUpdate era) | |||||
Defined in Cardano.Ledger.Core.PParams type Rep (PParamsUpdate era) = D1 ('MetaData "PParamsUpdate" "Cardano.Ledger.Core.PParams" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'True) (C1 ('MetaCons "PParamsUpdate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PParamsHKD StrictMaybe era)))) | |||||
| type TranslationError (AllegraEra c) PParamsUpdate | |||||
Defined in Cardano.Ledger.Allegra.Translation | |||||
| type TranslationError (MaryEra c) PParamsUpdate | |||||
Defined in Cardano.Ledger.Mary.Translation | |||||
type family Value era Source #
A value is something which quantifies a transaction output.
Instances
| type Value (AllegraEra _1) | |
Defined in Cardano.Ledger.Allegra.Era | |
| type Value (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.Era | |
| type Value (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.Era | |
| type Value (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Era | |
| type Value (MaryEra c) | |
Defined in Cardano.Ledger.Mary.Era | |
| type Value (ShelleyEra _c) | |
Defined in Cardano.Ledger.Shelley.Era | |
toDeltaCoin :: Coin -> DeltaCoin Source #
ppMinUTxOValueL :: (EraPParams era, ProtVerAtMost era 4) => Lens' (PParams era) Coin Source #
Minimum UTxO value
Constructors
| Anchor | |
Fields
| |
Instances
| Crypto c => FromJSON (Anchor c) | |||||
Defined in Cardano.Ledger.BaseTypes Methods parseJSON :: Value -> Parser (Anchor c) # parseJSONList :: Value -> Parser [Anchor c] # omittedField :: Maybe (Anchor c) # | |||||
| Crypto c => ToJSON (Anchor c) | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| Generic (Anchor c) | |||||
Defined in Cardano.Ledger.BaseTypes Associated Types
| |||||
| Show (Anchor c) | |||||
| Crypto c => DecCBOR (Anchor c) | |||||
| Crypto c => EncCBOR (Anchor c) | |||||
| Crypto c => Default (Anchor c) | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| Crypto c => NFData (Anchor c) | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| Eq (Anchor c) | |||||
| Ord (Anchor c) | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| NoThunks (Anchor c) | |||||
| type Rep (Anchor c) | |||||
Defined in Cardano.Ledger.BaseTypes type Rep (Anchor c) = D1 ('MetaData "Anchor" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'False) (C1 ('MetaCons "Anchor" 'PrefixI 'True) (S1 ('MetaSel ('Just "anchorUrl") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Url) :*: S1 ('MetaSel ('Just "anchorDataHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (SafeHash c AnchorData)))) | |||||
First type argument is the deposit
Constructors
| DelegStake !(KeyHash 'StakePool c) | |
| DelegVote !(DRep c) | |
| DelegStakeVote !(KeyHash 'StakePool c) !(DRep c) |
Instances
| Crypto c => FromJSON (Delegatee c) | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods parseJSON :: Value -> Parser (Delegatee c) # parseJSONList :: Value -> Parser [Delegatee c] # omittedField :: Maybe (Delegatee c) # | |||||
| Crypto c => ToJSON (Delegatee c) | |||||
Defined in Cardano.Ledger.Conway.TxCert | |||||
| Generic (Delegatee c) | |||||
Defined in Cardano.Ledger.Conway.TxCert Associated Types
| |||||
| Show (Delegatee c) | |||||
| Crypto c => DecCBOR (Delegatee c) | |||||
| Crypto c => EncCBOR (Delegatee c) | |||||
| NFData (Delegatee c) | |||||
Defined in Cardano.Ledger.Conway.TxCert | |||||
| Eq (Delegatee c) | |||||
| Ord (Delegatee c) | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods compare :: Delegatee c -> Delegatee c -> Ordering Source # (<) :: Delegatee c -> Delegatee c -> Bool Source # (<=) :: Delegatee c -> Delegatee c -> Bool Source # (>) :: Delegatee c -> Delegatee c -> Bool Source # (>=) :: Delegatee c -> Delegatee c -> Bool Source # | |||||
| NoThunks (Delegatee c) | |||||
| type Rep (Delegatee c) | |||||
Defined in Cardano.Ledger.Conway.TxCert type Rep (Delegatee c) = D1 ('MetaData "Delegatee" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.16.1.0-abad22fe348abeab766aad8ca2442cc9d8fcf7ebde4323c701d467ff645717a4" 'False) (C1 ('MetaCons "DelegStake" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c))) :+: (C1 ('MetaCons "DelegVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DRep c))) :+: C1 ('MetaCons "DelegStakeVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (DRep c))))) | |||||
Constructors
| DRepAlwaysAbstain | |
| DRepAlwaysNoConfidence |
Bundled Patterns
| pattern DRepCredential :: Credential 'DRepRole c -> DRep c |
Instances
| Crypto c => FromJSON (DRep c) | |||||
Defined in Cardano.Ledger.DRep Methods parseJSON :: Value -> Parser (DRep c) # parseJSONList :: Value -> Parser [DRep c] # omittedField :: Maybe (DRep c) # | |||||
| Crypto c => FromJSONKey (DRep c) | |||||
Defined in Cardano.Ledger.DRep | |||||
| Crypto c => ToJSON (DRep c) | |||||
Defined in Cardano.Ledger.DRep | |||||
| Crypto c => ToJSONKey (DRep c) | |||||
Defined in Cardano.Ledger.DRep | |||||
| Generic (DRep c) | |||||
Defined in Cardano.Ledger.DRep Associated Types
| |||||
| Show (DRep c) | |||||
| Crypto c => DecCBOR (DRep c) | |||||
| Crypto c => EncCBOR (DRep c) | |||||
| NFData (DRep c) | |||||
Defined in Cardano.Ledger.DRep | |||||
| Eq (DRep c) | |||||
| Ord (DRep c) | |||||
| NoThunks (DRep c) | |||||
| type Rep (DRep c) | |||||
Defined in Cardano.Ledger.DRep type Rep (DRep c) = D1 ('MetaData "DRep" "Cardano.Ledger.DRep" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'False) ((C1 ('MetaCons "DRepKeyHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'DRepRole c))) :+: C1 ('MetaCons "DRepScriptHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ScriptHash c)))) :+: (C1 ('MetaCons "DRepAlwaysAbstain" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DRepAlwaysNoConfidence" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||
Constructors
| DRepState | |
Fields
| |
Instances
| Crypto c => FromJSON (DRepState c) | |||||
Defined in Cardano.Ledger.DRep Methods parseJSON :: Value -> Parser (DRepState c) # parseJSONList :: Value -> Parser [DRepState c] # omittedField :: Maybe (DRepState c) # | |||||
| Crypto c => ToJSON (DRepState c) | |||||
Defined in Cardano.Ledger.DRep | |||||
| Generic (DRepState c) | |||||
Defined in Cardano.Ledger.DRep Associated Types
| |||||
| Show (DRepState c) | |||||
| Crypto c => DecCBOR (DRepState c) | |||||
| Crypto c => EncCBOR (DRepState c) | |||||
| Crypto c => NFData (DRepState c) | |||||
Defined in Cardano.Ledger.DRep | |||||
| Eq (DRepState c) | |||||
| Ord (DRepState c) | |||||
Defined in Cardano.Ledger.DRep Methods compare :: DRepState c -> DRepState c -> Ordering Source # (<) :: DRepState c -> DRepState c -> Bool Source # (<=) :: DRepState c -> DRepState c -> Bool Source # (>) :: DRepState c -> DRepState c -> Bool Source # (>=) :: DRepState c -> DRepState c -> Bool Source # | |||||
| NoThunks (DRepState era) | |||||
| type Rep (DRepState c) | |||||
Defined in Cardano.Ledger.DRep type Rep (DRepState c) = D1 ('MetaData "DRepState" "Cardano.Ledger.DRep" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'False) (C1 ('MetaCons "DRepState" 'PrefixI 'True) (S1 ('MetaSel ('Just "drepExpiry") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 EpochNo) :*: (S1 ('MetaSel ('Just "drepAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Anchor c))) :*: S1 ('MetaSel ('Just "drepDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin)))) | |||||
data ConwayTxCert era Source #
Constructors
| ConwayTxCertDeleg !(ConwayDelegCert (EraCrypto era)) | |
| ConwayTxCertPool !(PoolCert (EraCrypto era)) | |
| ConwayTxCertGov !(ConwayGovCert (EraCrypto era)) |
Instances
| Era era => ToJSON (ConwayTxCert era) | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods toJSON :: ConwayTxCert era -> Value # toEncoding :: ConwayTxCert era -> Encoding # toJSONList :: [ConwayTxCert era] -> Value # toEncodingList :: [ConwayTxCert era] -> Encoding # omitField :: ConwayTxCert era -> Bool # | |||||
| Generic (ConwayTxCert era) | |||||
Defined in Cardano.Ledger.Conway.TxCert Associated Types
Methods from :: ConwayTxCert era -> Rep (ConwayTxCert era) x Source # to :: Rep (ConwayTxCert era) x -> ConwayTxCert era Source # | |||||
| Show (ConwayTxCert era) | |||||
Defined in Cardano.Ledger.Conway.TxCert | |||||
| (ShelleyEraTxCert era, TxCert era ~ ConwayTxCert era) => FromCBOR (ConwayTxCert era) | |||||
Defined in Cardano.Ledger.Conway.TxCert | |||||
| (Era era, Val (Value era)) => ToCBOR (ConwayTxCert era) | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods toCBOR :: ConwayTxCert era -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (ConwayTxCert era) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [ConwayTxCert era] -> Size Source # | |||||
| (ConwayEraTxCert era, TxCert era ~ ConwayTxCert era) => DecCBOR (ConwayTxCert era) | |||||
Defined in Cardano.Ledger.Conway.TxCert | |||||
| (Era era, Val (Value era)) => EncCBOR (ConwayTxCert era) | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods encCBOR :: ConwayTxCert era -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (ConwayTxCert era) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [ConwayTxCert era] -> Size Source # | |||||
| Crypto (EraCrypto era) => NFData (ConwayTxCert era) | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods rnf :: ConwayTxCert era -> () Source # | |||||
| Eq (ConwayTxCert era) | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods (==) :: ConwayTxCert era -> ConwayTxCert era -> Bool Source # (/=) :: ConwayTxCert era -> ConwayTxCert era -> Bool Source # | |||||
| Ord (ConwayTxCert era) | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods compare :: ConwayTxCert era -> ConwayTxCert era -> Ordering Source # (<) :: ConwayTxCert era -> ConwayTxCert era -> Bool Source # (<=) :: ConwayTxCert era -> ConwayTxCert era -> Bool Source # (>) :: ConwayTxCert era -> ConwayTxCert era -> Bool Source # (>=) :: ConwayTxCert era -> ConwayTxCert era -> Bool Source # max :: ConwayTxCert era -> ConwayTxCert era -> ConwayTxCert era Source # min :: ConwayTxCert era -> ConwayTxCert era -> ConwayTxCert era Source # | |||||
| NoThunks (ConwayTxCert era) | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods noThunks :: Context -> ConwayTxCert era -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> ConwayTxCert era -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (ConwayTxCert era) -> String # | |||||
| type Rep (ConwayTxCert era) | |||||
Defined in Cardano.Ledger.Conway.TxCert type Rep (ConwayTxCert era) = D1 ('MetaData "ConwayTxCert" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.16.1.0-abad22fe348abeab766aad8ca2442cc9d8fcf7ebde4323c701d467ff645717a4" 'False) (C1 ('MetaCons "ConwayTxCertDeleg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ConwayDelegCert (EraCrypto era)))) :+: (C1 ('MetaCons "ConwayTxCertPool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PoolCert (EraCrypto era)))) :+: C1 ('MetaCons "ConwayTxCertGov" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ConwayGovCert (EraCrypto era)))))) | |||||
data ConwayDelegCert c Source #
Certificates for registration and delegation of stake to Pools and DReps. Comparing to previous eras, there is now ability to:
- Register and delegate with a single certificate:
ConwayRegDelegCert - Ability to delegate to DReps with
DelegVoteandDelegStakeVote - Ability to specify the deposit amount. Deposits during registration and
unregistration in Conway are optional, which will change in the future era. They are
optional only for the smooth transition from Babbage to Conway. Validity of deposits
is checked by the
CERTrule.
Constructors
| ConwayRegCert !(StakeCredential c) !(StrictMaybe Coin) | Register staking credential. Deposit, when present, must match the expected deposit
amount specified by |
| ConwayUnRegCert !(StakeCredential c) !(StrictMaybe Coin) | De-Register the staking credential. Deposit, if present, must match the amount that was left as a deposit upon stake credential registration. |
| ConwayDelegCert !(StakeCredential c) !(Delegatee c) | Redelegate to another delegatee. Staking credential must already be registered. |
| ConwayRegDelegCert !(StakeCredential c) !(Delegatee c) !Coin | This is a new type of certificate, which allows to register staking credential
and delegate within a single certificate. Deposit is required and must match the
expected deposit amount specified by |
Instances
| Crypto c => ToJSON (ConwayDelegCert c) | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods toJSON :: ConwayDelegCert c -> Value # toEncoding :: ConwayDelegCert c -> Encoding # toJSONList :: [ConwayDelegCert c] -> Value # toEncodingList :: [ConwayDelegCert c] -> Encoding # omitField :: ConwayDelegCert c -> Bool # | |||||
| Generic (ConwayDelegCert c) | |||||
Defined in Cardano.Ledger.Conway.TxCert Associated Types
Methods from :: ConwayDelegCert c -> Rep (ConwayDelegCert c) x Source # to :: Rep (ConwayDelegCert c) x -> ConwayDelegCert c Source # | |||||
| Show (ConwayDelegCert c) | |||||
Defined in Cardano.Ledger.Conway.TxCert | |||||
| NFData (ConwayDelegCert c) | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods rnf :: ConwayDelegCert c -> () Source # | |||||
| Eq (ConwayDelegCert c) | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods (==) :: ConwayDelegCert c -> ConwayDelegCert c -> Bool Source # (/=) :: ConwayDelegCert c -> ConwayDelegCert c -> Bool Source # | |||||
| Ord (ConwayDelegCert c) | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods compare :: ConwayDelegCert c -> ConwayDelegCert c -> Ordering Source # (<) :: ConwayDelegCert c -> ConwayDelegCert c -> Bool Source # (<=) :: ConwayDelegCert c -> ConwayDelegCert c -> Bool Source # (>) :: ConwayDelegCert c -> ConwayDelegCert c -> Bool Source # (>=) :: ConwayDelegCert c -> ConwayDelegCert c -> Bool Source # max :: ConwayDelegCert c -> ConwayDelegCert c -> ConwayDelegCert c Source # min :: ConwayDelegCert c -> ConwayDelegCert c -> ConwayDelegCert c Source # | |||||
| NoThunks (ConwayDelegCert c) | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods noThunks :: Context -> ConwayDelegCert c -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> ConwayDelegCert c -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (ConwayDelegCert c) -> String # | |||||
| type Rep (ConwayDelegCert c) | |||||
Defined in Cardano.Ledger.Conway.TxCert type Rep (ConwayDelegCert c) = D1 ('MetaData "ConwayDelegCert" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.16.1.0-abad22fe348abeab766aad8ca2442cc9d8fcf7ebde4323c701d467ff645717a4" 'False) ((C1 ('MetaCons "ConwayRegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential c)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Coin))) :+: C1 ('MetaCons "ConwayUnRegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential c)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe Coin)))) :+: (C1 ('MetaCons "ConwayDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential c)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Delegatee c))) :+: C1 ('MetaCons "ConwayRegDelegCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StakeCredential c)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Delegatee c)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))))) | |||||
class ShelleyEraTxCert era => ConwayEraTxCert era where Source #
Methods
mkRegDepositTxCert :: StakeCredential (EraCrypto era) -> Coin -> TxCert era Source #
getRegDepositTxCert :: TxCert era -> Maybe (StakeCredential (EraCrypto era), Coin) Source #
mkUnRegDepositTxCert :: StakeCredential (EraCrypto era) -> Coin -> TxCert era Source #
getUnRegDepositTxCert :: TxCert era -> Maybe (StakeCredential (EraCrypto era), Coin) Source #
mkDelegTxCert :: StakeCredential (EraCrypto era) -> Delegatee (EraCrypto era) -> TxCert era Source #
getDelegTxCert :: TxCert era -> Maybe (StakeCredential (EraCrypto era), Delegatee (EraCrypto era)) Source #
mkRegDepositDelegTxCert :: StakeCredential (EraCrypto era) -> Delegatee (EraCrypto era) -> Coin -> TxCert era Source #
getRegDepositDelegTxCert :: TxCert era -> Maybe (StakeCredential (EraCrypto era), Delegatee (EraCrypto era), Coin) Source #
mkAuthCommitteeHotKeyTxCert :: Credential 'ColdCommitteeRole (EraCrypto era) -> Credential 'HotCommitteeRole (EraCrypto era) -> TxCert era Source #
getAuthCommitteeHotKeyTxCert :: TxCert era -> Maybe (Credential 'ColdCommitteeRole (EraCrypto era), Credential 'HotCommitteeRole (EraCrypto era)) Source #
mkResignCommitteeColdTxCert :: Credential 'ColdCommitteeRole (EraCrypto era) -> StrictMaybe (Anchor (EraCrypto era)) -> TxCert era Source #
getResignCommitteeColdTxCert :: TxCert era -> Maybe (Credential 'ColdCommitteeRole (EraCrypto era), StrictMaybe (Anchor (EraCrypto era))) Source #
mkRegDRepTxCert :: Credential 'DRepRole (EraCrypto era) -> Coin -> StrictMaybe (Anchor (EraCrypto era)) -> TxCert era Source #
getRegDRepTxCert :: TxCert era -> Maybe (Credential 'DRepRole (EraCrypto era), Coin, StrictMaybe (Anchor (EraCrypto era))) Source #
mkUnRegDRepTxCert :: Credential 'DRepRole (EraCrypto era) -> Coin -> TxCert era Source #
getUnRegDRepTxCert :: TxCert era -> Maybe (Credential 'DRepRole (EraCrypto era), Coin) Source #
mkUpdateDRepTxCert :: Credential 'DRepRole (EraCrypto era) -> StrictMaybe (Anchor (EraCrypto era)) -> TxCert era Source #
getUpdateDRepTxCert :: TxCert era -> Maybe (Credential 'DRepRole (EraCrypto era), StrictMaybe (Anchor (EraCrypto era))) Source #
Instances
| Crypto c => ConwayEraTxCert (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.TxCert Methods mkRegDepositTxCert :: StakeCredential (EraCrypto (ConwayEra c)) -> Coin -> TxCert (ConwayEra c) Source # getRegDepositTxCert :: TxCert (ConwayEra c) -> Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) Source # mkUnRegDepositTxCert :: StakeCredential (EraCrypto (ConwayEra c)) -> Coin -> TxCert (ConwayEra c) Source # getUnRegDepositTxCert :: TxCert (ConwayEra c) -> Maybe (StakeCredential (EraCrypto (ConwayEra c)), Coin) Source # mkDelegTxCert :: StakeCredential (EraCrypto (ConwayEra c)) -> Delegatee (EraCrypto (ConwayEra c)) -> TxCert (ConwayEra c) Source # getDelegTxCert :: TxCert (ConwayEra c) -> Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c))) Source # mkRegDepositDelegTxCert :: StakeCredential (EraCrypto (ConwayEra c)) -> Delegatee (EraCrypto (ConwayEra c)) -> Coin -> TxCert (ConwayEra c) Source # getRegDepositDelegTxCert :: TxCert (ConwayEra c) -> Maybe (StakeCredential (EraCrypto (ConwayEra c)), Delegatee (EraCrypto (ConwayEra c)), Coin) Source # mkAuthCommitteeHotKeyTxCert :: Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) -> Credential 'HotCommitteeRole (EraCrypto (ConwayEra c)) -> TxCert (ConwayEra c) Source # getAuthCommitteeHotKeyTxCert :: TxCert (ConwayEra c) -> Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), Credential 'HotCommitteeRole (EraCrypto (ConwayEra c))) Source # mkResignCommitteeColdTxCert :: Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)) -> StrictMaybe (Anchor (EraCrypto (ConwayEra c))) -> TxCert (ConwayEra c) Source # getResignCommitteeColdTxCert :: TxCert (ConwayEra c) -> Maybe (Credential 'ColdCommitteeRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source # mkRegDRepTxCert :: Credential 'DRepRole (EraCrypto (ConwayEra c)) -> Coin -> StrictMaybe (Anchor (EraCrypto (ConwayEra c))) -> TxCert (ConwayEra c) Source # getRegDRepTxCert :: TxCert (ConwayEra c) -> Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin, StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source # mkUnRegDRepTxCert :: Credential 'DRepRole (EraCrypto (ConwayEra c)) -> Coin -> TxCert (ConwayEra c) Source # getUnRegDRepTxCert :: TxCert (ConwayEra c) -> Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), Coin) Source # mkUpdateDRepTxCert :: Credential 'DRepRole (EraCrypto (ConwayEra c)) -> StrictMaybe (Anchor (EraCrypto (ConwayEra c))) -> TxCert (ConwayEra c) Source # getUpdateDRepTxCert :: TxCert (ConwayEra c) -> Maybe (Credential 'DRepRole (EraCrypto (ConwayEra c)), StrictMaybe (Anchor (EraCrypto (ConwayEra c)))) Source # | |
data ConwayGovCert c Source #
Constructors
| ConwayRegDRep !(Credential 'DRepRole c) !Coin !(StrictMaybe (Anchor c)) | |
| ConwayUnRegDRep !(Credential 'DRepRole c) !Coin | |
| ConwayUpdateDRep !(Credential 'DRepRole c) !(StrictMaybe (Anchor c)) | |
| ConwayAuthCommitteeHotKey !(Credential 'ColdCommitteeRole c) !(Credential 'HotCommitteeRole c) | |
| ConwayResignCommitteeColdKey !(Credential 'ColdCommitteeRole c) !(StrictMaybe (Anchor c)) |
Instances
| Crypto c => ToJSON (ConwayGovCert c) | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods toJSON :: ConwayGovCert c -> Value # toEncoding :: ConwayGovCert c -> Encoding # toJSONList :: [ConwayGovCert c] -> Value # toEncodingList :: [ConwayGovCert c] -> Encoding # omitField :: ConwayGovCert c -> Bool # | |||||
| Generic (ConwayGovCert c) | |||||
Defined in Cardano.Ledger.Conway.TxCert Associated Types
Methods from :: ConwayGovCert c -> Rep (ConwayGovCert c) x Source # to :: Rep (ConwayGovCert c) x -> ConwayGovCert c Source # | |||||
| Show (ConwayGovCert c) | |||||
Defined in Cardano.Ledger.Conway.TxCert | |||||
| Crypto c => NFData (ConwayGovCert c) | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods rnf :: ConwayGovCert c -> () Source # | |||||
| Eq (ConwayGovCert c) | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods (==) :: ConwayGovCert c -> ConwayGovCert c -> Bool Source # (/=) :: ConwayGovCert c -> ConwayGovCert c -> Bool Source # | |||||
| Ord (ConwayGovCert c) | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods compare :: ConwayGovCert c -> ConwayGovCert c -> Ordering Source # (<) :: ConwayGovCert c -> ConwayGovCert c -> Bool Source # (<=) :: ConwayGovCert c -> ConwayGovCert c -> Bool Source # (>) :: ConwayGovCert c -> ConwayGovCert c -> Bool Source # (>=) :: ConwayGovCert c -> ConwayGovCert c -> Bool Source # max :: ConwayGovCert c -> ConwayGovCert c -> ConwayGovCert c Source # min :: ConwayGovCert c -> ConwayGovCert c -> ConwayGovCert c Source # | |||||
| NoThunks (ConwayGovCert c) | |||||
Defined in Cardano.Ledger.Conway.TxCert Methods noThunks :: Context -> ConwayGovCert c -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> ConwayGovCert c -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (ConwayGovCert c) -> String # | |||||
| type Rep (ConwayGovCert c) | |||||
Defined in Cardano.Ledger.Conway.TxCert type Rep (ConwayGovCert c) = D1 ('MetaData "ConwayGovCert" "Cardano.Ledger.Conway.TxCert" "cardano-ledger-conway-1.16.1.0-abad22fe348abeab766aad8ca2442cc9d8fcf7ebde4323c701d467ff645717a4" 'False) ((C1 ('MetaCons "ConwayRegDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole c)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Anchor c))))) :+: C1 ('MetaCons "ConwayUnRegDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole c)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin))) :+: (C1 ('MetaCons "ConwayUpdateDRep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole c)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Anchor c)))) :+: (C1 ('MetaCons "ConwayAuthCommitteeHotKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'ColdCommitteeRole c)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'HotCommitteeRole c))) :+: C1 ('MetaCons "ConwayResignCommitteeColdKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'ColdCommitteeRole c)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Anchor c))))))) | |||||
data ConwayGenesis c Source #
Constructors
| ConwayGenesis | |
Fields
| |
Instances
| Crypto c => FromJSON (ConwayGenesis c) | |||||
Defined in Cardano.Ledger.Conway.Genesis Methods parseJSON :: Value -> Parser (ConwayGenesis c) # parseJSONList :: Value -> Parser [ConwayGenesis c] # omittedField :: Maybe (ConwayGenesis c) # | |||||
| Crypto c => ToJSON (ConwayGenesis c) | |||||
Defined in Cardano.Ledger.Conway.Genesis Methods toJSON :: ConwayGenesis c -> Value # toEncoding :: ConwayGenesis c -> Encoding # toJSONList :: [ConwayGenesis c] -> Value # toEncodingList :: [ConwayGenesis c] -> Encoding # omitField :: ConwayGenesis c -> Bool # | |||||
| Generic (ConwayGenesis c) | |||||
Defined in Cardano.Ledger.Conway.Genesis Associated Types
Methods from :: ConwayGenesis c -> Rep (ConwayGenesis c) x Source # to :: Rep (ConwayGenesis c) x -> ConwayGenesis c Source # | |||||
| Show (ConwayGenesis c) | |||||
Defined in Cardano.Ledger.Conway.Genesis | |||||
| Crypto c => DecCBOR (ConwayGenesis c) | Genesis are always encoded with the version of era they are defined in. | ||||
Defined in Cardano.Ledger.Conway.Genesis | |||||
| Crypto c => EncCBOR (ConwayGenesis c) | |||||
Defined in Cardano.Ledger.Conway.Genesis Methods encCBOR :: ConwayGenesis c -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (ConwayGenesis c) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [ConwayGenesis c] -> Size Source # | |||||
| Eq (ConwayGenesis c) | |||||
Defined in Cardano.Ledger.Conway.Genesis Methods (==) :: ConwayGenesis c -> ConwayGenesis c -> Bool Source # (/=) :: ConwayGenesis c -> ConwayGenesis c -> Bool Source # | |||||
| Crypto c => NoThunks (ConwayGenesis c) | |||||
Defined in Cardano.Ledger.Conway.Genesis Methods noThunks :: Context -> ConwayGenesis c -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> ConwayGenesis c -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (ConwayGenesis c) -> String # | |||||
| type Rep (ConwayGenesis c) | |||||
Defined in Cardano.Ledger.Conway.Genesis type Rep (ConwayGenesis c) = D1 ('MetaData "ConwayGenesis" "Cardano.Ledger.Conway.Genesis" "cardano-ledger-conway-1.16.1.0-abad22fe348abeab766aad8ca2442cc9d8fcf7ebde4323c701d467ff645717a4" 'False) (C1 ('MetaCons "ConwayGenesis" 'PrefixI 'True) ((S1 ('MetaSel ('Just "cgUpgradePParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (UpgradeConwayPParams Identity)) :*: S1 ('MetaSel ('Just "cgConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Constitution (ConwayEra c)))) :*: (S1 ('MetaSel ('Just "cgCommittee") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Committee (ConwayEra c))) :*: (S1 ('MetaSel ('Just "cgDelegs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (Credential 'Staking c) (Delegatee c))) :*: S1 ('MetaSel ('Just "cgInitialDReps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ListMap (Credential 'DRepRole c) (DRepState c))))))) | |||||
data UpgradeConwayPParams (f :: Type -> Type) Source #
Constructors
| UpgradeConwayPParams | |
Fields
| |
Instances
| FromJSON (UpgradeConwayPParams Identity) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods parseJSON :: Value -> Parser (UpgradeConwayPParams Identity) # parseJSONList :: Value -> Parser [UpgradeConwayPParams Identity] # | |||||
| ToJSON (UpgradeConwayPParams Identity) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods toJSON :: UpgradeConwayPParams Identity -> Value # toEncoding :: UpgradeConwayPParams Identity -> Encoding # toJSONList :: [UpgradeConwayPParams Identity] -> Value # toEncodingList :: [UpgradeConwayPParams Identity] -> Encoding # | |||||
| Generic (UpgradeConwayPParams f) | |||||
Defined in Cardano.Ledger.Conway.PParams Associated Types
Methods from :: UpgradeConwayPParams f -> Rep (UpgradeConwayPParams f) x Source # to :: Rep (UpgradeConwayPParams f) x -> UpgradeConwayPParams f Source # | |||||
| Show (UpgradeConwayPParams Identity) | |||||
Defined in Cardano.Ledger.Conway.PParams | |||||
| Show (UpgradeConwayPParams StrictMaybe) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods showsPrec :: Int -> UpgradeConwayPParams StrictMaybe -> ShowS Source # show :: UpgradeConwayPParams StrictMaybe -> String Source # showList :: [UpgradeConwayPParams StrictMaybe] -> ShowS Source # | |||||
| DecCBOR (UpgradeConwayPParams Identity) | |||||
| EncCBOR (UpgradeConwayPParams Identity) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods encCBOR :: UpgradeConwayPParams Identity -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (UpgradeConwayPParams Identity) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [UpgradeConwayPParams Identity] -> Size Source # | |||||
| Default (UpgradeConwayPParams StrictMaybe) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods | |||||
| NFData (UpgradeConwayPParams Identity) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods rnf :: UpgradeConwayPParams Identity -> () Source # | |||||
| NFData (UpgradeConwayPParams StrictMaybe) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods rnf :: UpgradeConwayPParams StrictMaybe -> () Source # | |||||
| Eq (UpgradeConwayPParams Identity) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods (==) :: UpgradeConwayPParams Identity -> UpgradeConwayPParams Identity -> Bool Source # (/=) :: UpgradeConwayPParams Identity -> UpgradeConwayPParams Identity -> Bool Source # | |||||
| Eq (UpgradeConwayPParams StrictMaybe) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods (==) :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Bool Source # (/=) :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Bool Source # | |||||
| Ord (UpgradeConwayPParams Identity) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods compare :: UpgradeConwayPParams Identity -> UpgradeConwayPParams Identity -> Ordering Source # (<) :: UpgradeConwayPParams Identity -> UpgradeConwayPParams Identity -> Bool Source # (<=) :: UpgradeConwayPParams Identity -> UpgradeConwayPParams Identity -> Bool Source # (>) :: UpgradeConwayPParams Identity -> UpgradeConwayPParams Identity -> Bool Source # (>=) :: UpgradeConwayPParams Identity -> UpgradeConwayPParams Identity -> Bool Source # max :: UpgradeConwayPParams Identity -> UpgradeConwayPParams Identity -> UpgradeConwayPParams Identity Source # min :: UpgradeConwayPParams Identity -> UpgradeConwayPParams Identity -> UpgradeConwayPParams Identity Source # | |||||
| Ord (UpgradeConwayPParams StrictMaybe) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods compare :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Ordering Source # (<) :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Bool Source # (<=) :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Bool Source # (>) :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Bool Source # (>=) :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> Bool Source # max :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe Source # min :: UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe -> UpgradeConwayPParams StrictMaybe Source # | |||||
| NoThunks (UpgradeConwayPParams Identity) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods noThunks :: Context -> UpgradeConwayPParams Identity -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> UpgradeConwayPParams Identity -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (UpgradeConwayPParams Identity) -> String # | |||||
| NoThunks (UpgradeConwayPParams StrictMaybe) | |||||
Defined in Cardano.Ledger.Conway.PParams Methods noThunks :: Context -> UpgradeConwayPParams StrictMaybe -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> UpgradeConwayPParams StrictMaybe -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (UpgradeConwayPParams StrictMaybe) -> String # | |||||
| type Rep (UpgradeConwayPParams f) | |||||
Defined in Cardano.Ledger.Conway.PParams type Rep (UpgradeConwayPParams f) = D1 ('MetaData "UpgradeConwayPParams" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.16.1.0-abad22fe348abeab766aad8ca2442cc9d8fcf7ebde4323c701d467ff645717a4" 'False) (C1 ('MetaCons "UpgradeConwayPParams" 'PrefixI 'True) (((S1 ('MetaSel ('Just "ucppPoolVotingThresholds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f PoolVotingThresholds)) :*: S1 ('MetaSel ('Just "ucppDRepVotingThresholds") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f DRepVotingThresholds))) :*: (S1 ('MetaSel ('Just "ucppCommitteeMinSize") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Word16)) :*: (S1 ('MetaSel ('Just "ucppCommitteeMaxTermLength") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f EpochInterval)) :*: S1 ('MetaSel ('Just "ucppGovActionLifetime") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f EpochInterval))))) :*: ((S1 ('MetaSel ('Just "ucppGovActionDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Coin)) :*: S1 ('MetaSel ('Just "ucppDRepDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f Coin))) :*: (S1 ('MetaSel ('Just "ucppDRepActivity") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f EpochInterval)) :*: (S1 ('MetaSel ('Just "ucppMinFeeRefScriptCostPerByte") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f NonNegativeInterval)) :*: S1 ('MetaSel ('Just "ucppPlutusV3CostModel") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HKD f CostModel))))))) | |||||
type family GovState era = (r :: Type) | r -> era Source #
Instances
| type GovState (AllegraEra c) | |
Defined in Cardano.Ledger.Allegra.PParams | |
| type GovState (AlonzoEra c) | |
Defined in Cardano.Ledger.Alonzo.PParams | |
| type GovState (BabbageEra c) | |
Defined in Cardano.Ledger.Babbage.PParams | |
| type GovState (ConwayEra c) | |
Defined in Cardano.Ledger.Conway.Governance | |
| type GovState (MaryEra c) | |
Defined in Cardano.Ledger.Mary.PParams | |
| type GovState (ShelleyEra c) | |
Defined in Cardano.Ledger.Shelley.Governance | |
data GovActionId c Source #
Constructors
| GovActionId | |
Fields
| |
Instances
| Crypto c => ToJSON (GovActionId c) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSON :: GovActionId c -> Value # toEncoding :: GovActionId c -> Encoding # toJSONList :: [GovActionId c] -> Value # toEncodingList :: [GovActionId c] -> Encoding # omitField :: GovActionId c -> Bool # | |||||
| Crypto c => ToJSONKey (GovActionId c) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSONKey :: ToJSONKeyFunction (GovActionId c) toJSONKeyList :: ToJSONKeyFunction [GovActionId c] | |||||
| Generic (GovActionId c) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
Methods from :: GovActionId c -> Rep (GovActionId c) x Source # to :: Rep (GovActionId c) x -> GovActionId c Source # | |||||
| Show (GovActionId c) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Crypto c => DecCBOR (GovActionId c) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Crypto c => EncCBOR (GovActionId c) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR :: GovActionId c -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (GovActionId c) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [GovActionId c] -> Size Source # | |||||
| Crypto c => NFData (GovActionId c) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods rnf :: GovActionId c -> () Source # | |||||
| Eq (GovActionId c) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (==) :: GovActionId c -> GovActionId c -> Bool Source # (/=) :: GovActionId c -> GovActionId c -> Bool Source # | |||||
| Ord (GovActionId c) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods compare :: GovActionId c -> GovActionId c -> Ordering Source # (<) :: GovActionId c -> GovActionId c -> Bool Source # (<=) :: GovActionId c -> GovActionId c -> Bool Source # (>) :: GovActionId c -> GovActionId c -> Bool Source # (>=) :: GovActionId c -> GovActionId c -> Bool Source # max :: GovActionId c -> GovActionId c -> GovActionId c Source # min :: GovActionId c -> GovActionId c -> GovActionId c Source # | |||||
| NoThunks (GovActionId c) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods noThunks :: Context -> GovActionId c -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> GovActionId c -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (GovActionId c) -> String # | |||||
| c ~ EraCrypto era => HasOKey (GovActionId c) (GovActionState era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods okeyL :: Lens' (GovActionState era) (GovActionId c) Source # | |||||
| type Rep (GovActionId c) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep (GovActionId c) = D1 ('MetaData "GovActionId" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.16.1.0-abad22fe348abeab766aad8ca2442cc9d8fcf7ebde4323c701d467ff645717a4" 'False) (C1 ('MetaCons "GovActionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "gaidTxId") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxId c)) :*: S1 ('MetaSel ('Just "gaidGovActionIx") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 GovActionIx))) | |||||
Instances
| ToJSON Vote | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Bounded Vote | |||||
| Enum Vote | |||||
| Generic Vote | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
| |||||
| Show Vote | |||||
| DecCBOR Vote | |||||
| EncCBOR Vote | |||||
| NFData Vote | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Eq Vote | |||||
| Ord Vote | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| NoThunks Vote | |||||
| type Rep Vote | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep Vote = D1 ('MetaData "Vote" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.16.1.0-abad22fe348abeab766aad8ca2442cc9d8fcf7ebde4323c701d467ff645717a4" 'False) (C1 ('MetaCons "VoteNo" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "VoteYes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Abstain" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||
Constructors
| CommitteeVoter !(Credential 'HotCommitteeRole c) | |
| DRepVoter !(Credential 'DRepRole c) | |
| StakePoolVoter !(KeyHash 'StakePool c) |
Instances
| Crypto c => ToJSON (Voter c) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Crypto c => ToJSONKey (Voter c) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Generic (Voter c) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
| |||||
| Show (Voter c) | |||||
| Crypto c => DecCBOR (Voter c) | |||||
| Crypto c => EncCBOR (Voter c) | |||||
| NFData (Voter c) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Eq (Voter c) | |||||
| Ord (Voter c) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| NoThunks (Voter c) | |||||
| c ~ EraCrypto era => Indexable (Voter c) (VotingProcedures era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| type Rep (Voter c) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep (Voter c) = D1 ('MetaData "Voter" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.16.1.0-abad22fe348abeab766aad8ca2442cc9d8fcf7ebde4323c701d467ff645717a4" 'False) (C1 ('MetaCons "CommitteeVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'HotCommitteeRole c))) :+: (C1 ('MetaCons "DRepVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Credential 'DRepRole c))) :+: C1 ('MetaCons "StakePoolVoter" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool c))))) | |||||
data VotingProcedure era Source #
Constructors
| VotingProcedure | |
Fields
| |
Instances
| EraPParams era => ToJSON (VotingProcedure era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSON :: VotingProcedure era -> Value # toEncoding :: VotingProcedure era -> Encoding # toJSONList :: [VotingProcedure era] -> Value # toEncodingList :: [VotingProcedure era] -> Encoding # omitField :: VotingProcedure era -> Bool # | |||||
| Generic (VotingProcedure era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
Methods from :: VotingProcedure era -> Rep (VotingProcedure era) x Source # to :: Rep (VotingProcedure era) x -> VotingProcedure era Source # | |||||
| Show (VotingProcedure era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Era era => DecCBOR (VotingProcedure era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Era era => EncCBOR (VotingProcedure era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR :: VotingProcedure era -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (VotingProcedure era) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [VotingProcedure era] -> Size Source # | |||||
| Crypto (EraCrypto era) => NFData (VotingProcedure era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods rnf :: VotingProcedure era -> () Source # | |||||
| Eq (VotingProcedure era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (==) :: VotingProcedure era -> VotingProcedure era -> Bool Source # (/=) :: VotingProcedure era -> VotingProcedure era -> Bool Source # | |||||
| NoThunks (VotingProcedure era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods noThunks :: Context -> VotingProcedure era -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> VotingProcedure era -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (VotingProcedure era) -> String # | |||||
| type Rep (VotingProcedure era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep (VotingProcedure era) = D1 ('MetaData "VotingProcedure" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.16.1.0-abad22fe348abeab766aad8ca2442cc9d8fcf7ebde4323c701d467ff645717a4" 'False) (C1 ('MetaCons "VotingProcedure" 'PrefixI 'True) (S1 ('MetaSel ('Just "vProcVote") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Vote) :*: S1 ('MetaSel ('Just "vProcAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictMaybe (Anchor (EraCrypto era)))))) | |||||
data ProposalProcedure era Source #
Constructors
| ProposalProcedure | |
Fields
| |
Instances
| EraPParams era => ToJSON (ProposalProcedure era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSON :: ProposalProcedure era -> Value # toEncoding :: ProposalProcedure era -> Encoding # toJSONList :: [ProposalProcedure era] -> Value # toEncodingList :: [ProposalProcedure era] -> Encoding # omitField :: ProposalProcedure era -> Bool # | |||||
| Generic (ProposalProcedure era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
Methods from :: ProposalProcedure era -> Rep (ProposalProcedure era) x Source # to :: Rep (ProposalProcedure era) x -> ProposalProcedure era Source # | |||||
| EraPParams era => Show (ProposalProcedure era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| EraPParams era => DecCBOR (ProposalProcedure era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| EraPParams era => EncCBOR (ProposalProcedure era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR :: ProposalProcedure era -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (ProposalProcedure era) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [ProposalProcedure era] -> Size Source # | |||||
| EraPParams era => NFData (ProposalProcedure era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods rnf :: ProposalProcedure era -> () Source # | |||||
| EraPParams era => Eq (ProposalProcedure era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (==) :: ProposalProcedure era -> ProposalProcedure era -> Bool Source # (/=) :: ProposalProcedure era -> ProposalProcedure era -> Bool Source # | |||||
| EraPParams era => Ord (ProposalProcedure era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods compare :: ProposalProcedure era -> ProposalProcedure era -> Ordering Source # (<) :: ProposalProcedure era -> ProposalProcedure era -> Bool Source # (<=) :: ProposalProcedure era -> ProposalProcedure era -> Bool Source # (>) :: ProposalProcedure era -> ProposalProcedure era -> Bool Source # (>=) :: ProposalProcedure era -> ProposalProcedure era -> Bool Source # max :: ProposalProcedure era -> ProposalProcedure era -> ProposalProcedure era Source # min :: ProposalProcedure era -> ProposalProcedure era -> ProposalProcedure era Source # | |||||
| EraPParams era => NoThunks (ProposalProcedure era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods noThunks :: Context -> ProposalProcedure era -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> ProposalProcedure era -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (ProposalProcedure era) -> String # | |||||
| type Rep (ProposalProcedure era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep (ProposalProcedure era) = D1 ('MetaData "ProposalProcedure" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.16.1.0-abad22fe348abeab766aad8ca2442cc9d8fcf7ebde4323c701d467ff645717a4" 'False) (C1 ('MetaCons "ProposalProcedure" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pProcDeposit") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Coin) :*: S1 ('MetaSel ('Just "pProcReturnAddr") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (RewardAccount (EraCrypto era)))) :*: (S1 ('MetaSel ('Just "pProcGovAction") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (GovAction era)) :*: S1 ('MetaSel ('Just "pProcAnchor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Anchor (EraCrypto era)))))) | |||||
newtype VotingProcedures era Source #
Constructors
| VotingProcedures | |
Fields
| |
Instances
| EraPParams era => ToJSON (VotingProcedures era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods toJSON :: VotingProcedures era -> Value # toEncoding :: VotingProcedures era -> Encoding # toJSONList :: [VotingProcedures era] -> Value # toEncodingList :: [VotingProcedures era] -> Encoding # omitField :: VotingProcedures era -> Bool # | |||||
| Generic (VotingProcedures era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Associated Types
Methods from :: VotingProcedures era -> Rep (VotingProcedures era) x Source # to :: Rep (VotingProcedures era) x -> VotingProcedures era Source # | |||||
| Show (VotingProcedures era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Era era => DecCBOR (VotingProcedures era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| Era era => EncCBOR (VotingProcedures era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods encCBOR :: VotingProcedures era -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (VotingProcedures era) -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [VotingProcedures era] -> Size Source # | |||||
| Era era => NFData (VotingProcedures era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods rnf :: VotingProcedures era -> () Source # | |||||
| Eq (VotingProcedures era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods (==) :: VotingProcedures era -> VotingProcedures era -> Bool Source # (/=) :: VotingProcedures era -> VotingProcedures era -> Bool Source # | |||||
| NoThunks (VotingProcedures era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures Methods noThunks :: Context -> VotingProcedures era -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> VotingProcedures era -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy (VotingProcedures era) -> String # | |||||
| c ~ EraCrypto era => Indexable (Voter c) (VotingProcedures era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures | |||||
| type Rep (VotingProcedures era) | |||||
Defined in Cardano.Ledger.Conway.Governance.Procedures type Rep (VotingProcedures era) = D1 ('MetaData "VotingProcedures" "Cardano.Ledger.Conway.Governance.Procedures" "cardano-ledger-conway-1.16.1.0-abad22fe348abeab766aad8ca2442cc9d8fcf7ebde4323c701d467ff645717a4" 'True) (C1 ('MetaCons "VotingProcedures" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVotingProcedures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (Voter (EraCrypto era)) (Map (GovActionId (EraCrypto era)) (VotingProcedure era)))))) | |||||
data PoolVotingThresholds Source #
Constructors
| PoolVotingThresholds | |
Instances
| FromJSON PoolVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams Methods parseJSON :: Value -> Parser PoolVotingThresholds # parseJSONList :: Value -> Parser [PoolVotingThresholds] # | |||||
| ToJSON PoolVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams Methods toJSON :: PoolVotingThresholds -> Value # toEncoding :: PoolVotingThresholds -> Encoding # toJSONList :: [PoolVotingThresholds] -> Value # toEncodingList :: [PoolVotingThresholds] -> Encoding # omitField :: PoolVotingThresholds -> Bool # | |||||
| Generic PoolVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams Associated Types
Methods from :: PoolVotingThresholds -> Rep PoolVotingThresholds x Source # to :: Rep PoolVotingThresholds x -> PoolVotingThresholds Source # | |||||
| Show PoolVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams | |||||
| DecCBOR PoolVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams | |||||
| EncCBOR PoolVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams Methods encCBOR :: PoolVotingThresholds -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy PoolVotingThresholds -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [PoolVotingThresholds] -> Size Source # | |||||
| Default PoolVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams Methods | |||||
| NFData PoolVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams Methods rnf :: PoolVotingThresholds -> () Source # | |||||
| Eq PoolVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams Methods (==) :: PoolVotingThresholds -> PoolVotingThresholds -> Bool Source # (/=) :: PoolVotingThresholds -> PoolVotingThresholds -> Bool Source # | |||||
| Ord PoolVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams Methods compare :: PoolVotingThresholds -> PoolVotingThresholds -> Ordering Source # (<) :: PoolVotingThresholds -> PoolVotingThresholds -> Bool Source # (<=) :: PoolVotingThresholds -> PoolVotingThresholds -> Bool Source # (>) :: PoolVotingThresholds -> PoolVotingThresholds -> Bool Source # (>=) :: PoolVotingThresholds -> PoolVotingThresholds -> Bool Source # max :: PoolVotingThresholds -> PoolVotingThresholds -> PoolVotingThresholds Source # min :: PoolVotingThresholds -> PoolVotingThresholds -> PoolVotingThresholds Source # | |||||
| NoThunks PoolVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams Methods noThunks :: Context -> PoolVotingThresholds -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> PoolVotingThresholds -> IO (Maybe ThunkInfo) # | |||||
| type Rep PoolVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams type Rep PoolVotingThresholds = D1 ('MetaData "PoolVotingThresholds" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.16.1.0-abad22fe348abeab766aad8ca2442cc9d8fcf7ebde4323c701d467ff645717a4" 'False) (C1 ('MetaCons "PoolVotingThresholds" 'PrefixI 'True) ((S1 ('MetaSel ('Just "pvtMotionNoConfidence") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "pvtCommitteeNormal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)) :*: (S1 ('MetaSel ('Just "pvtCommitteeNoConfidence") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: (S1 ('MetaSel ('Just "pvtHardForkInitiation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "pvtPPSecurityGroup") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval))))) | |||||
data DRepVotingThresholds Source #
Constructors
| DRepVotingThresholds | |
Fields
| |
Instances
| FromJSON DRepVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams Methods parseJSON :: Value -> Parser DRepVotingThresholds # parseJSONList :: Value -> Parser [DRepVotingThresholds] # | |||||
| ToJSON DRepVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams Methods toJSON :: DRepVotingThresholds -> Value # toEncoding :: DRepVotingThresholds -> Encoding # toJSONList :: [DRepVotingThresholds] -> Value # toEncodingList :: [DRepVotingThresholds] -> Encoding # omitField :: DRepVotingThresholds -> Bool # | |||||
| Generic DRepVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams Associated Types
Methods from :: DRepVotingThresholds -> Rep DRepVotingThresholds x Source # to :: Rep DRepVotingThresholds x -> DRepVotingThresholds Source # | |||||
| Show DRepVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams | |||||
| DecCBOR DRepVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams | |||||
| EncCBOR DRepVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams Methods encCBOR :: DRepVotingThresholds -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy DRepVotingThresholds -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [DRepVotingThresholds] -> Size Source # | |||||
| Default DRepVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams Methods | |||||
| NFData DRepVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams Methods rnf :: DRepVotingThresholds -> () Source # | |||||
| Eq DRepVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams Methods (==) :: DRepVotingThresholds -> DRepVotingThresholds -> Bool Source # (/=) :: DRepVotingThresholds -> DRepVotingThresholds -> Bool Source # | |||||
| Ord DRepVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams Methods compare :: DRepVotingThresholds -> DRepVotingThresholds -> Ordering Source # (<) :: DRepVotingThresholds -> DRepVotingThresholds -> Bool Source # (<=) :: DRepVotingThresholds -> DRepVotingThresholds -> Bool Source # (>) :: DRepVotingThresholds -> DRepVotingThresholds -> Bool Source # (>=) :: DRepVotingThresholds -> DRepVotingThresholds -> Bool Source # max :: DRepVotingThresholds -> DRepVotingThresholds -> DRepVotingThresholds Source # min :: DRepVotingThresholds -> DRepVotingThresholds -> DRepVotingThresholds Source # | |||||
| NoThunks DRepVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams Methods noThunks :: Context -> DRepVotingThresholds -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> DRepVotingThresholds -> IO (Maybe ThunkInfo) # | |||||
| type Rep DRepVotingThresholds | |||||
Defined in Cardano.Ledger.Conway.PParams type Rep DRepVotingThresholds = D1 ('MetaData "DRepVotingThresholds" "Cardano.Ledger.Conway.PParams" "cardano-ledger-conway-1.16.1.0-abad22fe348abeab766aad8ca2442cc9d8fcf7ebde4323c701d467ff645717a4" 'False) (C1 ('MetaCons "DRepVotingThresholds" 'PrefixI 'True) (((S1 ('MetaSel ('Just "dvtMotionNoConfidence") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "dvtCommitteeNormal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)) :*: (S1 ('MetaSel ('Just "dvtCommitteeNoConfidence") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: (S1 ('MetaSel ('Just "dvtUpdateToConstitution") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "dvtHardForkInitiation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))) :*: ((S1 ('MetaSel ('Just "dvtPPNetworkGroup") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "dvtPPEconomicGroup") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)) :*: (S1 ('MetaSel ('Just "dvtPPTechnicalGroup") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: (S1 ('MetaSel ('Just "dvtPPGovGroup") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval) :*: S1 ('MetaSel ('Just "dvtTreasuryWithdrawal") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UnitInterval)))))) | |||||
drepExpiryL :: forall c f. Functor f => (EpochNo -> f EpochNo) -> DRepState c -> f (DRepState c) Source #
drepAnchorL :: forall c f. Functor f => (StrictMaybe (Anchor c) -> f (StrictMaybe (Anchor c))) -> DRepState c -> f (DRepState c) Source #
drepDepositL :: forall c f. Functor f => (Coin -> f Coin) -> DRepState c -> f (DRepState c) Source #
csCommitteeCredsL :: forall era f. Functor f => (Map (Credential 'ColdCommitteeRole (EraCrypto era)) (CommitteeAuthorization (EraCrypto era)) -> f (Map (Credential 'ColdCommitteeRole (EraCrypto era)) (CommitteeAuthorization (EraCrypto era)))) -> CommitteeState era -> f (CommitteeState era) Source #
Constructors
| Annotated | |
Fields
| |
Instances
| Bifunctor Annotated | |||||
| Functor (Annotated b) | |||||
| FromJSON b => FromJSON (Annotated b ()) | |||||
Defined in Cardano.Ledger.Binary.Decoding.Annotated Methods parseJSON :: Value -> Parser (Annotated b ()) # parseJSONList :: Value -> Parser [Annotated b ()] # omittedField :: Maybe (Annotated b ()) # | |||||
| ToJSON b => ToJSON (Annotated b a) | |||||
Defined in Cardano.Ledger.Binary.Decoding.Annotated | |||||
| Generic (Annotated b a) | |||||
Defined in Cardano.Ledger.Binary.Decoding.Annotated Associated Types
| |||||
| (Show b, Show a) => Show (Annotated b a) | |||||
| Decoded (Annotated b ByteString) | |||||
Defined in Cardano.Ledger.Binary.Decoding.Annotated Associated Types
Methods recoverBytes :: Annotated b ByteString -> ByteString Source # | |||||
| (NFData b, NFData a) => NFData (Annotated b a) | |||||
Defined in Cardano.Ledger.Binary.Decoding.Annotated | |||||
| (Eq b, Eq a) => Eq (Annotated b a) | |||||
| (Eq a, Ord b) => Ord (Annotated b a) | |||||
Defined in Cardano.Ledger.Binary.Decoding.Annotated Methods compare :: Annotated b a -> Annotated b a -> Ordering Source # (<) :: Annotated b a -> Annotated b a -> Bool Source # (<=) :: Annotated b a -> Annotated b a -> Bool Source # (>) :: Annotated b a -> Annotated b a -> Bool Source # (>=) :: Annotated b a -> Annotated b a -> Bool Source # max :: Annotated b a -> Annotated b a -> Annotated b a Source # min :: Annotated b a -> Annotated b a -> Annotated b a Source # | |||||
| (NoThunks b, NoThunks a) => NoThunks (Annotated b a) | |||||
| HasSignTag (Annotated ToSign ByteString) | |||||
Defined in Ouroboros.Consensus.Byron.Crypto.DSIGN Methods signTag :: VerKeyDSIGN ByronDSIGN -> proxy (Annotated ToSign ByteString) -> SignTag Source # | |||||
| type Rep (Annotated b a) | |||||
Defined in Cardano.Ledger.Binary.Decoding.Annotated type Rep (Annotated b a) = D1 ('MetaData "Annotated" "Cardano.Ledger.Binary.Decoding.Annotated" "cardano-ledger-binary-1.3.4.0-b0db08c54972215c972ae6181a5484353b6b477d1320f98c132bfb2ec234259c" 'False) (C1 ('MetaCons "Annotated" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAnnotated") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 b) :*: S1 ('MetaSel ('Just "annotation") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 a))) | |||||
| type BaseType (Annotated b ByteString) | |||||
Defined in Cardano.Ledger.Binary.Decoding.Annotated | |||||
Transaction
NB: transaction witnesses are stored separately
Constructors
| UnsafeTx | |
Fields
| |
Instances
| ToJSON Tx | |||||
Defined in Cardano.Chain.UTxO.Tx | |||||
| Generic Tx | |||||
Defined in Cardano.Chain.UTxO.Tx Associated Types
| |||||
| Show Tx | |||||
| FromCBOR Tx | |||||
| ToCBOR Tx | |||||
| DecCBOR Tx | |||||
| EncCBOR Tx | |||||
| NFData Tx | |||||
Defined in Cardano.Chain.UTxO.Tx | |||||
| Buildable Tx | |||||
Defined in Cardano.Chain.UTxO.Tx | |||||
| Eq Tx | |||||
| Ord Tx | |||||
| type Rep Tx | |||||
Defined in Cardano.Chain.UTxO.Tx type Rep Tx = D1 ('MetaData "Tx" "Cardano.Chain.UTxO.Tx" "cardano-ledger-byron-1.0.1.0-ee1397b2c0d43b85f835fc34d15006ff5cedf035a94d0c96915a880ab6ff4d0e" 'False) (C1 ('MetaCons "UnsafeTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "txInputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty TxIn)) :*: (S1 ('MetaSel ('Just "txOutputs") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NonEmpty TxOut)) :*: S1 ('MetaSel ('Just "txAttributes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxAttributes)))) | |||||
serialize' :: EncCBOR a => Version -> a -> ByteString Source #
Serialize a Haskell value to an external binary representation.
The output is represented as a strict ByteString.
toPlainDecoder :: Version -> Decoder s a -> Decoder s a Source #
Extract the underlying Decoder by specifying the concrete version to be used.
A pair of offsets delimiting the beginning and end of a substring of a ByteString
Constructors
| ByteSpan !ByteOffset !ByteOffset |
Instances
| ToJSON ByteSpan | |||||
Defined in Cardano.Ledger.Binary.Decoding.Annotated | |||||
| Generic ByteSpan | |||||
Defined in Cardano.Ledger.Binary.Decoding.Annotated Associated Types
| |||||
| Show ByteSpan | |||||
| FromCBOR (ABody ByteSpan) | |||||
| FromCBOR (ABlockSignature ByteSpan) | |||||
Defined in Cardano.Chain.Block.Header | |||||
| FromCBOR (ACertificate ByteSpan) | |||||
Defined in Cardano.Chain.Delegation.Certificate | |||||
| FromCBOR (APayload ByteSpan) | |||||
| FromCBOR (AMempoolPayload ByteSpan) | |||||
Defined in Cardano.Chain.MempoolPayload | |||||
| FromCBOR (ATxAux ByteSpan) | |||||
| FromCBOR (ATxPayload ByteSpan) | |||||
Defined in Cardano.Chain.UTxO.TxPayload | |||||
| FromCBOR (APayload ByteSpan) | |||||
| FromCBOR (AProposal ByteSpan) | |||||
| FromCBOR (AVote ByteSpan) | |||||
| DecCBOR (ABody ByteSpan) | |||||
| DecCBOR (ABlockSignature ByteSpan) | |||||
| DecCBOR (ACertificate ByteSpan) | |||||
| DecCBOR (APayload ByteSpan) | |||||
| DecCBOR (AMempoolPayload ByteSpan) | |||||
| DecCBOR (ATxAux ByteSpan) | |||||
| DecCBOR (ATxPayload ByteSpan) | |||||
| DecCBOR (APayload ByteSpan) | |||||
| DecCBOR (AProposal ByteSpan) | |||||
| DecCBOR (AVote ByteSpan) | |||||
| type Rep ByteSpan | |||||
Defined in Cardano.Ledger.Binary.Decoding.Annotated type Rep ByteSpan = D1 ('MetaData "ByteSpan" "Cardano.Ledger.Binary.Decoding.Annotated" "cardano-ledger-binary-1.3.4.0-b0db08c54972215c972ae6181a5484353b6b477d1320f98c132bfb2ec234259c" 'False) (C1 ('MetaCons "ByteSpan" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByteOffset) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 ByteOffset))) | |||||
slice :: ByteString -> ByteSpan -> ByteString Source #
Extract a substring of a given ByteString corresponding to the offsets.
Instances
| MonadFail (Decoder s) | |
| Applicative (Decoder s) | |
Defined in Codec.CBOR.Decoding | |
| Functor (Decoder s) | |
| Monad (Decoder s) | |
newtype CoinPerByte Source #
Constructors
| CoinPerByte | |
Fields | |
Instances
| FromJSON CoinPerByte | |
Defined in Cardano.Ledger.Babbage.PParams | |
| ToJSON CoinPerByte | |
Defined in Cardano.Ledger.Babbage.PParams Methods toJSON :: CoinPerByte -> Value # toEncoding :: CoinPerByte -> Encoding # toJSONList :: [CoinPerByte] -> Value # toEncodingList :: [CoinPerByte] -> Encoding # omitField :: CoinPerByte -> Bool # | |
| Show CoinPerByte | |
Defined in Cardano.Ledger.Babbage.PParams | |
| DecCBOR CoinPerByte | |
Defined in Cardano.Ledger.Babbage.PParams | |
| EncCBOR CoinPerByte | |
Defined in Cardano.Ledger.Babbage.PParams Methods encCBOR :: CoinPerByte -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy CoinPerByte -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [CoinPerByte] -> Size Source # | |
| NFData CoinPerByte | |
Defined in Cardano.Ledger.Babbage.PParams Methods rnf :: CoinPerByte -> () Source # | |
| Eq CoinPerByte | |
Defined in Cardano.Ledger.Babbage.PParams Methods (==) :: CoinPerByte -> CoinPerByte -> Bool Source # (/=) :: CoinPerByte -> CoinPerByte -> Bool Source # | |
| Ord CoinPerByte | |
Defined in Cardano.Ledger.Babbage.PParams Methods compare :: CoinPerByte -> CoinPerByte -> Ordering Source # (<) :: CoinPerByte -> CoinPerByte -> Bool Source # (<=) :: CoinPerByte -> CoinPerByte -> Bool Source # (>) :: CoinPerByte -> CoinPerByte -> Bool Source # (>=) :: CoinPerByte -> CoinPerByte -> Bool Source # max :: CoinPerByte -> CoinPerByte -> CoinPerByte Source # min :: CoinPerByte -> CoinPerByte -> CoinPerByte Source # | |
| NoThunks CoinPerByte | |
Defined in Cardano.Ledger.Babbage.PParams Methods noThunks :: Context -> CoinPerByte -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> CoinPerByte -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy CoinPerByte -> String # | |
newtype CoinPerWord Source #
Constructors
| CoinPerWord | |
Fields | |
Instances
| FromJSON CoinPerWord | |
Defined in Cardano.Ledger.Alonzo.PParams | |
| ToJSON CoinPerWord | |
Defined in Cardano.Ledger.Alonzo.PParams Methods toJSON :: CoinPerWord -> Value # toEncoding :: CoinPerWord -> Encoding # toJSONList :: [CoinPerWord] -> Value # toEncodingList :: [CoinPerWord] -> Encoding # omitField :: CoinPerWord -> Bool # | |
| Show CoinPerWord | |
Defined in Cardano.Ledger.Alonzo.PParams | |
| DecCBOR CoinPerWord | |
Defined in Cardano.Ledger.Alonzo.PParams | |
| EncCBOR CoinPerWord | |
Defined in Cardano.Ledger.Alonzo.PParams Methods encCBOR :: CoinPerWord -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy CoinPerWord -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [CoinPerWord] -> Size Source # | |
| NFData CoinPerWord | |
Defined in Cardano.Ledger.Alonzo.PParams Methods rnf :: CoinPerWord -> () Source # | |
| Eq CoinPerWord | |
Defined in Cardano.Ledger.Alonzo.PParams Methods (==) :: CoinPerWord -> CoinPerWord -> Bool Source # (/=) :: CoinPerWord -> CoinPerWord -> Bool Source # | |
| Ord CoinPerWord | |
Defined in Cardano.Ledger.Alonzo.PParams Methods compare :: CoinPerWord -> CoinPerWord -> Ordering Source # (<) :: CoinPerWord -> CoinPerWord -> Bool Source # (<=) :: CoinPerWord -> CoinPerWord -> Bool Source # (>) :: CoinPerWord -> CoinPerWord -> Bool Source # (>=) :: CoinPerWord -> CoinPerWord -> Bool Source # max :: CoinPerWord -> CoinPerWord -> CoinPerWord Source # min :: CoinPerWord -> CoinPerWord -> CoinPerWord Source # | |
| NoThunks CoinPerWord | |
Defined in Cardano.Ledger.Alonzo.PParams Methods noThunks :: Context -> CoinPerWord -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> CoinPerWord -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy CoinPerWord -> String # | |
Prices per execution unit
Constructors
| Prices | |
Fields | |
Instances
| FromJSON Prices | |||||
Defined in Cardano.Ledger.Plutus.ExUnits Methods parseJSON :: Value -> Parser Prices # parseJSONList :: Value -> Parser [Prices] # omittedField :: Maybe Prices # | |||||
| ToJSON Prices | |||||
Defined in Cardano.Ledger.Plutus.ExUnits | |||||
| Generic Prices | |||||
Defined in Cardano.Ledger.Plutus.ExUnits Associated Types
| |||||
| Show Prices | |||||
| DecCBOR Prices | |||||
| EncCBOR Prices | |||||
| ToPlutusData Prices | |||||
Defined in Cardano.Ledger.Plutus.ToPlutusData | |||||
| NFData Prices | |||||
Defined in Cardano.Ledger.Plutus.ExUnits | |||||
| Eq Prices | |||||
| Ord Prices | |||||
Defined in Cardano.Ledger.Plutus.ExUnits | |||||
| NoThunks Prices | |||||
| type Rep Prices | |||||
Defined in Cardano.Ledger.Plutus.ExUnits type Rep Prices = D1 ('MetaData "Prices" "Cardano.Ledger.Plutus.ExUnits" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'False) (C1 ('MetaCons "Prices" 'PrefixI 'True) (S1 ('MetaSel ('Just "prMem") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NonNegativeInterval) :*: S1 ('MetaSel ('Just "prSteps") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NonNegativeInterval))) | |||||
data CostModels Source #
For a known version of Plutus, attempting to construct a cost model with
too few parameters (depending on the version) will result in an error.
CostModelApplyError exists to collect these errors in the CostModels type.
The CostModels type itself needs to be flexible enough to accept any map
of Word8 to '[Int64]', so that cost models can be placed in the protocol parameters
ahead of changes to the Plutus evaluation context. In this way, serializing a cost model,
updating software, and deserializing can result in errors going away.
Additionally, CostModels needs to be able to store cost models for future version
of Plutus, which we cannot yet even validate. These are stored in
costModelsUnknown.
Instances
| FromJSON CostModels | |||||
Defined in Cardano.Ledger.Plutus.CostModels | |||||
| ToJSON CostModels | |||||
Defined in Cardano.Ledger.Plutus.CostModels Methods toJSON :: CostModels -> Value # toEncoding :: CostModels -> Encoding # toJSONList :: [CostModels] -> Value # toEncodingList :: [CostModels] -> Encoding # omitField :: CostModels -> Bool # | |||||
| Monoid CostModels | |||||
Defined in Cardano.Ledger.Plutus.CostModels Methods mempty :: CostModels Source # mappend :: CostModels -> CostModels -> CostModels Source # mconcat :: [CostModels] -> CostModels Source # | |||||
| Semigroup CostModels | |||||
Defined in Cardano.Ledger.Plutus.CostModels Methods (<>) :: CostModels -> CostModels -> CostModels Source # sconcat :: NonEmpty CostModels -> CostModels Source # stimes :: Integral b => b -> CostModels -> CostModels Source # | |||||
| Generic CostModels | |||||
Defined in Cardano.Ledger.Plutus.CostModels Associated Types
| |||||
| Show CostModels | |||||
Defined in Cardano.Ledger.Plutus.CostModels | |||||
| DecCBOR CostModels | |||||
Defined in Cardano.Ledger.Plutus.CostModels | |||||
| EncCBOR CostModels | |||||
Defined in Cardano.Ledger.Plutus.CostModels Methods encCBOR :: CostModels -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy CostModels -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [CostModels] -> Size Source # | |||||
| ToPlutusData CostModels | |||||
Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData :: CostModels -> Data Source # fromPlutusData :: Data -> Maybe CostModels Source # | |||||
| NFData CostModels | |||||
Defined in Cardano.Ledger.Plutus.CostModels Methods rnf :: CostModels -> () Source # | |||||
| Eq CostModels | |||||
Defined in Cardano.Ledger.Plutus.CostModels Methods (==) :: CostModels -> CostModels -> Bool Source # (/=) :: CostModels -> CostModels -> Bool Source # | |||||
| Ord CostModels | |||||
Defined in Cardano.Ledger.Plutus.CostModels Methods compare :: CostModels -> CostModels -> Ordering Source # (<) :: CostModels -> CostModels -> Bool Source # (<=) :: CostModels -> CostModels -> Bool Source # (>) :: CostModels -> CostModels -> Bool Source # (>=) :: CostModels -> CostModels -> Bool Source # max :: CostModels -> CostModels -> CostModels Source # min :: CostModels -> CostModels -> CostModels Source # | |||||
| NoThunks CostModels | |||||
Defined in Cardano.Ledger.Plutus.CostModels Methods noThunks :: Context -> CostModels -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> CostModels -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy CostModels -> String # | |||||
| type Rep CostModels | |||||
Defined in Cardano.Ledger.Plutus.CostModels type Rep CostModels = D1 ('MetaData "CostModels" "Cardano.Ledger.Plutus.CostModels" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'False) (C1 ('MetaCons "CostModels" 'PrefixI 'True) (S1 ('MetaSel ('Just "_costModelsValid") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Language CostModel)) :*: S1 ('MetaSel ('Just "_costModelsUnknown") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Word8 [Int64])))) | |||||
data AlonzoGenesis Source #
All configuration that is necessary to bootstrap AlonzoEra from ShelleyGenesis
Instances
| FromJSON AlonzoGenesis | |||||
Defined in Cardano.Ledger.Alonzo.Genesis Methods parseJSON :: Value -> Parser AlonzoGenesis # parseJSONList :: Value -> Parser [AlonzoGenesis] # | |||||
| ToJSON AlonzoGenesis | |||||
Defined in Cardano.Ledger.Alonzo.Genesis Methods toJSON :: AlonzoGenesis -> Value # toEncoding :: AlonzoGenesis -> Encoding # toJSONList :: [AlonzoGenesis] -> Value # toEncodingList :: [AlonzoGenesis] -> Encoding # omitField :: AlonzoGenesis -> Bool # | |||||
| Generic AlonzoGenesis | |||||
Defined in Cardano.Ledger.Alonzo.Genesis Associated Types
Methods from :: AlonzoGenesis -> Rep AlonzoGenesis x Source # to :: Rep AlonzoGenesis x -> AlonzoGenesis Source # | |||||
| Show AlonzoGenesis | |||||
Defined in Cardano.Ledger.Alonzo.Genesis | |||||
| FromCBOR AlonzoGenesis | |||||
Defined in Cardano.Ledger.Alonzo.Genesis | |||||
| ToCBOR AlonzoGenesis | |||||
Defined in Cardano.Ledger.Alonzo.Genesis Methods toCBOR :: AlonzoGenesis -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy AlonzoGenesis -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [AlonzoGenesis] -> Size Source # | |||||
| DecCBOR AlonzoGenesis | Genesis types are always encoded with the version of era they are defined in. | ||||
Defined in Cardano.Ledger.Alonzo.Genesis | |||||
| EncCBOR AlonzoGenesis | |||||
Defined in Cardano.Ledger.Alonzo.Genesis Methods encCBOR :: AlonzoGenesis -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy AlonzoGenesis -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [AlonzoGenesis] -> Size Source # | |||||
| Eq AlonzoGenesis | |||||
Defined in Cardano.Ledger.Alonzo.Genesis Methods (==) :: AlonzoGenesis -> AlonzoGenesis -> Bool Source # (/=) :: AlonzoGenesis -> AlonzoGenesis -> Bool Source # | |||||
| NoThunks AlonzoGenesis | |||||
Defined in Cardano.Ledger.Alonzo.Genesis Methods noThunks :: Context -> AlonzoGenesis -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> AlonzoGenesis -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy AlonzoGenesis -> String # | |||||
| type Rep AlonzoGenesis | |||||
Defined in Cardano.Ledger.Alonzo.Genesis type Rep AlonzoGenesis = D1 ('MetaData "AlonzoGenesis" "Cardano.Ledger.Alonzo.Genesis" "cardano-ledger-alonzo-1.10.2.0-71cf1339965996875f0674fa770dc68a15d6642b63a3e5c2701c56574ee87518" 'True) (C1 ('MetaCons "AlonzoGenesisWrapper" 'PrefixI 'True) (S1 ('MetaSel ('Just "unAlonzoGenesisWrapper") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UpgradeAlonzoPParams Identity)))) | |||||
boundRational :: BoundedRational r => Rational -> Maybe r Source #
Returns Nothing when supplied value is not within bounds or when precision is
too high to be represented by the underlying type
Example
>>>:set -XTypeApplications>>>import Data.Ratio>>>boundRational @UnitInterval $ 2 % 3Just (2 % 3)>>>boundRational @UnitInterval (-0.5)Nothing>>>boundRational @UnitInterval (1.5)Nothing>>>boundRational @UnitInterval 0Just (0 % 1)>>>boundRational @PositiveUnitInterval 0Nothing
unboundRational :: BoundedRational r => r -> Rational Source #
Promote bounded rational type into the unbounded Rational.
Instances
| FromJSON DnsName | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| ToJSON DnsName | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| Generic DnsName | |||||
Defined in Cardano.Ledger.BaseTypes Associated Types
| |||||
| Show DnsName | |||||
| DecCBOR DnsName | |||||
| EncCBOR DnsName | |||||
| NFData DnsName | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| Eq DnsName | |||||
| Ord DnsName | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| NoThunks DnsName | |||||
| type Rep DnsName | |||||
Defined in Cardano.Ledger.BaseTypes type Rep DnsName = D1 ('MetaData "DnsName" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'True) (C1 ('MetaCons "DnsName" 'PrefixI 'True) (S1 ('MetaSel ('Just "dnsToText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) | |||||
newtype EpochInterval Source #
Constructors
| EpochInterval | |
Fields | |
Instances
| FromJSON EpochInterval | |||||
Defined in Cardano.Slotting.Slot Methods parseJSON :: Value -> Parser EpochInterval # parseJSONList :: Value -> Parser [EpochInterval] # | |||||
| ToJSON EpochInterval | |||||
Defined in Cardano.Slotting.Slot Methods toJSON :: EpochInterval -> Value # toEncoding :: EpochInterval -> Encoding # toJSONList :: [EpochInterval] -> Value # toEncodingList :: [EpochInterval] -> Encoding # omitField :: EpochInterval -> Bool # | |||||
| Generic EpochInterval | |||||
Defined in Cardano.Slotting.Slot Associated Types
Methods from :: EpochInterval -> Rep EpochInterval x Source # to :: Rep EpochInterval x -> EpochInterval Source # | |||||
| Show EpochInterval | |||||
Defined in Cardano.Slotting.Slot | |||||
| FromCBOR EpochInterval | |||||
Defined in Cardano.Slotting.Slot | |||||
| ToCBOR EpochInterval | |||||
Defined in Cardano.Slotting.Slot Methods toCBOR :: EpochInterval -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy EpochInterval -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [EpochInterval] -> Size Source # | |||||
| DecCBOR EpochInterval | |||||
Defined in Cardano.Ledger.Binary.Decoding.DecCBOR | |||||
| EncCBOR EpochInterval | |||||
Defined in Cardano.Ledger.Binary.Encoding.EncCBOR Methods encCBOR :: EpochInterval -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy EpochInterval -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [EpochInterval] -> Size Source # | |||||
| ToPlutusData EpochInterval | |||||
Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData :: EpochInterval -> Data Source # fromPlutusData :: Data -> Maybe EpochInterval Source # | |||||
| NFData EpochInterval | |||||
Defined in Cardano.Slotting.Slot Methods rnf :: EpochInterval -> () Source # | |||||
| Eq EpochInterval | |||||
Defined in Cardano.Slotting.Slot Methods (==) :: EpochInterval -> EpochInterval -> Bool Source # (/=) :: EpochInterval -> EpochInterval -> Bool Source # | |||||
| Ord EpochInterval | |||||
Defined in Cardano.Slotting.Slot Methods compare :: EpochInterval -> EpochInterval -> Ordering Source # (<) :: EpochInterval -> EpochInterval -> Bool Source # (<=) :: EpochInterval -> EpochInterval -> Bool Source # (>) :: EpochInterval -> EpochInterval -> Bool Source # (>=) :: EpochInterval -> EpochInterval -> Bool Source # max :: EpochInterval -> EpochInterval -> EpochInterval Source # min :: EpochInterval -> EpochInterval -> EpochInterval Source # | |||||
| NoThunks EpochInterval | |||||
Defined in Cardano.Slotting.Slot Methods noThunks :: Context -> EpochInterval -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> EpochInterval -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy EpochInterval -> String # | |||||
| type Rep EpochInterval | |||||
Defined in Cardano.Slotting.Slot type Rep EpochInterval = D1 ('MetaData "EpochInterval" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.0-886a3531c066a8cf893d904908b2d4b5847cecce4ba51139f879cc7ba241da23" 'True) (C1 ('MetaCons "EpochInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochInterval") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word32))) | |||||
textToDns :: MonadFail m => Int -> Text -> m DnsName Source #
Turn a Text into a DnsName, fail if the Text has more than n Bytes
Instances
| FromJSON Url | |||||
Defined in Cardano.Ledger.BaseTypes Methods parseJSON :: Value -> Parser Url # parseJSONList :: Value -> Parser [Url] # omittedField :: Maybe Url # | |||||
| ToJSON Url | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| Generic Url | |||||
Defined in Cardano.Ledger.BaseTypes Associated Types
| |||||
| Show Url | |||||
| DecCBOR Url | |||||
| EncCBOR Url | |||||
| NFData Url | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| Eq Url | |||||
| Ord Url | |||||
| NoThunks Url | |||||
| type Rep Url | |||||
Defined in Cardano.Ledger.BaseTypes type Rep Url = D1 ('MetaData "Url" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'True) (C1 ('MetaCons "Url" 'PrefixI 'True) (S1 ('MetaSel ('Just "urlToText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) | |||||
textToUrl :: MonadFail m => Int -> Text -> m Url Source #
Turn a Text into a Url, fail if the Text has more than n Bytes
portToWord16 :: Port -> Word16 Source #
Instances
| FromJSON ProtVer | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| ToJSON ProtVer | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| Generic ProtVer | |||||
Defined in Cardano.Ledger.BaseTypes Associated Types
| |||||
| Show ProtVer | |||||
| FromCBOR ProtVer | |||||
| ToCBOR ProtVer | |||||
| DecCBOR ProtVer | |||||
| EncCBOR ProtVer | |||||
| DecCBORGroup ProtVer | |||||
Defined in Cardano.Ledger.BaseTypes Methods decCBORGroup :: Decoder s ProtVer Source # | |||||
| EncCBORGroup ProtVer | |||||
| ToPlutusData ProtVer | |||||
Defined in Cardano.Ledger.Plutus.ToPlutusData | |||||
| NFData ProtVer | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| Eq ProtVer | |||||
| Ord ProtVer | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| NoThunks ProtVer | |||||
| type Rep ProtVer | |||||
Defined in Cardano.Ledger.BaseTypes type Rep ProtVer = D1 ('MetaData "ProtVer" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'False) (C1 ('MetaCons "ProtVer" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvMajor") 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Version) :*: S1 ('MetaSel ('Just "pvMinor") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Natural))) | |||||
strictMaybeToMaybe :: StrictMaybe a -> Maybe a Source #
maybeToStrictMaybe :: Maybe a -> StrictMaybe a Source #
newtype AnchorData Source #
Constructors
| AnchorData ByteString |
Instances
| SafeToHash AnchorData | |
Defined in Cardano.Ledger.BaseTypes Methods originalBytes :: AnchorData -> ByteString Source # originalBytesSize :: AnchorData -> Int Source # makeHashWithExplicitProxys :: HashAlgorithm (HASH c) => Proxy c -> Proxy index -> AnchorData -> SafeHash c index Source # | |
| Eq AnchorData | |
Defined in Cardano.Ledger.BaseTypes Methods (==) :: AnchorData -> AnchorData -> Bool Source # (/=) :: AnchorData -> AnchorData -> Bool Source # | |
| HashWithCrypto AnchorData AnchorData | |
Defined in Cardano.Ledger.BaseTypes Methods hashWithCrypto :: HashAlgorithm (HASH c) => Proxy c -> AnchorData -> SafeHash c AnchorData Source # | |
hashAnchorData :: Crypto c => AnchorData -> SafeHash c AnchorData Source #
Hash AnchorData
data UnitInterval Source #
Type to represent a value in the unit interval [0; 1]
Instances
| FromJSON UnitInterval | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| ToJSON UnitInterval | |||||
Defined in Cardano.Ledger.BaseTypes Methods toJSON :: UnitInterval -> Value # toEncoding :: UnitInterval -> Encoding # toJSONList :: [UnitInterval] -> Value # toEncodingList :: [UnitInterval] -> Encoding # omitField :: UnitInterval -> Bool # | |||||
| Bounded UnitInterval | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| Generic UnitInterval | |||||
Defined in Cardano.Ledger.BaseTypes Associated Types
Methods from :: UnitInterval -> Rep UnitInterval x Source # to :: Rep UnitInterval x -> UnitInterval Source # | |||||
| Show UnitInterval | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| DecCBOR UnitInterval | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| EncCBOR UnitInterval | |||||
Defined in Cardano.Ledger.BaseTypes Methods encCBOR :: UnitInterval -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy UnitInterval -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [UnitInterval] -> Size Source # | |||||
| BoundedRational UnitInterval | |||||
Defined in Cardano.Ledger.BaseTypes Methods | |||||
| ToPlutusData UnitInterval | |||||
Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData :: UnitInterval -> Data Source # fromPlutusData :: Data -> Maybe UnitInterval Source # | |||||
| IsRatio UnitInterval | |||||
Defined in Test.Cardano.Ledger.Core.Rational Methods (%!) :: Integer -> Integer -> UnitInterval | |||||
| Default UnitInterval | |||||
Defined in Cardano.Ledger.BaseTypes Methods def :: UnitInterval # | |||||
| NFData UnitInterval | |||||
Defined in Cardano.Ledger.BaseTypes Methods rnf :: UnitInterval -> () Source # | |||||
| Eq UnitInterval | |||||
Defined in Cardano.Ledger.BaseTypes Methods (==) :: UnitInterval -> UnitInterval -> Bool Source # (/=) :: UnitInterval -> UnitInterval -> Bool Source # | |||||
| Ord UnitInterval | |||||
Defined in Cardano.Ledger.BaseTypes Methods compare :: UnitInterval -> UnitInterval -> Ordering Source # (<) :: UnitInterval -> UnitInterval -> Bool Source # (<=) :: UnitInterval -> UnitInterval -> Bool Source # (>) :: UnitInterval -> UnitInterval -> Bool Source # (>=) :: UnitInterval -> UnitInterval -> Bool Source # max :: UnitInterval -> UnitInterval -> UnitInterval Source # min :: UnitInterval -> UnitInterval -> UnitInterval Source # | |||||
| NoThunks UnitInterval | |||||
Defined in Cardano.Ledger.BaseTypes Methods noThunks :: Context -> UnitInterval -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> UnitInterval -> IO (Maybe ThunkInfo) # showTypeOf :: Proxy UnitInterval -> String # | |||||
| Integral a => Bounded (BoundedRatio UnitInterval a) | |||||
Defined in Cardano.Ledger.BaseTypes Methods minBound :: BoundedRatio UnitInterval a Source # maxBound :: BoundedRatio UnitInterval a Source # | |||||
| type Rep UnitInterval | |||||
Defined in Cardano.Ledger.BaseTypes type Rep UnitInterval = D1 ('MetaData "UnitInterval" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'True) (C1 ('MetaCons "UnitInterval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BoundedRatio UnitInterval Word64)))) | |||||
mkVersion :: (Integral i, MonadFail m) => i -> m Version Source #
Construct a Version and fail if the supplied value is not a supported version number.
data NonNegativeInterval Source #
Type to represent a value in the interval [0; +∞)
Instances
| FromJSON NonNegativeInterval | |||||
Defined in Cardano.Ledger.BaseTypes Methods parseJSON :: Value -> Parser NonNegativeInterval # parseJSONList :: Value -> Parser [NonNegativeInterval] # | |||||
| ToJSON NonNegativeInterval | |||||
Defined in Cardano.Ledger.BaseTypes Methods toJSON :: NonNegativeInterval -> Value # toEncoding :: NonNegativeInterval -> Encoding # toJSONList :: [NonNegativeInterval] -> Value # toEncodingList :: [NonNegativeInterval] -> Encoding # omitField :: NonNegativeInterval -> Bool # | |||||
| Bounded NonNegativeInterval | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| Generic NonNegativeInterval | |||||
Defined in Cardano.Ledger.BaseTypes Associated Types
Methods from :: NonNegativeInterval -> Rep NonNegativeInterval x Source # to :: Rep NonNegativeInterval x -> NonNegativeInterval Source # | |||||
| Show NonNegativeInterval | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| DecCBOR NonNegativeInterval | |||||
Defined in Cardano.Ledger.BaseTypes | |||||
| EncCBOR NonNegativeInterval | |||||
Defined in Cardano.Ledger.BaseTypes Methods encCBOR :: NonNegativeInterval -> Encoding Source # encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy NonNegativeInterval -> Size Source # encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [NonNegativeInterval] -> Size Source # | |||||
| BoundedRational NonNegativeInterval | |||||
Defined in Cardano.Ledger.BaseTypes Methods boundRational :: Rational -> Maybe NonNegativeInterval Source # | |||||
| ToPlutusData NonNegativeInterval | |||||
Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData :: NonNegativeInterval -> Data Source # fromPlutusData :: Data -> Maybe NonNegativeInterval Source # | |||||
| IsRatio NonNegativeInterval | |||||
Defined in Test.Cardano.Ledger.Core.Rational Methods (%!) :: Integer -> Integer -> NonNegativeInterval | |||||
| NFData NonNegativeInterval | |||||
Defined in Cardano.Ledger.BaseTypes Methods rnf :: NonNegativeInterval -> () Source # | |||||
| Eq NonNegativeInterval | |||||
Defined in Cardano.Ledger.BaseTypes Methods (==) :: NonNegativeInterval -> NonNegativeInterval -> Bool Source # (/=) :: NonNegativeInterval -> NonNegativeInterval -> Bool Source # | |||||
| Ord NonNegativeInterval | |||||
Defined in Cardano.Ledger.BaseTypes Methods compare :: NonNegativeInterval -> NonNegativeInterval -> Ordering Source # (<) :: NonNegativeInterval -> NonNegativeInterval -> Bool Source # (<=) :: NonNegativeInterval -> NonNegativeInterval -> Bool Source # (>) :: NonNegativeInterval -> NonNegativeInterval -> Bool Source # (>=) :: NonNegativeInterval -> NonNegativeInterval -> Bool Source # max :: NonNegativeInterval -> NonNegativeInterval -> NonNegativeInterval Source # min :: NonNegativeInterval -> NonNegativeInterval -> NonNegativeInterval Source # | |||||
| NoThunks NonNegativeInterval | |||||
Defined in Cardano.Ledger.BaseTypes Methods noThunks :: Context -> NonNegativeInterval -> IO (Maybe ThunkInfo) # wNoThunks :: Context -> NonNegativeInterval -> IO (Maybe ThunkInfo) # | |||||
| Bounded (BoundedRatio NonNegativeInterval Word64) | |||||
Defined in Cardano.Ledger.BaseTypes Methods minBound :: BoundedRatio NonNegativeInterval Word64 Source # maxBound :: BoundedRatio NonNegativeInterval Word64 Source # | |||||
| type Rep NonNegativeInterval | |||||
Defined in Cardano.Ledger.BaseTypes type Rep NonNegativeInterval = D1 ('MetaData "NonNegativeInterval" "Cardano.Ledger.BaseTypes" "cardano-ledger-core-1.14.0.0-e482da903ea0a556be8188c8742208d281f0c2d201fb32a1902f0b24a982d14a" 'True) (C1 ('MetaCons "NonNegativeInterval" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BoundedRatio NonNegativeInterval Word64)))) | |||||
hashToBytes :: Hash h a -> ByteString Source #
The representation of the hash as bytes.
Arguments
| :: HashAlgorithm h | |
| => ByteString | It must have an exact length, as given by |
| -> Maybe (Hash h a) |
Make a hash from it bytes representation.
class (HashAlgorithm (HASH c), HashAlgorithm (ADDRHASH c), DSIGNAlgorithm (DSIGN c), KESAlgorithm (KES c), VRFAlgorithm (VRF c), ContextDSIGN (DSIGN c) ~ (), ContextKES (KES c) ~ (), ContextVRF (VRF c) ~ (), Typeable c) => Crypto c Source #
Instances
| Crypto StandardCrypto | |||||||||||||||||||||
Defined in Cardano.Ledger.Crypto Associated Types
| |||||||||||||||||||||
data StandardCrypto Source #
The same crypto used on the net
Instances
| Crypto StandardCrypto | |||||||||||||||||||||
Defined in Cardano.Ledger.Crypto Associated Types
| |||||||||||||||||||||
| PraosCrypto StandardCrypto | |||||||||||||||||||||
Defined in Cardano.Protocol.TPraos.API | |||||||||||||||||||||
| PraosCrypto StandardCrypto | |||||||||||||||||||||
Defined in Ouroboros.Consensus.Protocol.Praos | |||||||||||||||||||||
| (CardanoHardForkConstraints StandardCrypto, IOLike m) => Protocol m (CardanoBlock StandardCrypto) Source # | |||||||||||||||||||||
Defined in Cardano.Api.Protocol Associated Types
Methods protocolInfo :: ProtocolInfoArgs (CardanoBlock StandardCrypto) -> (ProtocolInfo (CardanoBlock StandardCrypto), m [BlockForging m (CardanoBlock StandardCrypto)]) Source # | |||||||||||||||||||||
| (IOLike m, LedgerSupportsProtocol (ShelleyBlock (TPraos StandardCrypto) (ShelleyEra StandardCrypto))) => Protocol m (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley) Source # | |||||||||||||||||||||
Defined in Cardano.Api.Protocol Associated Types
| |||||||||||||||||||||
| ToJSON (ChainDepState StandardCrypto) Source # | |||||||||||||||||||||
Defined in Cardano.Api.Orphans Methods toJSON :: ChainDepState StandardCrypto -> Value # toEncoding :: ChainDepState StandardCrypto -> Encoding # toJSONList :: [ChainDepState StandardCrypto] -> Value # toEncodingList :: [ChainDepState StandardCrypto] -> Encoding # | |||||||||||||||||||||
| ToJSON (PrtclState StandardCrypto) Source # | |||||||||||||||||||||
Defined in Cardano.Api.Orphans Methods toJSON :: PrtclState StandardCrypto -> Value # toEncoding :: PrtclState StandardCrypto -> Encoding # toJSONList :: [PrtclState StandardCrypto] -> Value # toEncodingList :: [PrtclState StandardCrypto] -> Encoding # omitField :: PrtclState StandardCrypto -> Bool # | |||||||||||||||||||||
| ToJSON (PraosState StandardCrypto) Source # | |||||||||||||||||||||
Defined in Cardano.Api.Orphans Methods toJSON :: PraosState StandardCrypto -> Value # toEncoding :: PraosState StandardCrypto -> Encoding # toJSONList :: [PraosState StandardCrypto] -> Value # toEncodingList :: [PraosState StandardCrypto] -> Encoding # omitField :: PraosState StandardCrypto -> Bool # | |||||||||||||||||||||
| ToJSON (TPraosState StandardCrypto) Source # | |||||||||||||||||||||
Defined in Cardano.Api.Orphans Methods toJSON :: TPraosState StandardCrypto -> Value # toEncoding :: TPraosState StandardCrypto -> Encoding # toJSONList :: [TPraosState StandardCrypto] -> Value # toEncodingList :: [TPraosState StandardCrypto] -> Encoding # omitField :: TPraosState StandardCrypto -> Bool # | |||||||||||||||||||||
| CardanoHardForkConstraints StandardCrypto => ProtocolClient (CardanoBlock StandardCrypto) Source # | |||||||||||||||||||||
Defined in Cardano.Api.Protocol Associated Types
| |||||||||||||||||||||
| LedgerSupportsProtocol (ShelleyBlock (TPraos StandardCrypto) (ShelleyEra StandardCrypto)) => ProtocolClient (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley) Source # | |||||||||||||||||||||
Defined in Cardano.Api.Protocol Associated Types
| |||||||||||||||||||||
| type ADDRHASH StandardCrypto | |||||||||||||||||||||
Defined in Cardano.Ledger.Crypto | |||||||||||||||||||||
| type DSIGN StandardCrypto | |||||||||||||||||||||
Defined in Cardano.Ledger.Crypto | |||||||||||||||||||||
| type HASH StandardCrypto | |||||||||||||||||||||
Defined in Cardano.Ledger.Crypto | |||||||||||||||||||||
| type KES StandardCrypto | |||||||||||||||||||||
Defined in Cardano.Ledger.Crypto | |||||||||||||||||||||
| type VRF StandardCrypto | |||||||||||||||||||||
Defined in Cardano.Ledger.Crypto | |||||||||||||||||||||
| data ProtocolClientInfoArgs (CardanoBlock StandardCrypto) Source # | |||||||||||||||||||||
| data ProtocolInfoArgs (CardanoBlock StandardCrypto) Source # | |||||||||||||||||||||
| data ProtocolClientInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley) Source # | |||||||||||||||||||||
| data ProtocolInfoArgs (ShelleyBlockHFC (TPraos StandardCrypto) StandardShelley) Source # | |||||||||||||||||||||
type family ADDRHASH c Source #
Instances
| type ADDRHASH StandardCrypto | |
Defined in Cardano.Ledger.Crypto | |
An epoch, i.e. the number of the epoch.
Instances
| FromJSON EpochNo | |||||
Defined in Cardano.Slotting.Slot | |||||
| ToJSON EpochNo | |||||
Defined in Cardano.Slotting.Slot | |||||
| Enum EpochNo | |||||
Defined in Cardano.Slotting.Slot Methods succ :: EpochNo -> EpochNo Source # pred :: EpochNo -> EpochNo Source # toEnum :: Int -> EpochNo Source # fromEnum :: EpochNo -> Int Source # enumFrom :: EpochNo -> [EpochNo] Source # enumFromThen :: EpochNo -> EpochNo -> [EpochNo] Source # enumFromTo :: EpochNo -> EpochNo -> [EpochNo] Source # enumFromThenTo :: EpochNo -> EpochNo -> EpochNo -> [EpochNo] Source # | |||||
| Generic EpochNo | |||||
Defined in Cardano.Slotting.Slot Associated Types
| |||||
| Show EpochNo | |||||
| FromCBOR EpochNo | |||||
| ToCBOR EpochNo | |||||
| DecCBOR EpochNo | |||||
| EncCBOR EpochNo | |||||
| NFData EpochNo | |||||
Defined in Cardano.Slotting.Slot | |||||
| Eq EpochNo | |||||
| Ord EpochNo | |||||
Defined in Cardano.Slotting.Slot | |||||
| NoThunks EpochNo | |||||
| Condense EpochNo | |||||
| Serialise EpochNo | |||||
Defined in Cardano.Slotting.Slot | |||||
| type Rep EpochNo | |||||
Defined in Cardano.Slotting.Slot type Rep EpochNo = D1 ('MetaData "EpochNo" "Cardano.Slotting.Slot" "cardano-slotting-0.2.0.0-886a3531c066a8cf893d904908b2d4b5847cecce4ba51139f879cc7ba241da23" 'True) (C1 ('MetaCons "EpochNo" 'PrefixI 'True) (S1 ('MetaSel ('Just "unEpochNo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64))) | |||||
data SafeHash c index Source #
A SafeHash is a hash of something that is safe to hash. Such types store
their own serialisation bytes. The prime example is (, but other
examples are things that consist of only ByteStrings (i.e. they are their own serialization)
or for some other reason store their original bytes.MemoBytes t)
We do NOT export the constructor SafeHash, but instead export other functions
such as 'hashWithCrypto, hashAnnotated and extractHash which have constraints
that limit their application to types which preserve their original serialization
bytes.
Instances
| Crypto c => FromJSON (SafeHash c index) | |
Defined in Cardano.Ledger.SafeHash Methods parseJSON :: Value -> Parser (SafeHash c index) # parseJSONList :: Value -> Parser [SafeHash c index] # omittedField :: Maybe (SafeHash c index) # | |
| Crypto c => ToJSON (SafeHash c index) | |
Defined in Cardano.Ledger.SafeHash | |
| Show (SafeHash c index) | |
| (Typeable index, Crypto c) => FromCBOR (SafeHash c index) | |
| (Typeable index, Crypto c) => ToCBOR (SafeHash c index) | |
| (Typeable index, Crypto c) => DecCBOR (SafeHash c index) | |
| (Typeable index, Crypto c) => EncCBOR (SafeHash c index) | |
Defined in Cardano.Ledger.SafeHash | |
| HashAlgorithm (HASH c) => SafeToHash (SafeHash c index) | |
Defined in Cardano.Ledger.SafeHash Methods originalBytes :: SafeHash c index -> ByteString Source # originalBytesSize :: SafeHash c index -> Int Source # makeHashWithExplicitProxys :: HashAlgorithm (HASH c0) => Proxy c0 -> Proxy index0 -> SafeHash c index -> SafeHash c0 index0 Source # | |
| Crypto c => Default (SafeHash c i) | |
Defined in Cardano.Ledger.SafeHash | |
| NFData (SafeHash c index) | |
Defined in Cardano.Ledger.SafeHash | |
| Eq (SafeHash c index) | |
| Ord (SafeHash c index) | |
Defined in Cardano.Ledger.SafeHash Methods compare :: SafeHash c index -> SafeHash c index -> Ordering Source # (<) :: SafeHash c index -> SafeHash c index -> Bool Source # (<=) :: SafeHash c index -> SafeHash c index -> Bool Source # (>) :: SafeHash c index -> SafeHash c index -> Bool Source # (>=) :: SafeHash c index -> SafeHash c index -> Bool Source # max :: SafeHash c index -> SafeHash c index -> SafeHash c index Source # min :: SafeHash c index -> SafeHash c index -> SafeHash c index Source # | |
| HeapWords (SafeHash c i) | |
Defined in Cardano.Ledger.SafeHash | |
| NoThunks (SafeHash c index) | |