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

Cardano.Protocol.TPraos.Rules.Tickn

Synopsis

Documentation

data TICKN Source #

Instances

Instances details
STS TICKN Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Associated Types

type State TICKN Source #

type Signal TICKN Source #

type Environment TICKN Source #

type BaseM TICKN :: Type -> Type Source #

type Event TICKN Source #

type PredicateFailure TICKN Source #

Methods

initialRules :: [ InitialRule TICKN ] Source #

transitionRules :: [ TransitionRule TICKN ] Source #

assertions :: [ Assertion TICKN ] Source #

renderAssertionViolation :: AssertionViolation TICKN -> String Source #

type State TICKN Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

type State TICKN = TicknState
type Event TICKN Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

type Event TICKN = Void
type PredicateFailure TICKN Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

type PredicateFailure TICKN = TicknPredicateFailure
type BaseM TICKN Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

type BaseM TICKN = ShelleyBase
type Environment TICKN Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

type Environment TICKN = TicknEnv
type Signal TICKN Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

type Signal TICKN = Bool

data TicknEnv Source #

Constructors

TicknEnv

Fields

data TicknState Source #

Constructors

TicknState

Fields

Instances

Instances details
Eq TicknState Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Methods

(==) :: TicknState -> TicknState -> Bool Source #

(/=) :: TicknState -> TicknState -> Bool Source #

Show TicknState Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Methods

showsPrec :: Int -> TicknState -> ShowS Source #

show :: TicknState -> String Source #

showList :: [ TicknState ] -> ShowS Source #

Generic TicknState Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Associated Types

type Rep TicknState :: Type -> Type Source #

Methods

from :: TicknState -> Rep TicknState x Source #

to :: Rep TicknState x -> TicknState Source #

ToCBOR TicknState Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Methods

toCBOR :: TicknState -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy TicknState -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ TicknState ] -> Size Source #

FromCBOR TicknState Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Methods

fromCBOR :: Decoder s TicknState Source #

label :: Proxy TicknState -> Text Source #

NoThunks TicknState Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Methods

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

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

showTypeOf :: Proxy TicknState -> String Source #

type Rep TicknState Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

type Rep TicknState = D1 (' MetaData "TicknState" "Cardano.Protocol.TPraos.Rules.Tickn" "cardano-protocol-tpraos-0.1.0.0-La5Cvz4HrqgBuFHns9l3Vn" ' False ) ( C1 (' MetaCons "TicknState" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "ticknStateEpochNonce") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Nonce ) :*: S1 (' MetaSel (' Just "ticknStatePrevHashNonce") ' NoSourceUnpackedness ' SourceStrict ' DecidedStrict ) ( Rec0 Nonce )))

data TicknPredicateFailure Source #

Instances

Instances details
Eq TicknPredicateFailure Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Methods

(==) :: TicknPredicateFailure -> TicknPredicateFailure -> Bool Source #

(/=) :: TicknPredicateFailure -> TicknPredicateFailure -> Bool Source #

Show TicknPredicateFailure Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Methods

showsPrec :: Int -> TicknPredicateFailure -> ShowS Source #

show :: TicknPredicateFailure -> String Source #

showList :: [ TicknPredicateFailure ] -> ShowS Source #

Generic TicknPredicateFailure Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Associated Types

type Rep TicknPredicateFailure :: Type -> Type Source #

Methods

from :: TicknPredicateFailure -> Rep TicknPredicateFailure x Source #

to :: Rep TicknPredicateFailure x -> TicknPredicateFailure Source #

NoThunks TicknPredicateFailure Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

Methods

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

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

showTypeOf :: Proxy TicknPredicateFailure -> String Source #

type Rep TicknPredicateFailure Source #
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

type Rep TicknPredicateFailure = D1 (' MetaData "TicknPredicateFailure" "Cardano.Protocol.TPraos.Rules.Tickn" "cardano-protocol-tpraos-0.1.0.0-La5Cvz4HrqgBuFHns9l3Vn" ' False ) ( V1 :: Type -> Type )

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