Safe Haskell	None
Language	Haskell2010

Cardano.Protocol.TPraos.Rules.Prtcl

Synopsis

data PRTCL crypto
type family State a
data PrtclEnv crypto = PrtclEnv UnitInterval ( PoolDistr crypto) ( GenDelegs crypto) Nonce
data PrtclState crypto = PrtclState !( Map ( KeyHash ' BlockIssuer crypto) Word64 ) ! Nonce ! Nonce
data PrtclPredicateFailure crypto
- = OverlayFailure ( PredicateFailure ( OVERLAY crypto))
- | UpdnFailure ( PredicateFailure ( UPDN crypto))
type family PredicateFailure a
data PrtlSeqFailure crypto
- = WrongSlotIntervalPrtclSeq SlotNo SlotNo
- | WrongBlockNoPrtclSeq ( WithOrigin ( LastAppliedBlock crypto)) BlockNo
- | WrongBlockSequencePrtclSeq ( PrevHash crypto) ( PrevHash crypto)
prtlSeqChecks :: ( MonadError ( PrtlSeqFailure crypto) m, Crypto crypto) => WithOrigin ( LastAppliedBlock crypto) -> BHeader crypto -> m ()

Documentation

data PRTCL crypto Source #

Instances

Instances details

( Crypto crypto, DSignable crypto ( OCertSignable crypto), KESignable crypto ( BHBody crypto), VRFSignable crypto Seed ) => STS ( PRTCL crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Associated Types type State ( PRTCL crypto) Source # type Signal ( PRTCL crypto) Source # type Environment ( PRTCL crypto) Source # type BaseM ( PRTCL crypto) :: Type -> Type Source # type Event ( PRTCL crypto) Source # type PredicateFailure ( PRTCL crypto) Source # Methods initialRules :: [ InitialRule ( PRTCL crypto)] Source # transitionRules :: [ TransitionRule ( PRTCL crypto)] Source # assertions :: [ Assertion ( PRTCL crypto)] Source # renderAssertionViolation :: AssertionViolation ( PRTCL crypto) -> String Source #
( Crypto crypto, DSignable crypto ( OCertSignable crypto), KESignable crypto ( BHBody crypto), VRFSignable crypto Seed ) => Embed ( OVERLAY crypto) ( PRTCL crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods wrapFailed :: PredicateFailure ( OVERLAY crypto) -> PredicateFailure ( PRTCL crypto) Source # wrapEvent :: Event ( OVERLAY crypto) -> Event ( PRTCL crypto) Source #
( Crypto crypto, DSignable crypto ( OCertSignable crypto), KESignable crypto ( BHBody crypto), VRFSignable crypto Seed ) => Embed ( UPDN crypto) ( PRTCL crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods wrapFailed :: PredicateFailure ( UPDN crypto) -> PredicateFailure ( PRTCL crypto) Source # wrapEvent :: Event ( UPDN crypto) -> Event ( PRTCL crypto) Source #
type State ( PRTCL crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type State ( PRTCL crypto) = PrtclState crypto
type Event ( PRTCL crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type Event ( PRTCL crypto)
type PredicateFailure ( PRTCL crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type PredicateFailure ( PRTCL crypto) = PrtclPredicateFailure crypto
type BaseM ( PRTCL crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type BaseM ( PRTCL crypto) = ShelleyBase
type Environment ( PRTCL crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type Environment ( PRTCL crypto) = PrtclEnv crypto
type Signal ( PRTCL crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type Signal ( PRTCL crypto) = BHeader crypto

type family State a Source #

Type of the state which the system transitions between.

Instances

Instances details

type State TICKN Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Tickn type State TICKN = TicknState
type State ( AlonzoLEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type State ( AlonzoLEDGER era) = LedgerState era
type State ( AlonzoUTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type State ( AlonzoUTXOW era) = UTxOState era
type State ( AlonzoUTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type State ( AlonzoUTXO era) = UTxOState era
type State ( UTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type State ( UTXOS era) = UTxOState era
type State ( AlonzoBBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type State ( AlonzoBBODY era) = BbodyState era
type State ( BabbageLEDGER era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type State ( BabbageLEDGER era) = LedgerState era
type State ( BabbageUTXOW era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type State ( BabbageUTXOW era) = UTxOState era
type State ( BabbageUTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type State ( BabbageUTXO era) = UTxOState era
type State ( BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type State ( BabbageUTXOS era) = UTxOState era
type State ( TICK era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type State ( TICK era) = NewEpochState era
type State ( TICKF era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type State ( TICKF era) = NewEpochState era
type State ( NEWEPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type State ( NEWEPOCH era) = NewEpochState era
type State ( BBODY era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type State ( BBODY era) = BbodyState era
type State ( LEDGERS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type State ( LEDGERS era) = LedgerState era
type State ( LEDGER era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type State ( LEDGER era) = LedgerState era
type State ( DELEGS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type State ( DELEGS era) = DPState ( Crypto era)
type State ( DELPL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type State ( DELPL era) = DPState ( Crypto era)
type State ( DELEG era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type State ( DELEG era) = DState ( Crypto era)
type State ( EPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type State ( EPOCH era) = EpochState era
type State ( MIR era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type State ( MIR era) = EpochState era
type State ( UPEC era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type State ( UPEC era) = UpecState era
type State ( NEWPP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type State ( NEWPP era) = NewppState era
type State ( POOL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type State ( POOL era) = PState ( Crypto era)
type State ( POOLREAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type State ( POOLREAP era) = PoolreapState era
type State ( UTXOW era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type State ( UTXOW era) = UTxOState era
type State ( UTXO era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type State ( UTXO era) = UTxOState era
type State ( PPUP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type State ( PPUP era) = PPUPState era
type State ( RUPD era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type State ( RUPD era) = StrictMaybe ( PulsingRewUpdate ( Crypto era))
type State ( SNAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type State ( SNAP era) = SnapShots ( Crypto era)
type State ( UTXOW era)
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow type State ( UTXOW era) = UTxOState era
type State ( UTXO era)
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.Utxo type State ( UTXO era) = UTxOState era
type State ( OCERT crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.OCert type State ( OCERT crypto) = Map ( KeyHash ' BlockIssuer crypto) Word64
type State ( OVERLAY crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Overlay type State ( OVERLAY crypto) = Map ( KeyHash ' BlockIssuer crypto) Word64
type State ( UPDN crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn type State ( UPDN crypto) = UpdnState
type State ( PRTCL crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type State ( PRTCL crypto) = PrtclState crypto
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

data PrtclEnv crypto Source #

Constructors

PrtclEnv UnitInterval ( PoolDistr crypto) ( GenDelegs crypto) Nonce

Instances

Instances details

Generic ( PrtclEnv crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Associated Types type Rep ( PrtclEnv crypto) :: Type -> Type Source # Methods from :: PrtclEnv crypto -> Rep ( PrtclEnv crypto) x Source # to :: Rep ( PrtclEnv crypto) x -> PrtclEnv crypto Source #
NoThunks ( PrtclEnv crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods noThunks :: Context -> PrtclEnv crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> PrtclEnv crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( PrtclEnv crypto) -> String Source #
type Rep ( PrtclEnv crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type Rep ( PrtclEnv crypto) = D1 (' MetaData "PrtclEnv" "Cardano.Protocol.TPraos.Rules.Prtcl" "cardano-protocol-tpraos-0.1.0.0-La5Cvz4HrqgBuFHns9l3Vn" ' False ) ( C1 (' MetaCons "PrtclEnv" ' PrefixI ' False ) (( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 UnitInterval ) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PoolDistr crypto))) :: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( GenDelegs crypto)) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Nonce ))))

data PrtclState crypto Source #

Constructors

PrtclState
Fields !( Map ( KeyHash ' BlockIssuer crypto) Word64 ) Operation Certificate counters ! Nonce Evolving nonce ! Nonce Candidate nonce

Instances

Instances details

Eq ( PrtclState crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods (==) :: PrtclState crypto -> PrtclState crypto -> Bool Source # (/=) :: PrtclState crypto -> PrtclState crypto -> Bool Source #
Show ( PrtclState crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods showsPrec :: Int -> PrtclState crypto -> ShowS Source # show :: PrtclState crypto -> String Source # showList :: [ PrtclState crypto] -> ShowS Source #
Generic ( PrtclState crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Associated Types type Rep ( PrtclState crypto) :: Type -> Type Source # Methods from :: PrtclState crypto -> Rep ( PrtclState crypto) x Source # to :: Rep ( PrtclState crypto) x -> PrtclState crypto Source #
Crypto crypto => ToCBOR ( PrtclState crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods toCBOR :: PrtclState crypto -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( PrtclState crypto) -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ PrtclState crypto] -> Size Source #
Crypto crypto => FromCBOR ( PrtclState crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods fromCBOR :: Decoder s ( PrtclState crypto) Source # label :: Proxy ( PrtclState crypto) -> Text Source #
Crypto crypto => NoThunks ( PrtclState crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods noThunks :: Context -> PrtclState crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> PrtclState crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( PrtclState crypto) -> String Source #
type Rep ( PrtclState crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type Rep ( PrtclState crypto) = D1 (' MetaData "PrtclState" "Cardano.Protocol.TPraos.Rules.Prtcl" "cardano-protocol-tpraos-0.1.0.0-La5Cvz4HrqgBuFHns9l3Vn" ' False ) ( C1 (' MetaCons "PrtclState" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( Map ( KeyHash ' BlockIssuer crypto) Word64 )) :: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Nonce ) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Nonce ))))

data PrtclPredicateFailure crypto Source #

Constructors

OverlayFailure ( PredicateFailure ( OVERLAY crypto))
UpdnFailure ( PredicateFailure ( UPDN crypto))

Instances

Instances details

VRFAlgorithm ( VRF crypto) => Eq ( PrtclPredicateFailure crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods (==) :: PrtclPredicateFailure crypto -> PrtclPredicateFailure crypto -> Bool Source # (/=) :: PrtclPredicateFailure crypto -> PrtclPredicateFailure crypto -> Bool Source #
VRFAlgorithm ( VRF crypto) => Show ( PrtclPredicateFailure crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods showsPrec :: Int -> PrtclPredicateFailure crypto -> ShowS Source # show :: PrtclPredicateFailure crypto -> String Source # showList :: [ PrtclPredicateFailure crypto] -> ShowS Source #
Generic ( PrtclPredicateFailure crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Associated Types type Rep ( PrtclPredicateFailure crypto) :: Type -> Type Source # Methods from :: PrtclPredicateFailure crypto -> Rep ( PrtclPredicateFailure crypto) x Source # to :: Rep ( PrtclPredicateFailure crypto) x -> PrtclPredicateFailure crypto Source #
Crypto crypto => NoThunks ( PrtclPredicateFailure crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods noThunks :: Context -> PrtclPredicateFailure crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> PrtclPredicateFailure crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( PrtclPredicateFailure crypto) -> String Source #
type Rep ( PrtclPredicateFailure crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type Rep ( PrtclPredicateFailure crypto) = D1 (' MetaData "PrtclPredicateFailure" "Cardano.Protocol.TPraos.Rules.Prtcl" "cardano-protocol-tpraos-0.1.0.0-La5Cvz4HrqgBuFHns9l3Vn" ' False ) ( C1 (' MetaCons "OverlayFailure" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PredicateFailure ( OVERLAY crypto)))) :+: C1 (' MetaCons "UpdnFailure" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PredicateFailure ( UPDN crypto)))))

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 TICKN Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Tickn type PredicateFailure TICKN = TicknPredicateFailure
type PredicateFailure ( AlonzoLEDGER era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Ledger type PredicateFailure ( AlonzoLEDGER era) = LedgerPredicateFailure era
type PredicateFailure ( AlonzoUTXOW era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxow type PredicateFailure ( AlonzoUTXOW era) = UtxowPredicateFail era
type PredicateFailure ( AlonzoUTXO era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxo type PredicateFailure ( AlonzoUTXO era) = UtxoPredicateFailure era
type PredicateFailure ( UTXOS era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Utxos type PredicateFailure ( UTXOS era) = UtxosPredicateFailure era
type PredicateFailure ( AlonzoBBODY era)
Instance details Defined in Cardano.Ledger.Alonzo.Rules.Bbody type PredicateFailure ( AlonzoBBODY era) = AlonzoBbodyPredFail era
type PredicateFailure ( BabbageLEDGER era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Ledger type PredicateFailure ( BabbageLEDGER era) = LedgerPredicateFailure era
type PredicateFailure ( BabbageUTXOW era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxow type PredicateFailure ( BabbageUTXOW era) = BabbageUtxowPred era
type PredicateFailure ( BabbageUTXO era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxo type PredicateFailure ( BabbageUTXO era) = BabbageUtxoPred era
type PredicateFailure ( BabbageUTXOS era)
Instance details Defined in Cardano.Ledger.Babbage.Rules.Utxos type PredicateFailure ( BabbageUTXOS era) = UtxosPredicateFailure era
type PredicateFailure ( TICK era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure ( TICK era) = TickPredicateFailure era
type PredicateFailure ( TICKF era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Tick type PredicateFailure ( TICKF era) = TickfPredicateFailure era
type PredicateFailure ( NEWEPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.NewEpoch type PredicateFailure ( NEWEPOCH era) = NewEpochPredicateFailure era
type PredicateFailure ( BBODY era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Bbody type PredicateFailure ( BBODY era) = BbodyPredicateFailure era
type PredicateFailure ( LEDGERS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledgers type PredicateFailure ( LEDGERS era) = LedgersPredicateFailure era
type PredicateFailure ( LEDGER era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ledger type PredicateFailure ( LEDGER era) = LedgerPredicateFailure era
type PredicateFailure ( DELEGS era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delegs type PredicateFailure ( DELEGS era) = DelegsPredicateFailure era
type PredicateFailure ( DELPL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Delpl type PredicateFailure ( DELPL era) = DelplPredicateFailure era
type PredicateFailure ( DELEG era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Deleg type PredicateFailure ( DELEG era) = DelegPredicateFailure era
type PredicateFailure ( EPOCH era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Epoch type PredicateFailure ( EPOCH era) = EpochPredicateFailure era
type PredicateFailure ( MIR era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Mir type PredicateFailure ( MIR era) = MirPredicateFailure era
type PredicateFailure ( UPEC era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Upec type PredicateFailure ( UPEC era) = UpecPredicateFailure era
type PredicateFailure ( NEWPP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Newpp type PredicateFailure ( NEWPP era) = NewppPredicateFailure era
type PredicateFailure ( POOL era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Pool type PredicateFailure ( POOL era) = PoolPredicateFailure era
type PredicateFailure ( POOLREAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.PoolReap type PredicateFailure ( POOLREAP era) = PoolreapPredicateFailure era
type PredicateFailure ( UTXOW era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxow type PredicateFailure ( UTXOW era) = UtxowPredicateFailure era
type PredicateFailure ( UTXO era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Utxo type PredicateFailure ( UTXO era) = UtxoPredicateFailure era
type PredicateFailure ( PPUP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Ppup type PredicateFailure ( PPUP era) = PpupPredicateFailure era
type PredicateFailure ( RUPD era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Rupd type PredicateFailure ( RUPD era) = RupdPredicateFailure era
type PredicateFailure ( SNAP era)
Instance details Defined in Cardano.Ledger.Shelley.Rules.Snap type PredicateFailure ( SNAP era) = SnapPredicateFailure era
type PredicateFailure ( UTXOW era)
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.Utxow type PredicateFailure ( UTXOW era) = UtxowPredicateFailure era
type PredicateFailure ( UTXO era)
Instance details Defined in Cardano.Ledger.ShelleyMA.Rules.Utxo type PredicateFailure ( UTXO era) = UtxoPredicateFailure era
type PredicateFailure ( OCERT crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.OCert type PredicateFailure ( OCERT crypto) = OcertPredicateFailure crypto
type PredicateFailure ( OVERLAY crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Overlay type PredicateFailure ( OVERLAY crypto) = OverlayPredicateFailure crypto
type PredicateFailure ( UPDN crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn type PredicateFailure ( UPDN crypto) = UpdnPredicateFailure crypto
type PredicateFailure ( PRTCL crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type PredicateFailure ( PRTCL crypto) = PrtclPredicateFailure crypto
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

data PrtlSeqFailure crypto Source #

Constructors

WrongSlotIntervalPrtclSeq
Fields SlotNo Last slot number. SlotNo Current slot number.
WrongBlockNoPrtclSeq
Fields ( WithOrigin ( LastAppliedBlock crypto)) Last applied block. BlockNo Current block number.
WrongBlockSequencePrtclSeq
Fields ( PrevHash crypto) Last applied hash ( PrevHash crypto) Current block's previous hash

Instances

Instances details

Eq ( PrtlSeqFailure crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods (==) :: PrtlSeqFailure crypto -> PrtlSeqFailure crypto -> Bool Source # (/=) :: PrtlSeqFailure crypto -> PrtlSeqFailure crypto -> Bool Source #
Show ( PrtlSeqFailure crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods showsPrec :: Int -> PrtlSeqFailure crypto -> ShowS Source # show :: PrtlSeqFailure crypto -> String Source # showList :: [ PrtlSeqFailure crypto] -> ShowS Source #
Generic ( PrtlSeqFailure crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Associated Types type Rep ( PrtlSeqFailure crypto) :: Type -> Type Source # Methods from :: PrtlSeqFailure crypto -> Rep ( PrtlSeqFailure crypto) x Source # to :: Rep ( PrtlSeqFailure crypto) x -> PrtlSeqFailure crypto Source #
Crypto crypto => NoThunks ( PrtlSeqFailure crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl Methods noThunks :: Context -> PrtlSeqFailure crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> PrtlSeqFailure crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( PrtlSeqFailure crypto) -> String Source #
type Rep ( PrtlSeqFailure crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Prtcl type Rep ( PrtlSeqFailure crypto) = D1 (' MetaData "PrtlSeqFailure" "Cardano.Protocol.TPraos.Rules.Prtcl" "cardano-protocol-tpraos-0.1.0.0-La5Cvz4HrqgBuFHns9l3Vn" ' False ) ( C1 (' MetaCons "WrongSlotIntervalPrtclSeq" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 SlotNo ) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 SlotNo )) :+: ( C1 (' MetaCons "WrongBlockNoPrtclSeq" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( WithOrigin ( LastAppliedBlock crypto))) :: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 BlockNo )) :+: C1 (' MetaCons "WrongBlockSequencePrtclSeq" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PrevHash crypto)) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( PrevHash crypto)))))

prtlSeqChecks :: ( MonadError ( PrtlSeqFailure crypto) m, Crypto crypto) => WithOrigin ( LastAppliedBlock crypto) -> BHeader crypto -> m () Source #