Safe Haskell	None
Language	Haskell2010

Cardano.Protocol.TPraos.Rules.Updn

Synopsis

data UPDN crypto
newtype UpdnEnv = UpdnEnv Nonce
data UpdnState = UpdnState Nonce Nonce
type family PredicateFailure a
data UpdnPredicateFailure crypto

Documentation

data UPDN crypto Source #

Instances

Instances details

Crypto crypto => STS ( UPDN crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn Associated Types type State ( UPDN crypto) Source # type Signal ( UPDN crypto) Source # type Environment ( UPDN crypto) Source # type BaseM ( UPDN crypto) :: Type -> Type Source # type Event ( UPDN crypto) Source # type PredicateFailure ( UPDN crypto) Source # Methods initialRules :: [ InitialRule ( UPDN crypto)] Source # transitionRules :: [ TransitionRule ( UPDN crypto)] Source # assertions :: [ Assertion ( UPDN crypto)] Source # renderAssertionViolation :: AssertionViolation ( UPDN 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 Cardano.Protocol.TPraos.Rules.Prtcl Methods wrapFailed :: PredicateFailure ( UPDN crypto) -> PredicateFailure ( PRTCL crypto) Source # wrapEvent :: Event ( UPDN crypto) -> Event ( PRTCL crypto) Source #
type State ( UPDN crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn type State ( UPDN crypto) = UpdnState
type Event ( UPDN crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn type Event ( UPDN crypto)
type PredicateFailure ( UPDN crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn type PredicateFailure ( UPDN crypto) = UpdnPredicateFailure crypto
type BaseM ( UPDN crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn type BaseM ( UPDN crypto) = ShelleyBase
type Environment ( UPDN crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn type Environment ( UPDN crypto) = UpdnEnv
type Signal ( UPDN crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn type Signal ( UPDN crypto) = SlotNo

newtype UpdnEnv Source #

Constructors

UpdnEnv Nonce

New nonce

data UpdnState Source #

Constructors

UpdnState Nonce Nonce

Instances

Instances details

Eq UpdnState Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn Methods (==) :: UpdnState -> UpdnState -> Bool Source # (/=) :: UpdnState -> UpdnState -> Bool Source #
Show UpdnState Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn Methods showsPrec :: Int -> UpdnState -> ShowS Source # show :: UpdnState -> String Source # showList :: [ UpdnState ] -> ShowS Source #

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

Instances

Instances details

Eq ( UpdnPredicateFailure crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn Methods (==) :: UpdnPredicateFailure crypto -> UpdnPredicateFailure crypto -> Bool Source # (/=) :: UpdnPredicateFailure crypto -> UpdnPredicateFailure crypto -> Bool Source #
Show ( UpdnPredicateFailure crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn Methods showsPrec :: Int -> UpdnPredicateFailure crypto -> ShowS Source # show :: UpdnPredicateFailure crypto -> String Source # showList :: [ UpdnPredicateFailure crypto] -> ShowS Source #
Generic ( UpdnPredicateFailure crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn Associated Types type Rep ( UpdnPredicateFailure crypto) :: Type -> Type Source # Methods from :: UpdnPredicateFailure crypto -> Rep ( UpdnPredicateFailure crypto) x Source # to :: Rep ( UpdnPredicateFailure crypto) x -> UpdnPredicateFailure crypto Source #
NoThunks ( UpdnPredicateFailure crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn Methods noThunks :: Context -> UpdnPredicateFailure crypto -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> UpdnPredicateFailure crypto -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( UpdnPredicateFailure crypto) -> String Source #
type Rep ( UpdnPredicateFailure crypto) Source #
Instance details Defined in Cardano.Protocol.TPraos.Rules.Updn type Rep ( UpdnPredicateFailure crypto) = D1 (' MetaData "UpdnPredicateFailure" "Cardano.Protocol.TPraos.Rules.Updn" "cardano-protocol-tpraos-0.1.0.0-La5Cvz4HrqgBuFHns9l3Vn" ' False ) ( V1 :: Type -> Type )