cardano-ledger-shelley-0.1.0.0
Safe Haskell None
Language Haskell2010

Cardano.Ledger.Shelley.Rules.Bbody

Synopsis

Documentation

data BBODY era Source #

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 ( BBODY era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

wrapFailed :: PredicateFailure ledgers -> PredicateFailure ( BBODY era) Source #

wrapEvent :: Event ledgers -> Event ( BBODY era) Source #

( UsesTxBody era, UsesAuxiliary era, ToCBORGroup ( TxSeq era), DSignable ( Crypto era) ( Hash ( Crypto era) EraIndependentTxBody ), Embed ( EraRule "LEDGERS" era) ( BBODY 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 ) => STS ( BBODY era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Associated Types

type State ( BBODY era) Source #

type Signal ( BBODY era) Source #

type Environment ( BBODY era) Source #

type BaseM ( BBODY era) :: Type -> Type Source #

type Event ( BBODY era) Source #

type PredicateFailure ( BBODY era) Source #

Methods

initialRules :: [ InitialRule ( BBODY era)] Source #

transitionRules :: [ TransitionRule ( BBODY era)] Source #

assertions :: [ Assertion ( BBODY era)] Source #

renderAssertionViolation :: AssertionViolation ( BBODY era) -> String Source #

type PredicateFailure ( BBODY era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type PredicateFailure ( BBODY era) = BbodyPredicateFailure era
type Event ( BBODY era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type Event ( BBODY era) = BbodyEvent era
type BaseM ( BBODY era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type BaseM ( BBODY era) = ShelleyBase
type Environment ( BBODY era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type Environment ( BBODY era) = BbodyEnv era
type Signal ( BBODY era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type Signal ( BBODY era) = Block ( BHeaderView ( Crypto era)) era
type State ( BBODY era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type State ( BBODY era) = BbodyState era

data BbodyState era Source #

Constructors

BbodyState ( LedgerState era) ( BlocksMade ( Crypto era))

Instances

Instances details
Eq ( LedgerState era) => Eq ( BbodyState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

(==) :: BbodyState era -> BbodyState era -> Bool Source #

(/=) :: BbodyState era -> BbodyState era -> Bool Source #

Show ( LedgerState era) => Show ( BbodyState era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

showsPrec :: Int -> BbodyState era -> ShowS Source #

show :: BbodyState era -> String Source #

showList :: [ BbodyState era] -> ShowS Source #

data BbodyEnv era Source #

Constructors

BbodyEnv

Fields

data BbodyPredicateFailure era Source #

Constructors

WrongBlockBodySizeBBODY ! Int ! Int
InvalidBodyHashBBODY !( Hash ( Crypto era) EraIndependentBlockBody ) !( Hash ( Crypto era) EraIndependentBlockBody )
LedgersFailure ( PredicateFailure ( EraRule "LEDGERS" era))

Instances

Instances details
( Era era, Eq ( PredicateFailure ( EraRule "LEDGERS" era))) => Eq ( BbodyPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

(==) :: BbodyPredicateFailure era -> BbodyPredicateFailure era -> Bool Source #

(/=) :: BbodyPredicateFailure era -> BbodyPredicateFailure era -> Bool Source #

( Era era, Show ( PredicateFailure ( EraRule "LEDGERS" era))) => Show ( BbodyPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

showsPrec :: Int -> BbodyPredicateFailure era -> ShowS Source #

show :: BbodyPredicateFailure era -> String Source #

showList :: [ BbodyPredicateFailure era] -> ShowS Source #

Generic ( BbodyPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Associated Types

type Rep ( BbodyPredicateFailure era) :: Type -> Type Source #

Methods

from :: BbodyPredicateFailure era -> Rep ( BbodyPredicateFailure era) x Source #

to :: Rep ( BbodyPredicateFailure era) x -> BbodyPredicateFailure era Source #

( Era era, NoThunks ( PredicateFailure ( EraRule "LEDGERS" era))) => NoThunks ( BbodyPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

Methods

noThunks :: Context -> BbodyPredicateFailure era -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> BbodyPredicateFailure era -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( BbodyPredicateFailure era) -> String Source #

type Rep ( BbodyPredicateFailure era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type Rep ( BbodyPredicateFailure era) = D1 (' MetaData "BbodyPredicateFailure" "Cardano.Ledger.Shelley.Rules.Bbody" "cardano-ledger-shelley-0.1.0.0-4LNBTpyKcsy6EW18a3tTt2" ' False ) ( C1 (' MetaCons "WrongBlockBodySizeBBODY" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Int ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Int )) :+: ( C1 (' MetaCons "InvalidBodyHashBBODY" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Hash ( Crypto era) EraIndependentBlockBody )) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Hash ( Crypto era) EraIndependentBlockBody ))) :+: C1 (' MetaCons "LedgersFailure" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PredicateFailure ( EraRule "LEDGERS" era))))))

newtype BbodyEvent era Source #

Constructors

LedgersEvent ( Event ( EraRule "LEDGERS" era))

type family PredicateFailure a Source #

Descriptive type for the possible failures which might cause a transition to fail.

As a convention, PredicateFailure s which are "structural" (meaning that they are not "throwable" in practice, and are used to pass control from one transition rule to another) are prefixed with S_ .

Structural PredicateFailure s represent conditions between rules where the disjunction of all rules' preconditions is equal to True . That is, either one rule will throw a structural PredicateFailure and the other will succeed, or vice-versa.

Instances

Instances details
type PredicateFailure ( SNAP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type PredicateFailure ( SNAP era) = SnapPredicateFailure era
type PredicateFailure ( RUPD era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure ( RUPD era) = RupdPredicateFailure era
type PredicateFailure ( PPUP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type PredicateFailure ( PPUP era) = PpupPredicateFailure era
type PredicateFailure ( UTXO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure ( UTXO era) = UtxoPredicateFailure era
type PredicateFailure ( UTXOW era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type PredicateFailure ( UTXOW era) = UtxowPredicateFailure era
type PredicateFailure ( POOLREAP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure ( POOLREAP era) = PoolreapPredicateFailure era
type PredicateFailure ( POOL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type PredicateFailure ( POOL era) = PoolPredicateFailure era
type PredicateFailure ( NEWPP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type PredicateFailure ( NEWPP era) = NewppPredicateFailure era
type PredicateFailure ( UPEC era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure ( UPEC era) = UpecPredicateFailure era
type PredicateFailure ( MIR era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure ( MIR era) = MirPredicateFailure era
type PredicateFailure ( EPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure ( EPOCH era) = EpochPredicateFailure era
type PredicateFailure ( DELEG era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure ( DELEG era) = DelegPredicateFailure era
type PredicateFailure ( DELPL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure ( DELPL era) = DelplPredicateFailure era
type PredicateFailure ( DELEGS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure ( DELEGS era) = DelegsPredicateFailure era
type PredicateFailure ( LEDGER era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure ( LEDGER era) = LedgerPredicateFailure era
type PredicateFailure ( LEDGERS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure ( LEDGERS era) = LedgersPredicateFailure era
type PredicateFailure ( BBODY era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type PredicateFailure ( BBODY era) = BbodyPredicateFailure era
type PredicateFailure ( NEWEPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure ( NEWEPOCH era) = NewEpochPredicateFailure era
type PredicateFailure ( TICKF era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure ( TICKF era) = TickfPredicateFailure era
type PredicateFailure ( TICK era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure ( TICK era) = TickPredicateFailure era
type PredicateFailure ( STUB e st si f m)
Instance details

Defined in Control.State.Transition.Extended

type PredicateFailure ( STUB e st si f m) = f

type family State a Source #

Type of the state which the system transitions between.

Instances

Instances details
type State ( SNAP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type State ( SNAP era) = SnapShots ( Crypto era)
type State ( RUPD era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type State ( RUPD era) = StrictMaybe ( PulsingRewUpdate ( Crypto era))
type State ( PPUP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type State ( PPUP era) = PPUPState era
type State ( UTXO era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type State ( UTXO era) = UTxOState era
type State ( UTXOW era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type State ( UTXOW era) = UTxOState era
type State ( POOLREAP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type State ( POOLREAP era) = PoolreapState era
type State ( POOL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type State ( POOL era) = PState ( Crypto era)
type State ( NEWPP era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type State ( NEWPP era) = NewppState era
type State ( UPEC era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type State ( UPEC era) = UpecState era
type State ( MIR era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type State ( MIR era) = EpochState era
type State ( EPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type State ( EPOCH era) = EpochState era
type State ( DELEG era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type State ( DELEG era) = DState ( Crypto era)
type State ( DELPL era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type State ( DELPL era) = DPState ( Crypto era)
type State ( DELEGS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type State ( DELEGS era) = DPState ( Crypto era)
type State ( LEDGER era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type State ( LEDGER era) = LedgerState era
type State ( LEDGERS era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type State ( LEDGERS era) = LedgerState era
type State ( BBODY era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type State ( BBODY era) = BbodyState era
type State ( NEWEPOCH era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type State ( NEWEPOCH era) = NewEpochState era
type State ( TICKF era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type State ( TICKF era) = NewEpochState era
type State ( TICK era) Source #
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type State ( TICK era) = NewEpochState era
type State ( STUB e st si f m)
Instance details

Defined in Control.State.Transition.Extended

type State ( STUB e st si f m) = st