| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Conway.Certs
Description
Specs necessary to generate, environment, state, and signal for the CERTS rule
Synopsis
- setMapMaybe ∷ Ord a ⇒ (t → Maybe a) → Set t → Set a
- bootstrapDStateSpec ∷ ∀ fn era. EraSpecTxOut era fn ⇒ WitUniv era → Set (Credential 'DRepRole) → Map RewardAccount Coin → Specification fn (DState era)
- txZero ∷ EraTx era ⇒ Tx era
- certsEnvSpec ∷ (EraSpecPParams era, HasSpec fn (Tx era), IsConwayUniv fn) ⇒ Specification fn (CertsEnv era)
- projectEnv ∷ CertsEnv era → CertEnv era
- txCertsSpec ∷ ∀ era fn. EraSpecCert era fn ⇒ WitUniv era → CertsEnv era → CertState era → Specification fn (Seq (TxCert era))
- noSameKeys ∷ ∀ era fn. EraSpecCert era fn ⇒ [TxCert era] → [TxCert era]
- listSeqCertPairSpec ∷ ∀ era fn. EraSpecCert era fn ⇒ WitUniv era → CertEnv era → CertState era → Specification fn ([TxCert era], Seq (TxCert era))
Documentation
bootstrapDStateSpec ∷ ∀ fn era. EraSpecTxOut era fn ⇒ WitUniv era → Set (Credential 'DRepRole) → Map RewardAccount Coin → Specification fn (DState era) Source #
certsEnvSpec ∷ (EraSpecPParams era, HasSpec fn (Tx era), IsConwayUniv fn) ⇒ Specification fn (CertsEnv era) Source #
projectEnv ∷ CertsEnv era → CertEnv era Source #
Project a CertEnv out of a CertsEnv (i.e drop the Tx)
txCertsSpec ∷ ∀ era fn. EraSpecCert era fn ⇒ WitUniv era → CertsEnv era → CertState era → Specification fn (Seq (TxCert era)) Source #
noSameKeys ∷ ∀ era fn. EraSpecCert era fn ⇒ [TxCert era] → [TxCert era] Source #
listSeqCertPairSpec ∷ ∀ era fn. EraSpecCert era fn ⇒ WitUniv era → CertEnv era → CertState era → Specification fn ([TxCert era], Seq (TxCert era)) Source #
Specify a pair of List and Seq, where they have essentially the same elements EXCEPT, the Seq has duplicate keys filtered out.