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

Instances details

( Era era, BaseM ledgers ~ ShelleyBase , ledgers ~ EraRule "LEDGERS" era, STS ledgers, DSignable ( Crypto era) ( Hash ( Crypto era) EraIndependentTxBody ), Era era) => Embed ledgers ( AlonzoBBODY era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods wrapFailed :: PredicateFailure ledgers -> PredicateFailure ( AlonzoBBODY era) Source # wrapEvent :: Event ledgers -> Event ( AlonzoBBODY era) Source #
( DSignable ( Crypto era) ( Hash ( Crypto era) EraIndependentTxBody ), Embed ( EraRule "LEDGERS" era) ( AlonzoBBODY era), Environment ( EraRule "LEDGERS" era) ~ LedgersEnv era, State ( EraRule "LEDGERS" era) ~ LedgerState era, Signal ( EraRule "LEDGERS" era) ~ Seq ( ValidatedTx era), Era era, Tx era ~ ValidatedTx era, HasField "_d" ( PParams era) UnitInterval , HasField "_maxBlockExUnits" ( PParams era) ExUnits , TxSeq era ~ TxSeq era, Tx era ~ ValidatedTx era, Witnesses era ~ TxWitness era, SupportsSegWit era) => STS ( AlonzoBBODY era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Associated Types type State ( AlonzoBBODY era) Source # type Signal ( AlonzoBBODY era) Source # type Environment ( AlonzoBBODY era) Source # type BaseM ( AlonzoBBODY era) :: Type -> Type Source # type Event ( AlonzoBBODY era) Source # type PredicateFailure ( AlonzoBBODY era) Source # Methods initialRules :: [ InitialRule ( AlonzoBBODY era)] Source # transitionRules :: [ TransitionRule ( AlonzoBBODY era)] Source # assertions :: [ Assertion ( AlonzoBBODY era)] Source # renderAssertionViolation :: AssertionViolation ( AlonzoBBODY era) -> String Source #
type State ( AlonzoBBODY era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type State ( AlonzoBBODY era) = BbodyState era
type Event ( AlonzoBBODY era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type Event ( AlonzoBBODY era) = AlonzoBbodyEvent era
type PredicateFailure ( AlonzoBBODY era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type PredicateFailure ( AlonzoBBODY era) = AlonzoBbodyPredFail era
type BaseM ( AlonzoBBODY era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type BaseM ( AlonzoBBODY era) = ShelleyBase
type Environment ( AlonzoBBODY era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type Environment ( AlonzoBBODY era) = BbodyEnv era
type Signal ( AlonzoBBODY era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type Signal ( AlonzoBBODY era) = Block ( BHeaderView ( Crypto era)) era

data AlonzoBbodyPredFail era Source #

Constructors

ShelleyInAlonzoPredFail ( BbodyPredicateFailure era)
TooManyExUnits
Fields ! ExUnits Computed Sum of ExUnits for all plutus scripts ! ExUnits Maximum allowed by protocal parameters

Instances

Instances details

( Era era, Eq ( PredicateFailure ( EraRule "LEDGERS" era))) => Eq ( AlonzoBbodyPredFail era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods (==) :: AlonzoBbodyPredFail era -> AlonzoBbodyPredFail era -> Bool Source # (/=) :: AlonzoBbodyPredFail era -> AlonzoBbodyPredFail era -> Bool Source #
( Era era, Show ( PredicateFailure ( EraRule "LEDGERS" era))) => Show ( AlonzoBbodyPredFail era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods showsPrec :: Int -> AlonzoBbodyPredFail era -> ShowS Source # show :: AlonzoBbodyPredFail era -> String Source # showList :: [ AlonzoBbodyPredFail era] -> ShowS Source #
Generic ( AlonzoBbodyPredFail era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Associated Types type Rep ( AlonzoBbodyPredFail era) :: Type -> Type Source # Methods from :: AlonzoBbodyPredFail era -> Rep ( AlonzoBbodyPredFail era) x Source # to :: Rep ( AlonzoBbodyPredFail era) x -> AlonzoBbodyPredFail era Source #
( Typeable era, ToCBOR ( BbodyPredicateFailure era)) => ToCBOR ( AlonzoBbodyPredFail era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods toCBOR :: AlonzoBbodyPredFail era -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( AlonzoBbodyPredFail era) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ AlonzoBbodyPredFail era] -> Size Source #
( Typeable era, FromCBOR ( BbodyPredicateFailure era)) => FromCBOR ( AlonzoBbodyPredFail era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods fromCBOR :: Decoder s ( AlonzoBbodyPredFail era) Source # label :: Proxy ( AlonzoBbodyPredFail era) -> Text Source #
( Era era, NoThunks ( PredicateFailure ( EraRule "LEDGERS" era))) => NoThunks ( AlonzoBbodyPredFail era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody Methods noThunks :: Context -> AlonzoBbodyPredFail era -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> AlonzoBbodyPredFail era -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( AlonzoBbodyPredFail era) -> String Source #
type Rep ( AlonzoBbodyPredFail era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type Rep ( AlonzoBbodyPredFail era) = D1 (' MetaData "AlonzoBbodyPredFail" "Cardano.Ledger.Alonzo.Rules.Bbody" "cardano-ledger-alonzo-0.1.0.0-xW3meaGVQP43dxJ76zbGD" ' False ) ( C1 (' MetaCons "ShelleyInAlonzoPredFail" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( BbodyPredicateFailure era))) :+: C1 (' MetaCons "TooManyExUnits" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ExUnits ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ExUnits )))

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 #