Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Generic.MockChain

Documentation

data MOCKCHAIN era Source #

Instances

Instances details

(EraGov era, STS (ShelleyTICK era), State (EraRule "TICK" era) ~ NewEpochState era, Signal (EraRule "TICK" era) ~ SlotNo, Environment (EraRule "TICK" era) ~ (), Embed (EraRule "TICK" era) (MOCKCHAIN era), Signal (EraRule "LEDGERS" era) ~ Seq (Tx era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, Embed (EraRule "LEDGERS" era) (MOCKCHAIN era), Signal (EraRule "LEDGER" era) ~ Tx era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, State (EraRule "LEDGER" era) ~ LedgerState era, Eq (PredicateFailure (EraRule "LEDGER" era)), Show (PredicateFailure (EraRule "LEDGER" era))) ⇒ STS (MOCKCHAIN era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Associated Types type State (MOCKCHAIN era) Source # type Signal (MOCKCHAIN era) Source # type Environment (MOCKCHAIN era) Source # type BaseM (MOCKCHAIN era) ∷ Type → Type Source # type Event (MOCKCHAIN era) Source # type PredicateFailure (MOCKCHAIN era) Source # Methods initialRules ∷ [InitialRule (MOCKCHAIN era)] Source # transitionRules ∷ [TransitionRule (MOCKCHAIN era)] Source # assertions ∷ [Assertion (MOCKCHAIN era)] Source # renderAssertionViolation ∷ AssertionViolation (MOCKCHAIN era) → String Source #
(STS (ShelleyLEDGERS era), State (EraRule "LEDGER" era) ~ LedgerState era, Environment (EraRule "LEDGER" era) ~ LedgerEnv era, Signal (EraRule "LEDGER" era) ~ Tx era) ⇒ Embed (ShelleyLEDGERS era) (MOCKCHAIN era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods wrapFailed ∷ PredicateFailure (ShelleyLEDGERS era) → PredicateFailure (MOCKCHAIN era) Source # wrapEvent ∷ Event (ShelleyLEDGERS era) → Event (MOCKCHAIN era) Source #
(STS (ShelleyTICK era), Signal (EraRule "RUPD" era) ~ SlotNo, State (EraRule "RUPD" era) ~ StrictMaybe (PulsingRewUpdate (EraCrypto era)), Environment (EraRule "RUPD" era) ~ RupdEnv era, State (EraRule "NEWEPOCH" era) ~ NewEpochState era, Signal (EraRule "NEWEPOCH" era) ~ EpochNo, State (EraRule "NEWEPOCH" era) ~ NewEpochState era, Environment (EraRule "NEWEPOCH" era) ~ ()) ⇒ Embed (ShelleyTICK era) (MOCKCHAIN era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods wrapFailed ∷ PredicateFailure (ShelleyTICK era) → PredicateFailure (MOCKCHAIN era) Source # wrapEvent ∷ Event (ShelleyTICK era) → Event (MOCKCHAIN era) Source #
(STS (MOCKCHAIN era), Reflect era) ⇒ HasTrace (MOCKCHAIN era) (PredGen era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Trace.TraceMonad Associated Types type BaseEnv (MOCKCHAIN era) Source # Methods interpretSTS ∷ HasCallStack ⇒ BaseEnv (MOCKCHAIN era) → BaseM (MOCKCHAIN era) a → a Source # envGen ∷ PredGen era → Gen (Environment (MOCKCHAIN era)) Source # sigGen ∷ PredGen era → Environment (MOCKCHAIN era) → State (MOCKCHAIN era) → Gen (Signal (MOCKCHAIN era)) Source # shrinkSignal ∷ Signal (MOCKCHAIN era) → [Signal (MOCKCHAIN era)] Source #
(STS (MOCKCHAIN era), Reflect era) ⇒ HasTrace (MOCKCHAIN era) (Gen1 era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Trace Associated Types type BaseEnv (MOCKCHAIN era) Source # Methods interpretSTS ∷ HasCallStack ⇒ BaseEnv (MOCKCHAIN era) → BaseM (MOCKCHAIN era) a → a Source # envGen ∷ Gen1 era → Gen (Environment (MOCKCHAIN era)) Source # sigGen ∷ Gen1 era → Environment (MOCKCHAIN era) → State (MOCKCHAIN era) → Gen (Signal (MOCKCHAIN era)) Source # shrinkSignal ∷ Signal (MOCKCHAIN era) → [Signal (MOCKCHAIN era)] Source #
type BaseM (MOCKCHAIN era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain type BaseM (MOCKCHAIN era) = ShelleyBase
type Environment (MOCKCHAIN era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain type Environment (MOCKCHAIN era) = ()
type Event (MOCKCHAIN era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain type Event (MOCKCHAIN era) = MockChainEvent era
type PredicateFailure (MOCKCHAIN era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain type PredicateFailure (MOCKCHAIN era) = MockChainFailure era
type Signal (MOCKCHAIN era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain type Signal (MOCKCHAIN era) = MockBlock era
type State (MOCKCHAIN era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain type State (MOCKCHAIN era) = MockChainState era
type BaseEnv (MOCKCHAIN era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.Trace type BaseEnv (MOCKCHAIN era) = Globals
type BaseEnv (MOCKCHAIN era) Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Trace.TraceMonad type BaseEnv (MOCKCHAIN era) = Globals

data MockChainFailure era Source #

Constructors

MockChainFromTickFailure !(ShelleyTickPredFailure era)
MockChainFromLedgersFailure !(ShelleyLedgersPredFailure era)
BlocksOutOfOrder !SlotNo !SlotNo

Instances

Instances details

(Show (ShelleyTickPredFailure era), Show (ShelleyLedgersPredFailure era)) ⇒ Show (MockChainFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods showsPrec ∷ Int → MockChainFailure era → ShowS Source # show ∷ MockChainFailure era → String Source # showList ∷ [MockChainFailure era] → ShowS Source #
(Eq (ShelleyTickPredFailure era), Eq (ShelleyLedgersPredFailure era)) ⇒ Eq (MockChainFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods (==) ∷ MockChainFailure era → MockChainFailure era → Bool Source # (/=) ∷ MockChainFailure era → MockChainFailure era → Bool Source #

data MockChainEvent era Source #

Constructors

MockChainFromTickEvent !(ShelleyTickEvent era)
MockChainFromLedgersEvent !(ShelleyLedgersEvent era)

Instances

Instances details

(Show (ShelleyTickEvent era), Show (ShelleyLedgersEvent era)) ⇒ Show (MockChainEvent era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods showsPrec ∷ Int → MockChainEvent era → ShowS Source # show ∷ MockChainEvent era → String Source # showList ∷ [MockChainEvent era] → ShowS Source #
(Eq (ShelleyTickEvent era), Eq (ShelleyLedgersEvent era)) ⇒ Eq (MockChainEvent era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods (==) ∷ MockChainEvent era → MockChainEvent era → Bool Source # (/=) ∷ MockChainEvent era → MockChainEvent era → Bool Source #

data MockBlock era Source #

Constructors

MockBlock
Fields mbIssuer ∷ !(KeyHash 'StakePool (EraCrypto era)) mbSlot ∷ !SlotNo mbTrans ∷ !(StrictSeq (Tx era))

Instances

Instances details

Show (MockBlock era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods showsPrec ∷ Int → MockBlock era → ShowS Source # show ∷ MockBlock era → String Source # showList ∷ [MockBlock era] → ShowS Source #
PrettyA (MockBlock era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods prettyA ∷ MockBlock era → PDoc Source #

data MockChainState era Source #

Constructors

MockChainState
Fields mcsNes ∷ !(NewEpochState era) mcsTickNes ∷ !(NewEpochState era) mcsLastBlock ∷ !SlotNo mcsCount ∷ !Int

Instances

Instances details

Generic (MockChainState era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Associated Types type Rep (MockChainState era) ∷ Type → Type Source # Methods from ∷ MockChainState era → Rep (MockChainState era) x Source # to ∷ Rep (MockChainState era) x → MockChainState era Source #
Show (MockChainState era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods showsPrec ∷ Int → MockChainState era → ShowS Source # show ∷ MockChainState era → String Source # showList ∷ [MockChainState era] → ShowS Source #
Reflect era ⇒ TotalAda (MockChainState era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods totalAda ∷ MockChainState era → Coin Source #
Reflect era ⇒ PrettyA (MockChainState era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods prettyA ∷ MockChainState era → PDoc Source #
(EraTxOut era, Eq (StashedAVVMAddresses era), Eq (GovState era)) ⇒ Eq (MockChainState era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods (==) ∷ MockChainState era → MockChainState era → Bool Source # (/=) ∷ MockChainState era → MockChainState era → Bool Source #
(Era era, NoThunks (NewEpochState era)) ⇒ NoThunks (MockChainState era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods noThunks ∷ Context → MockChainState era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → MockChainState era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (MockChainState era) → String Source #
type Rep (MockChainState era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain type Rep (MockChainState era) = D1 ('MetaData "MockChainState" "Test.Cardano.Ledger.Generic.MockChain" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "MockChainState" 'PrefixI 'True) ((S1 ('MetaSel ('Just "mcsNes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era)) :: S1 ('MetaSel ('Just "mcsTickNes") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era))) :: (S1 ('MetaSel ('Just "mcsLastBlock") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "mcsCount") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int))))

ppMockChainState ∷ Reflect era ⇒ MockChainState era → PDoc Source #

ppMockBlock ∷ MockBlock era → PDoc Source #

ppMockChainFailure ∷ Reflect era ⇒ Proof era → MockChainFailure era → PDoc Source #

noThunksGen ∷ Proof era → MockChainState era → IO (Maybe ThunkInfo) Source #