cardano-protocol-tpraos-0.1.0.0
Safe Haskell None
Language Haskell2010

Cardano.Protocol.TPraos.Rules.OCert

Synopsis

Documentation

data OCERT crypto Source #

Instances

Instances details
( Crypto crypto, DSignable crypto ( OCertSignable crypto), KESignable crypto ( BHBody crypto)) => STS ( OCERT crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

Associated Types

type State ( OCERT crypto) Source #

type Signal ( OCERT crypto) Source #

type Environment ( OCERT crypto) Source #

type BaseM ( OCERT crypto) :: Type -> Type Source #

type Event ( OCERT crypto) Source #

type PredicateFailure ( OCERT crypto) Source #

Methods

initialRules :: [ InitialRule ( OCERT crypto)] Source #

transitionRules :: [ TransitionRule ( OCERT crypto)] Source #

assertions :: [ Assertion ( OCERT crypto)] Source #

renderAssertionViolation :: AssertionViolation ( OCERT 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 Cardano.Protocol.TPraos.Rules.Overlay

Methods

wrapFailed :: PredicateFailure ( OCERT crypto) -> PredicateFailure ( OVERLAY crypto) Source #

wrapEvent :: Event ( OCERT crypto) -> Event ( OVERLAY crypto) Source #

type State ( OCERT crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

type State ( OCERT crypto) = Map ( KeyHash ' BlockIssuer crypto) Word64
type Event ( OCERT crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

type Event ( OCERT crypto) = Void
type PredicateFailure ( OCERT crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

type PredicateFailure ( OCERT crypto) = OcertPredicateFailure crypto
type BaseM ( OCERT crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

type BaseM ( OCERT crypto) = ShelleyBase
type Environment ( OCERT crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

type Environment ( OCERT crypto) = OCertEnv crypto
type Signal ( OCERT crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

type Signal ( OCERT crypto) = BHeader 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 OCertEnv crypto Source #

Constructors

OCertEnv

Fields

Instances

Instances details
Eq ( OCertEnv crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

(==) :: OCertEnv crypto -> OCertEnv crypto -> Bool Source #

(/=) :: OCertEnv crypto -> OCertEnv crypto -> Bool Source #

Show ( OCertEnv crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.OCert

Methods

showsPrec :: Int -> OCertEnv crypto -> ShowS Source #

show :: OCertEnv crypto -> String Source #

showList :: [ OCertEnv crypto] -> ShowS Source #

data OcertPredicateFailure crypto Source #

Constructors

KESBeforeStartOCERT ! KESPeriod ! KESPeriod
KESAfterEndOCERT ! KESPeriod ! KESPeriod ! Word64
CounterTooSmallOCERT ! Word64 ! Word64
InvalidSignatureOCERT ! Word64 ! KESPeriod
InvalidKesSignatureOCERT ! Word ! Word ! Word ! String
NoCounterForKeyHashOCERT !( KeyHash ' BlockIssuer crypto)

Instances

Instances details
Eq ( OcertPredicateFailure crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

Methods

(==) :: OcertPredicateFailure crypto -> OcertPredicateFailure crypto -> Bool Source #

(/=) :: OcertPredicateFailure crypto -> OcertPredicateFailure crypto -> Bool Source #

Show ( OcertPredicateFailure crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

Methods

showsPrec :: Int -> OcertPredicateFailure crypto -> ShowS Source #

show :: OcertPredicateFailure crypto -> String Source #

showList :: [ OcertPredicateFailure crypto] -> ShowS Source #

Generic ( OcertPredicateFailure crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

Associated Types

type Rep ( OcertPredicateFailure crypto) :: Type -> Type Source #

Methods

from :: OcertPredicateFailure crypto -> Rep ( OcertPredicateFailure crypto) x Source #

to :: Rep ( OcertPredicateFailure crypto) x -> OcertPredicateFailure crypto Source #

NoThunks ( OcertPredicateFailure crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

Methods

noThunks :: Context -> OcertPredicateFailure crypto -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> OcertPredicateFailure crypto -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( OcertPredicateFailure crypto) -> String Source #

type Rep ( OcertPredicateFailure crypto) Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

type Rep ( OcertPredicateFailure crypto) = D1 (' MetaData "OcertPredicateFailure" "Cardano.Protocol.TPraos.Rules.OCert" "cardano-protocol-tpraos-0.1.0.0-La5Cvz4HrqgBuFHns9l3Vn" ' False ) (( C1 (' MetaCons "KESBeforeStartOCERT" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 KESPeriod ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 KESPeriod )) :+: ( C1 (' MetaCons "KESAfterEndOCERT" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 KESPeriod ) :*: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 KESPeriod ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word64 ))) :+: C1 (' MetaCons "CounterTooSmallOCERT" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word64 ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word64 )))) :+: ( C1 (' MetaCons "InvalidSignatureOCERT" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word64 ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 KESPeriod )) :+: ( C1 (' MetaCons "InvalidKesSignatureOCERT" ' PrefixI ' False ) (( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word )) :*: ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Word ) :*: S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 String ))) :+: C1 (' MetaCons "NoCounterForKeyHashOCERT" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 ( KeyHash ' BlockIssuer crypto))))))