Documentation

epochstatePreds ∷ EraGov era ⇒ Proof era → [Pred era] Source #

newEpochStatePreds ∷ Era era ⇒ Proof era → [Pred era] Source #

epochStateStage ∷ Reflect era ⇒ Proof era → Subst era → Gen (Subst era) Source #

demoES ∷ Reflect era ⇒ Proof era → ReplMode → IO () Source #

demoESTest ∷ TestTree Source #

mainES ∷ IO () Source #

newEpochStateStage ∷ Reflect era ⇒ Proof era → Subst era → Gen (Subst era) Source #

demoNES ∷ Reflect era ⇒ Proof era → ReplMode → IO () Source #

demoNESTest ∷ TestTree Source #

mainNES ∷ IO () Source #