Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Specs necessary to generate, environment, state, and signal for the CERTS rule
Synopsis
- bootstrapDStateSpec ∷ ∀ fn era. EraSpecTxOut era fn ⇒ CertsContext era → Specification fn (DState era)
- coinToWord64 ∷ Coin → Word64
- type CertsContext era = Map (RewardAccount (EraCrypto era)) Coin
- txZero ∷ EraTx era ⇒ Tx era
- certsEnvSpec ∷ (EraSpecPParams era, HasSpec fn (Tx era), IsConwayUniv fn) ⇒ Specification fn (CertsEnv era)
- projectEnv ∷ CertsEnv era → CertEnv era
- txCertsSpec ∷ EraSpecCert era fn ⇒ 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 ⇒ CertEnv era → CertState era → Specification fn ([TxCert era], Seq (TxCert era))
Documentation
bootstrapDStateSpec ∷ ∀ fn era. EraSpecTxOut era fn ⇒ CertsContext era → Specification fn (DState era) Source #
coinToWord64 ∷ Coin → Word64 Source #
type CertsContext era = Map (RewardAccount (EraCrypto era)) Coin 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 ∷ EraSpecCert era fn ⇒ 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 ⇒ 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.