Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cardano.Ledger.Alonzo.Rules.Bbody
Synopsis
- data AlonzoBBODY era
-
data
AlonzoBbodyPredFail
era
- = ShelleyInAlonzoPredFail ( BbodyPredicateFailure era)
- | TooManyExUnits ! ExUnits ! ExUnits
- newtype AlonzoBbodyEvent era = ShelleyInAlonzoEvent ( BbodyEvent era)
- bbodyTransition :: forall (someBBODY :: Type -> Type ) era. ( STS (someBBODY era), Signal (someBBODY era) ~ Block ( BHeaderView ( Crypto era)) era, PredicateFailure (someBBODY era) ~ AlonzoBbodyPredFail era, BaseM (someBBODY era) ~ ShelleyBase , State (someBBODY era) ~ BbodyState era, Environment (someBBODY era) ~ BbodyEnv era, Embed ( EraRule "LEDGERS" era) (someBBODY era), Environment ( EraRule "LEDGERS" era) ~ LedgersEnv era, State ( EraRule "LEDGERS" era) ~ LedgerState era, Signal ( EraRule "LEDGERS" era) ~ Seq ( Tx era), HasField "_d" ( PParams era) UnitInterval , HasField "_maxBlockExUnits" ( PParams era) ExUnits , Era era, TxSeq era ~ TxSeq era, Tx era ~ ValidatedTx era, Witnesses era ~ TxWitness era) => TransitionRule (someBBODY era)
Documentation
data AlonzoBBODY era Source #
The uninhabited type that marks the STS Alonzo Era instance.
Instances
data AlonzoBbodyPredFail era Source #
Constructors
ShelleyInAlonzoPredFail ( BbodyPredicateFailure era) | |
TooManyExUnits | |
Instances
newtype AlonzoBbodyEvent era Source #
Constructors
ShelleyInAlonzoEvent ( BbodyEvent era) |
bbodyTransition :: forall (someBBODY :: Type -> Type ) era. ( STS (someBBODY era), Signal (someBBODY era) ~ Block ( BHeaderView ( Crypto era)) era, PredicateFailure (someBBODY era) ~ AlonzoBbodyPredFail era, BaseM (someBBODY era) ~ ShelleyBase , State (someBBODY era) ~ BbodyState era, Environment (someBBODY era) ~ BbodyEnv era, Embed ( EraRule "LEDGERS" era) (someBBODY era), Environment ( EraRule "LEDGERS" era) ~ LedgersEnv era, State ( EraRule "LEDGERS" era) ~ LedgerState era, Signal ( EraRule "LEDGERS" era) ~ Seq ( Tx era), HasField "_d" ( PParams era) UnitInterval , HasField "_maxBlockExUnits" ( PParams era) ExUnits , Era era, TxSeq era ~ TxSeq era, Tx era ~ ValidatedTx era, Witnesses era ~ TxWitness era) => TransitionRule (someBBODY era) Source #