cardano-ledger-conway-1.16.0.1: 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) ∷ TypeType Source #

type Event (ConwayTICKF era) Source #

type PredicateFailure (ConwayTICKF era) Source #

type BaseM (ConwayTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

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 PredicateFailure (ConwayTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

type Signal (ConwayTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

type State (ConwayTICKF era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

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) ∷ TypeType Source #

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

Defined in Cardano.Ledger.Conway.Rules.Tickf

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

Defined in Cardano.Ledger.Conway.Rules.Tickf

NoThunks (ConwayTickfPredFailure era) Source # 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

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.16.0.1-inplace" 'False) (V1TypeType)

Orphan instances