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, 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, EraTest 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

data MockChainFailure era Source #

Constructors

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

Instances

Instances details

Generic (MockChainFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Associated Types type Rep (MockChainFailure era) ∷ Type → Type # Methods from ∷ MockChainFailure era → Rep (MockChainFailure era) x # to ∷ Rep (MockChainFailure era) x → MockChainFailure era #
(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 # show ∷ MockChainFailure era → String # showList ∷ [MockChainFailure era] → ShowS #
(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 # (/=) ∷ MockChainFailure era → MockChainFailure era → Bool #
(ToExpr (ShelleyTickPredFailure era), ToExpr (PredicateFailure (EraRule "LEDGER" era))) ⇒ ToExpr (MockChainFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods toExpr ∷ MockChainFailure era → Expr Source # listToExpr ∷ [MockChainFailure era] → Expr Source #
type Rep (MockChainFailure era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain type Rep (MockChainFailure era) = D1 ('MetaData "MockChainFailure" "Test.Cardano.Ledger.Generic.MockChain" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "MockChainFromTickFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShelleyTickPredFailure era))) :+: (C1 ('MetaCons "MockChainFromLedgersFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShelleyLedgersPredFailure era))) :+: C1 ('MetaCons "BlocksOutOfOrder" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo))))

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 # show ∷ MockChainEvent era → String # showList ∷ [MockChainEvent era] → ShowS #
(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 # (/=) ∷ MockChainEvent era → MockChainEvent era → Bool #

data MockBlock era Source #

Constructors

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

Instances

Instances details

Generic (MockBlock era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Associated Types type Rep (MockBlock era) ∷ Type → Type # Methods from ∷ MockBlock era → Rep (MockBlock era) x # to ∷ Rep (MockBlock era) x → MockBlock era #
Show (MockBlock era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods showsPrec ∷ Int → MockBlock era → ShowS # show ∷ MockBlock era → String # showList ∷ [MockBlock era] → ShowS #
ToExpr (StrictSeq (Tx era)) ⇒ ToExpr (MockBlock era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods toExpr ∷ MockBlock era → Expr Source # listToExpr ∷ [MockBlock era] → Expr Source #
type Rep (MockBlock era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain type Rep (MockBlock era) = D1 ('MetaData "MockBlock" "Test.Cardano.Ledger.Generic.MockChain" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "MockBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "mbIssuer") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)) :: (S1 ('MetaSel ('Just "mbSlot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :: S1 ('MetaSel ('Just "mbTrans") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Tx era))))))

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 # Methods from ∷ MockChainState era → Rep (MockChainState era) x # to ∷ Rep (MockChainState era) x → MockChainState era #
Show (MockChainState era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods showsPrec ∷ Int → MockChainState era → ShowS # show ∷ MockChainState era → String # showList ∷ [MockChainState era] → ShowS #
(Reflect era, EraCertState era) ⇒ TotalAda (MockChainState era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods totalAda ∷ MockChainState era → Coin Source #
(EraTxOut era, Eq (StashedAVVMAddresses era), Eq (GovState era), Eq (InstantStake era), EraCertState era) ⇒ Eq (MockChainState era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods (==) ∷ MockChainState era → MockChainState era → Bool # (/=) ∷ MockChainState era → MockChainState era → Bool #
(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 #
(Reflect era, ShelleyEraTest era) ⇒ ToExpr (MockChainState era) Source #
Instance details Defined in Test.Cardano.Ledger.Generic.MockChain Methods toExpr ∷ MockChainState era → Expr Source # listToExpr ∷ [MockChainState era] → Expr 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, ShelleyEraTest era) ⇒ MockChainState era → Expr Source #

ppMockBlock ∷ ToExpr (StrictSeq (Tx era)) ⇒ MockBlock era → Expr Source #

ppMockChainFailure ∷ ToExpr (MockChainFailure era) ⇒ MockChainFailure era → Expr Source #

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