cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellNone
LanguageHaskell2010

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 'TopTx era), Environment (EraRule "LEDGERS" era) ~ ShelleyLedgersEnv era, State (EraRule "LEDGERS" era) ~ LedgerState era, Embed (EraRule "LEDGERS" era) (MOCKCHAIN era), Signal (EraRule "LEDGER" era) ~ Tx 'TopTx 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) 
Instance details

Defined in Test.Cardano.Ledger.Generic.MockChain

type State (MOCKCHAIN era) = MockChainState era
type Signal (MOCKCHAIN era) 
Instance details

Defined in Test.Cardano.Ledger.Generic.MockChain

type Signal (MOCKCHAIN era) = MockBlock era
type Environment (MOCKCHAIN era) 
Instance details

Defined in Test.Cardano.Ledger.Generic.MockChain

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

Defined in Test.Cardano.Ledger.Generic.MockChain

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

Defined in Test.Cardano.Ledger.Generic.MockChain

type Event (MOCKCHAIN era) = MockChainEvent era
type PredicateFailure (MOCKCHAIN era) 
Instance details

Defined in Test.Cardano.Ledger.Generic.MockChain

type PredicateFailure (MOCKCHAIN era) = MockChainFailure era

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 'TopTx 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, ToExpr (PredicateFailure (EraRule "LEDGER" era))) ⇒ HasTrace (MOCKCHAIN era) (Gen1 era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.Trace

Associated Types

type BaseEnv (MOCKCHAIN era) 
Instance details

Defined in Test.Cardano.Ledger.Generic.Trace

type BaseEnv (MOCKCHAIN era) = Globals

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

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) 
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 "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)))

Methods

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

to ∷ Rep (MockChainFailure era) x → MockChainFailure 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 (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 (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 "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

Instances

Instances details
Generic (MockBlock era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.MockChain

Associated Types

type Rep (MockBlock era) 
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 'TopTx era))))))

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 'TopTx 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 'TopTx era))))))

data MockChainState era Source #

Constructors

MockChainState 

Fields

Instances

Instances details
(Reflect era, EraCertState era) ⇒ TotalAda (MockChainState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.MockChain

Methods

totalAda ∷ MockChainState era → Coin Source #

Generic (MockChainState era) Source # 
Instance details

Defined in Test.Cardano.Ledger.Generic.MockChain

Associated Types

type Rep (MockChainState era) 
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))))

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 #

(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 'TopTx era)) ⇒ MockBlock era → Expr Source #

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

noThunksGen ∷ (EraTxOut era, NoThunks (GovState era), NoThunks (CertState era), NoThunks (InstantStake era), NoThunks (StashedAVVMAddresses era)) ⇒ MockChainState era → IO (Maybe ThunkInfo) Source #