Safe Haskell	None
Language	Haskell98

Shelley.Spec.Ledger.STS.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 = (b ∷ Type) | b → 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 Shelley.Spec.Ledger.STS.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 PredicateFailure (PRTCL crypto) = (b ∷ Type) 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 (UPDN crypto) (PRTCL crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl Methods wrapFailed ∷ PredicateFailure (UPDN crypto) → PredicateFailure (PRTCL crypto) Source #
(Crypto crypto, DSignable crypto (OCertSignable crypto), KESignable crypto (BHBody crypto), VRFSignable crypto Seed) ⇒ Embed (OVERLAY crypto) (PRTCL crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl Methods wrapFailed ∷ PredicateFailure (OVERLAY crypto) → PredicateFailure (PRTCL crypto) Source #
(Era era, c ~ Crypto era, ShelleyBased era, STS (PRTCL c)) ⇒ Embed (PRTCL c) (CHAIN era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Chain Methods wrapFailed ∷ PredicateFailure (PRTCL c) → PredicateFailure (CHAIN era) Source #
type PredicateFailure (PRTCL crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl type PredicateFailure (PRTCL crypto) = PrtclPredicateFailure crypto
type BaseM (PRTCL crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl type BaseM (PRTCL crypto) = ShelleyBase
type Environment (PRTCL crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl type Environment (PRTCL crypto) = PrtclEnv crypto
type Signal (PRTCL crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl type Signal (PRTCL crypto) = BHeader crypto
type State (PRTCL crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl type State (PRTCL crypto) = PrtclState 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 Shelley.Spec.Ledger.STS.Tickn type State TICKN = TicknState
type State (UPDN crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Updn type State (UPDN crypto) = UpdnState
type State (SNAP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Snap type State (SNAP era) = SnapShots era
type State (RUPD era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Rupd type State (RUPD era) = StrictMaybe (RewardUpdate era)
type State (PPUP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup type State (PPUP era) = PPUPState era
type State (UTXO (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxo type State (UTXO (ShelleyEra c)) = UTxOState (ShelleyEra c)
type State (UTXOW (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxow type State (UTXOW (ShelleyEra c)) = UTxOState (ShelleyEra c)
type State (POOLREAP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.PoolReap type State (POOLREAP era) = PoolreapState era
type State (POOL era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Pool type State (POOL era) = PState era
type State (NEWPP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Newpp type State (NEWPP era) = NewppState era
type State (MIR era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Mir type State (MIR era) = EpochState era
type State (EPOCH era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Epoch type State (EPOCH era) = EpochState era
type State (NEWEPOCH era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.NewEpoch type State (NEWEPOCH era) = NewEpochState era
type State (TICKF era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Tick type State (TICKF era) = NewEpochState era
type State (TICK era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Tick type State (TICK era) = NewEpochState era
type State (DELEG era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Deleg type State (DELEG era) = DState era
type State (DELPL era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Delpl type State (DELPL era) = DPState era
type State (DELEGS era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Delegs type State (DELEGS era) = DPState era
type State (LEDGER era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ledger type State (LEDGER era) = (UTxOState era, DPState era)
type State (LEDGERS era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ledgers type State (LEDGERS era) = LedgerState era
type State (OCERT crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ocert type State (OCERT crypto) = Map (KeyHash 'BlockIssuer crypto) Word64
type State (OVERLAY crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Overlay type State (OVERLAY crypto) = Map (KeyHash 'BlockIssuer crypto) Word64
type State (PRTCL crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl type State (PRTCL crypto) = PrtclState crypto
type State (BBODY era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Bbody type State (BBODY era) = BbodyState era
type State (CHAIN era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Chain type State (CHAIN era) = ChainState era

data PrtclEnv crypto Source #

Constructors

PrtclEnv UnitInterval (PoolDistr crypto) (GenDelegs crypto) Nonce

Instances

Instances details

Generic (PrtclEnv crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl Associated Types type Rep (PrtclEnv crypto) ∷ Type → Type # Methods from ∷ PrtclEnv crypto → Rep (PrtclEnv crypto) x # to ∷ Rep (PrtclEnv crypto) x → PrtclEnv crypto #
NoThunks (PrtclEnv crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl Methods noThunks ∷ Context → PrtclEnv crypto → IO (Maybe ThunkInfo) wNoThunks ∷ Context → PrtclEnv crypto → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (PrtclEnv crypto) → String
type Rep (PrtclEnv crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl type Rep (PrtclEnv crypto) = D1 ('MetaData "PrtclEnv" "Shelley.Spec.Ledger.STS.Prtcl" "shelley-spec-ledger-0.1.0.0-inplace" '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 Shelley.Spec.Ledger.STS.Prtcl Methods (==) ∷ PrtclState crypto → PrtclState crypto → Bool # (/=) ∷ PrtclState crypto → PrtclState crypto → Bool #
Show (PrtclState crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl Methods showsPrec ∷ Int → PrtclState crypto → ShowS # show ∷ PrtclState crypto → String # showList ∷ [PrtclState crypto] → ShowS #
Generic (PrtclState crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl Associated Types type Rep (PrtclState crypto) ∷ Type → Type # Methods from ∷ PrtclState crypto → Rep (PrtclState crypto) x # to ∷ Rep (PrtclState crypto) x → PrtclState crypto #
Crypto crypto ⇒ ToCBOR (PrtclState crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl Methods toCBOR ∷ PrtclState crypto → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PrtclState crypto) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PrtclState crypto] → Size Source #
Crypto crypto ⇒ FromCBOR (PrtclState crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl Methods fromCBOR ∷ Decoder s (PrtclState crypto) Source # label ∷ Proxy (PrtclState crypto) → Text Source #
Crypto crypto ⇒ NoThunks (PrtclState crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl Methods noThunks ∷ Context → PrtclState crypto → IO (Maybe ThunkInfo) wNoThunks ∷ Context → PrtclState crypto → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (PrtclState crypto) → String
type Rep (PrtclState crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl type Rep (PrtclState crypto) = D1 ('MetaData "PrtclState" "Shelley.Spec.Ledger.STS.Prtcl" "shelley-spec-ledger-0.1.0.0-inplace" '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 Shelley.Spec.Ledger.STS.Prtcl Methods (==) ∷ PrtclPredicateFailure crypto → PrtclPredicateFailure crypto → Bool # (/=) ∷ PrtclPredicateFailure crypto → PrtclPredicateFailure crypto → Bool #
VRFAlgorithm (VRF crypto) ⇒ Show (PrtclPredicateFailure crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl Methods showsPrec ∷ Int → PrtclPredicateFailure crypto → ShowS # show ∷ PrtclPredicateFailure crypto → String # showList ∷ [PrtclPredicateFailure crypto] → ShowS #
Generic (PrtclPredicateFailure crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl Associated Types type Rep (PrtclPredicateFailure crypto) ∷ Type → Type # Methods from ∷ PrtclPredicateFailure crypto → Rep (PrtclPredicateFailure crypto) x # to ∷ Rep (PrtclPredicateFailure crypto) x → PrtclPredicateFailure crypto #
Crypto crypto ⇒ NoThunks (PrtclPredicateFailure crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl Methods noThunks ∷ Context → PrtclPredicateFailure crypto → IO (Maybe ThunkInfo) wNoThunks ∷ Context → PrtclPredicateFailure crypto → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (PrtclPredicateFailure crypto) → String
type Rep (PrtclPredicateFailure crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl type Rep (PrtclPredicateFailure crypto) = D1 ('MetaData "PrtclPredicateFailure" "Shelley.Spec.Ledger.STS.Prtcl" "shelley-spec-ledger-0.1.0.0-inplace" '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 = (b ∷ Type) | b → a Source #

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

As a convention, PredicateFailures 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 PredicateFailures 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 Shelley.Spec.Ledger.STS.Tickn type PredicateFailure TICKN = TicknPredicateFailure
type PredicateFailure (UPDN crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Updn type PredicateFailure (UPDN crypto) = UpdnPredicateFailure crypto
type PredicateFailure (SNAP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Snap type PredicateFailure (SNAP era) = SnapPredicateFailure era
type PredicateFailure (RUPD era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Rupd type PredicateFailure (RUPD era) = RupdPredicateFailure era
type PredicateFailure (PPUP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ppup type PredicateFailure (PPUP era) = PpupPredicateFailure era
type PredicateFailure (UTXO (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxo type PredicateFailure (UTXO (ShelleyEra c)) = UtxoPredicateFailure (ShelleyEra c)
type PredicateFailure (UTXOW (ShelleyEra c)) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Utxow type PredicateFailure (UTXOW (ShelleyEra c)) = UtxowPredicateFailure (ShelleyEra c)
type PredicateFailure (POOLREAP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.PoolReap type PredicateFailure (POOLREAP era) = PoolreapPredicateFailure era
type PredicateFailure (POOL era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Pool type PredicateFailure (POOL era) = PoolPredicateFailure era
type PredicateFailure (NEWPP era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Newpp type PredicateFailure (NEWPP era) = NewppPredicateFailure era
type PredicateFailure (MIR era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Mir type PredicateFailure (MIR era) = MirPredicateFailure era
type PredicateFailure (EPOCH era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Epoch type PredicateFailure (EPOCH era) = EpochPredicateFailure era
type PredicateFailure (NEWEPOCH era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.NewEpoch type PredicateFailure (NEWEPOCH era) = NewEpochPredicateFailure era
type PredicateFailure (TICKF era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Tick type PredicateFailure (TICKF era) = TickfPredicateFailure era
type PredicateFailure (TICK era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Tick type PredicateFailure (TICK era) = TickPredicateFailure era
type PredicateFailure (DELEG era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Deleg type PredicateFailure (DELEG era) = DelegPredicateFailure era
type PredicateFailure (DELPL era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Delpl type PredicateFailure (DELPL era) = DelplPredicateFailure era
type PredicateFailure (DELEGS era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Delegs type PredicateFailure (DELEGS era) = DelegsPredicateFailure era
type PredicateFailure (LEDGER era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ledger type PredicateFailure (LEDGER era) = LedgerPredicateFailure era
type PredicateFailure (LEDGERS era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ledgers type PredicateFailure (LEDGERS era) = LedgersPredicateFailure era
type PredicateFailure (OCERT crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Ocert type PredicateFailure (OCERT crypto) = OcertPredicateFailure crypto
type PredicateFailure (OVERLAY crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Overlay type PredicateFailure (OVERLAY crypto) = OverlayPredicateFailure crypto
type PredicateFailure (PRTCL crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl type PredicateFailure (PRTCL crypto) = PrtclPredicateFailure crypto
type PredicateFailure (BBODY era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Bbody type PredicateFailure (BBODY era) = BbodyPredicateFailure era
type PredicateFailure (CHAIN era) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Chain type PredicateFailure (CHAIN era) = ChainPredicateFailure era

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 Shelley.Spec.Ledger.STS.Prtcl Methods (==) ∷ PrtlSeqFailure crypto → PrtlSeqFailure crypto → Bool # (/=) ∷ PrtlSeqFailure crypto → PrtlSeqFailure crypto → Bool #
Show (PrtlSeqFailure crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl Methods showsPrec ∷ Int → PrtlSeqFailure crypto → ShowS # show ∷ PrtlSeqFailure crypto → String # showList ∷ [PrtlSeqFailure crypto] → ShowS #
Generic (PrtlSeqFailure crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl Associated Types type Rep (PrtlSeqFailure crypto) ∷ Type → Type # Methods from ∷ PrtlSeqFailure crypto → Rep (PrtlSeqFailure crypto) x # to ∷ Rep (PrtlSeqFailure crypto) x → PrtlSeqFailure crypto #
Crypto crypto ⇒ NoThunks (PrtlSeqFailure crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl Methods noThunks ∷ Context → PrtlSeqFailure crypto → IO (Maybe ThunkInfo) wNoThunks ∷ Context → PrtlSeqFailure crypto → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (PrtlSeqFailure crypto) → String
type Rep (PrtlSeqFailure crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Prtcl type Rep (PrtlSeqFailure crypto) = D1 ('MetaData "PrtlSeqFailure" "Shelley.Spec.Ledger.STS.Prtcl" "shelley-spec-ledger-0.1.0.0-inplace" '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 #