| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Preds.CertState
Synopsis
- manyCoin ∷ Size → Gen [Coin]
- vstatePreds ∷ Era era ⇒ Proof era → [Pred era]
- vstateGenPreds ∷ ∀ era. Era era ⇒ Proof era → [Pred era]
- vstateCheckPreds ∷ Proof era → [Pred era]
- vstateStage ∷ Reflect era ⇒ Proof era → Subst era → Gen (Subst era)
- demoV ∷ ReplMode → IO ()
- demoTestV ∷ TestTree
- mainV ∷ IO ()
- pstateNames ∷ [String]
- pstatePreds ∷ Era era ⇒ Proof era → [Pred era]
- pstateGenPreds ∷ Era era ⇒ Proof era → [Pred era]
- pstateCheckPreds ∷ Era era ⇒ Proof era → [Pred era]
- pstateStage ∷ Reflect era ⇒ Proof era → Subst era → Gen (Subst era)
- demoP ∷ ReplMode → IO ()
- demoTestP ∷ TestTree
- mainP ∷ IO ()
- gdKeyHashField ∷ Era era ⇒ Field era (GenDelegPair (EraCrypto era)) (KeyHash 'Witness (EraCrypto era))
- gdKeyHash ∷ Era era ⇒ Term era (KeyHash 'Witness (EraCrypto era))
- gdkeyL ∷ Lens' (GenDelegPair c) (KeyHash 'Witness c)
- certStatePreds ∷ Era era ⇒ Proof era → [Pred era]
- certStateGenPreds ∷ Era era ⇒ Proof era → [Pred era]
- certStateCheckPreds ∷ Era era ⇒ Proof era → [Pred era]
- dstateStage ∷ Reflect era ⇒ Proof era → Subst era → Gen (Subst era)
- demoD ∷ ReplMode → Int → IO ()
- demoTestD ∷ TestTree
- mainD ∷ Int → IO ()
- demoC ∷ ReplMode → IO ()
- demoTestC ∷ TestTree
- mainC ∷ IO ()
- demoTest ∷ TestTree
Documentation
vstateCheckPreds ∷ Proof era → [Pred era] Source #
pstateNames ∷ [String] Source #
gdKeyHashField ∷ Era era ⇒ Field era (GenDelegPair (EraCrypto era)) (KeyHash 'Witness (EraCrypto era)) Source #
A field that selects the genDelegKeyHash field from a GenDelegPair
It also silently casts the 'KeyRole. from 'Genesis to 'Witness