Safe Haskell	None
Language	Haskell98

Shelley.Spec.Ledger.STS.Overlay

Synopsis

data OVERLAY crypto
type family PredicateFailure a = (b ∷ Type) | b → a
data OverlayEnv crypto = OverlayEnv UnitInterval (PoolDistr crypto) (GenDelegs crypto) Nonce
data OverlayPredicateFailure crypto
- = VRFKeyUnknown !(KeyHash 'StakePool crypto)
- | VRFKeyWrongVRFKey !(KeyHash 'StakePool crypto) !(Hash crypto (VerKeyVRF crypto)) !(Hash crypto (VerKeyVRF crypto))
- | VRFKeyBadNonce !Nonce !SlotNo !Nonce !(CertifiedVRF (VRF crypto) Nonce)
- | VRFKeyBadLeaderValue !Nonce !SlotNo !Nonce !(CertifiedVRF (VRF crypto) Nonce)
- | VRFLeaderValueTooBig !(OutputVRF (VRF crypto)) !Rational !ActiveSlotCoeff
- | NotActiveSlotOVERLAY !SlotNo
- | WrongGenesisColdKeyOVERLAY !(KeyHash 'BlockIssuer crypto) !(KeyHash 'GenesisDelegate crypto)
- | WrongGenesisVRFKeyOVERLAY !(KeyHash 'BlockIssuer crypto) !(Hash crypto (VerKeyVRF crypto)) !(Hash crypto (VerKeyVRF crypto))
- | UnknownGenesisKeyOVERLAY !(KeyHash 'Genesis crypto)
- | OcertFailure (PredicateFailure (OCERT crypto))

Documentation

data OVERLAY crypto Source #

Instances

Instances details

(Crypto crypto, DSignable crypto (OCertSignable crypto), KESignable crypto (BHBody crypto), Signable (VRF crypto) Seed) ⇒ STS (OVERLAY crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Overlay Associated Types type State (OVERLAY crypto) Source # type Signal (OVERLAY crypto) Source # type Environment (OVERLAY crypto) Source # type BaseM (OVERLAY crypto) ∷ Type → Type Source # type PredicateFailure (OVERLAY crypto) = (b ∷ Type) Source # Methods initialRules ∷ [InitialRule (OVERLAY crypto)] Source # transitionRules ∷ [TransitionRule (OVERLAY crypto)] Source # assertions ∷ [Assertion (OVERLAY crypto)] Source # renderAssertionViolation ∷ AssertionViolation (OVERLAY crypto) → String Source #
(Crypto crypto, DSignable crypto (OCertSignable crypto), KESignable crypto (BHBody crypto), Signable (VRF crypto) Seed) ⇒ Embed (OCERT crypto) (OVERLAY crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Overlay Methods wrapFailed ∷ PredicateFailure (OCERT crypto) → PredicateFailure (OVERLAY 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 #
type PredicateFailure (OVERLAY crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Overlay type PredicateFailure (OVERLAY crypto) = OverlayPredicateFailure crypto
type BaseM (OVERLAY crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Overlay type BaseM (OVERLAY crypto) = ShelleyBase
type Environment (OVERLAY crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Overlay type Environment (OVERLAY crypto) = OverlayEnv crypto
type Signal (OVERLAY crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Overlay type Signal (OVERLAY crypto) = BHeader crypto
type State (OVERLAY crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Overlay type State (OVERLAY crypto) = Map (KeyHash 'BlockIssuer crypto) Word64

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 OverlayEnv crypto Source #

Constructors

OverlayEnv UnitInterval (PoolDistr crypto) (GenDelegs crypto) Nonce

Instances

Instances details

Generic (OverlayEnv crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Overlay Associated Types type Rep (OverlayEnv crypto) ∷ Type → Type # Methods from ∷ OverlayEnv crypto → Rep (OverlayEnv crypto) x # to ∷ Rep (OverlayEnv crypto) x → OverlayEnv crypto #
NoThunks (OverlayEnv crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Overlay Methods noThunks ∷ Context → OverlayEnv crypto → IO (Maybe ThunkInfo) wNoThunks ∷ Context → OverlayEnv crypto → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (OverlayEnv crypto) → String
type Rep (OverlayEnv crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Overlay type Rep (OverlayEnv crypto) = D1 ('MetaData "OverlayEnv" "Shelley.Spec.Ledger.STS.Overlay" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (C1 ('MetaCons "OverlayEnv" '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 OverlayPredicateFailure crypto Source #

Constructors

VRFKeyUnknown !(KeyHash 'StakePool crypto)
VRFKeyWrongVRFKey !(KeyHash 'StakePool crypto) !(Hash crypto (VerKeyVRF crypto)) !(Hash crypto (VerKeyVRF crypto))
VRFKeyBadNonce !Nonce !SlotNo !Nonce !(CertifiedVRF (VRF crypto) Nonce)
VRFKeyBadLeaderValue !Nonce !SlotNo !Nonce !(CertifiedVRF (VRF crypto) Nonce)
VRFLeaderValueTooBig !(OutputVRF (VRF crypto)) !Rational !ActiveSlotCoeff
NotActiveSlotOVERLAY !SlotNo
WrongGenesisColdKeyOVERLAY !(KeyHash 'BlockIssuer crypto) !(KeyHash 'GenesisDelegate crypto)
WrongGenesisVRFKeyOVERLAY !(KeyHash 'BlockIssuer crypto) !(Hash crypto (VerKeyVRF crypto)) !(Hash crypto (VerKeyVRF crypto))
UnknownGenesisKeyOVERLAY !(KeyHash 'Genesis crypto)
OcertFailure (PredicateFailure (OCERT crypto))

Instances

Instances details

VRFAlgorithm (VRF crypto) ⇒ Eq (OverlayPredicateFailure crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Overlay Methods (==) ∷ OverlayPredicateFailure crypto → OverlayPredicateFailure crypto → Bool # (/=) ∷ OverlayPredicateFailure crypto → OverlayPredicateFailure crypto → Bool #
VRFAlgorithm (VRF crypto) ⇒ Show (OverlayPredicateFailure crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Overlay Methods showsPrec ∷ Int → OverlayPredicateFailure crypto → ShowS # show ∷ OverlayPredicateFailure crypto → String # showList ∷ [OverlayPredicateFailure crypto] → ShowS #
Generic (OverlayPredicateFailure crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Overlay Associated Types type Rep (OverlayPredicateFailure crypto) ∷ Type → Type # Methods from ∷ OverlayPredicateFailure crypto → Rep (OverlayPredicateFailure crypto) x # to ∷ Rep (OverlayPredicateFailure crypto) x → OverlayPredicateFailure crypto #
VRFAlgorithm (VRF crypto) ⇒ NoThunks (OverlayPredicateFailure crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Overlay Methods noThunks ∷ Context → OverlayPredicateFailure crypto → IO (Maybe ThunkInfo) wNoThunks ∷ Context → OverlayPredicateFailure crypto → IO (Maybe ThunkInfo) showTypeOf ∷ Proxy (OverlayPredicateFailure crypto) → String
type Rep (OverlayPredicateFailure crypto) Source #
Instance details Defined in Shelley.Spec.Ledger.STS.Overlay type Rep (OverlayPredicateFailure crypto) = D1 ('MetaData "OverlayPredicateFailure" "Shelley.Spec.Ledger.STS.Overlay" "shelley-spec-ledger-0.1.0.0-inplace" 'False) (((C1 ('MetaCons "VRFKeyUnknown" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool crypto))) :+: C1 ('MetaCons "VRFKeyWrongVRFKey" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool crypto)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash crypto (VerKeyVRF crypto))) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash crypto (VerKeyVRF crypto)))))) :+: (C1 ('MetaCons "VRFKeyBadNonce" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CertifiedVRF (VRF crypto) Nonce)))) :+: (C1 ('MetaCons "VRFKeyBadLeaderValue" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Nonce) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (CertifiedVRF (VRF crypto) Nonce)))) :+: C1 ('MetaCons "VRFLeaderValueTooBig" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OutputVRF (VRF crypto))) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Rational) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ActiveSlotCoeff)))))) :+: ((C1 ('MetaCons "NotActiveSlotOVERLAY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :+: C1 ('MetaCons "WrongGenesisColdKeyOVERLAY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'BlockIssuer crypto)) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'GenesisDelegate crypto)))) :+: (C1 ('MetaCons "WrongGenesisVRFKeyOVERLAY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'BlockIssuer crypto)) :: (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash crypto (VerKeyVRF crypto))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Hash crypto (VerKeyVRF crypto))))) :+: (C1 ('MetaCons "UnknownGenesisKeyOVERLAY" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'Genesis crypto))) :+: C1 ('MetaCons "OcertFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (OCERT crypto))))))))