Safe Haskell	None
Language	Haskell2010

Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep

Synopsis

data BackingStoreState ks vs d = BackingStoreState {
- bssMock ∷ Mock vs
- bssStats ∷ Stats ks vs d
}
data RealEnv (m ∷ Type → Type) ks vs d = RealEnv {
- reBackingStoreInit ∷ BackingStoreInitializer m ks vs d
- reBackingStore ∷ StrictMVar m (BackingStore m ks vs d)
}
type RealMonad (m ∷ Type → Type) ks vs d = ReaderT (RealEnv m ks vs d) m
maxOpenValueHandles ∷ Int

Documentation

data BackingStoreState ks vs d Source #

Constructors

BackingStoreState
Fields bssMock ∷ Mock vs bssStats ∷ Stats ks vs d

Instances

Instances details

InterpretOp Op (ModelValue (BackingStoreState ks vs d)) Source #

Instance details

Defined in Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep

Methods

intOp ∷ Op a b → ModelValue (BackingStoreState ks vs d) a → Maybe (ModelValue (BackingStoreState ks vs d) b) Source #

(Show ks, Show vs, Show d, Show (InitHint vs), Show (WriteHint d), Show (ReadHint vs), Eq ks, Eq vs, Eq d, Eq (InitHint vs), Eq (WriteHint d), Eq (ReadHint vs), Typeable ks, Typeable vs, Typeable d, Typeable (WriteHint d), Arbitrary ks, Arbitrary vs, Arbitrary d, Arbitrary (RangeQuery ks), HasOps ks vs d) ⇒ StateModel (Lockstep (BackingStoreState ks vs d)) Source #

Instance details

Defined in Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep

Associated Types

type Error (Lockstep (BackingStoreState ks vs d))
Instance details Defined in Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep type Error (Lockstep (BackingStoreState ks vs d)) = Void

Methods

actionName ∷ Action (Lockstep (BackingStoreState ks vs d)) a → String Source #

arbitraryAction ∷ VarContext → Lockstep (BackingStoreState ks vs d) → Gen (Any (Action (Lockstep (BackingStoreState ks vs d)))) Source #

shrinkAction ∷ Typeable a ⇒ VarContext → Lockstep (BackingStoreState ks vs d) → Action (Lockstep (BackingStoreState ks vs d)) a → [Any (Action (Lockstep (BackingStoreState ks vs d)))] Source #

initialState ∷ Lockstep (BackingStoreState ks vs d) Source #

nextState ∷ Typeable a ⇒ Lockstep (BackingStoreState ks vs d) → Action (Lockstep (BackingStoreState ks vs d)) a → Var a → Lockstep (BackingStoreState ks vs d) Source #

failureNextState ∷ Typeable a ⇒ Lockstep (BackingStoreState ks vs d) → Action (Lockstep (BackingStoreState ks vs d)) a → Lockstep (BackingStoreState ks vs d) Source #

precondition ∷ Lockstep (BackingStoreState ks vs d) → Action (Lockstep (BackingStoreState ks vs d)) a → Bool Source #

validFailingAction ∷ Lockstep (BackingStoreState ks vs d) → Action (Lockstep (BackingStoreState ks vs d)) a → Bool Source #

(Show ks, Show vs, Show d, Show (InitHint vs), Show (WriteHint d), Show (ReadHint vs), Eq ks, Eq vs, Eq d, Eq (InitHint vs), Eq (WriteHint d), Eq (ReadHint vs), Typeable ks, Typeable vs, Typeable d, Typeable (WriteHint d), Arbitrary ks, Arbitrary vs, Arbitrary d, Arbitrary (RangeQuery ks), HasOps ks vs d) ⇒ RunModel (Lockstep (BackingStoreState ks vs d)) (RealMonad IO ks vs d) Source #

Instance details

Defined in Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep

Methods

perform ∷ Typeable a ⇒ Lockstep (BackingStoreState ks vs d) → Action (Lockstep (BackingStoreState ks vs d)) a → LookUp (RealMonad IO ks vs d) → RealMonad IO ks vs d (PerformResult (Error (Lockstep (BackingStoreState ks vs d))) (Realized (RealMonad IO ks vs d) a)) Source #

postcondition ∷ (Lockstep (BackingStoreState ks vs d), Lockstep (BackingStoreState ks vs d)) → Action (Lockstep (BackingStoreState ks vs d)) a → LookUp (RealMonad IO ks vs d) → Realized (RealMonad IO ks vs d) a → PostconditionM (RealMonad IO ks vs d) Bool Source #

postconditionOnFailure ∷ (Lockstep (BackingStoreState ks vs d), Lockstep (BackingStoreState ks vs d)) → Action (Lockstep (BackingStoreState ks vs d)) a → LookUp (RealMonad IO ks vs d) → Either (Error (Lockstep (BackingStoreState ks vs d))) (Realized (RealMonad IO ks vs d) a) → PostconditionM (RealMonad IO ks vs d) Bool Source #

monitoring ∷ (Lockstep (BackingStoreState ks vs d), Lockstep (BackingStoreState ks vs d)) → Action (Lockstep (BackingStoreState ks vs d)) a → LookUp (RealMonad IO ks vs d) → Either (Error (Lockstep (BackingStoreState ks vs d))) (Realized (RealMonad IO ks vs d) a) → Property → Property Source #

monitoringFailure ∷ Lockstep (BackingStoreState ks vs d) → Action (Lockstep (BackingStoreState ks vs d)) a → LookUp (RealMonad IO ks vs d) → Error (Lockstep (BackingStoreState ks vs d)) → Property → Property Source #

(Show ks, Show vs, Show d, Show (InitHint vs), Show (WriteHint d), Show (ReadHint vs), Show (SerializeTablesHint vs)) ⇒ Show (LockstepAction (BackingStoreState ks vs d) a) Source #

Instance details

Defined in Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep

Methods

showsPrec ∷ Int → LockstepAction (BackingStoreState ks vs d) a → ShowS #

show ∷ LockstepAction (BackingStoreState ks vs d) a → String #

showList ∷ [LockstepAction (BackingStoreState ks vs d) a] → ShowS #

(Eq ks, Eq vs, Eq d, Eq (InitHint vs), Eq (WriteHint d), Eq (ReadHint vs), Eq (SerializeTablesHint vs)) ⇒ Eq (LockstepAction (BackingStoreState ks vs d) a) Source #

Instance details

Defined in Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep

Methods

(==) ∷ LockstepAction (BackingStoreState ks vs d) a → LockstepAction (BackingStoreState ks vs d) a → Bool #

(/=) ∷ LockstepAction (BackingStoreState ks vs d) a → LockstepAction (BackingStoreState ks vs d) a → Bool #

Show vs ⇒ Show (BackingStoreState ks vs d) Source #

Instance details

Defined in Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep

Methods

showsPrec ∷ Int → BackingStoreState ks vs d → ShowS #

show ∷ BackingStoreState ks vs d → String #

showList ∷ [BackingStoreState ks vs d] → ShowS #

Eq vs ⇒ Eq (BackingStoreState ks vs d) Source #

Instance details

Defined in Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep

Methods

(==) ∷ BackingStoreState ks vs d → BackingStoreState ks vs d → Bool #

(/=) ∷ BackingStoreState ks vs d → BackingStoreState ks vs d → Bool #

(Show ks, Show vs, Show d, Show (InitHint vs), Show (WriteHint d), Show (ReadHint vs), Eq ks, Eq vs, Eq d, Eq (InitHint vs), Eq (WriteHint d), Eq (ReadHint vs), Typeable ks, Typeable vs, Typeable d, Typeable (WriteHint d), Arbitrary ks, Arbitrary vs, Arbitrary d, Arbitrary (RangeQuery ks), HasOps ks vs d) ⇒ InLockstep (BackingStoreState ks vs d) Source #

Instance details

Defined in Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep

Associated Types

type ModelOp (BackingStoreState ks vs d)
Instance details Defined in Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep type ModelOp (BackingStoreState ks vs d) = Op

Methods

observeModel ∷ ModelValue (BackingStoreState ks vs d) a → Observable (BackingStoreState ks vs d) a Source #

usedVars ∷ LockstepAction (BackingStoreState ks vs d) a → [AnyGVar (ModelOp (BackingStoreState ks vs d))] Source #

modelNextState ∷ LockstepAction (BackingStoreState ks vs d) a → ModelVarContext (BackingStoreState ks vs d) → BackingStoreState ks vs d → (ModelValue (BackingStoreState ks vs d) a, BackingStoreState ks vs d) Source #

arbitraryWithVars ∷ ModelVarContext (BackingStoreState ks vs d) → BackingStoreState ks vs d → Gen (Any (LockstepAction (BackingStoreState ks vs d))) Source #

shrinkWithVars ∷ ModelVarContext (BackingStoreState ks vs d) → BackingStoreState ks vs d → LockstepAction (BackingStoreState ks vs d) a → [Any (LockstepAction (BackingStoreState ks vs d))] Source #

tagStep ∷ (BackingStoreState ks vs d, BackingStoreState ks vs d) → LockstepAction (BackingStoreState ks vs d) a → ModelValue (BackingStoreState ks vs d) a → [String] Source #

(Show ks, Show vs, Show d, Show (InitHint vs), Show (WriteHint d), Show (ReadHint vs), Eq ks, Eq vs, Eq d, Eq (InitHint vs), Eq (WriteHint d), Eq (ReadHint vs), Typeable ks, Typeable vs, Typeable d, Typeable (WriteHint d), Arbitrary ks, Arbitrary vs, Arbitrary d, Arbitrary (RangeQuery ks), HasOps ks vs d) ⇒ RunLockstep (BackingStoreState ks vs d) (RealMonad IO ks vs d) Source #

Instance details

Defined in Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep

Methods

observeReal ∷ Proxy (RealMonad IO ks vs d) → LockstepAction (BackingStoreState ks vs d) a → Realized (RealMonad IO ks vs d) a → Observable (BackingStoreState ks vs d) a Source #

showRealResponse ∷ Proxy (RealMonad IO ks vs d) → LockstepAction (BackingStoreState ks vs d) a → Maybe (Dict (Show (Realized (RealMonad IO ks vs d) a))) Source #

data Action (Lockstep (BackingStoreState ks vs d)) a Source #

Instance details

Defined in Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep

data Action (Lockstep (BackingStoreState ks vs d)) a where

BSInitFromValues ∷ ∀ vs ks d. WithOrigin SlotNo → InitHint vs → Values vs → Action (Lockstep (BackingStoreState ks vs d)) (Either Err ())
BSInitFromCopy ∷ ∀ vs ks d. InitHint vs → FsPath → Action (Lockstep (BackingStoreState ks vs d)) (Either Err ())
BSClose ∷ ∀ ks vs d. Action (Lockstep (BackingStoreState ks vs d)) (Either Err ())
BSCopy ∷ ∀ vs ks d. SerializeTablesHint vs → FsPath → Action (Lockstep (BackingStoreState ks vs d)) (Either Err ())
BSValueHandle ∷ ∀ ks vs d. Action (Lockstep (BackingStoreState ks vs d)) (Either Err (BackingStoreValueHandle IO ks vs))
BSWrite ∷ ∀ d ks vs. SlotNo → WriteHint d → d → Action (Lockstep (BackingStoreState ks vs d)) (Either Err ())
BSVHClose ∷ ∀ ks vs d. BSVar ks vs d (BackingStoreValueHandle IO ks vs) → Action (Lockstep (BackingStoreState ks vs d)) (Either Err ())
BSVHRangeRead ∷ ∀ ks vs d. BSVar ks vs d (BackingStoreValueHandle IO ks vs) → ReadHint vs → RangeQuery ks → Action (Lockstep (BackingStoreState ks vs d)) (Either Err (Values vs))
BSVHRead ∷ ∀ ks vs d. BSVar ks vs d (BackingStoreValueHandle IO ks vs) → ReadHint vs → ks → Action (Lockstep (BackingStoreState ks vs d)) (Either Err (Values vs))
BSVHAtSlot ∷ ∀ ks vs d. BSVar ks vs d (BackingStoreValueHandle IO ks vs) → Action (Lockstep (BackingStoreState ks vs d)) (Either Err (WithOrigin SlotNo))
BSVHStat ∷ ∀ ks vs d. BSVar ks vs d (BackingStoreValueHandle IO ks vs) → Action (Lockstep (BackingStoreState ks vs d)) (Either Err Statistics)

type Error (Lockstep (BackingStoreState ks vs d)) Source #

Instance details

Defined in Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep

type Error (Lockstep (BackingStoreState ks vs d)) = Void

type ModelOp (BackingStoreState ks vs d) Source #

Instance details

Defined in Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep

type ModelOp (BackingStoreState ks vs d) = Op

data ModelValue (BackingStoreState ks vs d) a Source #

Instance details

Defined in Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep

data ModelValue (BackingStoreState ks vs d) a where

MValueHandle ∷ ∀ vs ks d. ValueHandle vs → ModelValue (BackingStoreState ks vs d) (BackingStoreValueHandle IO ks vs)
MErr ∷ ∀ ks vs d. Err → ModelValue (BackingStoreState ks vs d) Err
MSlotNo ∷ ∀ ks vs d. WithOrigin SlotNo → ModelValue (BackingStoreState ks vs d) (WithOrigin SlotNo)
MValues ∷ ∀ vs ks d. vs → ModelValue (BackingStoreState ks vs d) (Values vs)
MUnit ∷ ∀ ks vs d. () → ModelValue (BackingStoreState ks vs d) ()
MStatistics ∷ ∀ ks vs d. Statistics → ModelValue (BackingStoreState ks vs d) Statistics
MEither ∷ ∀ ks vs d a1 b. Either (BSVal ks vs d a1) (BSVal ks vs d b) → ModelValue (BackingStoreState ks vs d) (Either a1 b)
MPair ∷ ∀ ks vs d a1 b. (BSVal ks vs d a1, BSVal ks vs d b) → ModelValue (BackingStoreState ks vs d) (a1, b)

data Observable (BackingStoreState ks vs d) a Source #

Instance details

Defined in Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep

data Observable (BackingStoreState ks vs d) a where

OValueHandle ∷ ∀ ks vs d. Observable (BackingStoreState ks vs d) (BackingStoreValueHandle IO ks vs)
OValues ∷ ∀ a1 ks vs d. (Show a1, Eq a1, Typeable a1) ⇒ a1 → Observable (BackingStoreState ks vs d) (Values a1)
OId ∷ ∀ a ks vs d. (Show a, Eq a, Typeable a) ⇒ a → Observable (BackingStoreState ks vs d) a
OEither ∷ ∀ ks vs d a1 b. Either (BSObs ks vs d a1) (BSObs ks vs d b) → Observable (BackingStoreState ks vs d) (Either a1 b)
OPair ∷ ∀ ks vs d a1 b. (BSObs ks vs d a1, BSObs ks vs d b) → Observable (BackingStoreState ks vs d) (a1, b)

data RealEnv (m ∷ Type → Type) ks vs d Source #

Constructors

RealEnv
Fields reBackingStoreInit ∷ BackingStoreInitializer m ks vs d reBackingStore ∷ StrictMVar m (BackingStore m ks vs d)

Instances

Instances details

(Show ks, Show vs, Show d, Show (InitHint vs), Show (WriteHint d), Show (ReadHint vs), Eq ks, Eq vs, Eq d, Eq (InitHint vs), Eq (WriteHint d), Eq (ReadHint vs), Typeable ks, Typeable vs, Typeable d, Typeable (WriteHint d), Arbitrary ks, Arbitrary vs, Arbitrary d, Arbitrary (RangeQuery ks), HasOps ks vs d) ⇒ RunModel (Lockstep (BackingStoreState ks vs d)) (RealMonad IO ks vs d) Source #
Instance details Defined in Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep Methods perform ∷ Typeable a ⇒ Lockstep (BackingStoreState ks vs d) → Action (Lockstep (BackingStoreState ks vs d)) a → LookUp (RealMonad IO ks vs d) → RealMonad IO ks vs d (PerformResult (Error (Lockstep (BackingStoreState ks vs d))) (Realized (RealMonad IO ks vs d) a)) Source # postcondition ∷ (Lockstep (BackingStoreState ks vs d), Lockstep (BackingStoreState ks vs d)) → Action (Lockstep (BackingStoreState ks vs d)) a → LookUp (RealMonad IO ks vs d) → Realized (RealMonad IO ks vs d) a → PostconditionM (RealMonad IO ks vs d) Bool Source # postconditionOnFailure ∷ (Lockstep (BackingStoreState ks vs d), Lockstep (BackingStoreState ks vs d)) → Action (Lockstep (BackingStoreState ks vs d)) a → LookUp (RealMonad IO ks vs d) → Either (Error (Lockstep (BackingStoreState ks vs d))) (Realized (RealMonad IO ks vs d) a) → PostconditionM (RealMonad IO ks vs d) Bool Source # monitoring ∷ (Lockstep (BackingStoreState ks vs d), Lockstep (BackingStoreState ks vs d)) → Action (Lockstep (BackingStoreState ks vs d)) a → LookUp (RealMonad IO ks vs d) → Either (Error (Lockstep (BackingStoreState ks vs d))) (Realized (RealMonad IO ks vs d) a) → Property → Property Source # monitoringFailure ∷ Lockstep (BackingStoreState ks vs d) → Action (Lockstep (BackingStoreState ks vs d)) a → LookUp (RealMonad IO ks vs d) → Error (Lockstep (BackingStoreState ks vs d)) → Property → Property Source #
(Show ks, Show vs, Show d, Show (InitHint vs), Show (WriteHint d), Show (ReadHint vs), Eq ks, Eq vs, Eq d, Eq (InitHint vs), Eq (WriteHint d), Eq (ReadHint vs), Typeable ks, Typeable vs, Typeable d, Typeable (WriteHint d), Arbitrary ks, Arbitrary vs, Arbitrary d, Arbitrary (RangeQuery ks), HasOps ks vs d) ⇒ RunLockstep (BackingStoreState ks vs d) (RealMonad IO ks vs d) Source #
Instance details Defined in Test.Ouroboros.Storage.LedgerDB.V1.BackingStore.Lockstep Methods observeReal ∷ Proxy (RealMonad IO ks vs d) → LockstepAction (BackingStoreState ks vs d) a → Realized (RealMonad IO ks vs d) a → Observable (BackingStoreState ks vs d) a Source # showRealResponse ∷ Proxy (RealMonad IO ks vs d) → LockstepAction (BackingStoreState ks vs d) a → Maybe (Dict (Show (Realized (RealMonad IO ks vs d) a))) Source #

type RealMonad (m ∷ Type → Type) ks vs d = ReaderT (RealEnv m ks vs d) m Source #

maxOpenValueHandles ∷ Int Source #

Maximum number of LMDB readers that can be active at a time.

32 is an arbitrary number of readers. We can increase or decrease this at will.

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result