| Safe Haskell | None |
|---|---|
| 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
- txZero ∷ EraTx era ⇒ Tx 'TopTx era
- certsEnvSpec ∷ (EraSpecPParams era, HasSpec (Tx 'TopTx era)) ⇒ Specification (CertsEnv era)
- projectEnv ∷ CertsEnv era → CertEnv era
- txCertsSpec ∷ EraSpecCert era ⇒ WitUniv era → CertsEnv era → CertState era → Specification (Seq (TxCert era))
- noSameKeys ∷ EraSpecCert era ⇒ [TxCert era] → [TxCert era]
- listSeqCertPairSpec ∷ EraSpecCert era ⇒ WitUniv era → CertEnv era → CertState era → Specification ([TxCert era], Seq (TxCert era))
Documentation
certsEnvSpec ∷ (EraSpecPParams era, HasSpec (Tx 'TopTx era)) ⇒ Specification (CertsEnv era) Source #
projectEnv ∷ CertsEnv era → CertEnv era Source #
Project a CertEnv out of a CertsEnv (i.e drop the Tx)
txCertsSpec ∷ EraSpecCert era ⇒ WitUniv era → CertsEnv era → CertState era → Specification (Seq (TxCert era)) Source #
noSameKeys ∷ EraSpecCert era ⇒ [TxCert era] → [TxCert era] Source #
listSeqCertPairSpec ∷ EraSpecCert era ⇒ WitUniv era → CertEnv era → CertState era → Specification ([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.