| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Constrained.Preds.CertState
Synopsis
- manyCoin ∷ Size → Gen [Coin]
- vstatePreds ∷ EraCertState era ⇒ Proof era → [Pred era]
- vstateGenPreds ∷ ∀ era. EraCertState 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 ∷ EraCertState era ⇒ Proof era → [Pred era]
- pstateGenPreds ∷ EraCertState era ⇒ Proof era → [Pred era]
- pstateCheckPreds ∷ EraCertState 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 (KeyHash 'Witness)
- gdKeyHash ∷ Era era ⇒ Term era (KeyHash 'Witness)
- gdkeyL ∷ Lens' GenDelegPair (KeyHash 'Witness)
- certStatePreds ∷ EraCertState era ⇒ Proof era → [Pred era]
- certStateGenPreds ∷ EraCertState era ⇒ Proof era → [Pred era]
- certStateCheckPreds ∷ EraCertState 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
vstatePreds ∷ EraCertState era ⇒ Proof era → [Pred era] Source #
vstateGenPreds ∷ ∀ era. EraCertState era ⇒ Proof era → [Pred era] Source #
vstateCheckPreds ∷ Proof era → [Pred era] Source #
pstateNames ∷ [String] Source #
pstatePreds ∷ EraCertState era ⇒ Proof era → [Pred era] Source #
pstateGenPreds ∷ EraCertState era ⇒ Proof era → [Pred era] Source #
pstateCheckPreds ∷ EraCertState era ⇒ Proof era → [Pred era] Source #
gdKeyHashField ∷ Era era ⇒ Field era GenDelegPair (KeyHash 'Witness) Source #
A field that selects the genDelegKeyHash field from a GenDelegPair
It also silently casts the 'KeyRole. from 'Genesis to 'Witness
gdKeyHash ∷ Era era ⇒ Term era (KeyHash 'Witness) Source #
A Var Term that pairs the Field gdKeyHashField
certStatePreds ∷ EraCertState era ⇒ Proof era → [Pred era] Source #
certStateGenPreds ∷ EraCertState era ⇒ Proof era → [Pred era] Source #
certStateCheckPreds ∷ EraCertState era ⇒ Proof era → [Pred era] Source #