Copyright	© 2022 IOHK
License	Apache-2.0
Safe Haskell	None
Language	Haskell2010

Cardano.Wallet.DB.Sqlite.Stores

Contents

Testing

Description

Store implementations that can store various wallet types in an SQLite database using persistent .

FIXME LATER during ADP-1043:

Inline the contents of Cardano.Wallet.DB.Sqlite.CheckpointsOld into this module
Use Table and Embedding to construct the relevant Store rather than implementing loadS , writeS , updateS in a monadic fashion. Hide the new implementation behind a feature flag, i.e. Cardano.Wallet.DB.Sqlite.StoresNew .

Synopsis

mkStoreWallets :: forall s key. ( PersistAddressBook s, key ~ WalletId ) => Store ( SqlPersistT IO ) ( DeltaMap key ( DeltaWalletState s))
class AddressBookIso s => PersistAddressBook s where
- insertPrologue :: WalletId -> Prologue s -> SqlPersistT IO ()
- insertDiscoveries :: WalletId -> SlotNo -> Discoveries s -> SqlPersistT IO ()
- loadPrologue :: WalletId -> SqlPersistT IO ( Maybe ( Prologue s))
- loadDiscoveries :: WalletId -> SlotNo -> SqlPersistT IO ( Discoveries s)
blockHeaderFromEntity :: Checkpoint -> BlockHeader
mkStoreWallet :: forall s. PersistAddressBook s => WalletId -> Store ( SqlPersistT IO ) ( DeltaWalletState s)

Documentation

mkStoreWallets :: forall s key. ( PersistAddressBook s, key ~ WalletId ) => Store ( SqlPersistT IO ) ( DeltaMap key ( DeltaWalletState s)) Source #

Store for WalletState of multiple different wallets.

class AddressBookIso s => PersistAddressBook s where Source #

Functions for saving loading the wallet's address book to from SQLite

Methods

insertPrologue :: WalletId -> Prologue s -> SqlPersistT IO () Source #

insertDiscoveries :: WalletId -> SlotNo -> Discoveries s -> SqlPersistT IO () Source #

loadPrologue :: WalletId -> SqlPersistT IO ( Maybe ( Prologue s)) Source #

loadDiscoveries :: WalletId -> SlotNo -> SqlPersistT IO ( Discoveries s) Source #

Instances

Instances details

PersistAddressBook ( RndState n) Source #	Persisting `RndState` requires that the wallet root key has already been added to the database with `putPrivateKey` . Unlike sequential AD, random address discovery requires a root key to recognize addresses.
Instance details Defined in Cardano.Wallet.DB.Store.Checkpoints Methods insertPrologue :: WalletId -> Prologue ( RndState n) -> SqlPersistT IO () Source # insertDiscoveries :: WalletId -> SlotNo -> Discoveries ( RndState n) -> SqlPersistT IO () Source # loadPrologue :: WalletId -> SqlPersistT IO ( Maybe ( Prologue ( RndState n))) Source # loadDiscoveries :: WalletId -> SlotNo -> SqlPersistT IO ( Discoveries ( RndState n)) Source #
PersistAddressBook ( RndAnyState n p) Source #
Instance details Defined in Cardano.Wallet.DB.Store.Checkpoints Methods insertPrologue :: WalletId -> Prologue ( RndAnyState n p) -> SqlPersistT IO () Source # insertDiscoveries :: WalletId -> SlotNo -> Discoveries ( RndAnyState n p) -> SqlPersistT IO () Source # loadPrologue :: WalletId -> SqlPersistT IO ( Maybe ( Prologue ( RndAnyState n p))) Source # loadDiscoveries :: WalletId -> SlotNo -> SqlPersistT IO ( Discoveries ( RndAnyState n p)) Source #
( PersistPublicKey (key ' AccountK ), PersistPublicKey (key ' AddressK ), PersistPublicKey (key ' PolicyK ), MkKeyFingerprint key ( Proxy n, key ' AddressK XPub ), PaymentAddress n key, SoftDerivation key, Typeable n, (key == SharedKey ) ~ ' False , Eq ( SeqState n key)) => PersistAddressBook ( SeqState n key) Source #
Instance details Defined in Cardano.Wallet.DB.Store.Checkpoints Methods insertPrologue :: WalletId -> Prologue ( SeqState n key) -> SqlPersistT IO () Source # insertDiscoveries :: WalletId -> SlotNo -> Discoveries ( SeqState n key) -> SqlPersistT IO () Source # loadPrologue :: WalletId -> SqlPersistT IO ( Maybe ( Prologue ( SeqState n key))) Source # loadDiscoveries :: WalletId -> SlotNo -> SqlPersistT IO ( Discoveries ( SeqState n key)) Source #
( PersistPublicKey (key ' AccountK ), SupportsDiscovery n key, WalletKey key, key ~ SharedKey ) => PersistAddressBook ( SharedState n key) Source #
Instance details Defined in Cardano.Wallet.DB.Store.Checkpoints Methods insertPrologue :: WalletId -> Prologue ( SharedState n key) -> SqlPersistT IO () Source # insertDiscoveries :: WalletId -> SlotNo -> Discoveries ( SharedState n key) -> SqlPersistT IO () Source # loadPrologue :: WalletId -> SqlPersistT IO ( Maybe ( Prologue ( SharedState n key))) Source # loadDiscoveries :: WalletId -> SlotNo -> SqlPersistT IO ( Discoveries ( SharedState n key)) Source #
( Eq ( SeqState n k), (k == SharedKey ) ~ ' False , PersistAddressBook ( SeqState n k)) => PersistAddressBook ( SeqAnyState n k p) Source #
Instance details Defined in Cardano.Wallet.DB.Store.Checkpoints Methods insertPrologue :: WalletId -> Prologue ( SeqAnyState n k p) -> SqlPersistT IO () Source # insertDiscoveries :: WalletId -> SlotNo -> Discoveries ( SeqAnyState n k p) -> SqlPersistT IO () Source # loadPrologue :: WalletId -> SqlPersistT IO ( Maybe ( Prologue ( SeqAnyState n k p))) Source # loadDiscoveries :: WalletId -> SlotNo -> SqlPersistT IO ( Discoveries ( SeqAnyState n k p)) Source #

blockHeaderFromEntity :: Checkpoint -> BlockHeader Source #

Testing

mkStoreWallet :: forall s. PersistAddressBook s => WalletId -> Store ( SqlPersistT IO ) ( DeltaWalletState s) Source #

Store for WalletState of a single wallet.