storage-test
Safe HaskellNone
LanguageHaskell2010

Test.Ouroboros.Storage.LedgerDB.V1.BackingStore

Synopsis

Documentation

labelledExamples ∷ IO () Source #

Generate minimal examples for each label.

tests ∷ TestTree Source #

Orphan instances

Arbitrary v ⇒ Arbitrary (Delta v) Source # 
Instance details

Methods

arbitrary ∷ Gen (Delta v) Source #

shrink ∷ Delta v → [Delta v] Source #

Arbitrary ks ⇒ Arbitrary (RangeQuery ks) Source # 
Instance details

Methods

arbitrary ∷ Gen (RangeQuery ks) Source #

shrink ∷ RangeQuery ks → [RangeQuery ks] Source #

FromCBOR a ⇒ FromCBOR (Fixed a) Source # 
Instance details

Methods

fromCBOR ∷ Decoder s (Fixed a) Source #

label ∷ Proxy (Fixed a) → Text Source #

ToCBOR a ⇒ ToCBOR (Fixed a) Source # 
Instance details

Methods

toCBOR ∷ Fixed a → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Fixed a) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Fixed a] → Size Source #

MemPack a ⇒ MemPack (Fixed a) Source # 
Instance details

Methods

typeName ∷ String Source #

packedByteCount ∷ Fixed a → Int Source #

packM ∷ Fixed a → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b (Fixed a) Source #

NoThunks a ⇒ NoThunks (Fixed a) Source # 
Instance details

Methods

noThunks ∷ Context → Fixed a → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Fixed a → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (Fixed a) → String Source #

(Ord k, Arbitrary k, Arbitrary v) ⇒ Arbitrary (Diff k v) Source # 
Instance details

Methods

arbitrary ∷ Gen (Diff k v) Source #

shrink ∷ Diff k v → [Diff k v] Source #

(Ord k, Arbitrary k, Arbitrary v) ⇒ Arbitrary (DiffMK k v) Source # 
Instance details

Methods

arbitrary ∷ Gen (DiffMK k v) Source #

shrink ∷ DiffMK k v → [DiffMK k v] Source #

(Ord k, Arbitrary k) ⇒ Arbitrary (KeysMK k v) Source # 
Instance details

Methods

arbitrary ∷ Gen (KeysMK k v) Source #

shrink ∷ KeysMK k v → [KeysMK k v] Source #

(Ord k, Arbitrary k, Arbitrary v) ⇒ Arbitrary (ValuesMK k v) Source # 
Instance details

Methods

arbitrary ∷ Gen (ValuesMK k v) Source #

shrink ∷ ValuesMK k v → [ValuesMK k v] Source #

Arbitrary (mk k v) ⇒ Arbitrary (OTLedgerTables k v mk) Source # 
Instance details

Methods

arbitrary ∷ Gen (OTLedgerTables k v mk) Source #

shrink ∷ OTLedgerTables k v mk → [OTLedgerTables k v mk] Source #