Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Dijkstra.State.CertState
Contents
Orphan instances
ConwayEraCertState DijkstraEra Source # | |
Methods certVStateL ∷ Lens' (CertState DijkstraEra) (VState DijkstraEra) Source # | |
EraCertState DijkstraEra Source # | |
Associated Types type CertState DijkstraEra = (r ∷ Type) Source # Methods certDStateL ∷ Lens' (CertState DijkstraEra) (DState DijkstraEra) Source # certPStateL ∷ Lens' (CertState DijkstraEra) (PState DijkstraEra) Source # obligationCertState ∷ CertState DijkstraEra → Obligations Source # certsTotalDepositsTxBody ∷ PParams DijkstraEra → CertState DijkstraEra → TxBody DijkstraEra → Coin Source # certsTotalRefundsTxBody ∷ PParams DijkstraEra → CertState DijkstraEra → TxBody DijkstraEra → Coin Source # |