Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Allegra

Contents

Documentation

Orphan instances

PraosCrypto c => ShelleyBasedEra (AllegraEra c) Source #
Instance details
PraosCrypto c => ApplyTx (AllegraEra c) Source #
Instance details Methods applyTxs :: MonadError (ApplyTxError (AllegraEra c)) m => Globals -> SlotNo -> Seq (Tx (AllegraEra c)) -> NewEpochState (AllegraEra c) -> m (NewEpochState (AllegraEra c)) Source #
PraosCrypto c => ApplyBlock (AllegraEra c) Source #
Instance details Methods applyTick :: Globals -> NewEpochState (AllegraEra c) -> SlotNo -> NewEpochState (AllegraEra c) Source # applyBlock :: MonadError (BlockTransitionError (AllegraEra c)) m => Globals -> NewEpochState (AllegraEra c) -> Block (AllegraEra c) -> m (NewEpochState (AllegraEra c)) Source # reapplyBlock :: Globals -> NewEpochState (AllegraEra c) -> Block (AllegraEra c) -> NewEpochState (AllegraEra c) Source #
PraosCrypto c => GetLedgerView (AllegraEra c) Source #
Instance details Methods currentLedgerView :: NewEpochState (AllegraEra c) -> LedgerView (Crypto (AllegraEra c)) Source # futureLedgerView :: MonadError (FutureLedgerViewError (AllegraEra c)) m => Globals -> NewEpochState (AllegraEra c) -> SlotNo -> m (LedgerView (Crypto (AllegraEra c))) Source #