type Rep S
Instance details Defined in Test.Consensus.GSM.Model type Rep S = D1 ('MetaData "S" "Test.Consensus.GSM.Model" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'True) (C1 ('MetaCons "S" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from ∷ S → Rep S x #

to ∷ Rep S x → S #

Num S Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

(+) ∷ S → S → S #

(-) ∷ S → S → S #

(*) ∷ S → S → S #

negate ∷ S → S #

abs ∷ S → S #

signum ∷ S → S #

fromInteger ∷ Integer → S #

Read S Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

readsPrec ∷ Int → ReadS S #

readList ∷ ReadS [S] #

readPrec ∷ ReadPrec S #

readListPrec ∷ ReadPrec [S] #

Show S Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

showsPrec ∷ Int → S → ShowS #

show ∷ S → String #

showList ∷ [S] → ShowS #

Eq S Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

(==) ∷ S → S → Bool #

(/=) ∷ S → S → Bool #

Ord S Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

compare ∷ S → S → Ordering #

(<) ∷ S → S → Bool #

(<=) ∷ S → S → Bool #

(>) ∷ S → S → Bool #

(>=) ∷ S → S → Bool #

max ∷ S → S → S #

min ∷ S → S → S #

ToExpr S Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

toExpr ∷ S → Expr Source #

listToExpr ∷ [S] → Expr Source #

type Rep S Source #

Instance details

Defined in Test.Consensus.GSM.Model

type Rep S = D1 ('MetaData "S" "Test.Consensus.GSM.Model" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'True) (C1 ('MetaCons "S" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

newtype B Source #

A block count

Constructors

B Int

Instances

Instances details

Enum B Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

succ ∷ B → B #

pred ∷ B → B #

toEnum ∷ Int → B #

fromEnum ∷ B → Int #

enumFrom ∷ B → [B] #

enumFromThen ∷ B → B → [B] #

enumFromTo ∷ B → B → [B] #

enumFromThenTo ∷ B → B → B → [B] #

Generic B Source #

Instance details

Defined in Test.Consensus.GSM.Model

Associated Types

type Rep B
Instance details Defined in Test.Consensus.GSM.Model type Rep B = D1 ('MetaData "B" "Test.Consensus.GSM.Model" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'True) (C1 ('MetaCons "B" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Methods

from ∷ B → Rep B x #

to ∷ Rep B x → B #

Num B Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

(+) ∷ B → B → B #

(-) ∷ B → B → B #

(*) ∷ B → B → B #

negate ∷ B → B #

abs ∷ B → B #

signum ∷ B → B #

fromInteger ∷ Integer → B #

Read B Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

readsPrec ∷ Int → ReadS B #

readList ∷ ReadS [B] #

readPrec ∷ ReadPrec B #

readListPrec ∷ ReadPrec [B] #

Show B Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

showsPrec ∷ Int → B → ShowS #

show ∷ B → String #

showList ∷ [B] → ShowS #

Eq B Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

(==) ∷ B → B → Bool #

(/=) ∷ B → B → Bool #

Ord B Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

compare ∷ B → B → Ordering #

(<) ∷ B → B → Bool #

(<=) ∷ B → B → Bool #

(>) ∷ B → B → Bool #

(>=) ∷ B → B → Bool #

max ∷ B → B → B #

min ∷ B → B → B #

ToExpr B Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

toExpr ∷ B → Expr Source #

listToExpr ∷ [B] → Expr Source #

type Rep B Source #

Instance details

Defined in Test.Consensus.GSM.Model

type Rep B = D1 ('MetaData "B" "Test.Consensus.GSM.Model" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'True) (C1 ('MetaCons "B" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data Context Source #

Constructors

Context
Fields cInitialJudgement ∷ LedgerStateJudgement cIsHaaSatisfied ∷ Set UpstreamPeer → Bool

data Model (r ∷ Type → Type) Source #

Constructors

Model
Fields mCandidates ∷ Map UpstreamPeer Candidate mClock ∷ Time mIdlers ∷ Set UpstreamPeer mNotables ∷ Set Notable mPrev ∷ WhetherPrevTimePasses mSelection ∷ Selection mState ∷ ModelState

Instances

Instances details

Generic (Model r) Source #

Instance details

Defined in Test.Consensus.GSM.Model

Associated Types

type Rep (Model r)

Instance details

Defined in Test.Consensus.GSM.Model

type Rep (Model r) = D1 ('MetaData "Model" "Test.Consensus.GSM.Model" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "Model" 'PrefixI 'True) ((S1 ('MetaSel ('Just "mCandidates") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map UpstreamPeer Candidate)) :*: (S1 ('MetaSel ('Just "mClock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Time) :*: S1 ('MetaSel ('Just "mIdlers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set UpstreamPeer)))) :*: ((S1 ('MetaSel ('Just "mNotables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Notable)) :*: S1 ('MetaSel ('Just "mPrev") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WhetherPrevTimePasses)) :*: (S1 ('MetaSel ('Just "mSelection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Selection) :*: S1 ('MetaSel ('Just "mState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModelState)))))

Methods

from ∷ Model r → Rep (Model r) x #

to ∷ Rep (Model r) x → Model r #

Show (Model r) Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

showsPrec ∷ Int → Model r → ShowS #

show ∷ Model r → String #

showList ∷ [Model r] → ShowS #

ToExpr (Model r) Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

toExpr ∷ Model r → Expr Source #

listToExpr ∷ [Model r] → Expr Source #

type Rep (Model r) Source #

Instance details

Defined in Test.Consensus.GSM.Model

type Rep (Model r) = D1 ('MetaData "Model" "Test.Consensus.GSM.Model" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "Model" 'PrefixI 'True) ((S1 ('MetaSel ('Just "mCandidates") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map UpstreamPeer Candidate)) :*: (S1 ('MetaSel ('Just "mClock") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Time) :*: S1 ('MetaSel ('Just "mIdlers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set UpstreamPeer)))) :*: ((S1 ('MetaSel ('Just "mNotables") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Notable)) :*: S1 ('MetaSel ('Just "mPrev") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 WhetherPrevTimePasses)) :*: (S1 ('MetaSel ('Just "mSelection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Selection) :*: S1 ('MetaSel ('Just "mState") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ModelState)))))

generator ∷ Maybe UpstreamPeer → Model Symbolic → Maybe (Gen (Command Symbolic)) Source #

data Command (r ∷ Type → Type) Source #

TODO restarts (or maybe just killing the GSM thread)

Constructors

Disconnect UpstreamPeer	INVARIANT must be an existing peer Mocks the necessary ChainSync client behavior.
ExtendSelection S	INVARIANT `selectionIsBehind` NOTE Harmless to assume it only advances by `B 1` at a time.
ModifyCandidate UpstreamPeer B	INVARIANT existing peer Mocks the necessary ChainSync client behavior.
NewCandidate UpstreamPeer B	INVARIANT new peer Mocks the necessary ChainSync client behavior.
ReadGsmState
ReadMarker
StartIdling UpstreamPeer	INVARIANT existing peer, not idling
TimePasses Int	tenths of a second INVARIANT positive INVARIANT does not end exactly on an interesting time point; see `boringDur`. NOTE The generator does not yield consecutive `TimePasses` commands, though shrinking might.

Instances

Instances details

Foldable Command Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

foldMap ∷ Monoid m ⇒ (∀ x. p x → m) → Command p → m Source #

Functor Command Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

fmap ∷ (∀ x. p x → q x) → Command p → Command q Source #

Traversable Command Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

traverse ∷ Applicative f ⇒ (∀ a. p a → f (q a)) → Command p → f (Command q) Source #

Read (Command r) Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

readsPrec ∷ Int → ReadS (Command r) #

readList ∷ ReadS [Command r] #

readPrec ∷ ReadPrec (Command r) #

readListPrec ∷ ReadPrec [Command r] #

Show (Command r) Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

showsPrec ∷ Int → Command r → ShowS #

show ∷ Command r → String #

showList ∷ [Command r] → ShowS #

Generic1 Command Source #

Instance details

Defined in Test.Consensus.GSM.Model

Associated Types

type Rep1 Command

Instance details

Defined in Test.Consensus.GSM.Model

Methods

from1 ∷ ∀ (a ∷ Type → Type). Command a → Rep1 Command a #

to1 ∷ ∀ (a ∷ Type → Type). Rep1 Command a → Command a #

CommandNames Command Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

cmdName ∷ ∀ (r ∷ Type → Type). Command r → String Source #

cmdNames ∷ ∀ (r ∷ Type → Type). Proxy (Command r) → [String] Source #

type Rep1 Command Source #

Instance details

Defined in Test.Consensus.GSM.Model

candidateOverSelection ∷ Selection → Candidate → CandidateVersusSelection Source #

data MarkerState Source #

Constructors

Present
Absent

Instances

Instances details

Arbitrary MarkerState Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

arbitrary ∷ Gen MarkerState Source #

shrink ∷ MarkerState → [MarkerState] Source #

Generic MarkerState Source #

Instance details

Defined in Test.Consensus.GSM.Model

Associated Types

type Rep MarkerState
Instance details Defined in Test.Consensus.GSM.Model type Rep MarkerState = D1 ('MetaData "MarkerState" "Test.Consensus.GSM.Model" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "Present" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Absent" 'PrefixI 'False) (U1 ∷ Type → Type))

Methods

from ∷ MarkerState → Rep MarkerState x #

to ∷ Rep MarkerState x → MarkerState #

Read MarkerState Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

readsPrec ∷ Int → ReadS MarkerState #

readList ∷ ReadS [MarkerState] #

readPrec ∷ ReadPrec MarkerState #

readListPrec ∷ ReadPrec [MarkerState] #

Show MarkerState Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

showsPrec ∷ Int → MarkerState → ShowS #

show ∷ MarkerState → String #

showList ∷ [MarkerState] → ShowS #

Eq MarkerState Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

(==) ∷ MarkerState → MarkerState → Bool #

(/=) ∷ MarkerState → MarkerState → Bool #

Ord MarkerState Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

compare ∷ MarkerState → MarkerState → Ordering #

(<) ∷ MarkerState → MarkerState → Bool #

(<=) ∷ MarkerState → MarkerState → Bool #

(>) ∷ MarkerState → MarkerState → Bool #

(>=) ∷ MarkerState → MarkerState → Bool #

max ∷ MarkerState → MarkerState → MarkerState #

min ∷ MarkerState → MarkerState → MarkerState #

ToExpr MarkerState Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

toExpr ∷ MarkerState → Expr Source #

listToExpr ∷ [MarkerState] → Expr Source #

type Rep MarkerState Source #

Instance details

Defined in Test.Consensus.GSM.Model

type Rep MarkerState = D1 ('MetaData "MarkerState" "Test.Consensus.GSM.Model" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "Present" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Absent" 'PrefixI 'False) (U1 ∷ Type → Type))

mock ∷ ∀ (r ∷ Type → Type). Model r → Command r → Response r Source #

shrinker ∷ Model Symbolic → Command Symbolic → [Command Symbolic] Source #

postcondition ∷ Model Concrete → Command Concrete → Response Concrete → Logic Source #

precondition ∷ Context → Model Symbolic → Command Symbolic → Logic Source #

transition ∷ ∀ (r ∷ Type → Type). Context → Model r → Command r → Response r → Model r Source #

initModel ∷ ∀ (r ∷ Type → Type). Context → Model r Source #

data UpstreamPeer Source #

Constructors

Amara
Bao
Cait
Dhani
Eric

Instances

Instances details

CoArbitrary UpstreamPeer Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

coarbitrary ∷ UpstreamPeer → Gen b → Gen b Source #

Function UpstreamPeer Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

function ∷ (UpstreamPeer → b) → UpstreamPeer :-> b Source #

Bounded UpstreamPeer Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

minBound ∷ UpstreamPeer #

maxBound ∷ UpstreamPeer #

Enum UpstreamPeer Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

succ ∷ UpstreamPeer → UpstreamPeer #

pred ∷ UpstreamPeer → UpstreamPeer #

toEnum ∷ Int → UpstreamPeer #

fromEnum ∷ UpstreamPeer → Int #

enumFrom ∷ UpstreamPeer → [UpstreamPeer] #

enumFromThen ∷ UpstreamPeer → UpstreamPeer → [UpstreamPeer] #

enumFromTo ∷ UpstreamPeer → UpstreamPeer → [UpstreamPeer] #

enumFromThenTo ∷ UpstreamPeer → UpstreamPeer → UpstreamPeer → [UpstreamPeer] #

Generic UpstreamPeer Source #

Instance details

Defined in Test.Consensus.GSM.Model

Associated Types

type Rep UpstreamPeer

Instance details

Defined in Test.Consensus.GSM.Model

type Rep UpstreamPeer = D1 ('MetaData "UpstreamPeer" "Test.Consensus.GSM.Model" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) ((C1 ('MetaCons "Amara" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bao" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "Cait" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Dhani" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Eric" 'PrefixI 'False) (U1 ∷ Type → Type))))

Methods

from ∷ UpstreamPeer → Rep UpstreamPeer x #

to ∷ Rep UpstreamPeer x → UpstreamPeer #

Read UpstreamPeer Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

readsPrec ∷ Int → ReadS UpstreamPeer #

readList ∷ ReadS [UpstreamPeer] #

readPrec ∷ ReadPrec UpstreamPeer #

readListPrec ∷ ReadPrec [UpstreamPeer] #

Show UpstreamPeer Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

showsPrec ∷ Int → UpstreamPeer → ShowS #

show ∷ UpstreamPeer → String #

showList ∷ [UpstreamPeer] → ShowS #

Eq UpstreamPeer Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

(==) ∷ UpstreamPeer → UpstreamPeer → Bool #

(/=) ∷ UpstreamPeer → UpstreamPeer → Bool #

Ord UpstreamPeer Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

compare ∷ UpstreamPeer → UpstreamPeer → Ordering #

(<) ∷ UpstreamPeer → UpstreamPeer → Bool #

(<=) ∷ UpstreamPeer → UpstreamPeer → Bool #

(>) ∷ UpstreamPeer → UpstreamPeer → Bool #

(>=) ∷ UpstreamPeer → UpstreamPeer → Bool #

max ∷ UpstreamPeer → UpstreamPeer → UpstreamPeer #

min ∷ UpstreamPeer → UpstreamPeer → UpstreamPeer #

ToExpr UpstreamPeer Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

toExpr ∷ UpstreamPeer → Expr Source #

listToExpr ∷ [UpstreamPeer] → Expr Source #

type Rep UpstreamPeer Source #

Instance details

Defined in Test.Consensus.GSM.Model

type Rep UpstreamPeer = D1 ('MetaData "UpstreamPeer" "Test.Consensus.GSM.Model" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) ((C1 ('MetaCons "Amara" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Bao" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "Cait" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "Dhani" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "Eric" 'PrefixI 'False) (U1 ∷ Type → Type))))

newtype Candidate Source #

The age of the candidate is irrelevant, only its length matters

Constructors

Candidate B

Instances

Instances details

Generic Candidate Source #

Instance details

Defined in Test.Consensus.GSM.Model

Associated Types

type Rep Candidate
Instance details Defined in Test.Consensus.GSM.Model type Rep Candidate = D1 ('MetaData "Candidate" "Test.Consensus.GSM.Model" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'True) (C1 ('MetaCons "Candidate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 B)))

Methods

from ∷ Candidate → Rep Candidate x #

to ∷ Rep Candidate x → Candidate #

Show Candidate Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

showsPrec ∷ Int → Candidate → ShowS #

show ∷ Candidate → String #

showList ∷ [Candidate] → ShowS #

Eq Candidate Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

(==) ∷ Candidate → Candidate → Bool #

(/=) ∷ Candidate → Candidate → Bool #

Ord Candidate Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

compare ∷ Candidate → Candidate → Ordering #

(<) ∷ Candidate → Candidate → Bool #

(<=) ∷ Candidate → Candidate → Bool #

(>) ∷ Candidate → Candidate → Bool #

(>=) ∷ Candidate → Candidate → Bool #

max ∷ Candidate → Candidate → Candidate #

min ∷ Candidate → Candidate → Candidate #

ToExpr Candidate Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

toExpr ∷ Candidate → Expr Source #

listToExpr ∷ [Candidate] → Expr Source #

type Rep Candidate Source #

Instance details

Defined in Test.Consensus.GSM.Model

type Rep Candidate = D1 ('MetaData "Candidate" "Test.Consensus.GSM.Model" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'True) (C1 ('MetaCons "Candidate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 B)))

data Notable Source #

Interesting events to record within the model

TODO some less superficial ones (eg even just combinations of these)

Constructors

BigDurN	there was a "big" `TimesPasses` command
CaughtUpN	the node transitioned from Syncing to CaughtUp
FellBehindN	the node transitioned from CaughtUp to PreSyncing
SyncingToPreSyncingN	the node transition from Syncing to PreSyncing
PreSyncingToSyncingN	the node transition from PreSyncing to Syncing
FlickerN	the node transitioned from CaughtUp to PreSyncing to Syncing and back to CaughtUp "instantly"
NotThrashingN	the anti-thrashing would have allowed `FellBehindN`, but the selection wasn't old enough
TooOldN	the selection was old enough for `FellBehindN`, but the anti-thrashing prevented it

Instances

Instances details

Show Notable Source #
Instance details Defined in Test.Consensus.GSM.Model Methods showsPrec ∷ Int → Notable → ShowS # show ∷ Notable → String # showList ∷ [Notable] → ShowS #
Eq Notable Source #
Instance details Defined in Test.Consensus.GSM.Model Methods (==) ∷ Notable → Notable → Bool # (/=) ∷ Notable → Notable → Bool #
Ord Notable Source #
Instance details Defined in Test.Consensus.GSM.Model Methods compare ∷ Notable → Notable → Ordering # (<) ∷ Notable → Notable → Bool # (<=) ∷ Notable → Notable → Bool # (>) ∷ Notable → Notable → Bool # (>=) ∷ Notable → Notable → Bool # max ∷ Notable → Notable → Notable # min ∷ Notable → Notable → Notable #
ToExpr Notable Source #
Instance details Defined in Test.Consensus.GSM.Model Methods toExpr ∷ Notable → Expr Source # listToExpr ∷ [Notable] → Expr Source #

newtype WhetherPrevTimePasses Source #

Constructors

WhetherPrevTimePasses Bool

Instances

Instances details

Generic WhetherPrevTimePasses Source #

Instance details

Defined in Test.Consensus.GSM.Model

Associated Types

type Rep WhetherPrevTimePasses
Instance details Defined in Test.Consensus.GSM.Model type Rep WhetherPrevTimePasses = D1 ('MetaData "WhetherPrevTimePasses" "Test.Consensus.GSM.Model" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'True) (C1 ('MetaCons "WhetherPrevTimePasses" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

Methods

from ∷ WhetherPrevTimePasses → Rep WhetherPrevTimePasses x #

to ∷ Rep WhetherPrevTimePasses x → WhetherPrevTimePasses #

Show WhetherPrevTimePasses Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

showsPrec ∷ Int → WhetherPrevTimePasses → ShowS #

show ∷ WhetherPrevTimePasses → String #

showList ∷ [WhetherPrevTimePasses] → ShowS #

Eq WhetherPrevTimePasses Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

(==) ∷ WhetherPrevTimePasses → WhetherPrevTimePasses → Bool #

(/=) ∷ WhetherPrevTimePasses → WhetherPrevTimePasses → Bool #

Ord WhetherPrevTimePasses Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

compare ∷ WhetherPrevTimePasses → WhetherPrevTimePasses → Ordering #

(<) ∷ WhetherPrevTimePasses → WhetherPrevTimePasses → Bool #

(<=) ∷ WhetherPrevTimePasses → WhetherPrevTimePasses → Bool #

(>) ∷ WhetherPrevTimePasses → WhetherPrevTimePasses → Bool #

(>=) ∷ WhetherPrevTimePasses → WhetherPrevTimePasses → Bool #

max ∷ WhetherPrevTimePasses → WhetherPrevTimePasses → WhetherPrevTimePasses #

min ∷ WhetherPrevTimePasses → WhetherPrevTimePasses → WhetherPrevTimePasses #

ToExpr WhetherPrevTimePasses Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

toExpr ∷ WhetherPrevTimePasses → Expr Source #

listToExpr ∷ [WhetherPrevTimePasses] → Expr Source #

type Rep WhetherPrevTimePasses Source #

Instance details

Defined in Test.Consensus.GSM.Model

type Rep WhetherPrevTimePasses = D1 ('MetaData "WhetherPrevTimePasses" "Test.Consensus.GSM.Model" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'True) (C1 ('MetaCons "WhetherPrevTimePasses" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

data Selection Source #

The cumulative growth relative to whatever length the initial selection was and the slot relative to the start of the test (which is assumed to be the exact onset of some slot)

Constructors

Selection !B !S

Instances

Instances details

Generic Selection Source #

Instance details

Defined in Test.Consensus.GSM.Model

Associated Types

type Rep Selection

Instance details

Defined in Test.Consensus.GSM.Model

type Rep Selection = D1 ('MetaData "Selection" "Test.Consensus.GSM.Model" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "Selection" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 B) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 S)))

Methods

from ∷ Selection → Rep Selection x #

to ∷ Rep Selection x → Selection #

Show Selection Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

showsPrec ∷ Int → Selection → ShowS #

show ∷ Selection → String #

showList ∷ [Selection] → ShowS #

Eq Selection Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

(==) ∷ Selection → Selection → Bool #

(/=) ∷ Selection → Selection → Bool #

Ord Selection Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

compare ∷ Selection → Selection → Ordering #

(<) ∷ Selection → Selection → Bool #

(<=) ∷ Selection → Selection → Bool #

(>) ∷ Selection → Selection → Bool #

(>=) ∷ Selection → Selection → Bool #

max ∷ Selection → Selection → Selection #

min ∷ Selection → Selection → Selection #

ToExpr Selection Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

toExpr ∷ Selection → Expr Source #

listToExpr ∷ [Selection] → Expr Source #

type Rep Selection Source #

Instance details

Defined in Test.Consensus.GSM.Model

type Rep Selection = D1 ('MetaData "Selection" "Test.Consensus.GSM.Model" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "Selection" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 B) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 S)))

data ModelState Source #

Constructors

ModelPreSyncing
ModelSyncing
ModelCaughtUp !Time	when the model most recently transitioned to `CaughtUp`.

Instances

Instances details

Generic ModelState Source #

Instance details

Defined in Test.Consensus.GSM.Model

Associated Types

type Rep ModelState

Instance details

Defined in Test.Consensus.GSM.Model

type Rep ModelState = D1 ('MetaData "ModelState" "Test.Consensus.GSM.Model" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "ModelPreSyncing" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ModelSyncing" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ModelCaughtUp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Time))))

Methods

from ∷ ModelState → Rep ModelState x #

to ∷ Rep ModelState x → ModelState #

Show ModelState Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

showsPrec ∷ Int → ModelState → ShowS #

show ∷ ModelState → String #

showList ∷ [ModelState] → ShowS #

Eq ModelState Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

(==) ∷ ModelState → ModelState → Bool #

(/=) ∷ ModelState → ModelState → Bool #

Ord ModelState Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

compare ∷ ModelState → ModelState → Ordering #

(<) ∷ ModelState → ModelState → Bool #

(<=) ∷ ModelState → ModelState → Bool #

(>) ∷ ModelState → ModelState → Bool #

(>=) ∷ ModelState → ModelState → Bool #

max ∷ ModelState → ModelState → ModelState #

min ∷ ModelState → ModelState → ModelState #

ToExpr ModelState Source #

Instance details

Defined in Test.Consensus.GSM.Model

Methods

toExpr ∷ ModelState → Expr Source #

listToExpr ∷ [ModelState] → Expr Source #

type Rep ModelState Source #

Instance details

Defined in Test.Consensus.GSM.Model

type Rep ModelState = D1 ('MetaData "ModelState" "Test.Consensus.GSM.Model" "ouroboros-consensus-diffusion-0.22.0.1-inplace-consensus-test" 'False) (C1 ('MetaCons "ModelPreSyncing" 'PrefixI 'False) (U1 ∷ Type → Type) :+: (C1 ('MetaCons "ModelSyncing" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "ModelCaughtUp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Time))))

addNotableWhen ∷ ∀ (r ∷ Type → Type). Notable → Bool → Model r → Model r Source #

atom ∷ String → Bool → Logic Source #

selectionIsBehind ∷ ∀ (r ∷ Type → Type). Model r → Bool Source #

selectionIsNotEarly ∷ ∀ (r ∷ Type → Type). Model r → Bool Source #

boringDur ∷ ∀ (r ∷ Type → Type). Model r → Int → Logic Source #

Checks that a TimePasses command does not end exactly when a timeout could fire and that a ExtendSelection does not incur a timeout that would fire immediately

This insulates the test from race conditions that are innocuous in the real world.

fixupModelState ∷ ∀ (r ∷ Type → Type). Context → Command r → Model r → Model r Source #

Update the mState, assuming that's the only stale field in the given Model

ageLimit ∷ Num a ⇒ a Source #

onset ∷ Selection → Time Source #

thrashLimit ∷ Num a ⇒ a Source #

toMarker ∷ GsmState → MarkerState Source #

toGsmState ∷ ModelState → GsmState Source #

Orphan instances

Arbitrary LedgerStateJudgement Source #
Instance details Methods arbitrary ∷ Gen LedgerStateJudgement Source # shrink ∷ LedgerStateJudgement → [LedgerStateJudgement] Source #
Read LedgerStateJudgement Source #
Instance details Methods readsPrec ∷ Int → ReadS LedgerStateJudgement # readList ∷ ReadS [LedgerStateJudgement] # readPrec ∷ ReadPrec LedgerStateJudgement # readListPrec ∷ ReadPrec [LedgerStateJudgement] #