cardano-ledger-shelley-test-1.4.0.1: Test helpers from cardano-ledger-shelley exposed to other packages
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Shelley.Rules.Chain

Synopsis

Documentation

data CHAIN era Source #

Instances

Instances details
(Era era, Era era, PredicateFailure (EraRule "TICKN" era) ~ TicknPredicateFailure, Event (EraRule "TICKN" era) ~ Void) ⇒ Embed TICKN (CHAIN era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

Methods

wrapFailed ∷ PredicateFailure TICKN → PredicateFailure (CHAIN era) Source #

wrapEvent ∷ Event TICKN → Event (CHAIN era) Source #

(EraGov era, Embed (EraRule "BBODY" era) (CHAIN era), Environment (EraRule "BBODY" era) ~ BbodyEnv era, State (EraRule "BBODY" era) ~ ShelleyBbodyState era, Signal (EraRule "BBODY" era) ~ Block (BHeaderView (EraCrypto era)) era, Embed (EraRule "TICKN" era) (CHAIN era), Environment (EraRule "TICKN" era) ~ TicknEnv, State (EraRule "TICKN" era) ~ TicknState, Signal (EraRule "TICKN" era) ~ Bool, Embed (EraRule "TICK" era) (CHAIN era), Environment (EraRule "TICK" era) ~ (), State (EraRule "TICK" era) ~ NewEpochState era, Signal (EraRule "TICK" era) ~ SlotNo, Embed (PRTCL (EraCrypto era)) (CHAIN era), EncCBORGroup (TxSeq era), ProtVerAtMost era 6, State (EraRule "LEDGERS" era) ~ LedgerState era) ⇒ STS (CHAIN era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

Associated Types

type State (CHAIN era) Source #

type Signal (CHAIN era) Source #

type Environment (CHAIN era) Source #

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

type Event (CHAIN era) Source #

type PredicateFailure (CHAIN era) Source #

Methods

initialRules ∷ [InitialRule (CHAIN era)] Source #

transitionRules ∷ [TransitionRule (CHAIN era)] Source #

assertions ∷ [Assertion (CHAIN era)] Source #

renderAssertionViolation ∷ AssertionViolation (CHAIN era) → String Source #

(Era era, Era era, STS (ShelleyBBODY era), PredicateFailure (EraRule "BBODY" era) ~ ShelleyBbodyPredFailure era, Event (EraRule "BBODY" era) ~ Event (ShelleyBBODY era)) ⇒ Embed (ShelleyBBODY era) (CHAIN era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

Methods

wrapFailed ∷ PredicateFailure (ShelleyBBODY era) → PredicateFailure (CHAIN era) Source #

wrapEvent ∷ Event (ShelleyBBODY era) → Event (CHAIN era) Source #

(Era era, Era era, STS (ShelleyTICK era), PredicateFailure (EraRule "TICK" era) ~ ShelleyTickPredFailure era, Event (EraRule "TICK" era) ~ ShelleyTickEvent era) ⇒ Embed (ShelleyTICK era) (CHAIN era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

Methods

wrapFailed ∷ PredicateFailure (ShelleyTICK era) → PredicateFailure (CHAIN era) Source #

wrapEvent ∷ Event (ShelleyTICK era) → Event (CHAIN era) Source #

(Era era, c ~ EraCrypto era, Era era, STS (PRTCL c)) ⇒ Embed (PRTCL c) (CHAIN era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

Methods

wrapFailed ∷ PredicateFailure (PRTCL c) → PredicateFailure (CHAIN era) Source #

wrapEvent ∷ Event (PRTCL c) → Event (CHAIN era) Source #

(EraGen era, EraSegWits era, Mock (EraCrypto era), ApplyBlock era, GetLedgerView era, MinLEDGER_STS era, MinCHAIN_STS era, Embed (EraRule "BBODY" era) (CHAIN era), Environment (EraRule "BBODY" era) ~ BbodyEnv era, State (EraRule "BBODY" era) ~ ShelleyBbodyState era, Signal (EraRule "BBODY" era) ~ Block (BHeaderView (EraCrypto era)) era, Embed (EraRule "TICKN" era) (CHAIN era), Environment (EraRule "TICKN" era) ~ TicknEnv, State (EraRule "TICKN" era) ~ TicknState, Signal (EraRule "TICKN" era) ~ Bool, Embed (EraRule "TICK" era) (CHAIN era), Environment (EraRule "TICK" era) ~ (), State (EraRule "TICK" era) ~ NewEpochState era, Signal (EraRule "TICK" era) ~ SlotNo, HasTrace (EraRule "LEDGERS" era) (GenEnv era)) ⇒ HasTrace (CHAIN era) (GenEnv era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.Chain

Associated Types

type BaseEnv (CHAIN era) Source #

Methods

interpretSTS ∷ HasCallStack ⇒ BaseEnv (CHAIN era) → BaseM (CHAIN era) a → a Source #

envGen ∷ GenEnv era → Gen (Environment (CHAIN era)) Source #

sigGen ∷ GenEnv era → Environment (CHAIN era) → State (CHAIN era) → Gen (Signal (CHAIN era)) Source #

shrinkSignal ∷ Signal (CHAIN era) → [Signal (CHAIN era)] Source #

type BaseM (CHAIN era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

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

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

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

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

type Event (CHAIN era) = ChainEvent era
type PredicateFailure (CHAIN era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

type PredicateFailure (CHAIN era) = TestChainPredicateFailure era
type Signal (CHAIN era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

type Signal (CHAIN era) = Block (BHeader (EraCrypto era)) era
type State (CHAIN era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

type State (CHAIN era) = ChainState era
type BaseEnv (CHAIN era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.Chain

type BaseEnv (CHAIN era) = Globals

data ChainState era Source #

Constructors

ChainState 

Fields

Instances

Instances details
Generic (ChainState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

Associated Types

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

Methods

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

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

Show (NewEpochState era) ⇒ Show (ChainState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

Methods

showsPrec ∷ Int → ChainState era → ShowS Source #

show ∷ ChainState era → String Source #

showList ∷ [ChainState era] → ShowS Source #

NFData (NewEpochState era) ⇒ NFData (ChainState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

Methods

rnf ∷ ChainState era → () Source #

Eq (NewEpochState era) ⇒ Eq (ChainState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

Methods

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

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

(ToExpr (PParams era), ToExpr (TxOut era), ToExpr (StashedAVVMAddresses era), ToExpr (GovState era)) ⇒ ToExpr (ChainState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

Methods

toExpr ∷ ChainState era → Expr Source #

listToExpr ∷ [ChainState era] → Expr Source #

type Rep (ChainState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

type Rep (ChainState era) = D1 ('MetaData "ChainState" "Test.Cardano.Ledger.Shelley.Rules.Chain" "cardano-ledger-shelley-test-1.4.0.1-inplace" 'False) (C1 ('MetaCons "ChainState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "chainNes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NewEpochState era)) :*: (S1 ('MetaSel ('Just "chainOCertIssue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map (KeyHash 'BlockIssuer (EraCrypto era)) Word64)) :*: S1 ('MetaSel ('Just "chainEpochNonce") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce))) :*: ((S1 ('MetaSel ('Just "chainEvolvingNonce") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce) :*: S1 ('MetaSel ('Just "chainCandidateNonce") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce)) :*: (S1 ('MetaSel ('Just "chainPrevEpochNonce") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Nonce) :*: S1 ('MetaSel ('Just "chainLastAppliedBlock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (WithOrigin (LastAppliedBlock (EraCrypto era))))))))

data TestChainPredicateFailure era Source #

Constructors

RealChainPredicateFailure !ChainPredicateFailure 
BbodyFailure !(PredicateFailure (EraRule "BBODY" era)) 
TickFailure !(PredicateFailure (EraRule "TICK" era)) 
TicknFailure !(PredicateFailure (EraRule "TICKN" era)) 
PrtclFailure !(PredicateFailure (PRTCL (EraCrypto era))) 
PrtclSeqFailure !(PrtlSeqFailure (EraCrypto era)) 

Instances

Instances details
Generic (TestChainPredicateFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

Associated Types

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

Methods

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

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

(Era era, Show (PredicateFailure (EraRule "BBODY" era)), Show (PredicateFailure (EraRule "TICK" era)), Show (PredicateFailure (EraRule "TICKN" era))) ⇒ Show (TestChainPredicateFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

Methods

showsPrec ∷ Int → TestChainPredicateFailure era → ShowS Source #

show ∷ TestChainPredicateFailure era → String Source #

showList ∷ [TestChainPredicateFailure era] → ShowS Source #

(Era era, Eq (PredicateFailure (EraRule "BBODY" era)), Eq (PredicateFailure (EraRule "TICK" era)), Eq (PredicateFailure (EraRule "TICKN" era))) ⇒ Eq (TestChainPredicateFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

Methods

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

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

(Era era, NoThunks (PredicateFailure (EraRule "BBODY" era)), NoThunks (PredicateFailure (EraRule "TICK" era)), NoThunks (PredicateFailure (EraRule "TICKN" era))) ⇒ NoThunks (TestChainPredicateFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

Methods

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

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

showTypeOf ∷ Proxy (TestChainPredicateFailure era) → String Source #

type Rep (TestChainPredicateFailure era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

type Rep (TestChainPredicateFailure era) = D1 ('MetaData "TestChainPredicateFailure" "Test.Cardano.Ledger.Shelley.Rules.Chain" "cardano-ledger-shelley-test-1.4.0.1-inplace" 'False) ((C1 ('MetaCons "RealChainPredicateFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainPredicateFailure)) :+: (C1 ('MetaCons "BbodyFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PredicateFailure (EraRule "BBODY" era)))) :+: C1 ('MetaCons "TickFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PredicateFailure (EraRule "TICK" era)))))) :+: (C1 ('MetaCons "TicknFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PredicateFailure (EraRule "TICKN" era)))) :+: (C1 ('MetaCons "PrtclFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PredicateFailure (PRTCL (EraCrypto era))))) :+: C1 ('MetaCons "PrtclSeqFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PrtlSeqFailure (EraCrypto era)))))))

data ChainEvent era Source #

Constructors

BbodyEvent !(Event (EraRule "BBODY" era)) 
TickEvent !(Event (EraRule "TICK" era)) 
TicknEvent !(Event (EraRule "TICKN" era)) 
PrtclEvent !(Event (PRTCL (EraCrypto era))) 

type family PredicateFailure a Source #

Descriptive type for the possible failures which might cause a transition to fail.

As a convention, PredicateFailures 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 PredicateFailures 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 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Tickn

type PredicateFailure TICKN = TicknPredicateFailure
type PredicateFailure (AllegraUTXO era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type PredicateFailure (AllegraUTXO era) = AllegraUtxoPredFailure era
type PredicateFailure (AllegraUTXOW era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type PredicateFailure (AllegraUTXOW era) = ShelleyUtxowPredFailure era
type PredicateFailure (AlonzoBBODY era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type PredicateFailure (AlonzoBBODY era) = AlonzoBbodyPredFailure era
type PredicateFailure (AlonzoLEDGER era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type PredicateFailure (AlonzoLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (AlonzoUTXO era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type PredicateFailure (AlonzoUTXO era) = AlonzoUtxoPredFailure era
type PredicateFailure (AlonzoUTXOS era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type PredicateFailure (AlonzoUTXOS era) = AlonzoUtxosPredFailure era
type PredicateFailure (AlonzoUTXOW era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type PredicateFailure (AlonzoUTXOW era) = AlonzoUtxowPredFailure era
type PredicateFailure (BabbageLEDGER era) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type PredicateFailure (BabbageLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (BabbageUTXO era) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

type PredicateFailure (BabbageUTXO era) = BabbageUtxoPredFailure era
type PredicateFailure (BabbageUTXOS era) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type PredicateFailure (BabbageUTXOS era) = AlonzoUtxosPredFailure era
type PredicateFailure (BabbageUTXOW era) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type PredicateFailure (BabbageUTXOW era) = BabbageUtxowPredFailure era
type PredicateFailure (ConwayCERT era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type PredicateFailure (ConwayCERT era) = ConwayCertPredFailure era
type PredicateFailure (ConwayCERTS era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type PredicateFailure (ConwayCERTS era) = ConwayCertsPredFailure era
type PredicateFailure (ConwayDELEG era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type PredicateFailure (ConwayDELEG era) = ConwayDelegPredFailure era
type PredicateFailure (ConwayENACT era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type PredicateFailure (ConwayENACT era) = Void
type PredicateFailure (ConwayEPOCH era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

type PredicateFailure (ConwayEPOCH era) = Void
type PredicateFailure (ConwayGOV era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type PredicateFailure (ConwayGOV era) = ConwayGovPredFailure era
type PredicateFailure (ConwayGOVCERT era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type PredicateFailure (ConwayGOVCERT era) = ConwayGovCertPredFailure era
type PredicateFailure (ConwayLEDGER era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type PredicateFailure (ConwayLEDGER era) = ConwayLedgerPredFailure era
type PredicateFailure (ConwayNEWEPOCH era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type PredicateFailure (ConwayNEWEPOCH era) = ConwayNewEpochPredFailure era
type PredicateFailure (ConwayRATIFY era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ratify

type PredicateFailure (ConwayRATIFY era) = Void
type PredicateFailure (ConwayTICKF era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

type PredicateFailure (ConwayTICKF era) = ConwayTickfPredFailure era
type PredicateFailure (ConwayUTXO era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

type PredicateFailure (ConwayUTXO era) = ConwayUtxoPredFailure era
type PredicateFailure (ConwayUTXOS era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type PredicateFailure (ConwayUTXOS era) = ConwayUtxosPredFailure era
type PredicateFailure (ConwayUTXOW era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type PredicateFailure (ConwayUTXOW era) = ConwayUtxowPredFailure era
type PredicateFailure (ShelleyBBODY era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type PredicateFailure (ShelleyBBODY era) = ShelleyBbodyPredFailure era
type PredicateFailure (ShelleyDELEG era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure (ShelleyDELEG era) = ShelleyDelegPredFailure era
type PredicateFailure (ShelleyDELEGS era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure (ShelleyDELEGS era) = ShelleyDelegsPredFailure era
type PredicateFailure (ShelleyDELPL era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure (ShelleyDELPL era) = ShelleyDelplPredFailure era
type PredicateFailure (ShelleyEPOCH era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure (ShelleyEPOCH era) = ShelleyEpochPredFailure era
type PredicateFailure (ShelleyLEDGER era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure (ShelleyLEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (ShelleyLEDGERS era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure (ShelleyLEDGERS era) = ShelleyLedgersPredFailure era
type PredicateFailure (ShelleyMIR era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure (ShelleyMIR era) = ShelleyMirPredFailure era
type PredicateFailure (ShelleyNEWEPOCH era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure (ShelleyNEWEPOCH era) = ShelleyNewEpochPredFailure era
type PredicateFailure (ShelleyNEWPP era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type PredicateFailure (ShelleyNEWPP era) = ShelleyNewppPredFailure era
type PredicateFailure (ShelleyPOOL era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type PredicateFailure (ShelleyPOOL era) = ShelleyPoolPredFailure era
type PredicateFailure (ShelleyPOOLREAP era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure (ShelleyPOOLREAP era) = ShelleyPoolreapPredFailure era
type PredicateFailure (ShelleyPPUP era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type PredicateFailure (ShelleyPPUP era) = ShelleyPpupPredFailure era
type PredicateFailure (ShelleyRUPD era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure (ShelleyRUPD era) = ShelleyRupdPredFailure era
type PredicateFailure (ShelleySNAP era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type PredicateFailure (ShelleySNAP era) = ShelleySnapPredFailure era
type PredicateFailure (ShelleyTICK era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICK era) = ShelleyTickPredFailure era
type PredicateFailure (ShelleyTICKF era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (ShelleyTICKF era) = ShelleyTickfPredFailure era
type PredicateFailure (ShelleyUPEC era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure (ShelleyUPEC era) = ShelleyUpecPredFailure era
type PredicateFailure (ShelleyUTXO era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure (ShelleyUTXO era) = ShelleyUtxoPredFailure era
type PredicateFailure (ShelleyUTXOW era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type PredicateFailure (ShelleyUTXOW era) = ShelleyUtxowPredFailure era
type PredicateFailure (CERTS era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert

type PredicateFailure (CERTS era)
type PredicateFailure (CHAIN era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Shelley.Rules.Chain

type PredicateFailure (CHAIN era) = TestChainPredicateFailure era
type PredicateFailure (OCERT c) 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.OCert

type PredicateFailure (OCERT c) = OcertPredicateFailure c
type PredicateFailure (OVERLAY c) 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Overlay

type PredicateFailure (OVERLAY c) = OverlayPredicateFailure c
type PredicateFailure (PRTCL c) 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Prtcl

type PredicateFailure (PRTCL c) = PrtclPredicateFailure c
type PredicateFailure (UPDN c) 
Instance details

Defined in Cardano.Protocol.TPraos.Rules.Updn

type PredicateFailure (UPDN c) = UpdnPredicateFailure c
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 AdaPots Source #

Constructors

AdaPots 

Fields

Instances

Instances details
Generic AdaPots 
Instance details

Defined in Cardano.Ledger.Shelley.AdaPots

Associated Types

type Rep AdaPots ∷ Type → Type Source #

Methods

from ∷ AdaPots → Rep AdaPots x Source #

to ∷ Rep AdaPots x → AdaPots Source #

Show AdaPots 
Instance details

Defined in Cardano.Ledger.Shelley.AdaPots

Methods

showsPrec ∷ Int → AdaPots → ShowS Source #

show ∷ AdaPots → String Source #

showList ∷ [AdaPots] → ShowS Source #

NFData AdaPots 
Instance details

Defined in Cardano.Ledger.Shelley.AdaPots

Methods

rnf ∷ AdaPots → () Source #

Eq AdaPots 
Instance details

Defined in Cardano.Ledger.Shelley.AdaPots

Methods

(==) ∷ AdaPots → AdaPots → Bool Source #

(/=) ∷ AdaPots → AdaPots → Bool Source #

type Rep AdaPots 
Instance details

Defined in Cardano.Ledger.Shelley.AdaPots

type Rep AdaPots = D1 ('MetaData "AdaPots" "Cardano.Ledger.Shelley.AdaPots" "cardano-ledger-shelley-1.11.0.0-inplace" 'False) (C1 ('MetaCons "AdaPots" 'PrefixI 'True) ((S1 ('MetaSel ('Just "treasuryAdaPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: (S1 ('MetaSel ('Just "reservesAdaPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('Just "rewardsAdaPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin))) :*: (S1 ('MetaSel ('Just "utxoAdaPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: (S1 ('MetaSel ('Just "feesAdaPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin) :*: S1 ('MetaSel ('Just "obligationsPot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Obligations)))))

initialShelleyState ∷ ∀ era. (EraTxOut era, EraGov era, Default (StashedAVVMAddresses era)) ⇒ WithOrigin (LastAppliedBlock (EraCrypto era)) → EpochNo → UTxO era → Coin → Map (KeyHash 'Genesis (EraCrypto era)) (GenDelegPair (EraCrypto era)) → PParams era → Nonce → ChainState era Source #

Creates a valid initial chain state

totalAda ∷ (EraTxOut era, EraGov era) ⇒ ChainState era → Coin Source #

Calculate the total ada in the chain state

totalAdaPots ∷ (EraTxOut era, EraGov era) ⇒ ChainState era → AdaPots Source #

Calculate the total ada pots in the chain state

chainStateNesL ∷ Lens' (ChainState era) (NewEpochState era) Source #

Orphan instances

ToExpr (HashHeader c) Source # 
Instance details

Methods

toExpr ∷ HashHeader c → Expr Source #

listToExpr ∷ [HashHeader c] → Expr Source #

ToExpr (LastAppliedBlock c) Source # 
Instance details

Methods

toExpr ∷ LastAppliedBlock c → Expr Source #

listToExpr ∷ [LastAppliedBlock c] → Expr Source #