cardano-ledger-conway-1.14.0.0: Cardano ledger with an updated on-chain governance system.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Conway.Rules.Tickf

Documentation

data ConwayTICKF era Source #

Instances

Instances details
EraGov era ⇒ STS (ConwayTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

Associated Types

type State (ConwayTICKF era) Source #

type Signal (ConwayTICKF era) Source #

type Environment (ConwayTICKF era) Source #

type BaseM (ConwayTICKF era) ∷ Type → Type Source #

type Event (ConwayTICKF era) Source #

type PredicateFailure (ConwayTICKF era) Source #

Methods

initialRules ∷ [InitialRule (ConwayTICKF era)] Source #

transitionRules ∷ [TransitionRule (ConwayTICKF era)] Source #

assertions ∷ [Assertion (ConwayTICKF era)] Source #

renderAssertionViolation ∷ AssertionViolation (ConwayTICKF era) → String Source #

type BaseM (ConwayTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

type BaseM (ConwayTICKF era) = ShelleyBase
type Environment (ConwayTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

type Environment (ConwayTICKF era) = ()
type Event (ConwayTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

type Event (ConwayTICKF era) = ConwayTickfEvent era
type PredicateFailure (ConwayTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

type PredicateFailure (ConwayTICKF era) = ConwayTickfPredFailure era
type Signal (ConwayTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

type Signal (ConwayTICKF era) = SlotNo
type State (ConwayTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

type State (ConwayTICKF era) = NewEpochState era

data ConwayTickfPredFailure era Source #

Instances

Instances details
Generic (ConwayTickfPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

Associated Types

type Rep (ConwayTickfPredFailure era) ∷ Type → Type Source #

Methods

from ∷ ConwayTickfPredFailure era → Rep (ConwayTickfPredFailure era) x Source #

to ∷ Rep (ConwayTickfPredFailure era) x → ConwayTickfPredFailure era Source #

Era era ⇒ Show (ConwayTickfPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

Methods

showsPrec ∷ Int → ConwayTickfPredFailure era → ShowS Source #

show ∷ ConwayTickfPredFailure era → String Source #

showList ∷ [ConwayTickfPredFailure era] → ShowS Source #

Era era ⇒ Eq (ConwayTickfPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

Methods

(==) ∷ ConwayTickfPredFailure era → ConwayTickfPredFailure era → Bool Source #

(/=) ∷ ConwayTickfPredFailure era → ConwayTickfPredFailure era → Bool Source #

NoThunks (ConwayTickfPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

Methods

noThunks ∷ Context → ConwayTickfPredFailure era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ConwayTickfPredFailure era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (ConwayTickfPredFailure era) → String Source #

type Rep (ConwayTickfPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

type Rep (ConwayTickfPredFailure era) = D1 ('MetaData "ConwayTickfPredFailure" "Cardano.Ledger.Conway.Rules.Tickf" "cardano-ledger-conway-1.14.0.0-inplace" 'False) (V1 ∷ Type → Type)

data ConwayTickfEvent era Source #

Orphan instances