Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Dijkstra.State.Stake
Contents
Orphan instances
EraStake DijkstraEra Source # | |
Associated Types type InstantStake DijkstraEra = (r ∷ Type) Source # Methods instantStakeCredentialsL ∷ Lens' (InstantStake DijkstraEra) (Map (Credential 'Staking) (CompactForm Coin)) Source # addInstantStake ∷ UTxO DijkstraEra → InstantStake DijkstraEra → InstantStake DijkstraEra Source # deleteInstantStake ∷ UTxO DijkstraEra → InstantStake DijkstraEra → InstantStake DijkstraEra Source # resolveInstantStake ∷ InstantStake DijkstraEra → UMap → Stake Source # |