cardano-ledger-shelley-test-1.9.0.0: Test helpers from cardano-ledger-shelley exposed to other packages
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Ledger.Shelley.Rules.Chain

Synopsis

Documentation

data CHAIN era Source #

Instances

Instances details
(Era era, Era era, PredicateFailure (EraRule "TICKN" era) ~ Void, 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) ~ BbodySignal 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 MockCrypto) (CHAIN era), EncCBORGroup (BlockBody era), AtMostEra "Alonzo" era, State (EraRule "LEDGERS" era) ~ LedgerState era, EraCertState era, EraBlockHeader (BHeader MockCrypto) era) ⇒ STS (CHAIN era) Source # 
Instance details

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

Associated Types

type State (CHAIN era) 
Instance details

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

type State (CHAIN era) = ChainState era
type Signal (CHAIN era) 
Instance details

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

type Signal (CHAIN era) = Block (BHeader MockCrypto) era
type Environment (CHAIN era) 
Instance details

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

type Environment (CHAIN era) = ()
type BaseM (CHAIN era) 
Instance details

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

type BaseM (CHAIN era) = ShelleyBase
type Event (CHAIN era) 
Instance details

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

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

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

type PredicateFailure (CHAIN era) = TestChainPredicateFailure era

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 (BBODY era), PredicateFailure (EraRule "BBODY" era) ~ ShelleyBbodyPredFailure era, Event (EraRule "BBODY" era) ~ Event (BBODY era)) ⇒ Embed (BBODY era) (CHAIN era) Source # 
Instance details

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

Methods

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

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

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

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

Methods

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

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

Era era ⇒ Embed (PRTCL MockCrypto) (CHAIN era) Source # 
Instance details

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

Methods

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

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

(EraGen era, EraBlockBody era, EraBlockHeader (BHeader MockCrypto) era, ApplyBlock TestBlockHeader era, ShelleyEraForecast 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) ~ BbodySignal 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 MockCrypto era), PredicateFailure (EraRule "TICKF" era) ~ Void) ⇒ HasTrace (CHAIN era) (GenEnv MockCrypto era) Source # 
Instance details

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

Associated Types

type BaseEnv (CHAIN era) 
Instance details

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

type BaseEnv (CHAIN era) = Globals

Methods

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

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

sigGen ∷ GenEnv MockCrypto 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 MockCrypto) 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
NFData (NewEpochState era) ⇒ NFData (ChainState era) Source # 
Instance details

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

Methods

rnf ∷ ChainState era → () #

Generic (ChainState era) Source # 
Instance details

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

Associated Types

type Rep (ChainState era) 
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.9.0.0-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) 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))))))

Methods

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

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

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

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

Methods

showsPrec ∷ Int → ChainState era → ShowS #

show ∷ ChainState era → String #

showList ∷ [ChainState era] → ShowS #

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

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

Methods

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

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

(ToExpr (PParams era), ToExpr (TxOut era), ToExpr (StashedAVVMAddresses era), ToExpr (GovState era), ToExpr (CertState era), ToExpr (InstantStake 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.9.0.0-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) 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))))))

data TestChainPredicateFailure era Source #

Constructors

RealChainPredicateFailure ChainPredicateFailure 
BbodyFailure (PredicateFailure (EraRule "BBODY" era)) 
TicknFailure (PredicateFailure (EraRule "TICKN" era)) 
PrtclFailure (PredicateFailure (PRTCL MockCrypto)) 
PrtclSeqFailure PrtlSeqFailure 

Instances

Instances details
Generic (TestChainPredicateFailure era) Source # 
Instance details

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

Associated Types

type Rep (TestChainPredicateFailure era) 
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.9.0.0-inplace" 'False) ((C1 ('MetaCons "RealChainPredicateFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainPredicateFailure)) :+: C1 ('MetaCons "BbodyFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "BBODY" era))))) :+: (C1 ('MetaCons "TicknFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "TICKN" era)))) :+: (C1 ('MetaCons "PrtclFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (PRTCL MockCrypto)))) :+: C1 ('MetaCons "PrtclSeqFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PrtlSeqFailure)))))

Methods

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

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

(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 #

show ∷ TestChainPredicateFailure era → String #

showList ∷ [TestChainPredicateFailure era] → ShowS #

(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 #

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

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.9.0.0-inplace" 'False) ((C1 ('MetaCons "RealChainPredicateFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainPredicateFailure)) :+: C1 ('MetaCons "BbodyFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "BBODY" era))))) :+: (C1 ('MetaCons "TicknFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (EraRule "TICKN" era)))) :+: (C1 ('MetaCons "PrtclFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PredicateFailure (PRTCL MockCrypto)))) :+: C1 ('MetaCons "PrtclSeqFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PrtlSeqFailure)))))

data ChainEvent era Source #

Constructors

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

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 = Void
type PredicateFailure (UTXO era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxo

type PredicateFailure (UTXO era) = AllegraUtxoPredFailure era
type PredicateFailure (UTXOW era) 
Instance details

Defined in Cardano.Ledger.Allegra.Rules.Utxow

type PredicateFailure (UTXOW era) = ShelleyUtxowPredFailure era
type PredicateFailure (BBODY era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Bbody

type PredicateFailure (BBODY era) = AlonzoBbodyPredFailure era
type PredicateFailure (LEDGER era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledger

type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (LEDGERS era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Ledgers

type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure era
type PredicateFailure (UTXO era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxo

type PredicateFailure (UTXO era) = AlonzoUtxoPredFailure era
type PredicateFailure (UTXOS era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxos

type PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure era
type PredicateFailure (UTXOW era) 
Instance details

Defined in Cardano.Ledger.Alonzo.Rules.Utxow

type PredicateFailure (UTXOW era) = AlonzoUtxowPredFailure era
type PredicateFailure (LEDGER era) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Ledger

type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (UTXO era) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxo

type PredicateFailure (UTXO era) = BabbageUtxoPredFailure era
type PredicateFailure (UTXOS era) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxos

type PredicateFailure (UTXOS era) = AlonzoUtxosPredFailure era
type PredicateFailure (UTXOW era) 
Instance details

Defined in Cardano.Ledger.Babbage.Rules.Utxow

type PredicateFailure (UTXOW era) = BabbageUtxowPredFailure era
type PredicateFailure (BBODY era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Bbody

type PredicateFailure (BBODY era) = ConwayBbodyPredFailure era
type PredicateFailure (CERT era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Cert

type PredicateFailure (CERT era) = ConwayCertPredFailure era
type PredicateFailure (CERTS era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Certs

type PredicateFailure (CERTS era) = ConwayCertsPredFailure era
type PredicateFailure (DELEG era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Deleg

type PredicateFailure (DELEG era) = ConwayDelegPredFailure era
type PredicateFailure (ENACT era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Enact

type PredicateFailure (ENACT era) = Void
type PredicateFailure (EPOCH era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Epoch

type PredicateFailure (EPOCH era) = Void
type PredicateFailure (GOV era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Gov

type PredicateFailure (GOV era) = ConwayGovPredFailure era
type PredicateFailure (GOVCERT era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.GovCert

type PredicateFailure (GOVCERT era) = ConwayGovCertPredFailure era
type PredicateFailure (HARDFORK era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.HardFork

type PredicateFailure (HARDFORK era) = Void
type PredicateFailure (LEDGER era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ledger

type PredicateFailure (LEDGER era) = ConwayLedgerPredFailure era
type PredicateFailure (MEMPOOL era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Mempool

type PredicateFailure (MEMPOOL era) = ConwayLedgerPredFailure era
type PredicateFailure (NEWEPOCH era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.NewEpoch

type PredicateFailure (NEWEPOCH era) = Void
type PredicateFailure (RATIFY era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Ratify

type PredicateFailure (RATIFY era) = Void
type PredicateFailure (TICKF era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Tickf

type PredicateFailure (TICKF era) = Void
type PredicateFailure (UTXO era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxo

type PredicateFailure (UTXO era) = ConwayUtxoPredFailure era
type PredicateFailure (UTXOS era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxos

type PredicateFailure (UTXOS era) = ConwayUtxosPredFailure era
type PredicateFailure (UTXOW era) 
Instance details

Defined in Cardano.Ledger.Conway.Rules.Utxow

type PredicateFailure (UTXOW era) = ConwayUtxowPredFailure era
type PredicateFailure (BBODY era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.Bbody

type PredicateFailure (BBODY era) = DijkstraBbodyPredFailure era
type PredicateFailure (CERT era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.Cert

type PredicateFailure (CERT era) = ConwayCertPredFailure era
type PredicateFailure (GOV era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.Gov

type PredicateFailure (GOV era) = DijkstraGovPredFailure era
type PredicateFailure (GOVCERT era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.GovCert

type PredicateFailure (GOVCERT era) = DijkstraGovCertPredFailure era
type PredicateFailure (LEDGER era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.Ledger

type PredicateFailure (LEDGER era) = DijkstraLedgerPredFailure era
type PredicateFailure (MEMPOOL era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.Mempool

type PredicateFailure (MEMPOOL era) = DijkstraMempoolPredFailure era
type PredicateFailure (SUBCERT era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubCert

type PredicateFailure (SUBCERT era) = DijkstraSubCertPredFailure era
type PredicateFailure (SUBCERTS era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubCerts

type PredicateFailure (SUBCERTS era) = DijkstraSubCertsPredFailure era
type PredicateFailure (SUBDELEG era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubDeleg

type PredicateFailure (SUBDELEG era) = DijkstraSubDelegPredFailure era
type PredicateFailure (SUBGOV era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGov

type PredicateFailure (SUBGOV era) = DijkstraSubGovPredFailure era
type PredicateFailure (SUBGOVCERT era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubGovCert

type PredicateFailure (SUBGOVCERT era) = DijkstraSubGovCertPredFailure era
type PredicateFailure (SUBLEDGER era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedger

type PredicateFailure (SUBLEDGER era) = DijkstraSubLedgerPredFailure era
type PredicateFailure (SUBLEDGERS era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubLedgers

type PredicateFailure (SUBLEDGERS era) = DijkstraSubLedgersPredFailure era
type PredicateFailure (SUBPOOL era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubPool

type PredicateFailure (SUBPOOL era) = DijkstraSubPoolPredFailure era
type PredicateFailure (SUBUTXO era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxo

type PredicateFailure (SUBUTXO era) = DijkstraSubUtxoPredFailure era
type PredicateFailure (SUBUTXOW era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.SubUtxow

type PredicateFailure (SUBUTXOW era) = DijkstraSubUtxowPredFailure era
type PredicateFailure (UTXO era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.Utxo

type PredicateFailure (UTXO era) = DijkstraUtxoPredFailure era
type PredicateFailure (UTXOW era) 
Instance details

Defined in Cardano.Ledger.Dijkstra.Rules.Utxow

type PredicateFailure (UTXOW era) = DijkstraUtxowPredFailure era
type PredicateFailure (BBODY era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Bbody

type PredicateFailure (BBODY era) = ShelleyBbodyPredFailure era
type PredicateFailure (DELEG era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Deleg

type PredicateFailure (DELEG era) = ShelleyDelegPredFailure era
type PredicateFailure (DELEGS era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delegs

type PredicateFailure (DELEGS era) = ShelleyDelegsPredFailure era
type PredicateFailure (DELPL era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Delpl

type PredicateFailure (DELPL era) = ShelleyDelplPredFailure era
type PredicateFailure (EPOCH era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Epoch

type PredicateFailure (EPOCH era) = Void
type PredicateFailure (LEDGER era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledger

type PredicateFailure (LEDGER era) = ShelleyLedgerPredFailure era
type PredicateFailure (LEDGERS era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ledgers

type PredicateFailure (LEDGERS era) = ShelleyLedgersPredFailure era
type PredicateFailure (MIR era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Mir

type PredicateFailure (MIR era) = Void
type PredicateFailure (NEWEPOCH era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.NewEpoch

type PredicateFailure (NEWEPOCH era) = Void
type PredicateFailure (NEWPP era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Newpp

type PredicateFailure (NEWPP era) = Void
type PredicateFailure (POOL era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Pool

type PredicateFailure (POOL era) = ShelleyPoolPredFailure era
type PredicateFailure (POOLREAP era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.PoolReap

type PredicateFailure (POOLREAP era) = Void
type PredicateFailure (PPUP era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Ppup

type PredicateFailure (PPUP era) = ShelleyPpupPredFailure era
type PredicateFailure (RUPD era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Rupd

type PredicateFailure (RUPD era) = Void
type PredicateFailure (SNAP era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Snap

type PredicateFailure (SNAP era) = Void
type PredicateFailure (TICK era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (TICK era) = Void
type PredicateFailure (TICKF era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Tick

type PredicateFailure (TICKF era) = Void
type PredicateFailure (UPEC era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Upec

type PredicateFailure (UPEC era) = Void
type PredicateFailure (UTXO era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxo

type PredicateFailure (UTXO era) = ShelleyUtxoPredFailure era
type PredicateFailure (UTXOW era) 
Instance details

Defined in Cardano.Ledger.Shelley.Rules.Utxow

type PredicateFailure (UTXOW 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
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
NFData AdaPots 
Instance details

Defined in Cardano.Ledger.Shelley.AdaPots

Methods

rnf ∷ AdaPots → () #

Generic AdaPots 
Instance details

Defined in Cardano.Ledger.Shelley.AdaPots

Associated Types

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.19.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)))))

Methods

from ∷ AdaPots → Rep AdaPots x #

to ∷ Rep AdaPots x → AdaPots #

Show AdaPots 
Instance details

Defined in Cardano.Ledger.Shelley.AdaPots

Methods

showsPrec ∷ Int → AdaPots → ShowS #

show ∷ AdaPots → String #

showList ∷ [AdaPots] → ShowS #

Eq AdaPots 
Instance details

Defined in Cardano.Ledger.Shelley.AdaPots

Methods

(==) ∷ AdaPots → AdaPots → Bool #

(/=) ∷ AdaPots → AdaPots → Bool #

ToExpr AdaPots 
Instance details

Defined in Test.Cardano.Ledger.Shelley.TreeDiff

Methods

toExpr ∷ AdaPots → Expr Source #

listToExpr ∷ [AdaPots] → Expr 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.19.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 ∷ (EraGov era, EraStake era, EraCertState era, Default (StashedAVVMAddresses era)) ⇒ WithOrigin LastAppliedBlock → EpochNo → UTxO era → Coin → Map (KeyHash 'GenesisRole) GenDelegPair → PParams era → Nonce → ChainState era Source #

Creates a valid initial chain state

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

Calculate the total ada in the chain state

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

Calculate the total ada pots in the chain state

chainStateNesL ∷ ∀ era f. Functor f ⇒ (NewEpochState era → f (NewEpochState era)) → ChainState era → f (ChainState era) Source #

Orphan instances